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 (4914 MiB free)
memory of node 1: 16384 MiB (7796 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295243-1532543154/watcher-4295243-1532543154 -o /tmp/evaluation-result-4295243-1532543154/solver-4295243-1532543154 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2076049123 -superng HOME/instance-4295243-1532543154.xml
running on 4 cores: 1,3,5,7
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
solver pid=31478, runsolver pid=31474
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.00 1.00 1.04 3/187 31585
/proc/meminfo: memFree=13014144/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=8381492 memory=9692 CPUtime=0.07 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 3093 12873 0 0 0 0 4 3 20 0 2 0 71878594 8582647808 2423 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2095373 2423 1180 1 0 2084284 0
[pid=31478/tid=31586] ppid=31474 vsize=8384576 memory=-6517102902069810590 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 925 12873 0 0 0 0 4 3 20 0 5 0 71878605 8585805824 2489 33554432000 4194304 4196468 140721353308544 140346246022864 140346266898007 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=8385604 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 0 12873 0 0 0 0 4 3 20 0 6 0 71878605 8586858496 2489 33554432000 4194304 4196468 140721353308544 140346278423264 140346274191061 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=8385604 memory=139711230613120 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) R 31474 31478 31421 0 -1 1077944384 0 12873 0 0 0 0 4 3 20 0 6 0 71878605 8586858496 2489 33554432000 4194304 4196468 140721353308544 140345847179872 140346274191061 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=8582212 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) D 31474 31478 31421 0 -1 4202560 0 12873 0 0 0 0 4 3 20 0 6 0 71878605 8788185088 2489 33554432000 4194304 4196468 140721353308544 140345846126776 140346266408675 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=8647748 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) R 31474 31478 31421 0 -1 4202560 0 12873 0 0 0 0 4 3 20 0 6 0 71878605 8855293952 2489 33554432000 4194304 4196468 140721353308544 140345845073976 140346266897959 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 8381492 KiB
Current children cumulated memory: 9692 KiB
[startup+0.210214 s]*
/proc/loadavg: 1.00 1.00 1.04 5/215 31613
/proc/meminfo: memFree=12962252/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10818904 memory=40020 CPUtime=0.24 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 7241 12873 0 0 15 2 4 3 20 0 15 0 71878594 11078557696 10005 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2704726 10005 2957 1 0 2667149 0
[pid=31478/tid=31586] ppid=31474 vsize=10818904 memory=-5576991679852610352 CPUtime=0.17 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 3880 12873 0 0 9 1 4 3 20 0 15 0 71878605 11078557696 10005 33554432000 4194304 4196468 140721353308544 140346246004736 140346258261342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11078557696 10005 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10818904 memory=139711230613120 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 2 12873 0 0 0 0 4 3 20 0 15 0 71878605 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10818904 memory=139711230613120 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 2 12873 0 0 0 0 4 3 20 0 15 0 71878607 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345169929504 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878607 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345035712112 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11078557696 10005 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 532 12873 0 0 1 0 4 3 20 0 15 0 71878610 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) S 31474 31478 31421 0 -1 1077944384 65 12873 0 0 1 0 4 3 20 0 15 0 71878610 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345731565552 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10818904 memory=139711230613120 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 550 12873 0 0 3 0 4 3 20 0 15 0 71878610 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11078557696 10005 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10818904 memory=139711230613120 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878611 11078557696 10005 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40020 KiB
[startup+0.310398 s]*
/proc/loadavg: 1.00 1.00 1.04 4/215 31613
/proc/meminfo: memFree=12936452/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10819352 memory=52892 CPUtime=0.37 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 10269 12873 0 0 27 3 4 3 20 0 15 0 71878594 11079016448 13223 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2704838 13223 3076 1 0 2667149 0
[pid=31478/tid=31586] ppid=31474 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 6932 12873 0 0 18 2 4 3 20 0 15 0 71878605 11079016448 13223 33554432000 4194304 4196468 140721353308544 140346245992864 140346254456615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10819352 memory=7521688025821571411 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 13223 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10819352 memory=7452450584736785745 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 13223 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10819352 memory=7649539104030738371 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 2 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 13223 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 13223 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 2 12873 0 0 0 0 4 3 20 0 15 0 71878607 11079016448 13289 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11079016448 13289 33554432000 4194304 4196468 140721353308544 140345169929504 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878607 11079016448 13289 33554432000 4194304 4196468 140721353308544 140345035712112 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11079016448 13289 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 534 12873 0 0 2 0 4 3 20 0 15 0 71878610 11079016448 13289 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) S 31474 31478 31421 0 -1 1077944384 65 12873 0 0 1 0 4 3 20 0 15 0 71878610 11079016448 13289 33554432000 4194304 4196468 140721353308544 140345731565552 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 559 12873 0 0 4 0 4 3 20 0 15 0 71878610 11079016448 13289 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11079016448 13289 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878611 11079016448 13289 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52892 KiB
[startup+0.700723 s]
/proc/loadavg: 1.00 1.00 1.04 4/215 31613
/proc/meminfo: memFree=12914868/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10819352 memory=86456 CPUtime=0.97 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 16734 12873 0 0 86 4 4 3 20 0 15 0 71878594 11079016448 21614 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2704838 21614 3246 1 0 2667149 0
[pid=31478/tid=31586] ppid=31474 vsize=10819352 memory=2241 CPUtime=0.64 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 12266 12873 0 0 54 3 4 3 20 0 15 0 71878605 11079016448 21614 33554432000 4194304 4196468 140721353308544 140346246003856 140346274202781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 21614 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 2 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878605 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10819352 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 5 12873 0 0 0 0 4 3 20 0 15 0 71878607 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10819352 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345169929504 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878607 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345035712112 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10819352 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11079016448 21614 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10819352 memory=139711125424016 CPUtime=0.14 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 935 12873 0 0 7 0 4 3 20 0 15 0 71878610 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10819352 memory=24964 CPUtime=0.17 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) S 31474 31478 31421 0 -1 1077944384 682 12873 0 0 10 0 4 3 20 0 15 0 71878610 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345731565552 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10819352 memory=2244 CPUtime=0.2 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 634 12873 0 0 13 0 4 3 20 0 15 0 71878610 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10819352 memory=139711125421424 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11079016448 21614 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878611 11079016448 21614 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86456 KiB
[startup+1.50169 s]
/proc/loadavg: 1.00 1.00 1.04 3/215 31613
/proc/meminfo: memFree=12825468/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10834252 memory=178616 CPUtime=2.4 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 24372 12873 0 0 223 10 4 3 20 0 15 0 71878594 11094274048 44654 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2708563 44654 3467 1 0 2670221 0
[pid=31478/tid=31586] ppid=31474 vsize=10834252 memory=13 CPUtime=1.41 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 17694 12873 0 0 128 6 4 3 20 0 15 0 71878605 11094274048 44654 33554432000 4194304 4196468 140721353308544 140346245991824 140346274202736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10834252 memory=19 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 27 12873 0 0 0 0 4 3 20 0 15 0 71878605 11094274048 44654 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 196 12873 0 0 1 0 4 3 20 0 15 0 71878605 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 60 12873 0 0 1 0 4 3 20 0 15 0 71878605 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10834252 memory=100412 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 19 12873 0 0 0 0 4 3 20 0 15 0 71878605 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 54 12873 0 0 1 0 4 3 20 0 15 0 71878607 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10834252 memory=7017545425871726679 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345169929568 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10834252 memory=7667490951075883625 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 2 12873 0 0 0 0 4 3 20 0 15 0 71878607 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345035712128 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10834252 memory=7522798545450460258 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11094274048 44654 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10834252 memory=5787214961271134564 CPUtime=0.31 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 1667 12873 0 0 24 0 4 3 20 0 15 0 71878610 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10834252 memory=7523382343124669802 CPUtime=0.35 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) S 31474 31478 31421 0 -1 1077944384 1164 12873 0 0 28 0 4 3 20 0 15 0 71878610 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345731565552 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10834252 memory=7017545425871726679 CPUtime=0.41 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 1283 12873 0 0 34 0 4 3 20 0 15 0 71878610 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10834252 memory=7017545425871726679 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11094274048 44654 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10834252 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 1 12873 0 0 0 0 4 3 20 0 15 0 71878611 11094274048 44654 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+7.89453 s]
# the end of solver process 31478 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.9056 s, system=0.281698 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40087 s]
/proc/loadavg: 1.00 1.00 1.04 3/215 31613
/proc/meminfo: memFree=12256116/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10914144 memory=376620 CPUtime=14.22 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 68389 12873 0 0 1393 22 4 3 20 0 15 0 71878594 11176083456 94155 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2728536 94155 3518 1 0 2690189 0
[pid=31478/tid=31586] ppid=31474 vsize=10914144 memory=2400 CPUtime=6.23 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 43907 12873 0 0 604 12 4 3 20 0 15 0 71878605 11176083456 94155 33554432000 4194304 4196468 140721353308544 140346246012312 140345873290649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10914144 memory=1836 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 78 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94155 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10914144 memory=13044 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 218 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10914144 memory=246 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 99 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10914144 memory=144 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 169 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 376 12873 0 0 3 0 4 3 20 0 15 0 71878607 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10914144 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345169929632 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10914144 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345035712128 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 94155 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10914144 memory=1 CPUtime=3.39 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 10123 12873 0 0 331 1 4 3 20 0 15 0 71878610 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10914144 memory=0 CPUtime=2.86 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) S 31474 31478 31421 0 -1 1077944384 4031 12873 0 0 278 1 4 3 20 0 15 0 71878610 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345731565552 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10914144 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 7166 12873 0 0 159 3 4 3 20 0 15 0 71878610 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 94155 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10914144 memory=8387886651786998885 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 14 12873 0 0 0 0 4 3 20 0 15 0 71878611 11176083456 94155 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 376620 KiB
[startup+7.20084 s]
/proc/loadavg: 1.00 1.00 1.04 3/215 31613
/proc/meminfo: memFree=12247156/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10914144 memory=378840 CPUtime=15.24 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 68469 12873 0 0 1495 22 4 3 20 0 15 0 71878594 11176083456 94710 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2728536 94710 3518 1 0 2690189 0
[pid=31478/tid=31586] ppid=31474 vsize=10914144 memory=376668 CPUtime=7.03 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 43915 12873 0 0 684 12 4 3 20 0 15 0 71878605 11176083456 94710 33554432000 4194304 4196468 140721353308544 140346246013168 140345873291203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10914144 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 86 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94710 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10914144 memory=1952 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 219 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10914144 memory=1232 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 103 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10914144 memory=8536 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 170 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10914144 memory=1712 CPUtime=0.11 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 376 12873 0 0 4 0 4 3 20 0 15 0 71878607 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10914144 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345169929632 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10914144 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345035712128 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10914144 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 94710 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10914144 memory=1436 CPUtime=3.49 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 10146 12873 0 0 341 1 4 3 20 0 15 0 71878610 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10914144 memory=1200 CPUtime=2.96 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) S 31474 31478 31421 0 -1 1077944384 4052 12873 0 0 288 1 4 3 20 0 15 0 71878610 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345731565552 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10914144 memory=15876 CPUtime=1.7 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 7180 12873 0 0 160 3 4 3 20 0 15 0 71878610 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10914144 memory=12848 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 94710 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10914144 memory=4004 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 14 12873 0 0 0 0 4 3 20 0 15 0 71878611 11176083456 94710 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 15.24 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 378840 KiB
[startup+7.60075 s]
/proc/loadavg: 1.00 1.00 1.04 3/215 31613
/proc/meminfo: memFree=12247156/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10914144 memory=378924 CPUtime=15.74 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 68478 12873 0 0 1545 22 4 3 20 0 15 0 71878594 11176083456 94731 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2728536 94731 3520 1 0 2690189 0
[pid=31478/tid=31586] ppid=31474 vsize=10914144 memory=288230583166042426 CPUtime=7.43 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 43915 12873 0 0 724 12 4 3 20 0 15 0 71878605 11176083456 94731 33554432000 4194304 4196468 140721353308544 140346246013168 140345871861261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10914144 memory=14133333755955767 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 86 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94731 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10914144 memory=952 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 219 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10914144 memory=1236 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 103 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10914144 memory=2340 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 170 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10914144 memory=2244 CPUtime=0.11 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 376 12873 0 0 4 0 4 3 20 0 15 0 71878607 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10914144 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345169929632 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10914144 memory=1584 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345035712128 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10914144 memory=4124 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 94731 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10914144 memory=2200 CPUtime=3.53 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 10155 12873 0 0 345 1 4 3 20 0 15 0 71878610 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10914144 memory=7288 CPUtime=3.02 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) R 31474 31478 31421 0 -1 4202560 4052 12873 0 0 294 1 4 3 20 0 15 0 71878610 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345731565552 140346255725144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10914144 memory=840 CPUtime=1.7 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 7180 12873 0 0 160 3 4 3 20 0 15 0 71878610 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10914144 memory=4108 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 94731 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10914144 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 14 12873 0 0 0 0 4 3 20 0 15 0 71878611 11176083456 94731 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 15.74 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 378924 KiB
[startup+7.80071 s]
/proc/loadavg: 1.00 1.00 1.04 3/215 31613
/proc/meminfo: memFree=12247156/32770624 swapFree=67108860/67108860
[pid=31478] ppid=31474 vsize=10914144 memory=405648 CPUtime=16.03 cores=1,3,5,7
/proc/31478/stat : 31478 (java) S 31474 31478 31421 0 -1 1077944320 68521 12873 0 0 1573 23 4 3 20 0 15 0 71878594 11176083456 101412 33554432000 4194304 4196468 140721353308544 140721353291088 140346274180855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
/proc/31478/statm: 2728536 101412 3520 1 0 2690189 0
[pid=31478/tid=31586] ppid=31474 vsize=10914144 memory=1296 CPUtime=7.64 cores=1,3,5,7
/proc/31478/task/31586/stat : 31586 (java) R 31474 31478 31421 0 -1 4202560 43943 12873 0 0 744 13 4 3 20 0 15 0 71878605 11176083456 101412 33554432000 4194304 4196468 140721353308544 140346246010784 140345873154854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31588] ppid=31474 vsize=10914144 memory=2400 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31588/stat : 31588 (java) S 31474 31478 31421 0 -1 1077944384 86 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 101412 33554432000 4194304 4196468 140721353308544 140346278422928 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31589] ppid=31474 vsize=10914144 memory=1836 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31589/stat : 31589 (java) S 31474 31478 31421 0 -1 1077944384 219 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345847179536 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31590] ppid=31474 vsize=10914144 memory=13044 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31590/stat : 31590 (java) S 31474 31478 31421 0 -1 1077944384 103 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345846127248 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31591] ppid=31474 vsize=10914144 memory=792 CPUtime=0.1 cores=1,3,5,7
/proc/31478/task/31591/stat : 31591 (java) S 31474 31478 31421 0 -1 1077944384 170 12873 0 0 3 0 4 3 20 0 15 0 71878605 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345845074448 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31596] ppid=31474 vsize=10914144 memory=1952 CPUtime=0.11 cores=1,3,5,7
/proc/31478/task/31596/stat : 31596 (java) S 31474 31478 31421 0 -1 1077944384 376 12873 0 0 4 0 4 3 20 0 15 0 71878607 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345733671536 140346274192002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31598] ppid=31474 vsize=10914144 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31598/stat : 31598 (java) S 31474 31478 31421 0 -1 1077944384 13 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345169929632 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31600] ppid=31474 vsize=10914144 memory=8536 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31600/stat : 31600 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878607 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345035712128 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31602] ppid=31474 vsize=10914144 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31602/stat : 31602 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 101412 33554432000 4194304 4196468 140721353308544 140344795421264 140346274199451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31603] ppid=31474 vsize=10914144 memory=5412 CPUtime=3.58 cores=1,3,5,7
/proc/31478/task/31603/stat : 31603 (java) S 31474 31478 31421 0 -1 1077944384 10161 12873 0 0 350 1 4 3 20 0 15 0 71878610 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345732618352 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31604] ppid=31474 vsize=10914144 memory=4612 CPUtime=3.04 cores=1,3,5,7
/proc/31478/task/31604/stat : 31604 (java) S 31474 31478 31421 0 -1 1077944384 4061 12873 0 0 296 1 4 3 20 0 15 0 71878610 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345731565552 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31605] ppid=31474 vsize=10914144 memory=1012 CPUtime=1.71 cores=1,3,5,7
/proc/31478/task/31605/stat : 31605 (java) S 31474 31478 31421 0 -1 1077944384 7180 12873 0 0 161 3 4 3 20 0 15 0 71878610 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345730513264 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31610] ppid=31474 vsize=10914144 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31610/stat : 31610 (java) S 31474 31478 31421 0 -1 1077944384 3 12873 0 0 0 0 4 3 20 0 15 0 71878610 11176083456 101412 33554432000 4194304 4196468 140721353308544 140344761862624 140346274191061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
[pid=31478/tid=31612] ppid=31474 vsize=10914144 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/31478/task/31612/stat : 31612 (java) S 31474 31478 31421 0 -1 1077944384 14 12873 0 0 0 0 4 3 20 0 15 0 71878611 11176083456 101412 33554432000 4194304 4196468 140721353308544 140345729461168 140346274192002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35594240 140721353312427 140721353315676 140721353315676 140721353318351 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 405648 KiB
Child status: 0
Real time (s): 7.89458
CPU time (s): 16.1873
CPU user time (s): 15.9056
CPU system time (s): 0.281698
CPU usage (%): 205.043
Max. virtual memory (cumulated for all children) (KiB): 10916856
Max. memory (cumulated for all children) (KiB): 405648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9056
system time used= 0.281698
maximum resident set size= 412192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7277
involuntary context switches= 64
# summary of solver processes directly reported to runsolver:
# pid: 31478
# total CPU time (s): 16.1873
# total CPU user time (s): 15.9056
# total CPU system time (s): 0.281698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061603 second user time and 0.122621 second system time
The end