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 (14534 MiB free)
memory of node 1: 16384 MiB (15449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273525-1502715511/watcher-4273525-1502715511 -o /tmp/evaluation-result-4273525-1502715511/solver-4273525-1502715511 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1550559254 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273525-1502715511.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19336, runsolver pid=19333
[startup+0.105995 s]*
/proc/loadavg: 1.82 1.86 1.77 3/204 19346
/proc/meminfo: memFree=30694900/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13906484 memory=20396 CPUtime=0.05 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 5132 0 0 0 4 1 0 0 20 0 14 0 73746456 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3476621 5099 2547 1 0 3466118 0
[pid=19336/tid=19338] ppid=19333 vsize=13906484 memory=-6439968830534014599 CPUtime=0.04 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) D 19333 19336 12560 0 -1 4202560 3219 0 0 0 4 0 0 0 20 0 14 0 73746461 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030828804000 140030824588541 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13906484 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 73746462 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13906484 memory=140505915774592 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 73746462 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 73746462 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 73746462 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13906484 memory=140505915774592 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 73746463 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 73746464 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030369940512 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 73746464 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030368887664 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 73746467 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 73746467 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) S 19333 19336 12560 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 14 0 73746467 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13906484 memory=140505915774592 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) S 19333 19336 12560 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 73746467 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 73746467 14240239616 5099 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20396 KiB
[startup+0.210046 s]*
/proc/loadavg: 1.82 1.86 1.77 3/209 19351
/proc/meminfo: memFree=30677888/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13975920 memory=36776 CPUtime=0.15 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 9777 0 0 0 13 2 0 0 20 0 15 0 73746456 14311342080 9194 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3493980 9194 3366 1 0 3482759 0
[pid=19336/tid=19338] ppid=19333 vsize=13975920 memory=8318255677412212789 CPUtime=0.1 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 7717 0 0 0 9 1 0 0 20 0 15 0 73746461 14311342080 9194 18446744073709551615 4194304 4196468 140731294524224 140030828752896 140030808647006 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13975920 memory=140505915791293 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13975920 memory=140505915774592 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73746463 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73746464 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030369940512 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73746464 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030368887664 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 73746467 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) R 19333 19336 12560 0 -1 4202560 376 0 0 0 0 0 0 0 20 0 15 0 73746467 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030808033808 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13975920 memory=140505915774592 CPUtime=0.02 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) S 19333 19336 12560 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 73746467 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19351] ppid=19333 vsize=13975920 memory=140505915774592 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19351/stat : 19351 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746471 14311342080 9260 18446744073709551615 4194304 4196468 140731294524224 140029800475312 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36776 KiB
[startup+0.310037 s]*
/proc/loadavg: 1.82 1.86 1.77 4/209 19351
/proc/meminfo: memFree=30671984/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13975920 memory=45680 CPUtime=0.31 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 11170 0 0 0 28 3 0 0 20 0 15 0 73746456 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3493980 11420 3617 1 0 3482759 0
[pid=19336/tid=19338] ppid=19333 vsize=13975920 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 8743 0 0 0 19 2 0 0 20 0 15 0 73746461 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030828774704 140030808647006 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13975920 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73746462 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73746463 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73746464 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030369940512 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73746464 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030368887664 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 73746467 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) S 19333 19336 12560 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 73746467 14311342080 11420 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13976944 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) R 19333 19336 12560 0 -1 4202560 391 0 0 0 5 0 0 0 20 0 15 0 73746467 14312390656 11420 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030803222427 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14312390656 11485 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19351] ppid=19333 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19351/stat : 19351 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746471 14312390656 11485 18446744073709551615 4194304 4196468 140731294524224 140029800475312 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 45680 KiB
[startup+0.700709 s]
/proc/loadavg: 1.82 1.86 1.77 3/209 19351
/proc/meminfo: memFree=30659180/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13977988 memory=73700 CPUtime=1.03 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 14082 0 0 0 98 5 0 0 20 0 15 0 73746456 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3494497 18425 3734 1 0 3483271 0
[pid=19336/tid=19338] ppid=19333 vsize=13977988 memory=1688 CPUtime=0.58 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 10737 0 0 0 55 3 0 0 20 0 15 0 73746461 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030828789504 140030806432253 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13977988 memory=5808 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13977988 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13977988 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13977988 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73746462 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13977988 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73746463 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13977988 memory=8620 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73746464 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030369940512 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13977988 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73746464 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030368887664 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13977988 memory=14260 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13977988 memory=796 CPUtime=0.11 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 370 0 0 0 11 0 0 0 20 0 15 0 73746467 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13977988 memory=1228 CPUtime=0.1 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) S 19333 19336 12560 0 -1 1077944384 817 0 0 0 10 0 0 0 20 0 15 0 73746467 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13977988 memory=1412 CPUtime=0.21 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) R 19333 19336 12560 0 -1 4202560 776 0 0 0 21 0 0 0 20 0 15 0 73746467 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030824578454 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13977988 memory=15584 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19351] ppid=19333 vsize=13977988 memory=59048 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19351/stat : 19351 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746471 14313459712 18425 18446744073709551615 4194304 4196468 140731294524224 140029800475312 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 73700 KiB
[startup+1.50075 s]
/proc/loadavg: 1.82 1.86 1.77 5/209 19351
/proc/meminfo: memFree=30600620/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13980036 memory=179528 CPUtime=3.19 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 27987 0 0 0 310 9 0 0 20 0 15 0 73746456 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3495009 44882 3745 1 0 3483783 0
[pid=19336/tid=19338] ppid=19333 vsize=13980036 memory=4144 CPUtime=1.39 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 13160 0 0 0 133 6 0 0 20 0 15 0 73746461 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140030828800640 140030450191636 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13980036 memory=40972 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13980036 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13980036 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73746462 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13980036 memory=1688 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73746462 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13980036 memory=5808 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73746463 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13980036 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 44882 18446744073709551615 4194304 4196468 140731294524224 140030369940512 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
################
# More data... #
################
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 34097 0 0 0 236371 28 0 0 20 0 15 0 73746461 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030828805008 140030450191061 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13980036 memory=0 CPUtime=7.97 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 3309 0 0 0 744 53 0 0 20 0 15 0 73746462 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13980036 memory=288924 CPUtime=8 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 3265 0 0 0 743 57 0 0 20 0 15 0 73746462 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13980036 memory=290980 CPUtime=7.97 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 2078 0 0 0 741 56 0 0 20 0 15 0 73746462 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13980036 memory=290980 CPUtime=7.94 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 3631 0 0 0 740 54 0 0 20 0 15 0 73746462 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13980036 memory=290980 CPUtime=7.22 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 4816 0 0 0 671 51 0 0 20 0 15 0 73746463 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13980036 memory=290980 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030369940576 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13980036 memory=290980 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030368887680 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13980036 memory=290980 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13980036 memory=4144 CPUtime=0.75 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 6040 0 0 0 74 1 0 0 20 0 15 0 73746467 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13980036 memory=164 CPUtime=0.8 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) S 19333 19336 12560 0 -1 1077944384 7902 0 0 0 79 1 0 0 20 0 15 0 73746467 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13980036 memory=4144 CPUtime=0.35 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) S 19333 19336 12560 0 -1 1077944384 2037 0 0 0 34 1 0 0 20 0 15 0 73746467 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13980036 memory=41084 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19351] ppid=19333 vsize=13980036 memory=2160 CPUtime=1.15 cores=1,3,5,7
/proc/19336/task/19351/stat : 19351 (java) S 19333 19336 12560 0 -1 1077944384 477 0 0 0 52 63 0 0 20 0 15 0 73746471 14315556864 72745 18446744073709551615 4194304 4196468 140731294524224 140029800475312 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 2406.23 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 290980 KiB
[startup+2442.3 s]
/proc/loadavg: 1.81 1.78 1.74 3/209 19670
/proc/meminfo: memFree=22185088/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13980036 memory=293028 CPUtime=2466.95 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 70648 0 0 0 246396 299 0 0 20 0 15 0 73746456 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3495009 73257 3773 1 0 3483783 0
[pid=19336/tid=19338] ppid=19333 vsize=13980036 memory=293028 CPUtime=2423.5 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 35158 0 0 0 242322 28 0 0 20 0 15 0 73746461 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030828805072 140030449843380 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13980036 memory=293028 CPUtime=8.23 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 3333 0 0 0 768 55 0 0 20 0 15 0 73746462 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13980036 memory=290980 CPUtime=8.24 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 3454 0 0 0 766 58 0 0 20 0 15 0 73746462 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13980036 memory=293028 CPUtime=8.23 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 2162 0 0 0 766 57 0 0 20 0 15 0 73746462 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13980036 memory=293028 CPUtime=8.2 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 3668 0 0 0 764 56 0 0 20 0 15 0 73746462 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13980036 memory=293028 CPUtime=7.4 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 4973 0 0 0 687 53 0 0 20 0 15 0 73746463 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13980036 memory=293028 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030369940576 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13980036 memory=293028 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030368887680 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13980036 memory=293028 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13980036 memory=293028 CPUtime=0.75 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 6042 0 0 0 74 1 0 0 20 0 15 0 73746467 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13980036 memory=1412 CPUtime=0.8 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) S 19333 19336 12560 0 -1 1077944384 7904 0 0 0 79 1 0 0 20 0 15 0 73746467 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13980036 memory=293028 CPUtime=0.35 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) S 19333 19336 12560 0 -1 1077944384 2039 0 0 0 34 1 0 0 20 0 15 0 73746467 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13980036 memory=293028 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19351] ppid=19333 vsize=13980036 memory=293028 CPUtime=1.17 cores=1,3,5,7
/proc/19336/task/19351/stat : 19351 (java) S 19333 19336 12560 0 -1 1077944384 489 0 0 0 52 65 0 0 20 0 15 0 73746471 14315556864 73257 18446744073709551615 4194304 4196468 140731294524224 140029800475312 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 2466.95 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 293028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.7 s]
/proc/loadavg: 1.88 1.81 1.76 3/209 19671
/proc/meminfo: memFree=22030284/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13980036 memory=297124 CPUtime=2520.02 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 71622 0 0 0 251696 306 0 0 20 0 15 0 73746456 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3495009 74281 3773 1 0 3483783 0
[pid=19336/tid=19338] ppid=19333 vsize=13980036 memory=297124 CPUtime=2475.46 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 35677 0 0 0 247518 28 0 0 20 0 15 0 73746461 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030828805056 140030450307904 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13980036 memory=297124 CPUtime=8.45 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 3478 0 0 0 789 56 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13980036 memory=295076 CPUtime=8.47 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 3555 0 0 0 788 59 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13980036 memory=297124 CPUtime=8.45 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 2175 0 0 0 786 59 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13980036 memory=164 CPUtime=8.44 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 3678 0 0 0 787 57 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13980036 memory=295076 CPUtime=7.56 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 5141 0 0 0 702 54 0 0 20 0 15 0 73746463 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13980036 memory=297124 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030369940576 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13980036 memory=297124 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030368887680 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13980036 memory=25284 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13980036 memory=297124 CPUtime=0.75 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 6044 0 0 0 74 1 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13980036 memory=295076 CPUtime=0.8 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) S 19333 19336 12560 0 -1 1077944384 7906 0 0 0 79 1 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13980036 memory=4144 CPUtime=0.35 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) S 19333 19336 12560 0 -1 1077944384 2041 0 0 0 34 1 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13980036 memory=297124 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19351] ppid=19333 vsize=13980036 memory=1156 CPUtime=1.2 cores=1,3,5,7
/proc/19336/task/19351/stat : 19351 (java) S 19333 19336 12560 0 -1 1077944384 501 0 0 0 53 67 0 0 20 0 15 0 73746471 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140029800475312 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 297124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.72 s]
# the end of solver process 19336 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.98 s, system=3.07046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.7 s]
/proc/loadavg: 1.88 1.81 1.76 3/209 19671
/proc/meminfo: memFree=22030284/32770624 swapFree=67105588/67108860
[pid=19336] ppid=19333 vsize=13980036 memory=297124 CPUtime=2520.02 cores=1,3,5,7
/proc/19336/stat : 19336 (java) S 19333 19336 12560 0 -1 1077944320 71622 0 0 0 251696 306 0 0 20 0 15 0 73746456 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140731294506768 140030824566519 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
/proc/19336/statm: 3495009 74281 3773 1 0 3483783 0
[pid=19336/tid=19338] ppid=19333 vsize=13980036 memory=297124 CPUtime=2475.46 cores=1,3,5,7
/proc/19336/task/19338/stat : 19338 (java) R 19333 19336 12560 0 -1 4202560 35677 0 0 0 247518 28 0 0 20 0 15 0 73746461 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030828805056 140030450307904 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19339] ppid=19333 vsize=13980036 memory=297124 CPUtime=8.45 cores=1,3,5,7
/proc/19336/task/19339/stat : 19339 (java) S 19333 19336 12560 0 -1 1077944384 3478 0 0 0 789 56 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030766513296 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19340] ppid=19333 vsize=13980036 memory=295076 CPUtime=8.47 cores=1,3,5,7
/proc/19336/task/19340/stat : 19340 (java) S 19333 19336 12560 0 -1 1077944384 3555 0 0 0 788 59 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030423604240 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19341] ppid=19333 vsize=13980036 memory=297124 CPUtime=8.45 cores=1,3,5,7
/proc/19336/task/19341/stat : 19341 (java) S 19333 19336 12560 0 -1 1077944384 2175 0 0 0 786 59 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030422551440 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19342] ppid=19333 vsize=13980036 memory=164 CPUtime=8.44 cores=1,3,5,7
/proc/19336/task/19342/stat : 19342 (java) S 19333 19336 12560 0 -1 1077944384 3678 0 0 0 787 57 0 0 20 0 15 0 73746462 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030421498640 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19343] ppid=19333 vsize=13980036 memory=295076 CPUtime=7.56 cores=1,3,5,7
/proc/19336/task/19343/stat : 19343 (java) S 19333 19336 12560 0 -1 1077944384 5141 0 0 0 702 54 0 0 20 0 15 0 73746463 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030370994544 140030824577666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19344] ppid=19333 vsize=13980036 memory=297124 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19344/stat : 19344 (java) S 19333 19336 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030369940576 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19345] ppid=19333 vsize=13980036 memory=297124 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19345/stat : 19345 (java) S 19333 19336 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 73746464 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030368887680 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19346] ppid=19333 vsize=13980036 memory=25284 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19346/stat : 19346 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030367835984 140030824585115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19347] ppid=19333 vsize=13980036 memory=297124 CPUtime=0.75 cores=1,3,5,7
/proc/19336/task/19347/stat : 19347 (java) S 19333 19336 12560 0 -1 1077944384 6044 0 0 0 74 1 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030366784368 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19348] ppid=19333 vsize=13980036 memory=295076 CPUtime=0.8 cores=1,3,5,7
/proc/19336/task/19348/stat : 19348 (java) S 19333 19336 12560 0 -1 1077944384 7906 0 0 0 79 1 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030365731568 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19349] ppid=19333 vsize=13980036 memory=4144 CPUtime=0.35 cores=1,3,5,7
/proc/19336/task/19349/stat : 19349 (java) S 19333 19336 12560 0 -1 1077944384 2041 0 0 0 34 1 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030364678768 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19350] ppid=19333 vsize=13980036 memory=297124 CPUtime=0 cores=1,3,5,7
/proc/19336/task/19350/stat : 19350 (java) S 19333 19336 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73746467 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140030363626208 140030824576725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
[pid=19336/tid=19351] ppid=19333 vsize=13980036 memory=1156 CPUtime=1.2 cores=1,3,5,7
/proc/19336/task/19351/stat : 19351 (java) S 19333 19336 12560 0 -1 1077944384 501 0 0 0 53 67 0 0 20 0 15 0 73746471 14315556864 74281 18446744073709551615 4194304 4196468 140731294524224 140029800475312 140030824577666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 11051008 140731294527854 140731294528041 140731294528041 140731294531535 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 297124 KiB
Child status: 143
Real time (s): 2494.72
CPU time (s): 2520.05
CPU user time (s): 2516.98
CPU system time (s): 3.07046
CPU usage (%): 101.015
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 297124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.98
system time used= 3.07046
maximum resident set size= 297444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 268756
involuntary context switches= 7474
# summary of solver processes directly reported to runsolver:
# pid: 19336
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.98
# total CPU system time (s): 3.07046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8657 second user time and 26.4128 second system time
The end