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 (9591 MiB free)
memory of node 1: 16384 MiB (9240 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295967-1532602182/watcher-4295967-1532602182 -o /tmp/evaluation-result-4295967-1532602182/solver-4295967-1532602182 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532594793-3954 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1790201012 -superng HOME/instance-4295967-1532602182.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=5482, runsolver pid=5479
[startup+0.100064 s]*
/proc/loadavg: 1.66 1.60 1.60 5/210 5539
/proc/meminfo: memFree=19278956/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=9972712 memory=18592 CPUtime=0.09 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 4277 13168 0 0 1 0 6 2 20 0 6 0 77781404 10212057088 4648 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2493178 4648 1932 1 0 2481616 0
[pid=5482/tid=5535] ppid=5479 vsize=9972712 memory=-8384983170502934469 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 2094 13168 0 0 0 0 6 2 20 0 6 0 77781414 10212057088 4648 33554432000 4194304 4196468 140722042615104 139920732016328 139920745862997 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 6 0 77781414 10212057088 4648 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=9972712 memory=140043773871744 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 6 0 77781414 10212057088 4648 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 6 0 77781414 10212057088 4648 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 6 0 77781414 10212057088 4648 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210422 s]*
/proc/loadavg: 1.66 1.60 1.60 3/219 5548
/proc/meminfo: memFree=19258796/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=10818936 memory=42180 CPUtime=0.26 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 8976 13168 0 0 16 2 6 2 20 0 15 0 77781404 11078590464 10545 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2704734 10545 2927 1 0 2667157 0
[pid=5482/tid=5535] ppid=5479 vsize=10818936 memory=8514701219931451533 CPUtime=0.19 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 5859 13168 0 0 10 1 6 2 20 0 15 0 77781414 11078590464 10796 33554432000 4194304 4196468 140722042615104 139920732005280 139920752860189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10818936 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11078590464 10796 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10818936 memory=140043773871744 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11078590464 10796 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781414 11078590464 10796 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11078590464 10796 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10818936 memory=140043773871744 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781416 11078590464 10796 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 33 13168 0 0 0 0 6 2 20 0 15 0 77781416 11078557696 10796 33554432000 4194304 4196468 140722042615104 139919962903328 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11078557696 10796 33554432000 4194304 4196468 140722042615104 139919565513840 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11078557696 10796 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 525 13168 0 0 1 0 6 2 20 0 15 0 77781419 11078557696 10796 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 52 13168 0 0 0 0 6 2 20 0 15 0 77781419 11078590464 10796 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10818936 memory=140043773871744 CPUtime=0.11 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) S 5479 5482 2275 0 -1 1077944384 571 13168 0 0 3 0 6 2 20 0 15 0 77781419 11078590464 10796 33554432000 4194304 4196468 140722042615104 139919927241584 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11078590464 10796 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10818936 memory=140043773871744 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781419 11078590464 10796 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 42180 KiB
[startup+0.310783 s]*
/proc/loadavg: 1.66 1.60 1.60 3/219 5548
/proc/meminfo: memFree=19245896/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=10819352 memory=51060 CPUtime=0.39 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 10451 13168 0 0 28 3 6 2 20 0 15 0 77781404 11079016448 12765 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2704838 12765 3046 1 0 2667149 0
[pid=5482/tid=5535] ppid=5479 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 7055 13168 0 0 19 2 6 2 20 0 15 0 77781414 11079016448 12765 33554432000 4194304 4196468 140722042615104 139920731992480 139920752417598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10819352 memory=7086527638760738896 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 12765 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 12765 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 12765 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 12765 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781416 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 33 13168 0 0 0 0 6 2 20 0 15 0 77781416 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919962903328 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919565513840 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 525 13168 0 0 2 0 6 2 20 0 15 0 77781419 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 53 13168 0 0 1 0 6 2 20 0 15 0 77781419 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) R 5479 5482 2275 0 -1 4202560 589 13168 0 0 5 0 6 2 20 0 15 0 77781419 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919927241584 139920760192406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781419 11079016448 12765 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51060 KiB
[startup+0.700827 s]
/proc/loadavg: 1.66 1.60 1.60 4/219 5548
/proc/meminfo: memFree=19235724/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=10819352 memory=84392 CPUtime=0.99 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 16783 13168 0 0 87 4 6 2 20 0 15 0 77781404 11079016448 21098 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2704838 21098 3236 1 0 2667149 0
[pid=5482/tid=5535] ppid=5479 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 12313 13168 0 0 55 3 6 2 20 0 15 0 77781414 11079016448 21098 33554432000 4194304 4196468 140722042615104 139920732001296 139920743367297 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 21098 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10819352 memory=3828 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 21098 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 21098 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11079016448 21098 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 5 13168 0 0 0 0 6 2 20 0 15 0 77781416 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 33 13168 0 0 0 0 6 2 20 0 15 0 77781416 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919962903328 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919565513840 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10819352 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 1110 13168 0 0 10 0 6 2 20 0 15 0 77781419 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10819352 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 441 13168 0 0 6 0 6 2 20 0 15 0 77781419 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) S 5479 5482 2275 0 -1 1077944384 679 13168 0 0 13 0 6 2 20 0 15 0 77781419 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919927241584 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781419 11079016448 21098 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84392 KiB
[startup+1.50084 s]
/proc/loadavg: 1.66 1.60 1.60 2/219 5548
/proc/meminfo: memFree=19194040/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=10832204 memory=138884 CPUtime=2.09 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 23197 13168 0 0 192 9 6 2 20 0 15 0 77781404 11092176896 34721 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2708051 34721 3439 1 0 2669709 0
[pid=5482/tid=5535] ppid=5479 vsize=10832204 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 16951 13168 0 0 113 6 6 2 20 0 15 0 77781414 11092176896 34721 33554432000 4194304 4196468 140722042615104 139920731987312 139920760202397 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11092176896 34721 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11092176896 34721 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10832204 memory=3683998604062831409 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781414 11092176896 34721 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 2 13168 0 0 0 0 6 2 20 0 15 0 77781414 11092176896 34721 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10832204 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 5 13168 0 0 0 0 6 2 20 0 15 0 77781416 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10832204 memory=280087299696896 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 33 13168 0 0 0 0 6 2 20 0 15 0 77781416 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919962903328 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919565513840 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10832204 memory=1948 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10832204 memory=5524 CPUtime=0.32 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 1670 13168 0 0 24 0 6 2 20 0 15 0 77781419 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10832204 memory=1444 CPUtime=0.31 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 1147 13168 0 0 23 0 6 2 20 0 15 0 77781419 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10832204 memory=1200 CPUtime=0.38 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) S 5479 5482 2275 0 -1 1077944384 1189 13168 0 0 30 0 6 2 20 0 15 0 77781419 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919927241584 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10832204 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10832204 memory=12040 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781419 11092176896 34721 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 83410 13168 0 0 237179 28 6 2 20 0 15 0 77781414 11178180608 145662 33554432000 4194304 4196468 140722042615104 139920732015856 139920337670399 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10916192 memory=582616 CPUtime=4.43 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 8132 13168 0 0 410 25 6 2 20 0 15 0 77781414 11178180608 145662 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10916192 memory=582648 CPUtime=4.42 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 10303 13168 0 0 410 24 6 2 20 0 15 0 77781414 11178180608 145662 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10916192 memory=280087301759584 CPUtime=4.37 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 8290 13168 0 0 404 25 6 2 20 0 15 0 77781414 11178180608 145662 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10916192 memory=582648 CPUtime=4.41 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 8949 13168 0 0 408 25 6 2 20 0 15 0 77781414 11178180608 145662 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10916192 memory=582648 CPUtime=3.67 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 9835 13168 0 0 340 19 6 2 20 0 15 0 77781416 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10916192 memory=582648 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 38 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919962903456 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919565513856 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10916192 memory=582648 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10916192 memory=582648 CPUtime=6.54 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 40780 13168 0 0 640 6 6 2 20 0 15 0 77781419 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10916192 memory=582648 CPUtime=7.74 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 52574 13168 0 0 759 7 6 2 20 0 15 0 77781419 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10916192 memory=3828 CPUtime=3.49 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) S 5479 5482 2275 0 -1 1077944384 46904 13168 0 0 333 8 6 2 20 0 15 0 77781419 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919927241584 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10916192 memory=23332 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10916192 memory=1296 CPUtime=1.36 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1073 13168 0 0 66 62 6 2 20 0 15 0 77781419 11178180608 145662 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 2411.98 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 582648 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.41 1.41 3/219 5787
/proc/meminfo: memFree=22026024/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=10916192 memory=582660 CPUtime=2472.24 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 273079 13168 0 0 247011 205 6 2 20 0 15 0 77781404 11178180608 145665 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2729048 145665 3521 1 0 2690701 0
[pid=5482/tid=5535] ppid=5479 vsize=10916192 memory=582660 CPUtime=2431.93 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 83707 13168 0 0 243156 29 6 2 20 0 15 0 77781414 11178180608 145665 33554432000 4194304 4196468 140722042615104 139920732015872 139920331678728 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10916192 memory=1200 CPUtime=4.51 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 8141 13168 0 0 418 25 6 2 20 0 15 0 77781414 11178180608 145665 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10916192 memory=582660 CPUtime=4.52 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 10319 13168 0 0 420 24 6 2 20 0 15 0 77781414 11178180608 145665 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10916192 memory=582660 CPUtime=4.46 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 8301 13168 0 0 413 25 6 2 20 0 15 0 77781414 11178180608 145665 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10916192 memory=582660 CPUtime=4.51 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 9018 13168 0 0 417 26 6 2 20 0 15 0 77781414 11178180608 145665 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10916192 memory=582660 CPUtime=3.75 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 10016 13168 0 0 347 20 6 2 20 0 15 0 77781416 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10916192 memory=582660 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 38 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919962903456 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10916192 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919565513856 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10916192 memory=582660 CPUtime=6.54 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 40780 13168 0 0 640 6 6 2 20 0 15 0 77781419 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10916192 memory=582660 CPUtime=7.74 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 52574 13168 0 0 759 7 6 2 20 0 15 0 77781419 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10916192 memory=582660 CPUtime=3.49 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) S 5479 5482 2275 0 -1 1077944384 46904 13168 0 0 333 8 6 2 20 0 15 0 77781419 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919927241584 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10916192 memory=582660 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10916192 memory=582660 CPUtime=1.4 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1087 13168 0 0 68 64 6 2 20 0 15 0 77781419 11178180608 145665 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 2472.24 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 582660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.9 s]
/proc/loadavg: 1.34 1.41 1.41 3/219 5787
/proc/meminfo: memFree=22023904/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=10916192 memory=582700 CPUtime=2520.06 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 274263 13168 0 0 251791 207 6 2 20 0 15 0 77781404 11178180608 145675 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2729048 145675 3521 1 0 2690701 0
[pid=5482/tid=5535] ppid=5479 vsize=10916192 memory=8532 CPUtime=2479.35 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 84157 13168 0 0 247898 29 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920732014768 139920335998268 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.59 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 8169 13168 0 0 426 25 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.59 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 10670 13168 0 0 427 24 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.54 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 8361 13168 0 0 421 25 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.59 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 9097 13168 0 0 425 26 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10916192 memory=582700 CPUtime=3.82 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 10211 13168 0 0 354 20 6 2 20 0 15 0 77781416 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 38 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919962903456 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919565513856 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10916192 memory=582700 CPUtime=6.54 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 40782 13168 0 0 640 6 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10916192 memory=582700 CPUtime=7.74 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 52576 13168 0 0 759 7 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10916192 memory=3828 CPUtime=3.49 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) S 5479 5482 2275 0 -1 1077944384 46906 13168 0 0 333 8 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919927241584 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10916192 memory=582700 CPUtime=1.41 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1102 13168 0 0 69 64 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 582700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.93 s]
# the end of solver process 5482 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518 s, system=2.10318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.9 s]
/proc/loadavg: 1.34 1.41 1.41 3/219 5787
/proc/meminfo: memFree=22023904/32770624 swapFree=67108860/67108860
[pid=5482] ppid=5479 vsize=10916192 memory=582700 CPUtime=2520.06 cores=0,2,4,6
/proc/5482/stat : 5482 (java) S 5479 5482 2275 0 -1 1077944320 274263 13168 0 0 251791 207 6 2 20 0 15 0 77781404 11178180608 145675 33554432000 4194304 4196468 140722042615104 140722042597648 139920760180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
/proc/5482/statm: 2729048 145675 3521 1 0 2690701 0
[pid=5482/tid=5535] ppid=5479 vsize=10916192 memory=8532 CPUtime=2479.35 cores=0,2,4,6
/proc/5482/task/5535/stat : 5535 (java) R 5479 5482 2275 0 -1 4202560 84157 13168 0 0 247898 29 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920732014768 139920335998268 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5536] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.59 cores=0,2,4,6
/proc/5482/task/5536/stat : 5536 (java) S 5479 5482 2275 0 -1 1077944384 8169 13168 0 0 426 25 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920764423056 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5537] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.59 cores=0,2,4,6
/proc/5482/task/5537/stat : 5537 (java) S 5479 5482 2275 0 -1 1077944384 10670 13168 0 0 427 24 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920652696336 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5538] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.54 cores=0,2,4,6
/proc/5482/task/5538/stat : 5538 (java) S 5479 5482 2275 0 -1 1077944384 8361 13168 0 0 421 25 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920651644048 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5539] ppid=5479 vsize=10916192 memory=582700 CPUtime=4.59 cores=0,2,4,6
/proc/5482/task/5539/stat : 5539 (java) S 5479 5482 2275 0 -1 1077944384 9097 13168 0 0 425 26 6 2 20 0 15 0 77781414 11178180608 145675 33554432000 4194304 4196468 140722042615104 139920650591248 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5540] ppid=5479 vsize=10916192 memory=582700 CPUtime=3.82 cores=0,2,4,6
/proc/5482/task/5540/stat : 5540 (java) S 5479 5482 2275 0 -1 1077944384 10211 13168 0 0 354 20 6 2 20 0 15 0 77781416 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919963957360 139920760191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5541] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5541/stat : 5541 (java) S 5479 5482 2275 0 -1 1077944384 38 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919962903456 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5542] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5542/stat : 5542 (java) S 5479 5482 2275 0 -1 1077944384 1 13168 0 0 0 0 6 2 20 0 15 0 77781416 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919565513856 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5543] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5543/stat : 5543 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919325222992 139920760199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5544] ppid=5479 vsize=10916192 memory=582700 CPUtime=6.54 cores=0,2,4,6
/proc/5482/task/5544/stat : 5544 (java) S 5479 5482 2275 0 -1 1077944384 40782 13168 0 0 640 6 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919929346672 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5545] ppid=5479 vsize=10916192 memory=582700 CPUtime=7.74 cores=0,2,4,6
/proc/5482/task/5545/stat : 5545 (java) S 5479 5482 2275 0 -1 1077944384 52576 13168 0 0 759 7 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919928293872 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5546] ppid=5479 vsize=10916192 memory=3828 CPUtime=3.49 cores=0,2,4,6
/proc/5482/task/5546/stat : 5546 (java) S 5479 5482 2275 0 -1 1077944384 46906 13168 0 0 333 8 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919927241584 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5547] ppid=5479 vsize=10916192 memory=582700 CPUtime=0.08 cores=0,2,4,6
/proc/5482/task/5547/stat : 5547 (java) S 5479 5482 2275 0 -1 1077944384 3 13168 0 0 0 0 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919291665376 139920760190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
[pid=5482/tid=5548] ppid=5479 vsize=10916192 memory=582700 CPUtime=1.41 cores=0,2,4,6
/proc/5482/task/5548/stat : 5548 (java) S 5479 5482 2275 0 -1 1077944384 1102 13168 0 0 69 64 6 2 20 0 15 0 77781419 11178180608 145675 33554432000 4194304 4196468 140722042615104 139919926188464 139920760191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11563008 140722042624171 140722042627420 140722042627420 140722042630095 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 582700 KiB
Child status: 143
Real time (s): 2489.93
CPU time (s): 2520.1
CPU user time (s): 2518
CPU system time (s): 2.10318
CPU usage (%): 101.212
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 811356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518
system time used= 2.10318
maximum resident set size= 813420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138941
involuntary context switches= 7386
# summary of solver processes directly reported to runsolver:
# pid: 5482
# total CPU time (s): 2520.1
# total CPU user time (s): 2518
# total CPU system time (s): 2.10318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0609 second user time and 22.222 second system time
The end