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 (12706 MiB free)
memory of node 1: 16384 MiB (14210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293211-1532308698/watcher-4293211-1532308698 -o /tmp/evaluation-result-4293211-1532308698/solver-4293211-1532308698 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=410213343 -superng HOME/instance-4293211-1532308698.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=5534, runsolver pid=5531
Current StackSize limit: 8192 KiB
[startup+0.100353 s]*
/proc/loadavg: 2.33 3.44 2.79 2/207 5591
/proc/meminfo: memFree=27554444/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=9972712 memory=16812 CPUtime=0.1 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 4360 13001 0 0 1 1 5 3 20 0 6 0 48433025 10212057088 4203 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2493178 4203 1934 1 0 2481616 0
[pid=5534/tid=5587] ppid=5531 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 2203 13001 0 0 0 0 5 3 20 0 6 0 48433034 10212057088 4269 33554432000 4194304 4196468 140729081370224 140551757681232 140551769924958 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=9972712 memory=5793855769447127481 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 6 0 48433035 10212057088 4269 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=9972712 memory=140518437234304 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 6 0 48433035 10212057088 4269 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 6 0 48433035 10212057088 4269 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 6 0 48433035 10212057088 4269 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.21002 s]*
/proc/loadavg: 2.33 3.44 2.79 3/216 5600
/proc/meminfo: memFree=27536288/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=10818936 memory=43280 CPUtime=0.26 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 9158 13001 0 0 16 2 5 3 20 0 15 0 48433025 11078590464 10754 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2704734 10754 2966 1 0 2667157 0
[pid=5534/tid=5587] ppid=5531 vsize=10818904 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 6067 13001 0 0 10 1 5 3 20 0 15 0 48433034 11078557696 11071 33554432000 4194304 4196468 140729081370224 140551757669280 140551778522564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10818936 memory=4211974244642024842 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 48433035 11078590464 11071 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10818936 memory=140518437234304 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11078590464 11071 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11078590464 11071 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11078590464 11071 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10818936 memory=140518437234304 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 48433037 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 33 13001 0 0 0 0 5 3 20 0 15 0 48433037 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550921495840 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433037 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550657271408 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 495 13001 0 0 1 0 5 3 20 0 15 0 48433040 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10818936 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 89 13001 0 0 1 0 5 3 20 0 15 0 48433040 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10818936 memory=140518437234304 CPUtime=0.11 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 557 13001 0 0 3 0 5 3 20 0 15 0 48433040 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11078590464 11071 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10818904 memory=140518437234304 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433040 11078557696 11071 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 43280 KiB
[startup+0.310616 s]*
/proc/loadavg: 2.33 3.44 2.79 4/216 5600
/proc/meminfo: memFree=27522644/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=10819352 memory=52160 CPUtime=0.39 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 10657 13001 0 0 29 2 5 3 20 0 15 0 48433025 11079016448 13040 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2704838 13040 3085 1 0 2667149 0
[pid=5534/tid=5587] ppid=5531 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 7267 13001 0 0 19 2 5 3 20 0 15 0 48433034 11079016448 13040 33554432000 4194304 4196468 140729081370224 140551757656480 140551769031280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 13040 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 13040 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10819352 memory=4294967295 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 13040 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 13040 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10819352 memory=140518437234303 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 48433037 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 33 13001 0 0 0 0 5 3 20 0 15 0 48433037 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550921495840 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433037 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550657271408 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 496 13001 0 0 1 0 5 3 20 0 15 0 48433040 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 89 13001 0 0 1 0 5 3 20 0 15 0 48433040 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10819352 memory=140518437234304 CPUtime=0.13 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 569 13001 0 0 5 0 5 3 20 0 15 0 48433040 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10819352 memory=140518437234304 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433040 11079016448 13040 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52160 KiB
[startup+0.700744 s]
/proc/loadavg: 2.33 3.44 2.79 3/216 5600
/proc/meminfo: memFree=27513996/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=10819352 memory=84512 CPUtime=0.98 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 16751 13001 0 0 86 4 5 3 20 0 15 0 48433025 11079016448 21128 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2704838 21128 3246 1 0 2667149 0
[pid=5534/tid=5587] ppid=5531 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 12308 13001 0 0 56 3 5 3 20 0 15 0 48433034 11079016448 21128 33554432000 4194304 4196468 140729081370224 140551757665296 140551771010126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 21128 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 21128 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10819352 memory=3472468813730226227 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 21128 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433035 11079016448 21128 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10819352 memory=281036621903104 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 5 13001 0 0 0 0 5 3 20 0 15 0 48433037 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 33 13001 0 0 0 0 5 3 20 0 15 0 48433037 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550921495840 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433037 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550657271408 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10819352 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 1099 13001 0 0 10 0 5 3 20 0 15 0 48433040 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 468 13001 0 0 6 0 5 3 20 0 15 0 48433040 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 634 13001 0 0 13 0 5 3 20 0 15 0 48433040 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10819352 memory=30305 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433040 11079016448 21128 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84512 KiB
[startup+1.50077 s]
/proc/loadavg: 2.33 3.44 2.79 3/216 5600
/proc/meminfo: memFree=27467540/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=10834252 memory=177584 CPUtime=2.28 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 24455 13001 0 0 210 10 5 3 20 0 15 0 48433025 11094274048 44396 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2708563 44396 3476 1 0 2670221 0
[pid=5534/tid=5587] ppid=5531 vsize=10834252 memory=3467834592322991680 CPUtime=1.43 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 18148 13001 0 0 130 5 5 3 20 0 15 0 48433034 11094274048 44396 33554432000 4194304 4196468 140729081370224 140551757673680 140551769924958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10834252 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 68 13001 0 0 0 0 5 3 20 0 15 0 48433035 11094274048 44396 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10834252 memory=6628 CPUtime=0.09 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 194 13001 0 0 1 0 5 3 20 0 15 0 48433035 11094274048 44396 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10834252 memory=6660 CPUtime=0.09 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 31 13001 0 0 1 0 5 3 20 0 15 0 48433035 11094274048 44396 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10834252 memory=-7745171288847261353 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 16 13001 0 0 0 0 5 3 20 0 15 0 48433035 11094274048 44396 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10834252 memory=2867664589567282 CPUtime=0.09 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 167 13001 0 0 1 0 5 3 20 0 15 0 48433037 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10834252 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 34 13001 0 0 0 0 5 3 20 0 15 0 48433037 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550921495904 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10834252 memory=9168 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433037 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550657271424 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10834252 memory=25283 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10834252 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 1548 13001 0 0 25 0 5 3 20 0 15 0 48433040 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10834252 memory=-9174445032661854264 CPUtime=0.24 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 634 13001 0 0 16 0 5 3 20 0 15 0 48433040 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10834252 memory=6944656575208382560 CPUtime=0.4 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 1416 13001 0 0 32 0 5 3 20 0 15 0 48433040 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10834252 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10834252 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 48433040 11094274048 44396 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 114743 13001 0 0 235437 61 5 3 20 0 15 0 48433034 11180277760 354004 33554432000 4194304 4196468 140729081370224 140551757677440 140551349331291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10918240 memory=1416016 CPUtime=11.98 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 17176 13001 0 0 1136 54 5 3 20 0 15 0 48433035 11180277760 354004 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10918240 memory=1416016 CPUtime=12 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 14235 13001 0 0 1136 56 5 3 20 0 15 0 48433035 11180277760 354004 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10918240 memory=1416016 CPUtime=11.99 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 17251 13001 0 0 1131 60 5 3 20 0 15 0 48433035 11180277760 354004 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10918240 memory=1416016 CPUtime=12 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 14321 13001 0 0 1136 56 5 3 20 0 15 0 48433035 11180277760 354004 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10918240 memory=1416016 CPUtime=11.83 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 16635 13001 0 0 1120 55 5 3 20 0 15 0 48433037 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10918240 memory=1416016 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 43 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550921495904 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10918240 memory=1416016 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 5 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550657271424 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10918240 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10918240 memory=16112 CPUtime=8.6 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 59364 13001 0 0 846 6 5 3 20 0 15 0 48433040 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10918240 memory=7162531440177276259 CPUtime=8.66 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 57162 13001 0 0 853 5 5 3 20 0 15 0 48433040 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10918240 memory=7305792226098177129 CPUtime=2.47 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 38107 13001 0 0 232 7 5 3 20 0 15 0 48433040 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10918240 memory=1416016 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10918240 memory=4128 CPUtime=1.52 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 2637 13001 0 0 63 81 5 3 20 0 15 0 48433040 11180277760 354004 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 2435.5 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1416016 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.65 1.75 3/215 6091
/proc/meminfo: memFree=24026936/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=10918240 memory=1418064 CPUtime=2496.45 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 355720 13001 0 0 249249 388 5 3 20 0 15 0 48433025 11180277760 354516 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2729560 354516 3536 1 0 2691213 0
[pid=5534/tid=5587] ppid=5531 vsize=10918240 memory=1418064 CPUtime=2414.38 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 115785 13001 0 0 241369 61 5 3 20 0 15 0 48433034 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551757677232 140551361929737 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.3 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 17318 13001 0 0 1166 56 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10918240 memory=132 CPUtime=12.32 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 14341 13001 0 0 1166 58 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.31 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 17352 13001 0 0 1160 63 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.32 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 14512 13001 0 0 1167 57 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10918240 memory=1416016 CPUtime=12.13 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 16855 13001 0 0 1149 56 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10918240 memory=1416016 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 43 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550921495904 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 5 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550657271424 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10918240 memory=1418064 CPUtime=8.6 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 59368 13001 0 0 846 6 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10918240 memory=1418064 CPUtime=8.66 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 57166 13001 0 0 853 5 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10918240 memory=1418064 CPUtime=2.47 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 38111 13001 0 0 232 7 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10918240 memory=1416016 CPUtime=1.55 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 2667 13001 0 0 65 82 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 2496.45 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1418064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.5 s]
/proc/loadavg: 1.47 1.63 1.74 3/215 6091
/proc/meminfo: memFree=24034940/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=10918240 memory=1418064 CPUtime=2520 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 356034 13001 0 0 251601 391 5 3 20 0 15 0 48433025 11180277760 354516 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2729560 354516 3536 1 0 2691213 0
[pid=5534/tid=5587] ppid=5531 vsize=10918240 memory=956 CPUtime=2437.31 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 116036 13001 0 0 243661 62 5 3 20 0 15 0 48433034 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551757678848 140551359658531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.43 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 17338 13001 0 0 1178 57 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.44 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 14353 13001 0 0 1178 58 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10918240 memory=281036623561728 CPUtime=12.43 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 17362 13001 0 0 1172 63 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.45 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 14514 13001 0 0 1179 58 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10918240 memory=1216 CPUtime=12.26 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 16872 13001 0 0 1161 57 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 43 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550921495904 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 5 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550657271424 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10918240 memory=8 CPUtime=8.6 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 59368 13001 0 0 846 6 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10918240 memory=1418064 CPUtime=8.66 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 57166 13001 0 0 853 5 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10918240 memory=1418064 CPUtime=2.47 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 38111 13001 0 0 232 7 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10918240 memory=1418064 CPUtime=1.56 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 2669 13001 0 0 65 83 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1418064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.53 s]
# the end of solver process 5534 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.09 s, system=3.95537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.5 s]
/proc/loadavg: 1.47 1.63 1.74 3/215 6091
/proc/meminfo: memFree=24034940/32770624 swapFree=67108860/67108860
[pid=5534] ppid=5531 vsize=10918240 memory=1418064 CPUtime=2520 cores=1,3,5,7
/proc/5534/stat : 5534 (java) S 5531 5534 3468 0 -1 1077944320 356034 13001 0 0 251601 391 5 3 20 0 15 0 48433025 11180277760 354516 33554432000 4194304 4196468 140729081370224 140729081352768 140551785844471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
/proc/5534/statm: 2729560 354516 3536 1 0 2691213 0
[pid=5534/tid=5587] ppid=5531 vsize=10918240 memory=956 CPUtime=2437.31 cores=1,3,5,7
/proc/5534/task/5587/stat : 5587 (java) R 5531 5534 3468 0 -1 4202560 116036 13001 0 0 243661 62 5 3 20 0 15 0 48433034 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551757678848 140551359658531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5588] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.43 cores=1,3,5,7
/proc/5534/task/5588/stat : 5588 (java) S 5531 5534 3468 0 -1 1077944384 17338 13001 0 0 1178 57 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551790086544 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5589] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.44 cores=1,3,5,7
/proc/5534/task/5589/stat : 5589 (java) S 5531 5534 3468 0 -1 1077944384 14353 13001 0 0 1178 58 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551678359824 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5590] ppid=5531 vsize=10918240 memory=281036623561728 CPUtime=12.43 cores=1,3,5,7
/proc/5534/task/5590/stat : 5590 (java) S 5531 5534 3468 0 -1 1077944384 17362 13001 0 0 1172 63 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551677307536 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5591] ppid=5531 vsize=10918240 memory=1418064 CPUtime=12.45 cores=1,3,5,7
/proc/5534/task/5591/stat : 5591 (java) S 5531 5534 3468 0 -1 1077944384 14514 13001 0 0 1179 58 5 3 20 0 15 0 48433035 11180277760 354516 33554432000 4194304 4196468 140729081370224 140551676254736 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5592] ppid=5531 vsize=10918240 memory=1216 CPUtime=12.26 cores=1,3,5,7
/proc/5534/task/5592/stat : 5592 (java) S 5531 5534 3468 0 -1 1077944384 16872 13001 0 0 1161 57 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550922549872 140551785855618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5593] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5593/stat : 5593 (java) S 5531 5534 3468 0 -1 1077944384 43 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550921495904 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5594] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5594/stat : 5594 (java) S 5531 5534 3468 0 -1 1077944384 5 13001 0 0 0 0 5 3 20 0 15 0 48433037 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550657271424 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5595] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5595/stat : 5595 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550349871696 140551785863067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5596] ppid=5531 vsize=10918240 memory=8 CPUtime=8.6 cores=1,3,5,7
/proc/5534/task/5596/stat : 5596 (java) S 5531 5534 3468 0 -1 1077944384 59368 13001 0 0 846 6 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550887938160 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5597] ppid=5531 vsize=10918240 memory=1418064 CPUtime=8.66 cores=1,3,5,7
/proc/5534/task/5597/stat : 5597 (java) S 5531 5534 3468 0 -1 1077944384 57166 13001 0 0 853 5 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550886885360 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5598] ppid=5531 vsize=10918240 memory=1418064 CPUtime=2.47 cores=1,3,5,7
/proc/5534/task/5598/stat : 5598 (java) S 5531 5534 3468 0 -1 1077944384 38111 13001 0 0 232 7 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550885833072 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5599] ppid=5531 vsize=10918240 memory=1418064 CPUtime=0.08 cores=1,3,5,7
/proc/5534/task/5599/stat : 5599 (java) S 5531 5534 3468 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550316313056 140551785854677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
[pid=5534/tid=5600] ppid=5531 vsize=10918240 memory=1418064 CPUtime=1.56 cores=1,3,5,7
/proc/5534/task/5600/stat : 5600 (java) S 5531 5534 3468 0 -1 1077944384 2669 13001 0 0 65 83 5 3 20 0 15 0 48433040 11180277760 354516 33554432000 4194304 4196468 140729081370224 140550884780976 140551785855618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 23638016 140729081378988 140729081382236 140729081382236 140729081384911 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1418064 KiB
Child status: 143
Real time (s): 2465.53
CPU time (s): 2520.04
CPU user time (s): 2516.09
CPU system time (s): 3.95537
CPU usage (%): 102.211
Max. virtual memory (cumulated for all children) (KiB): 10919072
Max. memory (cumulated for all children) (KiB): 1418064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.09
system time used= 3.95537
maximum resident set size= 1422260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 290487
involuntary context switches= 6266
# summary of solver processes directly reported to runsolver:
# pid: 5534
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.09
# total CPU system time (s): 3.95537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4329 second user time and 20.0977 second system time
The end