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 (12045 MiB free)
memory of node 1: 16384 MiB (15841 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300152-1532874741/watcher-4300152-1532874741 -o /tmp/evaluation-result-4300152-1532874741/solver-4300152-1532874741 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532872228-12187 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4300152-1532874741.xml --timelimit 2520
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
solver pid=12482, runsolver pid=12479
Current StackSize limit: 8192 KiB
[startup+0.105857 s]*
/proc/loadavg: 1.19 1.26 1.33 4/215 12497
/proc/meminfo: memFree=28535428/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10658972 memory=27592 CPUtime=0.14 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 5299 0 0 0 13 1 0 0 20 0 15 0 105037253 10914787328 6898 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2664743 6898 2843 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10658972 memory=-8269626465541459070 CPUtime=0.1 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 3117 0 0 0 9 1 0 0 20 0 15 0 105037253 10914787328 6898 33554432000 4194304 4196468 140723735432032 140162591828144 140162587610518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10658972 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10914787328 6898 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10658972 memory=139760781870720 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10914787328 6898 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10914787328 6898 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105037254 10914787328 6898 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10658972 memory=139760781870720 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105037255 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105037256 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) S 12479 12482 8672 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 105037258 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161618766448 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) S 12479 12482 8672 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105037258 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161617713648 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10658972 memory=139760781870720 CPUtime=0.02 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) R 12479 12482 8672 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 105037258 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161616661360 140162568366044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10658972 memory=139760781870720 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037259 10914787328 6898 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27592 KiB
[startup+0.210479 s]*
/proc/loadavg: 1.19 1.26 1.33 4/215 12497
/proc/meminfo: memFree=28517348/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10661056 memory=40432 CPUtime=0.33 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 8163 0 0 0 31 2 0 0 20 0 15 0 105037253 10916921344 10108 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2665264 10108 2934 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 5190 0 0 0 18 1 0 0 20 0 15 0 105037253 10916921344 10116 33554432000 4194304 4196468 140723735432032 140162591832256 140162571679070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661056 memory=331 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916921344 10116 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661056 memory=288370136933582464 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916921344 10116 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916921344 10116 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105037254 10916921344 10116 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661056 memory=139760781870720 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105037255 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105037256 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10661056 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) S 12479 12482 8672 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 105037258 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161618766448 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) S 12479 12482 8672 0 -1 1077944384 351 0 0 0 3 0 0 0 20 0 15 0 105037258 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161617713648 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10661056 memory=139760781870720 CPUtime=0.08 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) S 12479 12482 8672 0 -1 1077944384 814 0 0 0 8 0 0 0 20 0 15 0 105037258 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161616661360 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10661056 memory=139760781870720 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037259 10916921344 10116 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40432 KiB
[startup+0.310371 s]*
/proc/loadavg: 1.19 1.26 1.33 4/215 12497
/proc/meminfo: memFree=28504752/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10661132 memory=46960 CPUtime=0.56 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 8808 0 0 0 54 2 0 0 20 0 15 0 105037253 10916999168 11740 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2665283 11740 3024 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10661132 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 5538 0 0 0 28 1 0 0 20 0 15 0 105037253 10916999168 11740 33554432000 4194304 4196468 140723735432032 140162591837056 140162571642213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661132 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 11740 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661132 memory=288370136933582464 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 11740 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 11740 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 11740 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661132 memory=139760781870720 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105037255 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) S 12479 12482 8672 0 -1 1077944384 571 0 0 0 4 0 0 0 20 0 15 0 105037258 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161618766448 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) S 12479 12482 8672 0 -1 1077944384 379 0 0 0 5 0 0 0 20 0 15 0 105037258 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161617713648 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10661132 memory=139760781870720 CPUtime=0.15 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) R 12479 12482 8672 0 -1 4202560 960 0 0 0 15 0 0 0 20 0 15 0 105037258 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161616657088 140162571679070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10661132 memory=139760781870720 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 11740 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46960 KiB
[startup+0.700765 s]
/proc/loadavg: 1.19 1.26 1.33 5/215 12497
/proc/meminfo: memFree=28461756/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10661132 memory=111972 CPUtime=1.73 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 12788 0 0 0 169 4 0 0 20 0 15 0 105037253 10916999168 27993 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2665283 27993 3094 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10661132 memory=16732 CPUtime=0.68 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 5682 0 0 0 65 3 0 0 20 0 15 0 105037253 10916999168 27993 33554432000 4194304 4196468 140723735432032 140162591816976 140723736917954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661132 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 27993 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661132 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 27993 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661132 memory=496 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 27993 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661132 memory=928 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 27993 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661132 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105037255 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10661132 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10661132 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10661132 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10661132 memory=6081108994580573287 CPUtime=0.41 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) R 12479 12482 8672 0 -1 4202560 2412 0 0 0 41 0 0 0 20 0 15 0 105037258 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161618753568 140162569122085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10661132 memory=5860705283049084265 CPUtime=0.4 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) R 12479 12482 8672 0 -1 4202560 1924 0 0 0 40 0 0 0 20 0 15 0 105037258 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161617706672 140162572509936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10661132 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) S 12479 12482 8672 0 -1 1077944384 1399 0 0 0 22 0 0 0 20 0 15 0 105037258 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161616661360 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10661132 memory=756 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 27993 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 111972 KiB
[startup+1.50076 s]
/proc/loadavg: 1.19 1.26 1.33 5/215 12497
/proc/meminfo: memFree=28344280/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10661132 memory=191680 CPUtime=3.09 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 13317 0 0 0 301 8 0 0 20 0 15 0 105037253 10916999168 47920 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2665283 47920 3102 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10661132 memory=187468 CPUtime=1.46 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 5727 0 0 0 141 5 0 0 20 0 15 0 105037253 10916999168 47920 33554432000 4194304 4196468 140723735432032 140162591791696 140723736917954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 47920 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 47920 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 47920 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105037254 10916999168 47920 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 105037255 10916999168 47920 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
################
# More data... #
################
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 16216 0 0 0 242607 886 0 0 20 0 15 0 105037253 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162591716368 140162183698517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661132 memory=274408 CPUtime=2.95 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 4220 0 0 0 270 25 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661132 memory=274408 CPUtime=2.97 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 4298 0 0 0 272 25 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661132 memory=274408 CPUtime=2.96 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 3329 0 0 0 267 29 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661132 memory=274408 CPUtime=2.95 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 4037 0 0 0 270 25 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661132 memory=274408 CPUtime=3.34 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 7068 0 0 0 313 21 0 0 20 0 15 0 105037255 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10661132 memory=274408 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10661132 memory=274408 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10661132 memory=274408 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10661132 memory=274408 CPUtime=0.83 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) S 12479 12482 8672 0 -1 1077944384 2864 0 0 0 83 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161618766448 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10661132 memory=274408 CPUtime=0.54 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) S 12479 12482 8672 0 -1 1077944384 2212 0 0 0 54 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161617713648 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10661132 memory=276456 CPUtime=0.24 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) S 12479 12482 8672 0 -1 1077944384 1485 0 0 0 24 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161616661360 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10661132 memory=274408 CPUtime=0.67 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1006 0 0 0 28 39 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 2452.47 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 276456 KiB
[startup+2502.3 s]
/proc/loadavg: 1.35 1.36 1.35 3/216 12595
/proc/meminfo: memFree=28164676/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10661132 memory=276456 CPUtime=2512.62 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 49025 0 0 0 250230 1032 0 0 20 0 15 0 105037253 10916999168 69114 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2665283 69114 3127 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10661132 memory=276456 CPUtime=2494.82 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 16445 0 0 0 248577 905 0 0 20 0 15 0 105037253 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162591717328 140723736917954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661132 memory=276456 CPUtime=3 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 4588 0 0 0 274 26 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.02 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 4350 0 0 0 277 25 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.01 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 3372 0 0 0 271 30 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661132 memory=276456 CPUtime=3 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 4051 0 0 0 274 26 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.39 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 7270 0 0 0 318 21 0 0 20 0 15 0 105037255 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10661132 memory=276456 CPUtime=0.83 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) S 12479 12482 8672 0 -1 1077944384 2866 0 0 0 83 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161618766448 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10661132 memory=276456 CPUtime=0.54 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) S 12479 12482 8672 0 -1 1077944384 2214 0 0 0 54 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161617713648 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10661132 memory=1256 CPUtime=0.24 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) S 12479 12482 8672 0 -1 1077944384 1487 0 0 0 24 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161616661360 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10661132 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10661132 memory=1572 CPUtime=0.68 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1021 0 0 0 28 40 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 2512.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 276456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.7 s]
/proc/loadavg: 1.30 1.35 1.35 3/216 12595
/proc/meminfo: memFree=28162628/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10661132 memory=276456 CPUtime=2520.05 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 49041 0 0 0 250969 1036 0 0 20 0 15 0 105037253 10916999168 69114 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2665283 69114 3127 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10661132 memory=276456 CPUtime=2502.21 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 16454 0 0 0 249313 908 0 0 20 0 15 0 105037253 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162591714560 140723736917954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661132 memory=275416 CPUtime=3.01 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 4592 0 0 0 275 26 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.03 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 4350 0 0 0 278 25 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.02 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 3372 0 0 0 272 30 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.01 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 4051 0 0 0 275 26 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.41 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 7273 0 0 0 319 22 0 0 20 0 15 0 105037255 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10661132 memory=6791534058613427641 CPUtime=0.83 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) S 12479 12482 8672 0 -1 1077944384 2866 0 0 0 83 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161618766448 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10661132 memory=6791534058613427641 CPUtime=0.54 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) S 12479 12482 8672 0 -1 1077944384 2214 0 0 0 54 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161617713648 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10661132 memory=276456 CPUtime=0.24 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) S 12479 12482 8672 0 -1 1077944384 1487 0 0 0 24 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161616661360 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10661132 memory=276456 CPUtime=0.68 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1021 0 0 0 28 40 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 276456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.71 s]
# the end of solver process 12482 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.7 s, system=10.364 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.7 s]
/proc/loadavg: 1.30 1.35 1.35 3/216 12595
/proc/meminfo: memFree=28162628/32770624 swapFree=67108860/67108860
[pid=12482] ppid=12479 vsize=10661132 memory=276456 CPUtime=2520.05 cores=1,3,5,7
/proc/12482/stat : 12482 (java) S 12479 12482 8672 0 -1 1077944320 49041 0 0 0 250969 1036 0 0 20 0 15 0 105037253 10916999168 69114 33554432000 4194304 4196468 140723735432032 140723735414576 140162587598583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
/proc/12482/statm: 2665283 69114 3127 1 0 2627263 0
[pid=12482/tid=12484] ppid=12479 vsize=10661132 memory=276456 CPUtime=2502.21 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (java) R 12479 12482 8672 0 -1 4202560 16454 0 0 0 249313 908 0 0 20 0 15 0 105037253 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162591714560 140723736917954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12485] ppid=12479 vsize=10661132 memory=275416 CPUtime=3.01 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (java) S 12479 12482 8672 0 -1 1077944384 4592 0 0 0 275 26 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162513673104 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12486] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.03 cores=1,3,5,7
/proc/12482/task/12486/stat : 12486 (java) S 12479 12482 8672 0 -1 1077944384 4350 0 0 0 278 25 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162512620304 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12487] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.02 cores=1,3,5,7
/proc/12482/task/12487/stat : 12487 (java) S 12479 12482 8672 0 -1 1077944384 3372 0 0 0 272 30 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162511568016 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12488] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.01 cores=1,3,5,7
/proc/12482/task/12488/stat : 12488 (java) S 12479 12482 8672 0 -1 1077944384 4051 0 0 0 275 26 0 0 20 0 15 0 105037254 10916999168 69114 33554432000 4194304 4196468 140723735432032 140162510515216 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12489] ppid=12479 vsize=10661132 memory=276456 CPUtime=3.41 cores=1,3,5,7
/proc/12482/task/12489/stat : 12489 (java) S 12479 12482 8672 0 -1 1077944384 7273 0 0 0 319 22 0 0 20 0 15 0 105037255 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161622976624 140162587609730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12490] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12490/stat : 12490 (java) S 12479 12482 8672 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161621922592 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12491] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12491/stat : 12491 (java) S 12479 12482 8672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105037256 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161620870256 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12492] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12492/stat : 12492 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161619818576 140162587617179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12493] ppid=12479 vsize=10661132 memory=6791534058613427641 CPUtime=0.83 cores=1,3,5,7
/proc/12482/task/12493/stat : 12493 (java) S 12479 12482 8672 0 -1 1077944384 2866 0 0 0 83 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161618766448 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12494] ppid=12479 vsize=10661132 memory=6791534058613427641 CPUtime=0.54 cores=1,3,5,7
/proc/12482/task/12494/stat : 12494 (java) S 12479 12482 8672 0 -1 1077944384 2214 0 0 0 54 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161617713648 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12495] ppid=12479 vsize=10661132 memory=276456 CPUtime=0.24 cores=1,3,5,7
/proc/12482/task/12495/stat : 12495 (java) S 12479 12482 8672 0 -1 1077944384 1487 0 0 0 24 0 0 0 20 0 15 0 105037258 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161616661360 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12496] ppid=12479 vsize=10661132 memory=276456 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12496/stat : 12496 (java) S 12479 12482 8672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161615608800 140162587608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
[pid=12482/tid=12497] ppid=12479 vsize=10661132 memory=276456 CPUtime=0.68 cores=1,3,5,7
/proc/12482/task/12497/stat : 12497 (java) S 12479 12482 8672 0 -1 1077944384 1021 0 0 0 28 40 0 0 20 0 15 0 105037259 10916999168 69114 33554432000 4194304 4196468 140723735432032 140161614555568 140162587609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16490496 140723735438456 140723735438601 140723735438601 140723735441359 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 276456 KiB
Child status: 143
Real time (s): 2509.71
CPU time (s): 2520.06
CPU user time (s): 2509.7
CPU system time (s): 10.364
CPU usage (%): 100.413
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 276456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.7
system time used= 10.364
maximum resident set size= 276972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140412
involuntary context switches= 2803
# summary of solver processes directly reported to runsolver:
# pid: 12482
# total CPU time (s): 2520.06
# total CPU user time (s): 2509.7
# total CPU system time (s): 10.364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4523 second user time and 23.0017 second system time
The end