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 (11773 MiB free)
memory of node 1: 16384 MiB (15834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301985-1532886234/watcher-4301985-1532886234 -o /tmp/evaluation-result-4301985-1532886234/solver-4301985-1532886234 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301985-1532886234.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=19589, runsolver pid=19586
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.93 2.34 2.47 4/218 19604
/proc/meminfo: memFree=28253620/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10659012 memory=30180 CPUtime=0.13 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 6606 0 0 0 12 1 0 0 20 0 15 0 106186573 10914828288 7545 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2664753 7545 2822 1 0 2627263 0
[pid=19589/tid=19591] ppid=19586 vsize=10659012 memory=-8773748148830113154 CPUtime=0.08 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) R 19586 19589 13514 0 -1 4202560 4450 0 0 0 8 0 0 0 20 0 15 0 106186574 10914828288 7545 33554432000 4194304 4196468 140725649453088 139999185819504 139999181626774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) S 19586 19589 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 7545 33554432000 4194304 4196468 140725649453088 139999107688976 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659012 memory=140313958295168 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 7545 33554432000 4194304 4196468 140725649453088 139999106636432 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 7545 33554432000 4194304 4196468 140725649453088 139999105583376 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 7545 33554432000 4194304 4196468 140725649453088 139999104530832 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659012 memory=140313958295168 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106186576 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998418430704 139999181625986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106186577 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998417376928 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106186577 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998416323824 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) S 19586 19589 13514 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998414219504 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998413166960 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10659012 memory=140313958295168 CPUtime=0.02 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) R 19586 19589 13514 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 106186579 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998412113904 139999181626774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10659012 memory=140313958295168 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 7545 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30180 KiB
[startup+0.210556 s]*
/proc/loadavg: 1.93 2.34 2.47 4/218 19604
/proc/meminfo: memFree=28242332/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10659012 memory=41852 CPUtime=0.33 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 8081 0 0 0 31 2 0 0 20 0 15 0 106186573 10914828288 10463 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2664753 10463 3007 1 0 2627263 0
[pid=19589/tid=19591] ppid=19586 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) R 19586 19589 13514 0 -1 4202560 5029 0 0 0 19 1 0 0 20 0 15 0 106186574 10914828288 10463 33554432000 4194304 4196468 140725649453088 139999185849904 139999165658469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) S 19586 19589 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 10463 33554432000 4194304 4196468 140725649453088 139999107688976 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659012 memory=140313958926577 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 10463 33554432000 4194304 4196468 140725649453088 139999106636432 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 10463 33554432000 4194304 4196468 140725649453088 139999105583376 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914828288 10463 33554432000 4194304 4196468 140725649453088 139999104530832 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659012 memory=140313958295168 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106186576 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998418430704 139999181625986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106186577 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998417376928 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106186577 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998416323824 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) S 19586 19589 13514 0 -1 1077944384 729 0 0 0 2 0 0 0 20 0 15 0 106186579 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998414219504 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) S 19586 19589 13514 0 -1 1077944384 306 0 0 0 1 0 0 0 20 0 15 0 106186579 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998413166960 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10659012 memory=140313958295168 CPUtime=0.07 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) R 19586 19589 13514 0 -1 4202560 654 0 0 0 7 0 0 0 20 0 15 0 106186579 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998412113904 139999161008080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10659012 memory=140313958295168 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186579 10914828288 10463 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41852 KiB
[startup+0.313743 s]*
/proc/loadavg: 1.93 2.34 2.47 3/218 19604
/proc/meminfo: memFree=28235260/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10659088 memory=47488 CPUtime=0.53 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 8924 0 0 0 51 2 0 0 20 0 15 0 106186573 10914906112 11872 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2664772 11872 3046 1 0 2627263 0
[pid=19589/tid=19591] ppid=19586 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) R 19586 19589 13514 0 -1 4202560 5647 0 0 0 29 1 0 0 20 0 15 0 106186574 10914906112 11872 33554432000 4194304 4196468 140725649453088 139999185851088 139998770789668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) S 19586 19589 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106186575 10914906112 11872 33554432000 4194304 4196468 140725649453088 139999107688976 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659088 memory=140313958924303 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914906112 11872 33554432000 4194304 4196468 140725649453088 139999106636432 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914906112 11872 33554432000 4194304 4196468 140725649453088 139999105583376 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186575 10914906112 11872 33554432000 4194304 4196468 140725649453088 139999104530832 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659088 memory=140313958295168 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106186576 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998418430704 139999181625986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998417376928 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998416323824 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) R 19586 19589 13514 0 -1 4202560 761 0 0 0 4 0 0 0 20 0 15 0 106186579 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998414219504 139999163140437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) R 19586 19589 13514 0 -1 1077944384 404 0 0 0 4 0 0 0 20 0 15 0 106186579 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998413166960 139999181625986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10659088 memory=140313958295168 CPUtime=0.13 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) R 19586 19589 13514 0 -1 4202560 745 0 0 0 13 0 0 0 20 0 15 0 106186579 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998412113904 139999160737622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10659088 memory=140313958295168 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 11872 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47488 KiB
[startup+0.701639 s]
/proc/loadavg: 1.93 2.34 2.47 5/218 19604
/proc/meminfo: memFree=28201940/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10659088 memory=218684 CPUtime=1.68 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 11580 0 0 0 158 10 0 0 20 0 15 0 106186573 10914906112 54159 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2664772 54159 3105 1 0 2627263 0
[pid=19589/tid=19591] ppid=19586 vsize=10659088 memory=16884 CPUtime=0.62 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) S 19586 19589 13514 0 -1 1077944384 6045 0 0 0 59 3 0 0 20 0 15 0 106186574 10914906112 54671 33554432000 4194304 4196468 140725649453088 139999185845520 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659088 memory=2324 CPUtime=0.04 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) R 19586 19589 13514 0 -1 4202560 40 0 0 0 3 1 0 0 20 0 15 0 106186575 10914906112 54671 33554432000 4194304 4196468 140725649453088 139999107688976 139999166642713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659088 memory=1584 CPUtime=0.04 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) R 19586 19589 13514 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 15 0 106186575 10914906112 54671 33554432000 4194304 4196468 140725649453088 139999106636632 139999166642713 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659088 memory=496 CPUtime=0.03 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) R 19586 19589 13514 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 15 0 106186575 10914906112 54671 33554432000 4194304 4196468 140725649453088 139999105583376 139999174719477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659088 memory=928 CPUtime=0.03 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) R 19586 19589 13514 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 15 0 106186575 10914906112 54671 33554432000 4194304 4196468 140725649453088 139999104528640 139999166642713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 106186576 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998418429216 139999181625045 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998417376928 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998416323824 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10659088 memory=6081108994580573287 CPUtime=0.31 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) S 19586 19589 13514 0 -1 1077944384 1684 0 0 0 31 0 0 0 20 0 15 0 106186579 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998414204496 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10659088 memory=5788647689011156329 CPUtime=0.31 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) S 19586 19589 13514 0 -1 1077944384 1267 0 0 0 31 0 0 0 20 0 15 0 106186579 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998413145744 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10659088 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) S 19586 19589 13514 0 -1 1077944384 1105 0 0 0 22 0 0 0 20 0 15 0 106186579 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998412113904 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 54671 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 218684 KiB
[startup+1.50081 s]
/proc/loadavg: 1.93 2.34 2.47 6/218 19604
/proc/meminfo: memFree=27960660/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10659088 memory=471428 CPUtime=3.36 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 12698 0 0 0 307 29 0 0 20 0 15 0 106186573 10914906112 117857 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2664772 117857 3140 1 0 2627263 0
[pid=19589/tid=19591] ppid=19586 vsize=10659088 memory=448640 CPUtime=1.23 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) R 19586 19589 13514 0 -1 4202560 6158 0 0 0 118 5 0 0 20 0 15 0 106186574 10914906112 117857 33554432000 4194304 4196468 140725649453088 139999185851568 139998774377893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659088 memory=33 CPUtime=0.22 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) S 19586 19589 13514 0 -1 1077944384 220 0 0 0 17 5 0 0 20 0 15 0 106186575 10914906112 117857 33554432000 4194304 4196468 140725649453088 139999107688976 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659088 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) S 19586 19589 13514 0 -1 1077944384 185 0 0 0 17 5 0 0 20 0 15 0 106186575 10914906112 117857 33554432000 4194304 4196468 140725649453088 139999106636432 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659088 memory=6791534058613427641 CPUtime=0.22 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) S 19586 19589 13514 0 -1 1077944384 156 0 0 0 17 5 0 0 20 0 15 0 106186575 10914906112 117857 33554432000 4194304 4196468 140725649453088 139999105583376 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659088 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) S 19586 19589 13514 0 -1 1077944384 193 0 0 0 17 5 0 0 20 0 15 0 106186575 10914906112 117857 33554432000 4194304 4196468 140725649453088 139999104530832 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 106186576 10914906112 117857 33554432000 4194304 4196468 140725649453088 139998418430704 139999181625986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
################
# More data... #
################
/proc/19589/task/19591/stat : 19591 (java) R 19586 19589 13514 0 -1 4202560 16455 0 0 0 4028 30 0 0 20 0 15 0 106186574 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139999185851552 139998774325808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659088 memory=4196124 CPUtime=9.12 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) S 19586 19589 13514 0 -1 1077944384 5430 0 0 0 867 45 0 0 20 0 15 0 106186575 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139999107688976 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659088 memory=3942040 CPUtime=9.13 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) S 19586 19589 13514 0 -1 1077944384 3306 0 0 0 863 50 0 0 20 0 15 0 106186575 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139999106636432 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659088 memory=1240 CPUtime=9.18 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) S 19586 19589 13514 0 -1 1077944384 8066 0 0 0 871 47 0 0 20 0 15 0 106186575 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139999105583376 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659088 memory=0 CPUtime=9.14 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) S 19586 19589 13514 0 -1 1077944384 7977 0 0 0 863 51 0 0 20 0 15 0 106186575 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139999104530832 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659088 memory=6655300316396806240 CPUtime=1.22 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 11664 0 0 0 121 1 0 0 20 0 15 0 106186576 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998418430704 139999181625986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10659088 memory=4634274592177799264 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998417376992 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10659088 memory=280627661189712 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998416323840 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10659088 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) S 19586 19589 13514 0 -1 1077944384 1724 0 0 0 45 0 0 0 20 0 15 0 106186579 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998414219504 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10659088 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) S 19586 19589 13514 0 -1 1077944384 1309 0 0 0 47 0 0 0 20 0 15 0 106186579 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998413166960 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10659088 memory=4138780 CPUtime=0.26 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) S 19586 19589 13514 0 -1 1077944384 1214 0 0 0 26 0 0 0 20 0 15 0 106186579 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998412113904 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10659088 memory=7440053569103876176 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10659088 memory=4033032 CPUtime=0.03 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 376 0 0 0 1 2 0 0 20 0 15 0 106186579 10914906112 1049050 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 79.66 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 4196200 KiB
[startup+102.301 s]
/proc/loadavg: 2.55 2.43 2.49 5/216 19605
/proc/meminfo: memFree=22980140/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10659088 memory=5289716 CPUtime=166.63 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 92119 0 0 0 16314 349 0 0 20 0 15 0 106186573 10914906112 1322429 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2664772 1322429 3155 1 0 2627263 0
[pid=19589/tid=19591] ppid=19586 vsize=10659088 memory=5187252 CPUtime=78.72 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) S 19586 19589 13514 0 -1 1077944384 18615 0 0 0 7842 30 0 0 20 0 15 0 106186574 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139999185851920 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659088 memory=5289716 CPUtime=21.1 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) R 19586 19589 13514 0 -1 4202560 10803 0 0 0 2035 75 0 0 20 0 15 0 106186575 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139999107688872 139999174243047 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659088 memory=5185536 CPUtime=21.13 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) R 19586 19589 13514 0 -1 4202560 10540 0 0 0 2035 78 0 0 20 0 15 0 106186575 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139999106636016 139999174243047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659088 memory=56 CPUtime=21.09 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) R 19586 19589 13514 0 -1 4202560 12694 0 0 0 2034 75 0 0 20 0 15 0 106186575 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139999105583576 139999166599840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659088 memory=5222068 CPUtime=21.13 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) R 19586 19589 13514 0 -1 4202560 17829 0 0 0 2030 83 0 0 20 0 15 0 106186575 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139999104531032 139999166565444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659088 memory=6791534058613427641 CPUtime=2.14 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 15571 0 0 0 213 1 0 0 20 0 15 0 106186576 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998418429024 139999181625045 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10659088 memory=2748 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998417376992 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10659088 memory=2236300 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998416323840 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10659088 memory=30256 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10659088 memory=5187252 CPUtime=0.45 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) S 19586 19589 13514 0 -1 1077944384 1729 0 0 0 45 0 0 0 20 0 15 0 106186579 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998414219504 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10659088 memory=4140 CPUtime=0.47 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) S 19586 19589 13514 0 -1 1077944384 1314 0 0 0 47 0 0 0 20 0 15 0 106186579 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998413166960 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10659088 memory=5285620 CPUtime=0.26 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) S 19586 19589 13514 0 -1 1077944384 1227 0 0 0 26 0 0 0 20 0 15 0 106186579 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998412113904 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10659088 memory=4944328 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10659088 memory=33 CPUtime=0.05 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 432 0 0 0 2 3 0 0 20 0 15 0 106186579 10914906112 1322429 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 166.63 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 5289716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+139.202 s]
/proc/loadavg: 3.88 2.78 2.60 6/215 19683
/proc/meminfo: memFree=16991084/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10659088 memory=6392032 CPUtime=252.05 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 146735 0 0 0 24758 447 0 0 20 0 15 0 106186573 10914906112 1598008 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2664772 1598008 3155 1 0 2627263 0
[pid=19589/tid=19591] ppid=19586 vsize=10659088 memory=6391932 CPUtime=96.74 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) S 19586 19589 13514 0 -1 1077944384 20505 0 0 0 9644 30 0 0 20 0 15 0 106186574 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139999185851776 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10659088 memory=4140 CPUtime=37.49 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) R 19586 19589 13514 0 -1 4202560 20431 0 0 0 3652 97 0 0 20 0 15 0 106186575 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139999107688976 139999163240784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10659088 memory=30256 CPUtime=37.32 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) R 19586 19589 13514 0 -1 4202560 19622 0 0 0 3631 101 0 0 20 0 15 0 106186575 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139999106636632 139999166636960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10659088 memory=6388652 CPUtime=37.39 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) R 19586 19589 13514 0 -1 4202560 24548 0 0 0 3638 101 0 0 20 0 15 0 106186575 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139999105583376 139999166642258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10659088 memory=30256 CPUtime=37.28 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) R 19586 19589 13514 0 -1 4202560 28965 0 0 0 3620 108 0 0 20 0 15 0 106186575 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139999104530720 139999166638661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10659088 memory=2204 CPUtime=4.47 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 26564 0 0 0 445 2 0 0 20 0 15 0 106186576 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998418429216 139999181625045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998417376992 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10659088 memory=2704 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106186577 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998416323840 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10659088 memory=4373336 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10659088 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) S 19586 19589 13514 0 -1 1077944384 1732 0 0 0 45 0 0 0 20 0 15 0 106186579 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998414219504 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10659088 memory=4126316290023845779 CPUtime=0.47 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) S 19586 19589 13514 0 -1 1077944384 1318 0 0 0 47 0 0 0 20 0 15 0 106186579 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998413166960 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10659088 memory=-9001734013606258791 CPUtime=0.26 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) S 19586 19589 13514 0 -1 1077944384 1229 0 0 0 26 0 0 0 20 0 15 0 106186579 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998412113904 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10659088 memory=1399101730491701635 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106186579 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10659088 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 456 0 0 0 4 4 0 0 20 0 15 0 106186579 10914906112 1598008 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 6392032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+139.469 s]
# the end of solver process 19589 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.92 s, system=4.5056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+139.401 s]
/proc/loadavg: 3.88 2.78 2.60 6/215 19683
/proc/meminfo: memFree=16991084/32770624 swapFree=67108860/67108860
[pid=19589] ppid=19586 vsize=10858780 memory=6392176 CPUtime=252.35 cores=1,3,5,7
/proc/19589/stat : 19589 (java) S 19586 19589 13514 0 -1 1077944320 147007 0 0 0 24788 447 0 0 20 0 17 0 106186573 11119390720 1598044 33554432000 4194304 4196468 140725649453088 140725649435632 139999181614839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
/proc/19589/statm: 2714695 1598044 3158 1 0 2677186 0
[pid=19589/tid=19591] ppid=19586 vsize=10858780 memory=1700 CPUtime=96.9 cores=1,3,5,7
/proc/19589/task/19591/stat : 19591 (java) R 19586 19589 13514 0 -1 4202560 20507 0 0 0 9660 30 0 0 20 0 17 0 106186574 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139999185851776 139998774322409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19592] ppid=19586 vsize=10858780 memory=6791534058613427641 CPUtime=37.52 cores=1,3,5,7
/proc/19589/task/19592/stat : 19592 (java) S 19586 19589 13514 0 -1 1077944384 20440 0 0 0 3655 97 0 0 20 0 17 0 106186575 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139999107688976 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19593] ppid=19586 vsize=10858780 memory=1240 CPUtime=37.35 cores=1,3,5,7
/proc/19589/task/19593/stat : 19593 (java) S 19586 19589 13514 0 -1 1077944384 19634 0 0 0 3634 101 0 0 20 0 17 0 106186575 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139999106636432 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19594] ppid=19586 vsize=10858780 memory=1520 CPUtime=37.43 cores=1,3,5,7
/proc/19589/task/19594/stat : 19594 (java) S 19586 19589 13514 0 -1 1077944384 24565 0 0 0 3642 101 0 0 20 0 17 0 106186575 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139999105583376 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19595] ppid=19586 vsize=10858780 memory=844 CPUtime=37.31 cores=1,3,5,7
/proc/19589/task/19595/stat : 19595 (java) S 19586 19589 13514 0 -1 1077944384 28978 0 0 0 3623 108 0 0 20 0 17 0 106186575 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139999104530832 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19596] ppid=19586 vsize=10858780 memory=3360 CPUtime=4.47 cores=1,3,5,7
/proc/19589/task/19596/stat : 19596 (java) S 19586 19589 13514 0 -1 1077944384 26564 0 0 0 445 2 0 0 20 0 17 0 106186576 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998418430704 139999181625986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19597] ppid=19586 vsize=10858780 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19597/stat : 19597 (java) S 19586 19589 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 106186577 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998417376992 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19598] ppid=19586 vsize=10858780 memory=1256 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19598/stat : 19598 (java) S 19586 19589 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106186577 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998416323840 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19599] ppid=19586 vsize=10858780 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19599/stat : 19599 (java) S 19586 19589 13514 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 106186579 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998415272400 139999181633435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19600] ppid=19586 vsize=10858780 memory=1700 CPUtime=0.45 cores=1,3,5,7
/proc/19589/task/19600/stat : 19600 (java) S 19586 19589 13514 0 -1 1077944384 1732 0 0 0 45 0 0 0 20 0 17 0 106186579 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998414219504 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19601] ppid=19586 vsize=10858780 memory=1172 CPUtime=0.47 cores=1,3,5,7
/proc/19589/task/19601/stat : 19601 (java) S 19586 19589 13514 0 -1 1077944384 1318 0 0 0 47 0 0 0 20 0 17 0 106186579 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998413166960 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19602] ppid=19586 vsize=10858780 memory=1812 CPUtime=0.26 cores=1,3,5,7
/proc/19589/task/19602/stat : 19602 (java) S 19586 19589 13514 0 -1 1077944384 1285 0 0 0 26 0 0 0 20 0 17 0 106186579 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998412113904 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19603] ppid=19586 vsize=10858780 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/19589/task/19603/stat : 19603 (java) S 19586 19589 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106186579 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998411061600 139999181625045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
[pid=19589/tid=19604] ppid=19586 vsize=10858780 memory=5456 CPUtime=0.08 cores=1,3,5,7
/proc/19589/task/19604/stat : 19604 (java) S 19586 19589 13514 0 -1 1077944384 456 0 0 0 4 4 0 0 20 0 17 0 106186579 11119390720 1598044 33554432000 4194304 4196468 140725649453088 139998410009648 139999181625986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30752768 140725649454198 140725649454350 140725649454350 140725649457103 0
Current children cumulated CPU time: 252.35 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 6392176 KiB
Child status: 143
Real time (s): 139.469
CPU time (s): 252.426
CPU user time (s): 247.92
CPU system time (s): 4.5056
CPU usage (%): 180.991
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 6392176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.92
system time used= 4.5056
maximum resident set size= 6393048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7463
involuntary context switches= 2051
# summary of solver processes directly reported to runsolver:
# pid: 19589
# total CPU time (s): 252.426
# total CPU user time (s): 247.92
# total CPU system time (s): 4.5056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.788655 second user time and 1.45673 second system time
The end