runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand7141b1.cudf.impossible.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/impossible//rand7141b1.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand7141b1.cudf.impossible.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.12 1.12 1.08 1/45 16136 /proc/meminfo: memFree=945988/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=3028 CPUtime=0 /proc/16136/stat : 16136 (runsolver) D 16135 16136 2059 34821 2220 4202560 72 0 0 0 0 0 0 0 22 0 1 0 875685908 3100672 94 1283457024 134512640 134586868 4287177184 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/16136/statm: 757 94 62 19 0 55 0 [startup+0.143782 s] /proc/loadavg: 1.12 1.12 1.08 1/45 16136 /proc/meminfo: memFree=945988/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+0.20782 s] /proc/loadavg: 1.12 1.12 1.08 1/45 16136 /proc/meminfo: memFree=945988/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+0.307853 s] /proc/loadavg: 1.12 1.12 1.08 1/45 16136 /proc/meminfo: memFree=945988/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+0.707856 s] /proc/loadavg: 1.12 1.12 1.08 1/45 16136 /proc/meminfo: memFree=945988/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+1.50389 s] /proc/loadavg: 1.12 1.12 1.08 1/55 16146 /proc/meminfo: memFree=925412/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=410736 CPUtime=0.27 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 8068 0 227 0 26 1 0 0 21 0 9 0 875685918 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 102684 7720 2027 10 0 96864 0 [pid=16138/tid=16139] ppid=16136 vsize=410736 CPUtime=0.18 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 3231 0 144 0 18 0 0 0 18 0 9 0 875685940 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=410736 CPUtime=0.06 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 3522 0 16 0 6 0 0 0 16 0 9 0 875685965 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4151157372 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 15 0 9 0 875685971 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=410736 CPUtime=0.02 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 443 0 6 0 2 0 0 0 17 0 9 0 875685995 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 420593664 7720 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 413308 [startup+3.10399 s] /proc/loadavg: 1.12 1.12 1.08 2/55 16146 /proc/meminfo: memFree=860452/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=410736 CPUtime=1.75 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 36886 0 244 0 163 12 0 0 21 0 9 0 875685918 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 102684 36414 2879 10 0 96864 0 [pid=16138/tid=16139] ppid=16136 vsize=410736 CPUtime=0.64 /proc/16138/task/16139/stat : 16139 (java) R 16136 16136 2059 34821 2220 4202560 9295 0 144 0 61 3 0 0 16 0 9 0 875685940 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4115056845 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=410736 CPUtime=1.07 /proc/16138/task/16140/stat : 16140 (java) S 16136 16136 2059 34821 2220 4202560 26265 0 33 0 99 8 0 0 16 0 9 0 875685965 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 15 0 9 0 875685971 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=410736 CPUtime=0.02 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 454 0 6 0 2 0 0 0 15 0 9 0 875685995 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=410736 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 420593664 36414 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 413308 heavy processes: [startup+6.30219 s] /proc/loadavg: 1.11 1.12 1.08 2/55 16146 /proc/meminfo: memFree=635268/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=410868 CPUtime=4.82 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 70591 0 244 0 462 20 0 0 21 0 9 0 875685918 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 102717 70119 2879 10 0 96897 0 [pid=16138/tid=16139] ppid=16136 vsize=410868 CPUtime=1.45 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 13919 0 144 0 140 5 0 0 16 0 9 0 875685940 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=410868 CPUtime=3.33 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 55343 0 33 0 319 14 0 0 16 0 9 0 875685965 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4152851300 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=410868 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 15 0 9 0 875685971 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=410868 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=410868 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=410868 CPUtime=0.02 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 457 0 6 0 2 0 0 0 15 0 9 0 875685995 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=410868 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=410868 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 420728832 70119 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.82 Current children cumulated vsize (KiB) 413440 heavy processes: [startup+12.7068 s] /proc/loadavg: 1.26 1.15 1.09 2/55 16146 /proc/meminfo: memFree=621032/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447464 CPUtime=11.18 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 108311 0 246 0 1076 42 0 0 21 0 9 0 875685918 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111866 79362 2880 10 0 106046 0 [pid=16138/tid=16139] ppid=16136 vsize=447464 CPUtime=2.18 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 14001 0 146 0 212 6 0 0 15 0 9 0 875685940 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447464 CPUtime=8.95 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 92945 0 33 0 859 36 0 0 22 0 9 0 875685965 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4150755584 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447464 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 15 0 9 0 875685971 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447464 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447464 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447464 CPUtime=0.04 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 493 0 6 0 4 0 0 0 15 0 9 0 875685995 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447464 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447464 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 458203136 79362 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.18 Current children cumulated vsize (KiB) 450036 [startup+25.5099 s] /proc/loadavg: 1.36 1.18 1.10 2/56 16147 /proc/meminfo: memFree=593376/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447776 CPUtime=23.96 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 157635 0 247 0 2334 62 0 0 21 0 10 0 875685918 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111944 79426 2883 10 0 106124 0 [pid=16138/tid=16139] ppid=16136 vsize=447776 CPUtime=6.47 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 14024 0 147 0 641 6 0 0 19 0 10 0 875685940 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447776 CPUtime=17.43 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 142200 0 33 0 1687 56 0 0 21 0 10 0 875685965 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4152852128 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447776 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 15 0 10 0 875685971 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447776 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 10 0 875685971 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447776 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 10 0 875685995 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447776 CPUtime=0.06 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 534 0 6 0 6 0 0 0 16 0 10 0 875685995 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447776 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 875685995 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447776 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) R 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875685995 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16147] ppid=16136 vsize=447776 CPUtime=0 /proc/16138/task/16147/stat : 16147 (java) S 16136 16136 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 17 0 10 0 875687885 458522624 79426 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.96 Current children cumulated vsize (KiB) 450348 [startup+51.1072 s] /proc/loadavg: 1.30 1.18 1.10 4/55 16147 /proc/meminfo: memFree=593384/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447756 CPUtime=49.54 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 205811 0 247 0 4871 83 0 0 21 0 9 0 875685918 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111939 79409 2883 10 0 106119 0 [pid=16138/tid=16139] ppid=16136 vsize=447756 CPUtime=23.25 /proc/16138/task/16139/stat : 16139 (java) R 16136 16136 2059 34821 2220 4202560 14024 0 147 0 2319 6 0 0 25 0 9 0 875685940 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447756 CPUtime=26.22 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 190375 0 33 0 2545 77 0 0 17 0 9 0 875685965 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4153242209 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 15 0 9 0 875685971 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447756 CPUtime=0.06 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 535 0 6 0 6 0 0 0 15 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.54 Current children cumulated vsize (KiB) 450328 Solver just ended. Dumping a history of the last processes samples [startup+51.2073 s] /proc/loadavg: 1.30 1.18 1.10 4/55 16147 /proc/meminfo: memFree=593384/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447756 CPUtime=49.64 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 205811 0 247 0 4881 83 0 0 21 0 9 0 875685918 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111939 79409 2883 10 0 106119 0 [pid=16138/tid=16139] ppid=16136 vsize=447756 CPUtime=23.25 /proc/16138/task/16139/stat : 16139 (java) R 16136 16136 2059 34821 2220 4202560 14024 0 147 0 2319 6 0 0 25 0 9 0 875685940 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447756 CPUtime=26.32 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 190375 0 33 0 2555 77 0 0 17 0 9 0 875685965 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4152437168 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 15 0 9 0 875685971 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447756 CPUtime=0.06 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 535 0 6 0 6 0 0 0 15 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 458502144 79409 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.64 Current children cumulated vsize (KiB) 450328 [startup+52.8077 s] /proc/loadavg: 1.30 1.18 1.10 2/55 16147 /proc/meminfo: memFree=593260/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447756 CPUtime=51.23 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 205819 0 247 0 5040 83 0 0 21 0 9 0 875685918 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111939 79417 2883 10 0 106119 0 [pid=16138/tid=16139] ppid=16136 vsize=447756 CPUtime=23.27 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 14024 0 147 0 2321 6 0 0 25 0 9 0 875685940 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447756 CPUtime=27.89 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 190381 0 33 0 2712 77 0 0 19 0 9 0 875685965 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4152851253 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 16 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447756 CPUtime=0.06 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 537 0 6 0 6 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.23 Current children cumulated vsize (KiB) 450328 [startup+53.2079 s] /proc/loadavg: 1.30 1.18 1.10 2/55 16147 /proc/meminfo: memFree=593260/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447756 CPUtime=51.63 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 205819 0 247 0 5080 83 0 0 21 0 9 0 875685918 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111939 79417 2883 10 0 106119 0 [pid=16138/tid=16139] ppid=16136 vsize=447756 CPUtime=23.27 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 14024 0 147 0 2321 6 0 0 25 0 9 0 875685940 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447756 CPUtime=28.29 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 190381 0 33 0 2752 77 0 0 19 0 9 0 875685965 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4152852518 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 16 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447756 CPUtime=0.06 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 537 0 6 0 6 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.63 Current children cumulated vsize (KiB) 450328 [startup+53.4079 s] /proc/loadavg: 1.30 1.18 1.10 2/55 16147 /proc/meminfo: memFree=593260/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447756 CPUtime=51.83 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 205819 0 247 0 5100 83 0 0 21 0 9 0 875685918 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111939 79417 2883 10 0 106119 0 [pid=16138/tid=16139] ppid=16136 vsize=447756 CPUtime=23.27 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 14024 0 147 0 2321 6 0 0 25 0 9 0 875685940 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447756 CPUtime=28.49 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 190381 0 33 0 2772 77 0 0 20 0 9 0 875685965 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4152268486 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 16 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447756 CPUtime=0.06 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 537 0 6 0 6 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.83 Current children cumulated vsize (KiB) 450328 [startup+53.508 s] /proc/loadavg: 1.30 1.18 1.10 2/55 16147 /proc/meminfo: memFree=593260/1048576 swapFree=2078744/2097144 [pid=16136] ppid=16135 vsize=2572 CPUtime=0 /proc/16136/stat : 16136 (gj-paranoid-sol) S 16135 16136 2059 34821 2220 4202496 365 0 11 0 0 0 0 0 22 0 1 0 875685908 2633728 273 1283457024 134512640 135304128 4294202816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16136/statm: 643 273 232 194 0 29 0 [pid=16138] ppid=16136 vsize=447756 CPUtime=51.93 /proc/16138/stat : 16138 (java) S 16136 16136 2059 34821 2220 4202496 205819 0 247 0 5110 83 0 0 21 0 9 0 875685918 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16138/statm: 111939 79417 2883 10 0 106119 0 [pid=16138/tid=16139] ppid=16136 vsize=447756 CPUtime=23.27 /proc/16138/task/16139/stat : 16139 (java) S 16136 16136 2059 34821 2220 4202560 14024 0 147 0 2321 6 0 0 25 0 9 0 875685940 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16140] ppid=16136 vsize=447756 CPUtime=28.59 /proc/16138/task/16140/stat : 16140 (java) R 16136 16136 2059 34821 2220 4202560 190381 0 33 0 2782 77 0 0 20 0 9 0 875685965 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4150279616 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16138/tid=16141] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16141/stat : 16141 (java) S 16136 16136 2059 34821 2220 4202560 7 0 1 0 0 0 0 0 16 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16142] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16142/stat : 16142 (java) S 16136 16136 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 15 0 9 0 875685971 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16143] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16143/stat : 16143 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 19 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16144] ppid=16136 vsize=447756 CPUtime=0.06 /proc/16138/task/16144/stat : 16144 (java) S 16136 16136 2059 34821 2220 4202560 537 0 6 0 6 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16145] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16145/stat : 16145 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=16138/tid=16146] ppid=16136 vsize=447756 CPUtime=0 /proc/16138/task/16146/stat : 16146 (java) S 16136 16136 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875685995 458502144 79417 1283457024 134512640 134550932 4287838880 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.93 Current children cumulated vsize (KiB) 450328 Child status: 0 Real time (s): 53.5443 CPU time (s): 51.9672 CPU user time (s): 51.1072 CPU system time (s): 0.860053 CPU usage (%): 97.0546 Max. virtual memory (cumulated for all children) (KiB): 450348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.1072 system time used= 0.860053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206201 page faults= 258 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1877 involuntary context switches= 2021 runsolver used 0 second user time and 0 second system time The end