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 (8090 MiB free)
memory of node 1: 16384 MiB (13039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396572-1568406352/watcher-4396572-1568406352 -o /tmp/evaluation-result-4396572-1568406352/solver-4396572-1568406352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568401563-1362 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1024488645 HOME/instance-4396572-1568406352.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2729, runsolver pid=2726
[startup+0.100119 s]*
/proc/loadavg: 1.57 1.48 1.43 3/218 2786
/proc/meminfo: memFree=21630552/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=9972712 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 4429 13365 0 0 1 1 5 2 20 0 6 0 416572547 10212057088 4203 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2493178 4203 1935 1 0 2481616 0
[pid=2729/tid=2782] ppid=2726 vsize=9972712 memory=8514726395714820750 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 2273 13365 0 0 0 0 5 2 20 0 6 0 416572556 10212057088 4203 33554432000 4194304 4196468 140736636444896 139947641832016 139947651388989 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 6 0 416572557 10212057088 4269 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=9972712 memory=139701417457280 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 6 0 416572557 10212057088 4269 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 6 0 416572557 10212057088 4269 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 6 0 416572557 10212057088 4269 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210182 s]*
/proc/loadavg: 1.57 1.48 1.43 4/227 2795
/proc/meminfo: memFree=21612084/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=10819664 memory=37212 CPUtime=0.26 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 7158 13365 0 0 17 2 5 2 20 0 15 0 416572547 11079335936 9303 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2704916 9303 3160 1 0 2667149 0
[pid=2729/tid=2782] ppid=2726 vsize=10819664 memory=5450916389569530688 CPUtime=0.19 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 3639 13365 0 0 11 1 5 2 20 0 15 0 416572556 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947641810496 139947670007190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10819664 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10819664 memory=139701417457280 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10819664 memory=139701417457280 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572559 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 33 13365 0 0 0 0 5 2 20 0 15 0 416572559 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947128341664 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572559 11079335936 9303 33554432000 4194304 4196468 140736636444896 139946543276784 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11079335936 9303 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) S 2726 2729 1330 0 -1 1077944384 477 13365 0 0 1 0 5 2 20 0 15 0 416572562 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947094784752 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) S 2726 2729 1330 0 -1 1077944384 186 13365 0 0 1 0 5 2 20 0 15 0 416572562 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947093732208 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10819664 memory=139701417457280 CPUtime=0.1 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) R 2726 2729 1330 0 -1 4202560 604 13365 0 0 3 0 5 2 20 0 15 0 416572562 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947092679152 139947670016602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11079335936 9303 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10819664 memory=139701417457280 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572562 11079335936 9303 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37212 KiB
[startup+0.310393 s]*
/proc/loadavg: 1.57 1.48 1.43 3/227 2795
/proc/meminfo: memFree=21599648/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=10820148 memory=48340 CPUtime=0.4 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 10860 13365 0 0 29 4 5 2 20 0 15 0 416572547 11079831552 12085 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2705037 12085 3292 1 0 2667149 0
[pid=2729/tid=2782] ppid=2726 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 7318 13365 0 0 19 3 5 2 20 0 15 0 416572556 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947641808576 139947654075742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10820148 memory=6940159615819607914 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10820148 memory=5788339726952981056 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10820148 memory=7019606789334519234 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10820148 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572557 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572559 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 33 13365 0 0 0 0 5 2 20 0 15 0 416572559 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947128341664 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572559 11079831552 12085 33554432000 4194304 4196468 140736636444896 139946543276784 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11079831552 12085 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) S 2726 2729 1330 0 -1 1077944384 486 13365 0 0 2 0 5 2 20 0 15 0 416572562 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947094784752 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) S 2726 2729 1330 0 -1 1077944384 187 13365 0 0 1 0 5 2 20 0 15 0 416572562 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947093732208 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) S 2726 2729 1330 0 -1 1077944384 613 13365 0 0 5 0 5 2 20 0 15 0 416572562 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947092679152 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11079831552 12085 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572562 11079831552 12085 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48340 KiB
[startup+0.70074 s]
/proc/loadavg: 1.57 1.48 1.43 4/227 2795
/proc/meminfo: memFree=21584728/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=10824360 memory=81712 CPUtime=1.13 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 15177 13365 0 0 100 6 5 2 20 0 15 0 416572547 11084144640 20428 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2706090 20428 3504 1 0 2668173 0
[pid=2729/tid=2782] ppid=2726 vsize=10824360 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 10469 13365 0 0 55 4 5 2 20 0 15 0 416572556 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947641819648 139947654075742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10824360 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572557 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572557 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572557 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 2 13365 0 0 0 0 5 2 20 0 15 0 416572557 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10824360 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 5 13365 0 0 0 0 5 2 20 0 15 0 416572559 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10824360 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 33 13365 0 0 0 0 5 2 20 0 15 0 416572559 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947128341664 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572559 11084144640 20428 33554432000 4194304 4196468 140736636444896 139946543276784 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10824360 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11084144640 20428 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) R 2726 2729 1330 0 -1 4202560 929 13365 0 0 13 0 5 2 20 0 15 0 416572562 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947094784752 139947670016602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10824360 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) S 2726 2729 1330 0 -1 1077944384 687 13365 0 0 14 0 5 2 20 0 15 0 416572562 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947093732208 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) S 2726 2729 1330 0 -1 1077944384 836 13365 0 0 16 0 5 2 20 0 15 0 416572562 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947092679152 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10824360 memory=279402520772848 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11084144640 20428 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572562 11084144640 20428 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81712 KiB
[startup+1.5034 s]
/proc/loadavg: 1.57 1.48 1.43 3/227 2795
/proc/meminfo: memFree=21528760/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=10832628 memory=229152 CPUtime=2.66 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 21116 13365 0 0 248 11 5 2 20 0 15 0 416572547 11092611072 57288 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2708157 57288 3580 1 0 2670221 0
[pid=2729/tid=2782] ppid=2726 vsize=10832628 memory=27 CPUtime=1.41 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 14623 13365 0 0 128 6 5 2 20 0 15 0 416572556 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947641828736 139947670017181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10832628 memory=27 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 37 13365 0 0 1 0 5 2 20 0 15 0 416572557 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 65 13365 0 0 1 0 5 2 20 0 15 0 416572557 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 233 13365 0 0 1 0 5 2 20 0 15 0 416572557 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10832628 memory=105024 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 36 13365 0 0 1 0 5 2 20 0 15 0 416572557 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 91 13365 0 0 1 0 5 2 20 0 15 0 416572559 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10832628 memory=7014751519583261538 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 34 13365 0 0 0 0 5 2 20 0 15 0 416572559 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947128341728 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10832628 memory=7156903044333462617 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572559 11092611072 57288 33554432000 4194304 4196468 140736636444896 139946543276800 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10832628 memory=7453580989878725224 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11092611072 57288 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10832628 memory=5571041044932417637 CPUtime=0.43 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) S 2726 2729 1330 0 -1 1077944384 1289 13365 0 0 36 0 5 2 20 0 15 0 416572562 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947094784752 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10832628 memory=7523073440604778596 CPUtime=0.45 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) R 2726 2729 1330 0 -1 4202560 994 13365 0 0 38 0 5 2 20 0 15 0 416572562 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947093732208 139947670007190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10832628 memory=7014751519583261538 CPUtime=0.42 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) S 2726 2729 1330 0 -1 1077944384 1497 13365 0 0 35 0 5 2 20 0 15 0 416572562 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947092679152 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10832628 memory=7014751519583261538 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11092611072 57288 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10832628 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1 13365 0 0 0 0 5 2 20 0 15 0 416572562 11092611072 57288 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 86137 13365 0 0 224955 40 5 2 20 0 15 0 416572556 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947641830112 139947249203685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10846984 memory=1014684 CPUtime=6.21 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 22468 13365 0 0 583 31 5 2 20 0 15 0 416572557 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10846984 memory=1014684 CPUtime=6.19 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 21679 13365 0 0 579 33 5 2 20 0 15 0 416572557 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10846984 memory=1014684 CPUtime=6.21 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 23110 13365 0 0 584 30 5 2 20 0 15 0 416572557 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10846984 memory=0 CPUtime=6.22 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 20844 13365 0 0 582 33 5 2 20 0 15 0 416572557 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10846984 memory=1792 CPUtime=5.19 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 20501 13365 0 0 481 31 5 2 20 0 15 0 416572559 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10846984 memory=8612 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 46 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947128341792 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10846984 memory=1014684 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 13 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 253671 33554432000 4194304 4196468 140736636444896 139946543276800 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10846984 memory=1014684 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 253671 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10846984 memory=24580 CPUtime=7.7 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) S 2726 2729 1330 0 -1 1077944384 48090 13365 0 0 758 5 5 2 20 0 15 0 416572562 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947094784752 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10846984 memory=3924 CPUtime=7.73 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) S 2726 2729 1330 0 -1 1077944384 51008 13365 0 0 762 4 5 2 20 0 15 0 416572562 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947093732208 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10846984 memory=4540 CPUtime=2.19 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) S 2726 2729 1330 0 -1 1077944384 31509 13365 0 0 207 5 5 2 20 0 15 0 416572562 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947092679152 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10846984 memory=752 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 253671 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10846984 memory=1014684 CPUtime=1.24 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1934 13365 0 0 55 62 5 2 20 0 15 0 416572562 11107311616 253671 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 2298.37 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1014684 KiB
[startup+2322.3 s]
/proc/loadavg: 1.12 1.28 1.36 4/228 3164
/proc/meminfo: memFree=23083288/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=10846984 memory=1008564 CPUtime=2358.85 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 333007 13365 0 0 235633 245 5 2 20 0 15 0 416572547 11107311616 252141 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2711746 252141 3629 1 0 2673805 0
[pid=2729/tid=2782] ppid=2726 vsize=10846984 memory=1008564 CPUtime=2309.65 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 87295 13365 0 0 230918 40 5 2 20 0 15 0 416572556 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947641829440 139947246736366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10846984 memory=1008564 CPUtime=6.36 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 23083 13365 0 0 598 31 5 2 20 0 15 0 416572557 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10846984 memory=1008564 CPUtime=6.36 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 22758 13365 0 0 595 34 5 2 20 0 15 0 416572557 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10846984 memory=1008564 CPUtime=6.38 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 23142 13365 0 0 601 30 5 2 20 0 15 0 416572557 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10846984 memory=1008564 CPUtime=6.39 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 21000 13365 0 0 598 34 5 2 20 0 15 0 416572557 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10846984 memory=504 CPUtime=5.33 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 20882 13365 0 0 495 31 5 2 20 0 15 0 416572559 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10846984 memory=3924 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 46 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947128341792 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10846984 memory=40612 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 13 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 252141 33554432000 4194304 4196468 140736636444896 139946543276800 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10846984 memory=1008564 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 252141 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10846984 memory=1008564 CPUtime=7.7 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) S 2726 2729 1330 0 -1 1077944384 48092 13365 0 0 758 5 5 2 20 0 15 0 416572562 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947094784752 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10846984 memory=1008564 CPUtime=7.73 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) S 2726 2729 1330 0 -1 1077944384 51011 13365 0 0 762 4 5 2 20 0 15 0 416572562 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947093732208 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10846984 memory=3924 CPUtime=2.19 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) S 2726 2729 1330 0 -1 1077944384 31511 13365 0 0 207 5 5 2 20 0 15 0 416572562 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947092679152 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10846984 memory=2656 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 252141 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10846984 memory=2608 CPUtime=1.27 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1959 13365 0 0 57 63 5 2 20 0 15 0 416572562 11107311616 252141 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 2358.85 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1008564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2363.11 s]
/proc/loadavg: 1.36 1.34 1.38 3/228 3166
/proc/meminfo: memFree=21151164/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=10846984 memory=1010668 CPUtime=2400.01 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 336290 13365 0 0 239747 247 5 2 20 0 15 0 416572547 11107311616 252667 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2711746 252667 3629 1 0 2673805 0
[pid=2729/tid=2782] ppid=2726 vsize=10846984 memory=1010668 CPUtime=2350.24 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 88293 13365 0 0 234976 41 5 2 20 0 15 0 416572556 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947641830000 139947247225122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10846984 memory=1010668 CPUtime=6.49 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 24628 13365 0 0 610 32 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10846984 memory=7 CPUtime=6.48 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 22772 13365 0 0 607 34 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10846984 memory=1010668 CPUtime=6.49 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 23322 13365 0 0 612 30 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10846984 memory=7878635579773468949 CPUtime=6.5 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 21130 13365 0 0 609 34 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10846984 memory=3924 CPUtime=5.42 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 21258 13365 0 0 504 31 5 2 20 0 15 0 416572559 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10846984 memory=40612 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 46 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947128341792 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10846984 memory=1010668 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 13 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 252667 33554432000 4194304 4196468 140736636444896 139946543276800 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10846984 memory=3924 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10846984 memory=1010668 CPUtime=7.7 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) S 2726 2729 1330 0 -1 1077944384 48095 13365 0 0 758 5 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947094784752 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10846984 memory=1010668 CPUtime=7.73 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) S 2726 2729 1330 0 -1 1077944384 51015 13365 0 0 762 4 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947093732208 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10846984 memory=3924 CPUtime=2.19 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) S 2726 2729 1330 0 -1 1077944384 31520 13365 0 0 207 5 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947092679152 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10846984 memory=40596 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10846984 memory=8112282956445269571 CPUtime=1.29 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1983 13365 0 0 58 64 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1010668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2363.15 s]
# the end of solver process 2729 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.56 s, system=2.51855 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2363.11 s]
/proc/loadavg: 1.36 1.34 1.38 3/228 3166
/proc/meminfo: memFree=21151164/32770624 swapFree=67108848/67108860
[pid=2729] ppid=2726 vsize=10846984 memory=1010668 CPUtime=2400.01 cores=1,3,5,7
/proc/2729/stat : 2729 (java) S 2726 2729 1330 0 -1 1077944320 336290 13365 0 0 239747 247 5 2 20 0 15 0 416572547 11107311616 252667 33554432000 4194304 4196468 140736636444896 140736636427440 139947669995255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
/proc/2729/statm: 2711746 252667 3629 1 0 2673805 0
[pid=2729/tid=2782] ppid=2726 vsize=10846984 memory=1010668 CPUtime=2350.24 cores=1,3,5,7
/proc/2729/task/2782/stat : 2782 (java) R 2726 2729 1330 0 -1 4202560 88293 13365 0 0 234976 41 5 2 20 0 15 0 416572556 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947641830000 139947247225122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2783] ppid=2726 vsize=10846984 memory=1010668 CPUtime=6.49 cores=1,3,5,7
/proc/2729/task/2783/stat : 2783 (java) S 2726 2729 1330 0 -1 1077944384 24628 13365 0 0 610 32 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947674237968 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2784] ppid=2726 vsize=10846984 memory=7 CPUtime=6.48 cores=1,3,5,7
/proc/2729/task/2784/stat : 2784 (java) S 2726 2729 1330 0 -1 1077944384 22772 13365 0 0 607 34 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947562511504 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2785] ppid=2726 vsize=10846984 memory=1010668 CPUtime=6.49 cores=1,3,5,7
/proc/2729/task/2785/stat : 2785 (java) S 2726 2729 1330 0 -1 1077944384 23322 13365 0 0 612 30 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947561458448 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2786] ppid=2726 vsize=10846984 memory=7878635579773468949 CPUtime=6.5 cores=1,3,5,7
/proc/2729/task/2786/stat : 2786 (java) S 2726 2729 1330 0 -1 1077944384 21130 13365 0 0 609 34 5 2 20 0 15 0 416572557 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947560405904 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2787] ppid=2726 vsize=10846984 memory=3924 CPUtime=5.42 cores=1,3,5,7
/proc/2729/task/2787/stat : 2787 (java) S 2726 2729 1330 0 -1 1077944384 21258 13365 0 0 504 31 5 2 20 0 15 0 416572559 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947129395440 139947670006402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2788] ppid=2726 vsize=10846984 memory=40612 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2788/stat : 2788 (java) S 2726 2729 1330 0 -1 1077944384 46 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947128341792 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2789] ppid=2726 vsize=10846984 memory=1010668 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2789/stat : 2789 (java) S 2726 2729 1330 0 -1 1077944384 13 13365 0 0 0 0 5 2 20 0 15 0 416572559 11107311616 252667 33554432000 4194304 4196468 140736636444896 139946543276800 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2790] ppid=2726 vsize=10846984 memory=3924 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2790/stat : 2790 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139946235877328 139947670013851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2791] ppid=2726 vsize=10846984 memory=1010668 CPUtime=7.7 cores=1,3,5,7
/proc/2729/task/2791/stat : 2791 (java) S 2726 2729 1330 0 -1 1077944384 48095 13365 0 0 758 5 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947094784752 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2792] ppid=2726 vsize=10846984 memory=1010668 CPUtime=7.73 cores=1,3,5,7
/proc/2729/task/2792/stat : 2792 (java) S 2726 2729 1330 0 -1 1077944384 51015 13365 0 0 762 4 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947093732208 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2793] ppid=2726 vsize=10846984 memory=3924 CPUtime=2.19 cores=1,3,5,7
/proc/2729/task/2793/stat : 2793 (java) S 2726 2729 1330 0 -1 1077944384 31520 13365 0 0 207 5 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947092679152 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2794] ppid=2726 vsize=10846984 memory=40596 CPUtime=0.07 cores=1,3,5,7
/proc/2729/task/2794/stat : 2794 (java) S 2726 2729 1330 0 -1 1077944384 3 13365 0 0 0 0 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139946202319712 139947670005461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
[pid=2729/tid=2795] ppid=2726 vsize=10846984 memory=8112282956445269571 CPUtime=1.29 cores=1,3,5,7
/proc/2729/task/2795/stat : 2795 (java) S 2726 2729 1330 0 -1 1077944384 1983 13365 0 0 58 64 5 2 20 0 15 0 416572562 11107311616 252667 33554432000 4194304 4196468 140736636444896 139947091626544 139947670006402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25145344 140736636447471 140736636449989 140736636449989 140736636452815 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1010668 KiB
Child status: 143
Real time (s): 2363.15
CPU time (s): 2400.08
CPU user time (s): 2397.56
CPU system time (s): 2.51855
CPU usage (%): 101.563
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 1257880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.56
system time used= 2.51855
maximum resident set size= 1260992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166833
involuntary context switches= 3955
# summary of solver processes directly reported to runsolver:
# pid: 2729
# total CPU time (s): 2400.08
# total CPU user time (s): 2397.56
# total CPU system time (s): 2.51855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.169 second user time and 18.3204 second system time
The end