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 (14457 MiB free)
memory of node 1: 16384 MiB (15304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273342-1502907351/watcher-4273342-1502907351 -o /tmp/evaluation-result-4273342-1502907351/solver-4273342-1502907351 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502874281-11067 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1665569753 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273342-1502907351.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=15415, runsolver pid=15412
[startup+0.100157 s]*
/proc/loadavg: 1.52 1.38 1.43 3/209 15421
/proc/meminfo: memFree=30472112/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13440536 memory=15724 CPUtime=0.01 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 3757 0 0 0 1 0 0 0 20 0 7 0 138550219 13763108864 3931 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3360134 3931 2011 1 0 3349631 0
[pid=15415/tid=15417] ppid=15412 vsize=13440536 memory=7077796292425249400 CPUtime=0.01 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 2455 0 0 0 1 0 0 0 20 0 7 0 138550228 13763108864 3931 18446744073709551615 4194304 4196468 140723368317920 140651139812112 140651119650142 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13440536 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 138550229 13763108864 3931 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13440536 memory=140306266678912 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 138550229 13763108864 3931 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 138550229 13763108864 3931 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13440536 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 138550229 13763108864 3931 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 138550230 13763108864 3931 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15724 KiB
[startup+0.211771 s]*
/proc/loadavg: 1.52 1.38 1.43 3/218 15430
/proc/meminfo: memFree=30463228/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13975920 memory=30204 CPUtime=0.09 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 6848 0 0 0 8 1 0 0 20 0 15 0 138550219 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3493980 7551 3361 1 0 3482759 0
[pid=15415/tid=15417] ppid=15412 vsize=13975920 memory=8316850467074736180 CPUtime=0.07 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 4943 0 0 0 6 1 0 0 20 0 15 0 138550228 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140651139802688 140651135591581 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13975920 memory=8293 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550229 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13975920 memory=140306267928630 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550229 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550229 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550229 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13975920 memory=140306266678912 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550230 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 138550231 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650320631200 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 138550231 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650319578608 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) S 15412 15415 8289 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 138550233 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650316421232 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13975920 memory=140306266678912 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) R 15412 15415 8289 0 -1 4202560 226 0 0 0 0 0 0 0 20 0 15 0 138550233 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651135591002 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13975920 memory=140306266678912 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550239 14311342080 7551 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30204 KiB
[startup+0.311718 s]*
/proc/loadavg: 1.52 1.38 1.43 4/218 15430
/proc/meminfo: memFree=30450896/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13975920 memory=39684 CPUtime=0.25 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 10245 0 0 0 22 3 0 0 20 0 15 0 138550219 14311342080 9921 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3494236 9921 3515 1 0 3483015 0
[pid=15415/tid=15417] ppid=15412 vsize=13976944 memory=8316850467074736180 CPUtime=0.16 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 8088 0 0 0 14 2 0 0 20 0 15 0 138550228 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140651139769312 140651128249373 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13976944 memory=8293 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550229 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13975920 memory=140306267928630 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550229 14311342080 9921 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13976944 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550229 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13976944 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550229 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13976944 memory=3471342702587516592 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 138550230 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13975920 memory=736113384930871609 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 138550231 14311342080 9921 18446744073709551615 4194304 4196468 140723368317920 140650320631200 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 138550231 14311342080 9921 18446744073709551615 4194304 4196468 140723368317920 140650319578608 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14311342080 9921 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13976944 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) S 15412 15415 8289 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 138550233 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13976944 memory=3472328296227680299 CPUtime=0.01 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) S 15412 15415 8289 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 15 0 138550233 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140650316421232 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13976944 memory=8679811949827049460 CPUtime=0.04 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) S 15412 15415 8289 0 -1 1077944384 378 0 0 0 4 0 0 0 20 0 15 0 138550233 14312390656 9921 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14311342080 9921 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13975920 memory=140306266678912 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550239 14311342080 9921 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39684 KiB
[startup+0.700664 s]
/proc/loadavg: 1.52 1.38 1.43 5/218 15430
/proc/meminfo: memFree=30436060/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13977988 memory=66716 CPUtime=0.93 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 13928 0 0 0 88 5 0 0 20 0 15 0 138550219 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3494497 16679 3723 1 0 3483271 0
[pid=15415/tid=15417] ppid=15412 vsize=13977988 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 10615 0 0 0 51 4 0 0 20 0 15 0 138550228 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140651139805024 140650733521924 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550229 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550229 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550229 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550229 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13977988 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 138550230 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13977988 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 138550231 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650320631200 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13977988 memory=11180 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 138550231 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650319578608 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13977988 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13977988 memory=4612 CPUtime=0.09 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) S 15412 15415 8289 0 -1 1077944384 632 0 0 0 9 0 0 0 20 0 15 0 138550233 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13977988 memory=33 CPUtime=0.1 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) S 15412 15415 8289 0 -1 1077944384 612 0 0 0 10 0 0 0 20 0 15 0 138550233 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650316421232 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13977988 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) R 15412 15415 8289 0 -1 4202560 687 0 0 0 17 0 0 0 20 0 15 0 138550233 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651119650142 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13977988 memory=737 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138550239 14313459712 16679 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66716 KiB
[startup+1.50075 s]
/proc/loadavg: 1.52 1.38 1.43 4/218 15430
/proc/meminfo: memFree=30395704/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13982084 memory=209328 CPUtime=3.06 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 25216 0 0 0 294 12 0 0 20 0 15 0 138550219 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3495521 52332 3788 1 0 3484295 0
[pid=15415/tid=15417] ppid=15412 vsize=13982084 memory=1296 CPUtime=1.33 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 14606 0 0 0 125 8 0 0 20 0 15 0 138550228 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140651139804696 140650738408740 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13982084 memory=280612225399232 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 138550229 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13982084 memory=-7522837415797432224 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 15 0 138550229 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13982084 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 138550229 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13982084 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138550229 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13982084 memory=-7101718590825193272 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 138550230 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13982084 memory=-7966001958750355552 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650320631200 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13982084 memory=-3040564339240289162 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650319578608 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13982084 memory=7668055013576894806 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13982084 memory=4639924115538006630 CPUtime=0.62 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) R 15412 15415 8289 0 -1 4202560 2443 0 0 0 61 1 0 0 20 0 15 0 138550233 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651116268959 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13982084 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) R 15412 15415 8289 0 -1 4202560 2795 0 0 0 61 1 0 0 20 0 15 0 138550233 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650316407552 140651117090937 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13982084 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) S 15412 15415 8289 0 -1 1077944384 3170 0 0 0 43 0 0 0 20 0 15 0 138550233 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550239 14317654016 52332 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
################
# More data... #
################
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 65626 0 0 0 235418 54 0 0 20 0 15 0 138550228 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140651139807568 140650737925094 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13982084 memory=816060 CPUtime=14.33 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 6332 0 0 0 1365 68 0 0 20 0 15 0 138550229 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13982084 memory=814012 CPUtime=14.34 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 9828 0 0 0 1366 68 0 0 20 0 15 0 138550229 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13982084 memory=814012 CPUtime=14.34 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 10313 0 0 0 1368 66 0 0 20 0 15 0 138550229 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13982084 memory=814012 CPUtime=14.32 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 8568 0 0 0 1364 68 0 0 20 0 15 0 138550229 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13982084 memory=807868 CPUtime=9.32 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 8868 0 0 0 868 64 0 0 20 0 15 0 138550230 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13982084 memory=814012 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650320631264 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13982084 memory=816060 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650319578624 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13982084 memory=816060 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13982084 memory=816060 CPUtime=2.12 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) S 15412 15415 8289 0 -1 1077944384 23993 0 0 0 209 3 0 0 20 0 15 0 138550233 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13982084 memory=816060 CPUtime=2.14 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) S 15412 15415 8289 0 -1 1077944384 26395 0 0 0 211 3 0 0 20 0 15 0 138550233 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650316421232 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13982084 memory=4168 CPUtime=0.71 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) S 15412 15415 8289 0 -1 1077944384 23688 0 0 0 68 3 0 0 20 0 15 0 138550233 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13982084 memory=3204 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13982084 memory=814012 CPUtime=1.38 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 1040 0 0 0 58 80 0 0 20 0 15 0 138550239 14317654016 204015 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 2427.82 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 816060 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.35 1.36 3/212 15574
/proc/meminfo: memFree=29422920/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13982084 memory=818108 CPUtime=2488.92 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 188293 0 0 0 248488 404 0 0 20 0 15 0 138550219 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3495521 204527 3820 1 0 3484295 0
[pid=15415/tid=15417] ppid=15412 vsize=13982084 memory=2752 CPUtime=2414.03 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 66664 0 0 0 241348 55 0 0 20 0 15 0 138550228 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140651139807568 140650739756220 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13982084 memory=818108 CPUtime=14.72 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 6479 0 0 0 1403 69 0 0 20 0 15 0 138550229 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13982084 memory=816060 CPUtime=14.72 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 10133 0 0 0 1403 69 0 0 20 0 15 0 138550229 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13982084 memory=816060 CPUtime=14.73 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 10516 0 0 0 1406 67 0 0 20 0 15 0 138550229 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13982084 memory=818108 CPUtime=14.71 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 8736 0 0 0 1402 69 0 0 20 0 15 0 138550229 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13982084 memory=818108 CPUtime=9.51 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 9048 0 0 0 886 65 0 0 20 0 15 0 138550230 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13982084 memory=818108 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650320631264 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13982084 memory=818108 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650319578624 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13982084 memory=818108 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13982084 memory=818108 CPUtime=2.12 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) S 15412 15415 8289 0 -1 1077944384 24114 0 0 0 209 3 0 0 20 0 15 0 138550233 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13982084 memory=818108 CPUtime=2.14 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) S 15412 15415 8289 0 -1 1077944384 26397 0 0 0 211 3 0 0 20 0 15 0 138550233 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650316421232 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13982084 memory=818108 CPUtime=0.71 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) S 15412 15415 8289 0 -1 1077944384 23690 0 0 0 68 3 0 0 20 0 15 0 138550233 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13982084 memory=818108 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13982084 memory=818108 CPUtime=1.42 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 1055 0 0 0 61 81 0 0 20 0 15 0 138550239 14317654016 204527 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 2488.92 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 818108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.9 s]
/proc/loadavg: 1.37 1.35 1.36 2/191 15625
/proc/meminfo: memFree=30308404/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13982084 memory=820156 CPUtime=2520.06 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 190054 0 0 0 251598 408 0 0 20 0 15 0 138550219 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3495521 205039 3820 1 0 3484295 0
[pid=15415/tid=15417] ppid=15412 vsize=13982084 memory=820156 CPUtime=2444.32 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 67366 0 0 0 244376 56 0 0 20 0 15 0 138550228 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140651139806848 140650739881846 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.91 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 6605 0 0 0 1421 70 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.91 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 10269 0 0 0 1421 70 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.91 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 10681 0 0 0 1424 67 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.9 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 8921 0 0 0 1420 70 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13982084 memory=820156 CPUtime=9.61 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 9227 0 0 0 895 66 0 0 20 0 15 0 138550230 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13982084 memory=820156 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650320631264 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13982084 memory=820156 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650319578624 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13982084 memory=820156 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13982084 memory=68140 CPUtime=2.12 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) S 15412 15415 8289 0 -1 1077944384 24170 0 0 0 209 3 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13982084 memory=0 CPUtime=2.15 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) S 15412 15415 8289 0 -1 1077944384 26594 0 0 0 212 3 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650316421232 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13982084 memory=143 CPUtime=0.71 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) S 15412 15415 8289 0 -1 1077944384 23692 0 0 0 68 3 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13982084 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13982084 memory=2012 CPUtime=1.43 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 1068 0 0 0 61 82 0 0 20 0 15 0 138550239 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 820156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.92 s]
# the end of solver process 15415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516 s, system=4.09018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.9 s]
/proc/loadavg: 1.37 1.35 1.36 2/191 15625
/proc/meminfo: memFree=30308404/32770624 swapFree=67108860/67108860
[pid=15415] ppid=15412 vsize=13982084 memory=820156 CPUtime=2520.06 cores=1,3,5,7
/proc/15415/stat : 15415 (java) S 15412 15415 8289 0 -1 1077944320 190054 0 0 0 251598 408 0 0 20 0 15 0 138550219 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140723368300464 140651135569655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
/proc/15415/statm: 3495521 205039 3820 1 0 3484295 0
[pid=15415/tid=15417] ppid=15412 vsize=13982084 memory=820156 CPUtime=2444.32 cores=1,3,5,7
/proc/15415/task/15417/stat : 15417 (java) R 15412 15415 8289 0 -1 4202560 67366 0 0 0 244376 56 0 0 20 0 15 0 138550228 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140651139806848 140650739881846 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15418] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.91 cores=1,3,5,7
/proc/15415/task/15418/stat : 15418 (java) S 15412 15415 8289 0 -1 1077944384 6605 0 0 0 1421 70 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140651054983440 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15419] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.91 cores=1,3,5,7
/proc/15415/task/15419/stat : 15419 (java) S 15412 15415 8289 0 -1 1077944384 10269 0 0 0 1421 70 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140651053930896 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15420] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.91 cores=1,3,5,7
/proc/15415/task/15420/stat : 15420 (java) S 15412 15415 8289 0 -1 1077944384 10681 0 0 0 1424 67 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650733365776 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15421] ppid=15412 vsize=13982084 memory=820156 CPUtime=14.9 cores=1,3,5,7
/proc/15415/task/15421/stat : 15421 (java) S 15412 15415 8289 0 -1 1077944384 8921 0 0 0 1420 70 0 0 20 0 15 0 138550229 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650732313232 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15422] ppid=15412 vsize=13982084 memory=820156 CPUtime=9.61 cores=1,3,5,7
/proc/15415/task/15422/stat : 15422 (java) S 15412 15415 8289 0 -1 1077944384 9227 0 0 0 895 66 0 0 20 0 15 0 138550230 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650321684976 140651135580802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15423] ppid=15412 vsize=13982084 memory=820156 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15423/stat : 15423 (java) S 15412 15415 8289 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650320631264 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15424] ppid=15412 vsize=13982084 memory=820156 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15424/stat : 15424 (java) S 15412 15415 8289 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 138550231 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650319578624 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15425] ppid=15412 vsize=13982084 memory=820156 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15425/stat : 15425 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650318527184 140651135588251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15426] ppid=15412 vsize=13982084 memory=68140 CPUtime=2.12 cores=1,3,5,7
/proc/15415/task/15426/stat : 15426 (java) S 15412 15415 8289 0 -1 1077944384 24170 0 0 0 209 3 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650317473776 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15427] ppid=15412 vsize=13982084 memory=0 CPUtime=2.15 cores=1,3,5,7
/proc/15415/task/15427/stat : 15427 (java) S 15412 15415 8289 0 -1 1077944384 26594 0 0 0 212 3 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650316421232 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15428] ppid=15412 vsize=13982084 memory=143 CPUtime=0.71 cores=1,3,5,7
/proc/15415/task/15428/stat : 15428 (java) S 15412 15415 8289 0 -1 1077944384 23692 0 0 0 68 3 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650315368688 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15429] ppid=15412 vsize=13982084 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15415/task/15429/stat : 15429 (java) S 15412 15415 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138550233 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650112608864 140651135579861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
[pid=15415/tid=15430] ppid=15412 vsize=13982084 memory=2012 CPUtime=1.43 cores=1,3,5,7
/proc/15415/task/15430/stat : 15430 (java) S 15412 15415 8289 0 -1 1077944384 1068 0 0 0 61 82 0 0 20 0 15 0 138550239 14317654016 205039 18446744073709551615 4194304 4196468 140723368317920 140650111556400 140651135580802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 18755584 140723368321396 140723368321577 140723368321577 140723368325071 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 820156 KiB
Child status: 143
Real time (s): 2472.92
CPU time (s): 2520.09
CPU user time (s): 2516
CPU system time (s): 4.09018
CPU usage (%): 101.908
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 820156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516
system time used= 4.09018
maximum resident set size= 820580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324870
involuntary context switches= 8754
# summary of solver processes directly reported to runsolver:
# pid: 15415
# total CPU time (s): 2520.09
# total CPU user time (s): 2516
# total CPU system time (s): 4.09018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1292 second user time and 20.5082 second system time
The end