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 (6096 MiB free)
memory of node 1: 16384 MiB (432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402507-1568973635/watcher-4402507-1568973635 -o /tmp/evaluation-result-4402507-1568973635/solver-4402507-1568973635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568967596-5048 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=261177873 HOME/instance-4402507-1568973635.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6650, runsolver pid=6647
[startup+0.100057 s]*
/proc/loadavg: 1.40 1.39 1.41 3/218 6707
/proc/meminfo: memFree=6680628/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=9972712 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 4411 13083 0 0 1 0 5 3 20 0 6 0 473632356 10212057088 4137 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2493178 4137 1933 1 0 2481616 0
[pid=6650/tid=6703] ppid=6647 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 2232 13083 0 0 0 0 5 3 20 0 6 0 473632365 10212057088 4203 33554432000 4194304 4196468 140723635180960 140536094700112 140536106943838 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 6 0 473632366 10212057088 4203 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=9972712 memory=16240447231157912 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 6 0 473632366 10212057088 4203 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 6 0 473632366 10212057088 4203 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 6 0 473632366 10212057088 4203 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210063 s]*
/proc/loadavg: 1.40 1.39 1.41 4/227 6716
/proc/meminfo: memFree=6658156/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=10820000 memory=44060 CPUtime=0.26 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 7398 13083 0 0 17 1 5 3 20 0 15 0 473632356 11079680000 11015 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2705000 11015 3227 1 0 2667149 0
[pid=6650/tid=6703] ppid=6647 vsize=10820164 memory=751940894209540401 CPUtime=0.19 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 3986 13083 0 0 10 1 5 3 20 0 15 0 473632365 11079847936 11081 33554432000 4194304 4196468 140723635180960 140536094674384 140536122885277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079847936 11081 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10820164 memory=16240447231157912 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079847936 11081 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079847936 11081 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079847936 11081 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632367 11079847936 11081 33554432000 4194304 4196468 140723635180960 140535582304368 140536122874498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 473632368 11079847936 11081 33554432000 4194304 4196468 140723635180960 140535490667296 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632368 11079847936 11081 33554432000 4194304 4196468 140723635180960 140534886687856 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11079847936 11081 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10820164 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) S 6647 6650 5017 0 -1 1077944384 470 13083 0 0 1 0 5 3 20 0 15 0 473632371 11079847936 11081 33554432000 4194304 4196468 140723635180960 140535581252208 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10820164 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 184 13083 0 0 1 0 5 3 20 0 15 0 473632371 11079847936 11081 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10820164 memory=140069926135424 CPUtime=0.11 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 605 13083 0 0 3 0 5 3 20 0 15 0 473632371 11079847936 11081 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11079847936 11081 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10820164 memory=140069926135424 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632371 11079847936 11081 33554432000 4194304 4196468 140723635180960 140535578094000 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820000 KiB
Current children cumulated memory: 44060 KiB
[startup+0.310395 s]*
/proc/loadavg: 1.40 1.39 1.41 4/227 6716
/proc/meminfo: memFree=6645076/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=10820196 memory=52512 CPUtime=0.41 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 10849 13083 0 0 30 3 5 3 20 0 15 0 473632356 11079880704 13128 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2705049 13128 3304 1 0 2667149 0
[pid=6650/tid=6703] ppid=6647 vsize=10820196 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 7337 13083 0 0 19 3 5 3 20 0 15 0 473632365 11079880704 13128 33554432000 4194304 4196468 140723635180960 140536094673488 140536122885277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079880704 13128 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079880704 13128 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079880704 13128 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632366 11079880704 13128 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10820196 memory=140069926135423 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632367 11079880704 13128 33554432000 4194304 4196468 140723635180960 140535582304368 140536122874498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 473632368 11079880704 13128 33554432000 4194304 4196468 140723635180960 140535490667296 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632368 11079880704 13128 33554432000 4194304 4196468 140723635180960 140534886687856 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11079880704 13128 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) S 6647 6650 5017 0 -1 1077944384 480 13083 0 0 2 0 5 3 20 0 15 0 473632371 11079880704 13128 33554432000 4194304 4196468 140723635180960 140535581252208 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 184 13083 0 0 1 0 5 3 20 0 15 0 473632371 11079880704 13128 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10820196 memory=140069926135424 CPUtime=0.13 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 614 13083 0 0 5 0 5 3 20 0 15 0 473632371 11079880704 13128 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11079880704 13128 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10820196 memory=140069926135424 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632371 11079880704 13128 33554432000 4194304 4196468 140723635180960 140535578094000 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52512 KiB
[startup+0.701368 s]
/proc/loadavg: 1.40 1.39 1.41 3/227 6716
/proc/meminfo: memFree=6630428/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=10824364 memory=85352 CPUtime=1.15 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 15027 13083 0 0 103 4 5 3 20 0 15 0 473632356 11084148736 21338 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2706091 21338 3511 1 0 2668173 0
[pid=6650/tid=6703] ppid=6647 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 10376 13083 0 0 55 4 5 3 20 0 15 0 473632365 11084148736 21338 33554432000 4194304 4196468 140723635180960 140536094679344 140536045906495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10824364 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632366 11084148736 21338 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10824364 memory=4040 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632366 11084148736 21338 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 473632366 11084148736 21338 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10824364 memory=140069926134257 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632366 11084148736 21338 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) S 6647 6650 5017 0 -1 1077944384 5 13083 0 0 0 0 5 3 20 0 15 0 473632367 11084148736 21338 33554432000 4194304 4196468 140723635180960 140535582304368 140536122874498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 473632368 11084148736 21338 33554432000 4194304 4196468 140723635180960 140535490667296 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632368 11084148736 21338 33554432000 4194304 4196468 140723635180960 140534886687856 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11084148736 21338 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) R 6647 6650 5017 0 -1 4202560 1001 13083 0 0 16 0 5 3 20 0 15 0 473632371 11084148736 21338 33554432000 4194304 4196468 140723635180960 140535581252208 140536107989742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 600 13083 0 0 13 0 5 3 20 0 15 0 473632371 11084148736 21338 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 812 13083 0 0 17 0 5 3 20 0 15 0 473632371 11084148736 21338 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11084148736 21338 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10824364 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632371 11084148736 21338 33554432000 4194304 4196468 140723635180960 140535578094000 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85352 KiB
[startup+1.50077 s]
/proc/loadavg: 1.40 1.39 1.41 3/227 6716
/proc/meminfo: memFree=6588420/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=10832632 memory=164864 CPUtime=1.88 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 19598 13083 0 0 172 8 5 3 20 0 15 0 473632356 11092615168 41216 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2708158 41216 3578 1 0 2670221 0
[pid=6650/tid=6703] ppid=6647 vsize=10832632 memory=55 CPUtime=1.08 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) S 6647 6650 5017 0 -1 1077944384 13884 13083 0 0 95 5 5 3 20 0 15 0 473632365 11092615168 41216 33554432000 4194304 4196468 140723635180960 140536094674032 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10832632 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 393 13083 0 0 1 0 5 3 20 0 15 0 473632366 11092615168 41216 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10832632 memory=140069926145505 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 70 13083 0 0 0 0 5 3 20 0 15 0 473632366 11092615168 41216 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10832632 memory=140069926143297 CPUtime=0.09 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 25 13083 0 0 1 0 5 3 20 0 15 0 473632366 11092615168 41216 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10832632 memory=140069926145185 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 75 13083 0 0 0 0 5 3 20 0 15 0 473632366 11092615168 41216 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10832632 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) D 6647 6650 5017 0 -1 4202560 158 13083 0 0 1 0 5 3 20 0 15 0 473632367 11092615168 41216 33554432000 4194304 4196468 140723635180960 140535582302840 140536103971950 0 0 0 16800975 18446744072100220037 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 473632368 11092615168 41216 33554432000 4194304 4196468 140723635180960 140535490667296 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10832632 memory=7014751519700570214 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 473632368 11092615168 41216 33554432000 4194304 4196468 140723635180960 140534886687856 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10832632 memory=7734483099507451481 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11092615168 41216 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10832632 memory=7086534295927874918 CPUtime=0.32 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) S 6647 6650 5017 0 -1 1077944384 1040 13083 0 0 24 0 5 3 20 0 15 0 473632371 11092615168 41216 33554432000 4194304 4196468 140723635180960 140535581252208 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10832632 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 618 13083 0 0 19 0 5 3 20 0 15 0 473632371 11092615168 41216 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10832632 memory=6576575808607069865 CPUtime=0.34 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 1108 13083 0 0 26 0 5 3 20 0 15 0 473632371 11092615168 41216 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10832632 memory=-7390251449858225344 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11092615168 41216 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10832632 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) D 6647 6650 5017 0 -1 4202560 1 13083 0 0 0 0 5 3 20 0 15 0 473632371 11092615168 41216 33554432000 4194304 4196468 140723635180960 140535578093920 140536107719438 0 4 0 16800975 18446744072100220037 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 57302 13083 0 0 235292 52 5 3 20 0 15 0 473632365 11105218560 221768 33554432000 4194304 4196468 140723635180960 140536094699088 140535718898775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10844940 memory=887072 CPUtime=12.14 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 12862 13083 0 0 1144 62 5 3 20 0 15 0 473632366 11105218560 221768 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10844940 memory=887072 CPUtime=12.14 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 8225 13083 0 0 1140 66 5 3 20 0 15 0 473632366 11105218560 221768 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10844940 memory=887072 CPUtime=12.15 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 7164 13083 0 0 1139 68 5 3 20 0 15 0 473632366 11105218560 221768 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10844940 memory=887072 CPUtime=12.14 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 15733 13083 0 0 1140 66 5 3 20 0 15 0 473632366 11105218560 221768 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10844940 memory=887072 CPUtime=11.99 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) S 6647 6650 5017 0 -1 1077944384 12957 13083 0 0 1126 65 5 3 20 0 15 0 473632367 11105218560 221768 33554432000 4194304 4196468 140723635180960 140535582304368 140536122874498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10844940 memory=887072 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 26 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 221768 33554432000 4194304 4196468 140723635180960 140535490667360 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10844940 memory=887072 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 221768 33554432000 4194304 4196468 140723635180960 140534886687872 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10844940 memory=887072 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 221768 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10844940 memory=887072 CPUtime=1.88 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) S 6647 6650 5017 0 -1 1077944384 6784 13083 0 0 178 2 5 3 20 0 15 0 473632371 11105218560 221768 33554432000 4194304 4196468 140723635180960 140535581252208 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10844940 memory=3624 CPUtime=1.95 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 11297 13083 0 0 184 3 5 3 20 0 15 0 473632371 11105218560 221768 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10844940 memory=887072 CPUtime=1.18 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 6938 13083 0 0 107 3 5 3 20 0 15 0 473632371 11105218560 221768 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10844940 memory=887072 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 221768 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10844940 memory=3624 CPUtime=1.58 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) S 6647 6650 5017 0 -1 1077944384 986 13083 0 0 79 71 5 3 20 0 15 0 473632371 11105218560 221768 33554432000 4194304 4196468 140723635180960 140535578094000 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 2420.05 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 887072 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.30 1.34 3/229 7104
/proc/meminfo: memFree=5682748/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=10844940 memory=887748 CPUtime=2480.91 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 143787 13083 0 0 247701 382 5 3 20 0 15 0 473632356 11105218560 221937 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2711235 221937 3617 1 0 2673293 0
[pid=6650/tid=6703] ppid=6647 vsize=10844940 memory=887748 CPUtime=2412.8 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 58086 13083 0 0 241219 53 5 3 20 0 15 0 473632365 11105218560 221937 33554432000 4194304 4196468 140723635180960 140536094699392 140535718143996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10844940 memory=887748 CPUtime=12.46 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 12885 13083 0 0 1174 64 5 3 20 0 15 0 473632366 11105218560 221937 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10844940 memory=887152 CPUtime=12.46 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 8294 13083 0 0 1169 69 5 3 20 0 15 0 473632366 11105218560 221937 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10844940 memory=887152 CPUtime=12.45 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 7217 13083 0 0 1166 71 5 3 20 0 15 0 473632366 11105218560 221937 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10844940 memory=887152 CPUtime=12.44 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 15886 13083 0 0 1169 67 5 3 20 0 15 0 473632366 11105218560 221937 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10844940 memory=887152 CPUtime=12.29 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) S 6647 6650 5017 0 -1 1077944384 13143 13083 0 0 1155 66 5 3 20 0 15 0 473632367 11105218560 221937 33554432000 4194304 4196468 140723635180960 140535582304368 140536122874498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10844940 memory=887152 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 26 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 221937 33554432000 4194304 4196468 140723635180960 140535490667360 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10844940 memory=887152 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 221937 33554432000 4194304 4196468 140723635180960 140534886687872 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10844940 memory=887748 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 221937 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10844940 memory=887748 CPUtime=1.88 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) S 6647 6650 5017 0 -1 1077944384 6786 13083 0 0 178 2 5 3 20 0 15 0 473632371 11105218560 221937 33554432000 4194304 4196468 140723635180960 140535581252208 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10844940 memory=887748 CPUtime=1.95 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 11299 13083 0 0 184 3 5 3 20 0 15 0 473632371 11105218560 221937 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10844940 memory=887748 CPUtime=1.18 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 6940 13083 0 0 107 3 5 3 20 0 15 0 473632371 11105218560 221937 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10844940 memory=887748 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 221937 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10844940 memory=55284 CPUtime=1.62 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) S 6647 6650 5017 0 -1 1077944384 1003 13083 0 0 81 73 5 3 20 0 15 0 473632371 11105218560 221937 33554432000 4194304 4196468 140723635180960 140535578094000 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 2480.91 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 887748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2480.9 s]
/proc/loadavg: 1.93 1.43 1.38 4/229 7107
/proc/meminfo: memFree=5681376/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=10844940 memory=889828 CPUtime=2520.06 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 144828 13083 0 0 251611 387 5 3 20 0 15 0 473632356 11105218560 222457 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2711235 222457 3617 1 0 2673293 0
[pid=6650/tid=6703] ppid=6647 vsize=10844940 memory=889828 CPUtime=2450.93 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 58617 13083 0 0 245032 53 5 3 20 0 15 0 473632365 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536094698672 140535718895013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.66 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 12911 13083 0 0 1193 65 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.66 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 8306 13083 0 0 1188 70 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.65 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 7308 13083 0 0 1184 73 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.65 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 16052 13083 0 0 1189 68 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.48 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) S 6647 6650 5017 0 -1 1077944384 13334 13083 0 0 1174 66 5 3 20 0 15 0 473632367 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535582304368 140536122874498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 26 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535490667360 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 222457 33554432000 4194304 4196468 140723635180960 140534886687872 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10844940 memory=2612 CPUtime=1.88 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) S 6647 6650 5017 0 -1 1077944384 6788 13083 0 0 178 2 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535581252208 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10844940 memory=2612 CPUtime=1.95 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 11301 13083 0 0 184 3 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10844940 memory=8317482817917895235 CPUtime=1.18 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 6942 13083 0 0 107 3 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10844940 memory=1408 CPUtime=1.64 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) S 6647 6650 5017 0 -1 1077944384 1021 13083 0 0 82 74 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535578094000 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 889828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2480.93 s]
# the end of solver process 6650 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.19 s, system=3.92101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2480.9 s]
/proc/loadavg: 1.93 1.43 1.38 4/229 7107
/proc/meminfo: memFree=5681376/32770624 swapFree=66959528/67108860
[pid=6650] ppid=6647 vsize=10844940 memory=889828 CPUtime=2520.06 cores=0,2,4,6
/proc/6650/stat : 6650 (java) S 6647 6650 5017 0 -1 1077944320 144828 13083 0 0 251611 387 5 3 20 0 15 0 473632356 11105218560 222457 33554432000 4194304 4196468 140723635180960 140723635163504 140536122863351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
/proc/6650/statm: 2711235 222457 3617 1 0 2673293 0
[pid=6650/tid=6703] ppid=6647 vsize=10844940 memory=889828 CPUtime=2450.93 cores=0,2,4,6
/proc/6650/task/6703/stat : 6703 (java) R 6647 6650 5017 0 -1 4202560 58617 13083 0 0 245032 53 5 3 20 0 15 0 473632365 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536094698672 140535718895013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6704] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.66 cores=0,2,4,6
/proc/6650/task/6704/stat : 6704 (java) S 6647 6650 5017 0 -1 1077944384 12911 13083 0 0 1193 65 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536127105936 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6705] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.66 cores=0,2,4,6
/proc/6650/task/6705/stat : 6705 (java) S 6647 6650 5017 0 -1 1077944384 8306 13083 0 0 1188 70 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536031308560 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6706] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.65 cores=0,2,4,6
/proc/6650/task/6706/stat : 6706 (java) S 6647 6650 5017 0 -1 1077944384 7308 13083 0 0 1184 73 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536030256272 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6707] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.65 cores=0,2,4,6
/proc/6650/task/6707/stat : 6707 (java) S 6647 6650 5017 0 -1 1077944384 16052 13083 0 0 1189 68 5 3 20 0 15 0 473632366 11105218560 222457 33554432000 4194304 4196468 140723635180960 140536029203472 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6708] ppid=6647 vsize=10844940 memory=889828 CPUtime=12.48 cores=0,2,4,6
/proc/6650/task/6708/stat : 6708 (java) S 6647 6650 5017 0 -1 1077944384 13334 13083 0 0 1174 66 5 3 20 0 15 0 473632367 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535582304368 140536122874498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6709] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6709/stat : 6709 (java) S 6647 6650 5017 0 -1 1077944384 26 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535490667360 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6710] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6710/stat : 6710 (java) S 6647 6650 5017 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 473632368 11105218560 222457 33554432000 4194304 4196468 140723635180960 140534886687872 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6711] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6711/stat : 6711 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140534646397008 140536122881947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6712] ppid=6647 vsize=10844940 memory=2612 CPUtime=1.88 cores=0,2,4,6
/proc/6650/task/6712/stat : 6712 (java) S 6647 6650 5017 0 -1 1077944384 6788 13083 0 0 178 2 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535581252208 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6713] ppid=6647 vsize=10844940 memory=2612 CPUtime=1.95 cores=0,2,4,6
/proc/6650/task/6713/stat : 6713 (java) S 6647 6650 5017 0 -1 1077944384 11301 13083 0 0 184 3 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535580199408 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6714] ppid=6647 vsize=10844940 memory=8317482817917895235 CPUtime=1.18 cores=0,2,4,6
/proc/6650/task/6714/stat : 6714 (java) S 6647 6650 5017 0 -1 1077944384 6942 13083 0 0 107 3 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535579147120 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6715] ppid=6647 vsize=10844940 memory=889828 CPUtime=0.08 cores=0,2,4,6
/proc/6650/task/6715/stat : 6715 (java) S 6647 6650 5017 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140534612839392 140536122873557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
[pid=6650/tid=6716] ppid=6647 vsize=10844940 memory=1408 CPUtime=1.64 cores=0,2,4,6
/proc/6650/task/6716/stat : 6716 (java) S 6647 6650 5017 0 -1 1077944384 1021 13083 0 0 82 74 5 3 20 0 15 0 473632371 11105218560 222457 33554432000 4194304 4196468 140723635180960 140535578094000 140536122874498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 15351808 140723635182320 140723635184837 140723635184837 140723635187663 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 889828 KiB
Child status: 143
Real time (s): 2480.93
CPU time (s): 2520.11
CPU user time (s): 2516.19
CPU system time (s): 3.92101
CPU usage (%): 101.579
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 889828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.19
system time used= 3.92101
maximum resident set size= 894048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 336828
involuntary context switches= 9788
# summary of solver processes directly reported to runsolver:
# pid: 6650
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.19
# total CPU system time (s): 3.92101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3433 second user time and 22.9974 second system time
The end