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 (14377 MiB free)
memory of node 1: 16384 MiB (14627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395930-1568406664/watcher-4395930-1568406664 -o /tmp/evaluation-result-4395930-1568406664/solver-4395930-1568406664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568393375-17084 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1124308095 HOME/instance-4395930-1568406664.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=21737, runsolver pid=21734
[startup+0.100164 s]*
/proc/loadavg: 1.45 1.25 1.32 3/223 21794
/proc/meminfo: memFree=29696052/32770624 swapFree=66916544/67108860
[pid=21737] ppid=21734 vsize=9972712 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 4337 13021 0 0 1 1 4 3 20 0 6 0 416916993 10212057088 4583 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2493178 4583 1931 1 0 2481616 0
[pid=21737/tid=21790] ppid=21734 vsize=9972712 memory=4279135703946592399 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 2129 13021 0 0 1 0 4 3 20 0 6 0 416917002 10212057088 4583 33554432000 4194304 4196468 140728964303328 139666850837072 139666879022237 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 6 0 416917003 10212057088 4583 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=9972712 memory=139698343007872 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 6 0 416917003 10212057088 4583 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 6 0 416917003 10212057088 4583 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 6 0 416917003 10212057088 4583 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210421 s]*
/proc/loadavg: 1.45 1.25 1.32 4/232 21803
/proc/meminfo: memFree=29673396/32770624 swapFree=66916544/67108860
[pid=21737] ppid=21734 vsize=10819664 memory=42324 CPUtime=0.25 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 6900 13021 0 0 16 2 4 3 20 0 15 0 416916993 11079335936 10581 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2704916 10581 3156 1 0 2667149 0
[pid=21737/tid=21790] ppid=21734 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 3378 13021 0 0 10 1 4 3 20 0 15 0 416917002 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666850833344 139666863080798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10819664 memory=365 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10819664 memory=139698343027115 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10819664 memory=139698343007872 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917004 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 33 13021 0 0 0 0 4 3 20 0 15 0 416917005 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666336601248 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917005 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666229551856 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11079335936 10581 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) S 21734 21737 15665 0 -1 1077944384 334 13021 0 0 1 0 4 3 20 0 15 0 416917007 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) S 21734 21737 15665 0 -1 1077944384 322 13021 0 0 1 0 4 3 20 0 15 0 416917007 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666301991792 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10819664 memory=139698343007872 CPUtime=0.1 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) S 21734 21737 15665 0 -1 1077944384 613 13021 0 0 3 0 4 3 20 0 15 0 416917007 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666300938736 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11079335936 10581 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10819664 memory=139698343007872 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917008 11079335936 10581 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42324 KiB
[startup+0.311777 s]*
/proc/loadavg: 1.45 1.25 1.32 4/232 21803
/proc/meminfo: memFree=29659708/32770624 swapFree=66916544/67108860
[pid=21737] ppid=21734 vsize=10820148 memory=53740 CPUtime=0.4 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 10604 13021 0 0 29 4 4 3 20 0 15 0 416916993 11079831552 13435 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2705037 13435 3325 1 0 2667149 0
[pid=21737/tid=21790] ppid=21734 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 7064 13021 0 0 19 3 4 3 20 0 15 0 416917002 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666850800224 139666865175722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917003 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917004 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 33 13021 0 0 0 0 4 3 20 0 15 0 416917005 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666336601248 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917005 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666229551856 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11079831552 13435 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) S 21734 21737 15665 0 -1 1077944384 335 13021 0 0 2 0 4 3 20 0 15 0 416917007 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) S 21734 21737 15665 0 -1 1077944384 331 13021 0 0 2 0 4 3 20 0 15 0 416917007 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666301991792 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10820148 memory=139698343007872 CPUtime=0.12 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) S 21734 21737 15665 0 -1 1077944384 622 13021 0 0 5 0 4 3 20 0 15 0 416917007 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666300938736 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11079831552 13435 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10820148 memory=139698343007872 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917008 11079831552 13435 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53740 KiB
[startup+0.710545 s]
/proc/loadavg: 1.45 1.25 1.32 3/232 21803
/proc/meminfo: memFree=29646300/32770624 swapFree=66916544/67108860
[pid=21737] ppid=21734 vsize=10824360 memory=86344 CPUtime=1.12 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 14796 13021 0 0 100 5 4 3 20 0 15 0 416916993 11084144640 21586 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2706090 21586 3508 1 0 2668173 0
[pid=21737/tid=21790] ppid=21734 vsize=10824360 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 10009 13021 0 0 56 3 4 3 20 0 15 0 416917002 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666850827472 139666879012246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10824360 memory=139698240631568 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917003 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10824360 memory=139702401237594 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917003 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10824360 memory=8300 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 5 13021 0 0 0 0 4 3 20 0 15 0 416917004 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10824360 memory=6297835844906604903 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 33 13021 0 0 0 0 4 3 20 0 15 0 416917005 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666336601248 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10824360 memory=6081102367496366441 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917005 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666229551856 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10824360 memory=20396 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11084144640 21586 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10824360 memory=12036 CPUtime=0.19 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) R 21734 21737 15665 0 -1 1077944384 831 13021 0 0 12 0 4 3 20 0 15 0 416917007 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10824360 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) R 21734 21737 15665 0 -1 4202560 833 13021 0 0 13 0 4 3 20 0 15 0 416917007 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666301978336 139666858688464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10824360 memory=500 CPUtime=0.24 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) R 21734 21737 15665 0 -1 4202560 867 13021 0 0 17 0 4 3 20 0 15 0 416917007 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666300938736 139666863240416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10824360 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11084144640 21586 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10824360 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 1 13021 0 0 0 0 4 3 20 0 15 0 416917008 11084144640 21586 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 86344 KiB
[startup+1.50804 s]
/proc/loadavg: 1.45 1.25 1.32 3/232 21803
/proc/meminfo: memFree=29609344/32770624 swapFree=66916544/67108860
[pid=21737] ppid=21734 vsize=10834676 memory=178808 CPUtime=2.64 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 23326 13021 0 0 247 10 4 3 20 0 15 0 416916993 11094708224 44702 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2708669 44702 3585 1 0 2670733 0
[pid=21737/tid=21790] ppid=21734 vsize=10834676 memory=70648 CPUtime=1.42 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 1077944384 15069 13021 0 0 130 5 4 3 20 0 15 0 416917002 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666850818192 139666879010517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10834676 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 86 13021 0 0 1 0 4 3 20 0 15 0 416917003 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10834676 memory=279396481294496 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 323 13021 0 0 1 0 4 3 20 0 15 0 416917003 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 46 13021 0 0 1 0 4 3 20 0 15 0 416917003 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 69 13021 0 0 1 0 4 3 20 0 15 0 416917003 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 1432 13021 0 0 1 0 4 3 20 0 15 0 416917004 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 54 13021 0 0 0 0 4 3 20 0 15 0 416917005 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666336601312 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917005 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666229551872 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10834676 memory=-2245088631185882904 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11094708224 44702 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10834676 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) S 21734 21737 15665 0 -1 1077944384 1324 13021 0 0 32 0 4 3 20 0 15 0 416917007 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10834676 memory=10 CPUtime=0.39 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) S 21734 21737 15665 0 -1 1077944384 1055 13021 0 0 32 0 4 3 20 0 15 0 416917007 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666301991792 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10834676 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) R 21734 21737 15665 0 -1 4202560 1658 13021 0 0 45 0 4 3 20 0 15 0 416917007 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666300938736 139666872097147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10834676 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11094708224 44702 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10834676 memory=279396481539008 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11094708224 44702 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 71342 13021 0 0 235520 49 4 3 20 0 15 0 416917002 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666850835424 139666460233095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10846984 memory=1296 CPUtime=12.61 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 15352 13021 0 0 1192 62 4 3 20 0 15 0 416917003 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10846984 memory=1220248 CPUtime=12.61 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 14392 13021 0 0 1197 57 4 3 20 0 15 0 416917003 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10846984 memory=1220248 CPUtime=12.63 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 12876 13021 0 0 1200 56 4 3 20 0 15 0 416917003 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10846984 memory=1220248 CPUtime=12.62 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 15251 13021 0 0 1194 61 4 3 20 0 15 0 416917003 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10846984 memory=1220248 CPUtime=11.43 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 16814 13021 0 0 1076 60 4 3 20 0 15 0 416917004 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10846984 memory=1460 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 55 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666336601312 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10846984 memory=912 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666229551872 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11107311616 305062 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10846984 memory=141 CPUtime=3.25 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) S 21734 21737 15665 0 -1 1077944384 26215 13021 0 0 314 4 4 3 20 0 15 0 416917007 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10846984 memory=1220248 CPUtime=3.13 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) S 21734 21737 15665 0 -1 1077944384 17749 13021 0 0 304 2 4 3 20 0 15 0 416917007 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666301991792 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10846984 memory=3628 CPUtime=1.73 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) S 21734 21737 15665 0 -1 1077944384 19962 13021 0 0 163 3 4 3 20 0 15 0 416917007 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666300938736 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10846984 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11107311616 305062 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10846984 memory=1640 CPUtime=1.49 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 1086 13021 0 0 67 75 4 3 20 0 15 0 416917008 11107311616 305062 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 2426.75 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1220248 KiB
[startup+2442.3 s]
/proc/loadavg: 0.87 1.20 1.34 3/232 22564
/proc/meminfo: memFree=28059672/32770624 swapFree=66916552/67108860
[pid=21737] ppid=21734 vsize=10846984 memory=1220272 CPUtime=2487.72 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 214880 13021 0 0 248394 371 4 3 20 0 15 0 416916993 11107311616 305068 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2711746 305068 3623 1 0 2673805 0
[pid=21737/tid=21790] ppid=21734 vsize=10846984 memory=1220272 CPUtime=2415.08 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 72147 13021 0 0 241451 50 4 3 20 0 15 0 416917002 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666850835856 139666461745874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10846984 memory=1220272 CPUtime=12.95 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 15408 13021 0 0 1225 63 4 3 20 0 15 0 416917003 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10846984 memory=1220248 CPUtime=12.93 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 14593 13021 0 0 1228 58 4 3 20 0 15 0 416917003 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10846984 memory=1220272 CPUtime=12.97 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 12920 13021 0 0 1232 58 4 3 20 0 15 0 416917003 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10846984 memory=1220272 CPUtime=12.96 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 15448 13021 0 0 1227 62 4 3 20 0 15 0 416917003 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10846984 memory=1220272 CPUtime=11.72 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 17068 13021 0 0 1104 61 4 3 20 0 15 0 416917004 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10846984 memory=1220272 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 55 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666336601312 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10846984 memory=1220272 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666229551872 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10846984 memory=1220268 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11107311616 305068 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10846984 memory=1220272 CPUtime=3.25 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) S 21734 21737 15665 0 -1 1077944384 26217 13021 0 0 314 4 4 3 20 0 15 0 416917007 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10846984 memory=1220272 CPUtime=3.13 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) S 21734 21737 15665 0 -1 1077944384 17751 13021 0 0 304 2 4 3 20 0 15 0 416917007 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666301991792 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10846984 memory=1220272 CPUtime=1.73 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) S 21734 21737 15665 0 -1 1077944384 19964 13021 0 0 163 3 4 3 20 0 15 0 416917007 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666300938736 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10846984 memory=944 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11107311616 305068 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10846984 memory=912 CPUtime=1.53 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 1095 13021 0 0 69 77 4 3 20 0 15 0 416917008 11107311616 305068 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 2487.72 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1220272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.11 s]
/proc/loadavg: 1.20 1.25 1.35 3/231 22567
/proc/meminfo: memFree=28056488/32770624 swapFree=66916552/67108860
[pid=21737] ppid=21734 vsize=10846984 memory=1220300 CPUtime=2520.03 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 216103 13021 0 0 251622 374 4 3 20 0 15 0 416916993 11107311616 305075 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2711746 305075 3623 1 0 2673805 0
[pid=21737/tid=21790] ppid=21734 vsize=10846984 memory=776 CPUtime=2446.51 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 72730 13021 0 0 244594 50 4 3 20 0 15 0 416917002 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666850835344 139666461745888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.12 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 15479 13021 0 0 1241 64 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.1 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 14608 13021 0 0 1244 59 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.15 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 12938 13021 0 0 1250 58 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.13 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 15777 13021 0 0 1244 62 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10846984 memory=1220284 CPUtime=11.87 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 17269 13021 0 0 1119 61 4 3 20 0 15 0 416917004 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10846984 memory=1220284 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 55 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666336601312 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10846984 memory=1220272 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666229551872 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10846984 memory=1220272 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10846984 memory=1220284 CPUtime=3.25 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) S 21734 21737 15665 0 -1 1077944384 26217 13021 0 0 314 4 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10846984 memory=1220284 CPUtime=3.13 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) S 21734 21737 15665 0 -1 1077944384 17751 13021 0 0 304 2 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666301991792 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10846984 memory=1220300 CPUtime=1.73 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) S 21734 21737 15665 0 -1 1077944384 19964 13021 0 0 163 3 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666300938736 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10846984 memory=3628 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11107311616 305075 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10846984 memory=1220284 CPUtime=1.55 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 1101 13021 0 0 70 78 4 3 20 0 15 0 416917008 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1220300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.14 s]
# the end of solver process 21737 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.29 s, system=3.79749 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.11 s]
/proc/loadavg: 1.20 1.25 1.35 3/231 22567
/proc/meminfo: memFree=28056488/32770624 swapFree=66916552/67108860
[pid=21737] ppid=21734 vsize=10846984 memory=1220300 CPUtime=2520.03 cores=0,2,4,6
/proc/21737/stat : 21737 (java) S 21734 21737 15665 0 -1 1077944320 216103 13021 0 0 251622 374 4 3 20 0 15 0 416916993 11107311616 305075 33554432000 4194304 4196468 140728964303328 140728964285872 139666879000311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
/proc/21737/statm: 2711746 305075 3623 1 0 2673805 0
[pid=21737/tid=21790] ppid=21734 vsize=10846984 memory=776 CPUtime=2446.51 cores=0,2,4,6
/proc/21737/task/21790/stat : 21790 (java) R 21734 21737 15665 0 -1 4202560 72730 13021 0 0 244594 50 4 3 20 0 15 0 416917002 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666850835344 139666461745888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21791] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.12 cores=0,2,4,6
/proc/21737/task/21791/stat : 21791 (java) S 21734 21737 15665 0 -1 1077944384 15479 13021 0 0 1241 64 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666883243024 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21792] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.1 cores=0,2,4,6
/proc/21737/task/21792/stat : 21792 (java) S 21734 21737 15665 0 -1 1077944384 14608 13021 0 0 1244 59 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666771516560 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21793] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.15 cores=0,2,4,6
/proc/21737/task/21793/stat : 21793 (java) S 21734 21737 15665 0 -1 1077944384 12938 13021 0 0 1250 58 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666770463504 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21794] ppid=21734 vsize=10846984 memory=1220284 CPUtime=13.13 cores=0,2,4,6
/proc/21737/task/21794/stat : 21794 (java) S 21734 21737 15665 0 -1 1077944384 15777 13021 0 0 1244 62 4 3 20 0 15 0 416917003 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666769410960 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21795] ppid=21734 vsize=10846984 memory=1220284 CPUtime=11.87 cores=0,2,4,6
/proc/21737/task/21795/stat : 21795 (java) S 21734 21737 15665 0 -1 1077944384 17269 13021 0 0 1119 61 4 3 20 0 15 0 416917004 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666337655024 139666879011458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21796] ppid=21734 vsize=10846984 memory=1220284 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21796/stat : 21796 (java) S 21734 21737 15665 0 -1 1077944384 55 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666336601312 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21797] ppid=21734 vsize=10846984 memory=1220272 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21797/stat : 21797 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917005 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666229551872 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21798] ppid=21734 vsize=10846984 memory=1220272 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21798/stat : 21798 (java) S 21734 21737 15665 0 -1 1077944384 2 13021 0 0 0 0 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139665625573328 139666879018907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21799] ppid=21734 vsize=10846984 memory=1220284 CPUtime=3.25 cores=0,2,4,6
/proc/21737/task/21799/stat : 21799 (java) S 21734 21737 15665 0 -1 1077944384 26217 13021 0 0 314 4 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666303044336 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21800] ppid=21734 vsize=10846984 memory=1220284 CPUtime=3.13 cores=0,2,4,6
/proc/21737/task/21800/stat : 21800 (java) S 21734 21737 15665 0 -1 1077944384 17751 13021 0 0 304 2 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666301991792 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21801] ppid=21734 vsize=10846984 memory=1220300 CPUtime=1.73 cores=0,2,4,6
/proc/21737/task/21801/stat : 21801 (java) S 21734 21737 15665 0 -1 1077944384 19964 13021 0 0 163 3 4 3 20 0 15 0 416917007 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666300938736 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21802] ppid=21734 vsize=10846984 memory=3628 CPUtime=0.07 cores=0,2,4,6
/proc/21737/task/21802/stat : 21802 (java) S 21734 21737 15665 0 -1 1077944384 3 13021 0 0 0 0 4 3 20 0 15 0 416917008 11107311616 305075 33554432000 4194304 4196468 140728964303328 139665155812192 139666879010517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
[pid=21737/tid=21803] ppid=21734 vsize=10846984 memory=1220284 CPUtime=1.55 cores=0,2,4,6
/proc/21737/task/21803/stat : 21803 (java) S 21734 21737 15665 0 -1 1077944384 1101 13021 0 0 70 78 4 3 20 0 15 0 416917008 11107311616 305075 33554432000 4194304 4196468 140728964303328 139666299886128 139666879011458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24915968 140728964307695 140728964310213 140728964310213 140728964313039 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1220300 KiB
Child status: 143
Real time (s): 2474.14
CPU time (s): 2520.09
CPU user time (s): 2516.29
CPU system time (s): 3.79749
CPU usage (%): 101.857
Max. virtual memory (cumulated for all children) (KiB): 10852348
Max. memory (cumulated for all children) (KiB): 1220300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.29
system time used= 3.79748
maximum resident set size= 1224428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309200
involuntary context switches= 9677
# summary of solver processes directly reported to runsolver:
# pid: 21737
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.29
# total CPU system time (s): 3.79749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8551 second user time and 24.4846 second system time
The end