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/201108300820/gj-user-solver-1.0/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.result +sum(installedsize) 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.03 1.01 1/35 19183 /proc/meminfo: memFree=979052/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=3020 CPUtime=0 /proc/19183/stat : 19183 (runsolver) D 19182 19183 2160 34817 2160 4202560 73 0 0 0 0 0 0 0 22 0 1 0 59898985 3092480 94 1283457024 134512640 134586868 4292626112 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/19183/statm: 755 94 62 19 0 54 0 [startup+0.11016 s] /proc/loadavg: 1.12 1.03 1.01 1/35 19183 /proc/meminfo: memFree=979052/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2564 [startup+0.206197 s] /proc/loadavg: 1.12 1.03 1.01 1/35 19183 /proc/meminfo: memFree=979052/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2564 [startup+0.306148 s] /proc/loadavg: 1.12 1.03 1.01 1/35 19183 /proc/meminfo: memFree=979052/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2564 [startup+0.706175 s] /proc/loadavg: 1.12 1.03 1.01 1/35 19183 /proc/meminfo: memFree=979052/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2564 [startup+1.50734 s] /proc/loadavg: 1.12 1.03 1.01 1/46 19194 /proc/meminfo: memFree=958628/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=411548 CPUtime=0.24 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 7322 0 210 0 23 1 0 0 22 0 9 0 59898987 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 102887 6962 1954 10 0 97035 0 [pid=19185/tid=19187] ppid=19183 vsize=411548 CPUtime=0.18 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 3364 0 149 0 18 0 0 0 18 0 9 0 59899017 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=411548 CPUtime=0.04 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 2645 0 0 0 4 0 0 0 15 0 9 0 59899041 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=411548 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 59899046 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=411548 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 22 0 9 0 59899047 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=411548 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 59899065 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=411548 CPUtime=0.01 /proc/19185/task/19192/stat : 19192 (java) R 19183 19183 2160 34817 2160 4202560 431 0 5 0 1 0 0 0 18 0 9 0 59899065 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=411548 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 59899065 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=411548 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 17 0 9 0 59899065 421425152 6962 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 414112 [startup+3.10633 s] /proc/loadavg: 1.12 1.03 1.01 4/46 19194 /proc/meminfo: memFree=895160/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=411680 CPUtime=1.61 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 30191 0 237 0 152 9 0 0 22 0 9 0 59898987 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 102920 29674 2900 10 0 97068 0 [pid=19185/tid=19187] ppid=19183 vsize=411680 CPUtime=0.7 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 8957 0 149 0 65 5 0 0 18 0 9 0 59899017 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4115273987 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=411680 CPUtime=0.88 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 19904 0 27 0 84 4 0 0 16 0 9 0 59899041 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=411680 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 59899046 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=411680 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 59899047 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=411680 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 59899065 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=411680 CPUtime=0.02 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 447 0 5 0 2 0 0 0 15 0 9 0 59899065 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=411680 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 59899065 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=411680 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 59899065 421560320 29674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 414244 heavy processes: [startup+6.30871 s] /proc/loadavg: 1.11 1.03 1.01 2/47 19197 /proc/meminfo: memFree=704856/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=4.53 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 62252 0 244 0 434 19 0 0 22 0 10 0 59898987 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 61657 2924 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=2.52 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 242 10 0 0 20 0 10 0 59899017 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4115760123 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=1.89 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 46453 0 27 0 180 9 0 0 15 0 10 0 59899041 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.11 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 530 0 5 0 11 0 0 0 15 0 10 0 59899065 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 61657 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.53 Current children cumulated vsize (KiB) 414580 heavy processes: [startup+12.7102 s] /proc/loadavg: 1.10 1.03 1.01 2/47 19201 /proc/meminfo: memFree=704856/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=10.9 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 62254 0 244 0 1070 20 0 0 22 0 10 0 59898987 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 61659 2924 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=8.89 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 879 10 0 0 25 0 10 0 59899017 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4115775296 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=1.89 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 46453 0 27 0 180 9 0 0 15 0 10 0 59899041 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.11 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 532 0 5 0 11 0 0 0 15 0 10 0 59899065 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 61659 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.9 Current children cumulated vsize (KiB) 414580 [startup+25.5135 s] /proc/loadavg: 1.08 1.03 1.00 3/47 19207 /proc/meminfo: memFree=685760/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=23.65 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66971 0 244 0 2344 21 0 0 22 0 10 0 59898987 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 66368 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=21.41 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 2131 10 0 0 25 0 10 0 59899017 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584885 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=2.11 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 201 10 0 0 15 0 10 0 59899041 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 535 0 5 0 12 0 0 0 16 0 10 0 59899065 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 66368 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.65 Current children cumulated vsize (KiB) 414580 [startup+51.1119 s] /proc/loadavg: 1.05 1.02 1.00 3/47 19221 /proc/meminfo: memFree=685524/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=49.08 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 4887 21 0 0 22 0 10 0 59898987 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 66337 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=46.7 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 4660 10 0 0 25 0 10 0 59899017 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584885 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=2.24 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 214 10 0 0 15 0 10 0 59899041 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 66337 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.08 Current children cumulated vsize (KiB) 414580 [startup+102.306 s] /proc/loadavg: 1.02 1.02 1.00 2/46 19249 /proc/meminfo: memFree=687824/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=99.92 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 9971 21 0 0 22 0 10 0 59898987 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65663 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=97.15 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 9705 10 0 0 25 0 10 0 59899017 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584885 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=2.64 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 254 10 0 0 15 0 10 0 59899041 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (KiB) 414580 [startup+162.311 s] /proc/loadavg: 1.00 1.01 1.00 2/47 19288 /proc/meminfo: memFree=687576/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=159.53 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 15932 21 0 0 22 0 10 0 59898987 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65663 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=156.46 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 15636 10 0 0 25 0 10 0 59899017 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584885 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=2.94 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 284 10 0 0 15 0 10 0 59899041 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 159.53 Current children cumulated vsize (KiB) 414580 [startup+222.309 s] /proc/loadavg: 1.00 1.01 1.00 3/47 19321 /proc/meminfo: memFree=687452/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=219.11 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 21890 21 0 0 22 0 10 0 59898987 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65663 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=215.72 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 21562 10 0 0 25 0 10 0 59899017 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584891 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=3.26 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 316 10 0 0 15 0 10 0 59899041 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 219.11 Current children cumulated vsize (KiB) 414580 [startup+282.311 s] /proc/loadavg: 1.19 1.05 1.01 2/47 19355 /proc/meminfo: memFree=687328/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=278.68 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 27846 22 0 0 22 0 10 0 59898987 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65663 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=275.13 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 27501 12 0 0 25 0 10 0 59899017 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584885 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=3.42 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 332 10 0 0 15 0 10 0 59899041 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 278.68 Current children cumulated vsize (KiB) 414580 Solver just ended. Dumping a history of the last processes samples [startup+284.711 s] /proc/loadavg: 1.17 1.05 1.01 2/45 19355 /proc/meminfo: memFree=687608/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=281.08 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 28084 24 0 0 22 0 10 0 59898987 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65663 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=277.52 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 27739 13 0 0 25 0 10 0 59899017 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584860 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=3.42 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 332 10 0 0 15 0 10 0 59899041 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 281.08 Current children cumulated vsize (KiB) 414580 [startup+285.511 s] /proc/loadavg: 1.17 1.05 1.01 2/47 19357 /proc/meminfo: memFree=687576/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=281.88 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 28164 24 0 0 22 0 10 0 59898987 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65663 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=278.32 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 27819 13 0 0 25 0 10 0 59899017 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4115584869 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=3.42 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 332 10 0 0 15 0 10 0 59899041 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 281.88 Current children cumulated vsize (KiB) 414580 [startup+285.911 s] /proc/loadavg: 1.17 1.05 1.01 2/47 19357 /proc/meminfo: memFree=687328/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=282.28 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66972 0 244 0 28204 24 0 0 22 0 10 0 59898987 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65663 2919 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=278.72 /proc/19185/task/19187/stat : 19187 (java) R 19183 19183 2160 34817 2160 4202560 14382 0 156 0 27859 13 0 0 25 0 10 0 59899017 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4115777558 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=3.42 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 332 10 0 0 15 0 10 0 59899041 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59899046 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59899047 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 59899065 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19197] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19197/stat : 19197 (java) S 19183 19183 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 59899494 421904384 65663 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 414580 [startup+286.304 s] /proc/loadavg: 1.17 1.05 1.01 2/47 19357 /proc/meminfo: memFree=687328/1048576 swapFree=0/0 [pid=19183] ppid=19182 vsize=2564 CPUtime=0 /proc/19183/stat : 19183 (gj-user-solver-) S 19182 19183 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 59898985 2625536 269 1283457024 134512640 135304128 4287208032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19183/statm: 641 269 229 194 0 28 0 [pid=19185] ppid=19183 vsize=412016 CPUtime=282.66 /proc/19185/stat : 19185 (java) S 19183 19183 2160 34817 2160 4202496 66983 0 244 0 28242 24 0 0 22 0 9 0 59898987 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 103004 65674 2920 10 0 97149 0 [pid=19185/tid=19187] ppid=19183 vsize=412016 CPUtime=279.06 /proc/19185/task/19187/stat : 19187 (java) S 19183 19183 2160 34817 2160 4202560 14382 0 156 0 27893 13 0 0 25 0 9 0 59899017 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19188] ppid=19183 vsize=412016 CPUtime=3.46 /proc/19185/task/19188/stat : 19188 (java) S 19183 19183 2160 34817 2160 4202560 51167 0 27 0 336 10 0 0 16 0 9 0 59899041 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19189] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19189/stat : 19189 (java) S 19183 19183 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 59899046 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19190] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19190/stat : 19190 (java) S 19183 19183 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 59899047 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19191] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19191/stat : 19191 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 59899065 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19192] ppid=19183 vsize=412016 CPUtime=0.12 /proc/19185/task/19192/stat : 19192 (java) S 19183 19183 2160 34817 2160 4202560 546 0 5 0 12 0 0 0 16 0 9 0 59899065 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19193] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19193/stat : 19193 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 59899065 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=19185/tid=19194] ppid=19183 vsize=412016 CPUtime=0 /proc/19185/task/19194/stat : 19194 (java) S 19183 19183 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 59899065 421904384 65674 1283457024 134512640 134550932 4291864112 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.66 Current children cumulated vsize (KiB) 414580 Child status: 0 Real time (s): 286.352 CPU time (s): 282.678 CPU user time (s): 282.426 CPU system time (s): 0.252015 CPU usage (%): 98.7167 Max. virtual memory (cumulated for all children) (KiB): 414580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 282.426 system time used= 0.252015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67371 page faults= 244 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6247 involuntary context switches= 10054 runsolver used 0 second user time and 0 second system time The end