runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3157 MiB free)
memory of node 1: 16384 MiB (9244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295990-1532606396/watcher-4295990-1532606396 -o /tmp/evaluation-result-4295990-1532606396/solver-4295990-1532606396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532582651-29261 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2060898776 HOME/instance-4295990-1532606396.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1259, runsolver pid=1256
[startup+0.100079 s]*
/proc/loadavg: 1.47 1.38 1.34 3/206 1324
/proc/meminfo: memFree=12691604/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=9972712 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 4338 12843 0 0 1 1 4 3 20 0 6 0 78202744 10212057088 4202 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2493178 4202 1934 1 0 2481616 0
[pid=1259/tid=1320] ppid=1256 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 2254 12843 0 0 1 0 4 3 20 0 6 0 78202753 10212057088 4268 33554432000 4194304 4196468 140734857629936 139772625646160 139772637889886 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 6 0 78202754 10212057088 4268 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=9972712 memory=139749129455232 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 6 0 78202754 10212057088 4334 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 6 0 78202754 10212057088 4334 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 6 0 78202754 10212057088 4334 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.209807 s]*
/proc/loadavg: 1.47 1.38 1.34 3/215 1333
/proc/meminfo: memFree=12669928/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=10818904 memory=43828 CPUtime=0.25 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 7719 12843 0 0 16 2 4 3 20 0 15 0 78202744 11078557696 10957 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2704726 10957 2945 1 0 2667149 0
[pid=1259/tid=1320] ppid=1256 vsize=10818904 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 4716 12843 0 0 11 1 4 3 20 0 15 0 78202753 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772625616016 139772637889886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10818904 memory=4294967641 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202754 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10818904 memory=139749129480934 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202754 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202754 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202754 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10818904 memory=139749129455232 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202755 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 33 12843 0 0 0 0 4 3 20 0 15 0 78202756 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772111549344 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202756 11078557696 11419 33554432000 4194304 4196468 140734857629936 139771657577456 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11078557696 11419 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 86 12843 0 0 0 0 4 3 20 0 15 0 78202759 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 528 12843 0 0 1 0 4 3 20 0 15 0 78202759 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10818904 memory=139749129455232 CPUtime=0.1 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) R 1256 1259 29230 0 -1 4202560 618 12843 0 0 3 0 4 3 20 0 15 0 78202759 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772075887344 139772632612528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11078557696 11419 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10818904 memory=139749129455232 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202759 11078557696 11419 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43828 KiB
[startup+0.310097 s]*
/proc/loadavg: 1.47 1.38 1.34 3/215 1333
/proc/meminfo: memFree=12658280/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=10819352 memory=56644 CPUtime=0.37 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 10676 12843 0 0 28 2 4 3 20 0 15 0 78202744 11079016448 14161 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2704838 14161 3099 1 0 2667149 0
[pid=1259/tid=1320] ppid=1256 vsize=10819352 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 7202 12843 0 0 20 1 4 3 20 0 15 0 78202753 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772625621408 139772653831325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10819352 memory=4294967295 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10819352 memory=139749129455232 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10819352 memory=2209 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10819352 memory=2240 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202755 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 33 12843 0 0 0 0 4 3 20 0 15 0 78202756 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772111549344 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202756 11079016448 14161 33554432000 4194304 4196468 140734857629936 139771657577456 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11079016448 14161 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 86 12843 0 0 1 0 4 3 20 0 15 0 78202759 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 529 12843 0 0 1 0 4 3 20 0 15 0 78202759 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10819352 memory=139749129455232 CPUtime=0.11 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) S 1256 1259 29230 0 -1 1077944384 624 12843 0 0 4 0 4 3 20 0 15 0 78202759 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772075887344 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11079016448 14161 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10819352 memory=139749129455232 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202759 11079016448 14161 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56644 KiB
[startup+0.700692 s]
/proc/loadavg: 1.47 1.38 1.34 3/215 1333
/proc/meminfo: memFree=12647488/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=10819352 memory=88900 CPUtime=0.99 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 16772 12843 0 0 88 4 4 3 20 0 15 0 78202744 11079016448 22225 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2704838 22225 3247 1 0 2667149 0
[pid=1259/tid=1320] ppid=1256 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 12256 12843 0 0 57 2 4 3 20 0 15 0 78202753 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772625630224 139772636996229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10819352 memory=139749129454065 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202754 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 6 12843 0 0 0 0 4 3 20 0 15 0 78202755 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 33 12843 0 0 0 0 4 3 20 0 15 0 78202756 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772111549344 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10819352 memory=2529064650241 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202756 11079016448 22225 33554432000 4194304 4196468 140734857629936 139771657577456 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10819352 memory=215418560 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11079016448 22225 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10819352 memory=-8628789465997925488 CPUtime=0.15 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 671 12843 0 0 8 0 4 3 20 0 15 0 78202759 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10819352 memory=15876 CPUtime=0.15 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 929 12843 0 0 8 0 4 3 20 0 15 0 78202759 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10819352 memory=4044 CPUtime=0.2 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) S 1256 1259 29230 0 -1 1077944384 676 12843 0 0 13 0 4 3 20 0 15 0 78202759 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772075887344 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10819352 memory=13612 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11079016448 22225 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10819352 memory=16432 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202759 11079016448 22225 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88900 KiB
[startup+1.5007 s]
/proc/loadavg: 1.47 1.38 1.34 3/215 1333
/proc/meminfo: memFree=12601900/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=10834252 memory=182380 CPUtime=2.35 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 24310 12843 0 0 218 10 4 3 20 0 15 0 78202744 11094274048 45595 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2708563 45595 3468 1 0 2670221 0
[pid=1259/tid=1320] ppid=1256 vsize=10834252 memory=2608 CPUtime=1.43 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 17707 12843 0 0 130 6 4 3 20 0 15 0 78202753 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772625632496 139772637889886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10834252 memory=2600 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 22 12843 0 0 1 0 4 3 20 0 15 0 78202754 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10834252 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 186 12843 0 0 1 0 4 3 20 0 15 0 78202754 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10834252 memory=6442213863488383583 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 29 12843 0 0 1 0 4 3 20 0 15 0 78202754 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10834252 memory=7591214565600683353 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 58 12843 0 0 1 0 4 3 20 0 15 0 78202754 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10834252 memory=4012 CPUtime=0.08 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 61 12843 0 0 1 0 4 3 20 0 15 0 78202755 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 34 12843 0 0 0 0 4 3 20 0 15 0 78202756 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772111549408 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10834252 memory=139748974948464 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202756 11094274048 45595 33554432000 4194304 4196468 140734857629936 139771657577472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11094274048 45595 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10834252 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 1152 12843 0 0 24 0 4 3 20 0 15 0 78202759 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10834252 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 1593 12843 0 0 24 0 4 3 20 0 15 0 78202759 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10834252 memory=279497949577456 CPUtime=0.4 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) S 1256 1259 29230 0 -1 1077944384 1275 12843 0 0 33 0 4 3 20 0 15 0 78202759 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772075887344 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11094274048 45595 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10834252 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1 12843 0 0 0 0 4 3 20 0 15 0 78202759 11094274048 45595 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 79670 12843 0 0 236840 30 4 3 20 0 15 0 78202753 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772625643824 139772224508687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10916192 memory=550088 CPUtime=5.53 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 7189 12843 0 0 512 34 4 3 20 0 15 0 78202754 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10916192 memory=550088 CPUtime=5.51 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 8674 12843 0 0 513 31 4 3 20 0 15 0 78202754 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10916192 memory=550088 CPUtime=5.54 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 15694 12843 0 0 516 31 4 3 20 0 15 0 78202754 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10916192 memory=550144 CPUtime=5.54 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 9545 12843 0 0 518 29 4 3 20 0 15 0 78202754 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10916192 memory=550144 CPUtime=5.46 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 9979 12843 0 0 510 29 4 3 20 0 15 0 78202755 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10916192 memory=550144 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 39 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772111549472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10916192 memory=550144 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 4 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137536 33554432000 4194304 4196468 140734857629936 139771657577472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10916192 memory=550144 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137536 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10916192 memory=7 CPUtime=6.26 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 42463 12843 0 0 614 5 4 3 20 0 15 0 78202759 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10916192 memory=1300 CPUtime=5.94 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 31745 12843 0 0 583 4 4 3 20 0 15 0 78202759 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10916192 memory=1732 CPUtime=3.22 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) S 1256 1259 29230 0 -1 1077944384 34090 12843 0 0 309 6 4 3 20 0 15 0 78202759 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772075887344 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10916192 memory=550144 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137536 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10916192 memory=550144 CPUtime=1.2 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1182 12843 0 0 59 54 4 3 20 0 15 0 78202759 11178180608 137536 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 2412.44 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 550144 KiB
[startup+2442.3 s]
/proc/loadavg: 1.76 1.67 1.63 3/216 1568
/proc/meminfo: memFree=10192200/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=10916192 memory=550152 CPUtime=2472.81 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 243043 12843 0 0 247051 223 4 3 20 0 15 0 78202744 11178180608 137538 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2729048 137538 3526 1 0 2690701 0
[pid=1259/tid=1320] ppid=1256 vsize=10916192 memory=550152 CPUtime=2428.42 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 80031 12843 0 0 242805 30 4 3 20 0 15 0 78202753 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772625643984 139772224868249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10916192 memory=550152 CPUtime=5.68 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 7208 12843 0 0 526 35 4 3 20 0 15 0 78202754 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10916192 memory=550152 CPUtime=5.64 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 8684 12843 0 0 526 31 4 3 20 0 15 0 78202754 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10916192 memory=550152 CPUtime=5.67 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 15731 12843 0 0 528 32 4 3 20 0 15 0 78202754 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10916192 memory=550152 CPUtime=5.67 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 9554 12843 0 0 530 30 4 3 20 0 15 0 78202754 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10916192 memory=550152 CPUtime=5.59 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 10104 12843 0 0 523 29 4 3 20 0 15 0 78202755 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10916192 memory=550152 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 39 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772111549472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10916192 memory=550152 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 4 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137538 33554432000 4194304 4196468 140734857629936 139771657577472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10916192 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137538 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10916192 memory=11008 CPUtime=6.26 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 42463 12843 0 0 614 5 4 3 20 0 15 0 78202759 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10916192 memory=550152 CPUtime=5.94 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 31745 12843 0 0 583 4 4 3 20 0 15 0 78202759 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10916192 memory=796 CPUtime=3.22 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) S 1256 1259 29230 0 -1 1077944384 34090 12843 0 0 309 6 4 3 20 0 15 0 78202759 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772075887344 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10916192 memory=550152 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137538 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10916192 memory=4012 CPUtime=1.23 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1197 12843 0 0 60 56 4 3 20 0 15 0 78202759 11178180608 137538 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 2472.81 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 550152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.3 s]
/proc/loadavg: 1.84 1.70 1.64 3/216 1569
/proc/meminfo: memFree=10191892/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=10916192 memory=550204 CPUtime=2520.09 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 244077 12843 0 0 251775 227 4 3 20 0 15 0 78202744 11178180608 137551 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2729048 137551 3526 1 0 2690701 0
[pid=1259/tid=1320] ppid=1256 vsize=10916192 memory=550204 CPUtime=2475.16 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 80449 12843 0 0 247478 31 4 3 20 0 15 0 78202753 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772625643872 139772220066472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.78 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 7548 12843 0 0 536 35 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.75 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 8776 12843 0 0 536 32 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.78 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 15742 12843 0 0 538 33 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10916192 memory=1952 CPUtime=5.77 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 9565 12843 0 0 539 31 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.7 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 10246 12843 0 0 533 30 4 3 20 0 15 0 78202755 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10916192 memory=550204 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 39 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772111549472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10916192 memory=550204 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 4 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137551 33554432000 4194304 4196468 140734857629936 139771657577472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10916192 memory=4012 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10916192 memory=23348 CPUtime=6.26 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 42465 12843 0 0 614 5 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.94 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 31747 12843 0 0 583 4 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10916192 memory=4629771062077588875 CPUtime=3.23 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) S 1256 1259 29230 0 -1 1077944384 34092 12843 0 0 310 6 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772075887344 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10916192 memory=3292 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10916192 memory=550204 CPUtime=1.26 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1211 12843 0 0 61 58 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 550204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.33 s]
# the end of solver process 1259 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.82 s, system=2.31438 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.3 s]
/proc/loadavg: 1.84 1.70 1.64 3/216 1569
/proc/meminfo: memFree=10191892/32770624 swapFree=67108852/67108860
[pid=1259] ppid=1256 vsize=10916192 memory=550204 CPUtime=2520.09 cores=0,2,4,6
/proc/1259/stat : 1259 (java) S 1256 1259 29230 0 -1 1077944320 244077 12843 0 0 251775 227 4 3 20 0 15 0 78202744 11178180608 137551 33554432000 4194304 4196468 140734857629936 140734857612480 139772653809399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
/proc/1259/statm: 2729048 137551 3526 1 0 2690701 0
[pid=1259/tid=1320] ppid=1256 vsize=10916192 memory=550204 CPUtime=2475.16 cores=0,2,4,6
/proc/1259/task/1320/stat : 1320 (java) R 1256 1259 29230 0 -1 4202560 80449 12843 0 0 247478 31 4 3 20 0 15 0 78202753 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772625643872 139772220066472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1321] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.78 cores=0,2,4,6
/proc/1259/task/1321/stat : 1321 (java) S 1256 1259 29230 0 -1 1077944384 7548 12843 0 0 536 35 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772658051856 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1322] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.75 cores=0,2,4,6
/proc/1259/task/1322/stat : 1322 (java) S 1256 1259 29230 0 -1 1077944384 8776 12843 0 0 536 32 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772546325392 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1323] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.78 cores=0,2,4,6
/proc/1259/task/1323/stat : 1323 (java) S 1256 1259 29230 0 -1 1077944384 15742 12843 0 0 538 33 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772545272848 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1324] ppid=1256 vsize=10916192 memory=1952 CPUtime=5.77 cores=0,2,4,6
/proc/1259/task/1324/stat : 1324 (java) S 1256 1259 29230 0 -1 1077944384 9565 12843 0 0 539 31 4 3 20 0 15 0 78202754 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772544220304 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1325] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.7 cores=0,2,4,6
/proc/1259/task/1325/stat : 1325 (java) S 1256 1259 29230 0 -1 1077944384 10246 12843 0 0 533 30 4 3 20 0 15 0 78202755 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772112603120 139772653820546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1326] ppid=1256 vsize=10916192 memory=550204 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1326/stat : 1326 (java) S 1256 1259 29230 0 -1 1077944384 39 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772111549472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1327] ppid=1256 vsize=10916192 memory=550204 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1327/stat : 1327 (java) S 1256 1259 29230 0 -1 1077944384 4 12843 0 0 0 0 4 3 20 0 15 0 78202756 11178180608 137551 33554432000 4194304 4196468 140734857629936 139771657577472 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1328] ppid=1256 vsize=10916192 memory=4012 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1328/stat : 1328 (java) S 1256 1259 29230 0 -1 1077944384 2 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139771389143248 139772653827995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1329] ppid=1256 vsize=10916192 memory=23348 CPUtime=6.26 cores=0,2,4,6
/proc/1259/task/1329/stat : 1329 (java) S 1256 1259 29230 0 -1 1077944384 42465 12843 0 0 614 5 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772077992432 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1330] ppid=1256 vsize=10916192 memory=550204 CPUtime=5.94 cores=0,2,4,6
/proc/1259/task/1330/stat : 1330 (java) S 1256 1259 29230 0 -1 1077944384 31747 12843 0 0 583 4 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772076939888 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1331] ppid=1256 vsize=10916192 memory=4629771062077588875 CPUtime=3.23 cores=0,2,4,6
/proc/1259/task/1331/stat : 1331 (java) S 1256 1259 29230 0 -1 1077944384 34092 12843 0 0 310 6 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772075887344 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1332] ppid=1256 vsize=10916192 memory=3292 CPUtime=0.07 cores=0,2,4,6
/proc/1259/task/1332/stat : 1332 (java) S 1256 1259 29230 0 -1 1077944384 3 12843 0 0 0 0 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139770919382112 139772653819605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
[pid=1259/tid=1333] ppid=1256 vsize=10916192 memory=550204 CPUtime=1.26 cores=0,2,4,6
/proc/1259/task/1333/stat : 1333 (java) S 1256 1259 29230 0 -1 1077944384 1211 12843 0 0 61 58 4 3 20 0 15 0 78202759 11178180608 137551 33554432000 4194304 4196468 140734857629936 139772074834224 139772653820546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140734857632366 140734857635164 140734857635164 140734857637839 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 550204 KiB
Child status: 143
Real time (s): 2489.33
CPU time (s): 2520.14
CPU user time (s): 2517.82
CPU system time (s): 2.31438
CPU usage (%): 101.237
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 573420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.82
system time used= 2.31438
maximum resident set size= 573916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183495
involuntary context switches= 8076
# summary of solver processes directly reported to runsolver:
# pid: 1259
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.82
# total CPU system time (s): 2.31438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5625 second user time and 21.8685 second system time
The end