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 (8789 MiB free)
memory of node 1: 16384 MiB (13270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301949-1532885875/watcher-4301949-1532885875 -o /tmp/evaluation-result-4301949-1532885875/solver-4301949-1532885875 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301949-1532885875.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
Current StackSize limit: 8192 KiB
solver pid=30550, runsolver pid=30547
[startup+0.109683 s]*
/proc/loadavg: 2.71 2.67 2.62 3/216 30565
/proc/meminfo: memFree=22570256/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10659012 memory=30632 CPUtime=0.14 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 6798 0 0 0 13 1 0 0 20 0 15 0 106150679 10914828288 7658 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2664753 7658 2841 1 0 2627263 0
[pid=30550/tid=30552] ppid=30547 vsize=10659012 memory=-8773748148830245501 CPUtime=0.09 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) R 30547 30550 22004 0 -1 4202560 4650 0 0 0 9 0 0 0 20 0 15 0 106150679 10914828288 7658 33554432000 4194304 4196468 140726968296896 139891167866912 139891147732318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 7658 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 7658 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 7658 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 7658 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150681 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30558] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106150682 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890467661088 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106150682 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890466608752 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) S 30547 30550 22004 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890464503920 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) S 30547 30550 22004 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890463451120 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0.02 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) S 30547 30550 22004 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 15 0 106150685 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890462398832 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 7658 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30632 KiB
[startup+0.211693 s]*
/proc/loadavg: 2.71 2.67 2.62 4/216 30565
/proc/meminfo: memFree=22561572/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10659012 memory=39528 CPUtime=0.32 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 7983 0 0 0 30 2 0 0 20 0 15 0 106150679 10914828288 9882 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2664753 9882 3004 1 0 2627263 0
[pid=30550/tid=30552] ppid=30547 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) R 30547 30550 22004 0 -1 4202560 4987 0 0 0 18 1 0 0 20 0 15 0 106150679 10914828288 9882 33554432000 4194304 4196468 140726968296896 139891167882448 139891163663766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10659012 memory=365 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 9882 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10659012 memory=139989109105693 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 9882 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 9882 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 9882 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150681 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30558] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106150682 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890467661088 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106150682 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890466608752 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) S 30547 30550 22004 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 15 0 106150685 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890464503920 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) S 30547 30550 22004 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 106150685 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890463451120 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0.07 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) R 30547 30550 22004 0 -1 4202560 656 0 0 0 7 0 0 0 20 0 15 0 106150685 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890462398832 139891142610381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 9882 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 39528 KiB
[startup+0.311682 s]*
/proc/loadavg: 2.71 2.67 2.62 5/216 30565
/proc/meminfo: memFree=22549352/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10659012 memory=54448 CPUtime=0.56 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 9660 0 0 0 54 2 0 0 20 0 15 0 106150679 10914828288 13612 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2664753 13612 3043 1 0 2627263 0
[pid=30550/tid=30552] ppid=30547 vsize=10659012 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) R 30547 30550 22004 0 -1 4202560 5364 0 0 0 28 1 0 0 20 0 15 0 106150679 10914828288 13612 33554432000 4194304 4196468 140726968296896 139891167888160 139891163673757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10659012 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 13612 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10659012 memory=139989109105692 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 13612 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 13612 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914828288 13612 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150681 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30558] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106150682 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890467661088 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106150682 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890466608752 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10659012 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) R 30547 30550 22004 0 -1 4202560 1017 0 0 0 6 0 0 0 20 0 15 0 106150685 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890464484936 139891147152037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) R 30547 30550 22004 0 -1 4202560 912 0 0 0 7 0 0 0 20 0 15 0 106150685 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890463432136 139891146864391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0.12 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) R 30547 30550 22004 0 -1 1077944384 999 0 0 0 12 0 0 0 20 0 15 0 106150685 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890462398832 139891163662978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10659012 memory=139989108467328 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150685 10914828288 13612 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54448 KiB
[startup+0.70079 s]
/proc/loadavg: 2.74 2.68 2.62 6/216 30565
/proc/meminfo: memFree=22509328/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10659088 memory=131100 CPUtime=1.76 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 12628 0 0 0 171 5 0 0 20 0 15 0 106150679 10914906112 32775 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2664772 32775 3099 1 0 2627263 0
[pid=30550/tid=30552] ppid=30547 vsize=10659088 memory=1840 CPUtime=0.67 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) R 30547 30550 22004 0 -1 4202560 5817 0 0 0 64 3 0 0 20 0 15 0 106150679 10914906112 32775 33554432000 4194304 4196468 140726968296896 139891167886128 139890795679173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914906112 32775 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914906112 32775 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150680 10914906112 32775 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106150680 10914906112 32775 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106150681 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30558] ppid=30547 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106150682 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890467661088 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106150682 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890466608752 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10659088 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10659088 memory=7590935255203861604 CPUtime=0.39 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) R 30547 30550 22004 0 -1 4202560 2204 0 0 0 39 0 0 0 20 0 15 0 106150685 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890464488968 139891145169719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10659088 memory=6293050847276651881 CPUtime=0.41 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) R 30547 30550 22004 0 -1 4202560 1940 0 0 0 41 0 0 0 20 0 15 0 106150685 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890463451120 139891155888958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10659088 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) R 30547 30550 22004 0 -1 1077944384 1298 0 0 0 26 0 0 0 20 0 15 0 106150685 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890462398832 139891163662978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106150685 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106150685 10914906112 32775 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 131100 KiB
[startup+1.50081 s]
/proc/loadavg: 2.74 2.68 2.62 5/216 30565
/proc/meminfo: memFree=22365424/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10659088 memory=402952 CPUtime=4.1 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 17402 0 0 0 395 15 0 0 20 0 15 0 106150679 10914906112 100738 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2664772 100738 3137 1 0 2627263 0
[pid=30550/tid=30552] ppid=30547 vsize=10659088 memory=6791534058613427641 CPUtime=1.37 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) R 30547 30550 22004 0 -1 4202560 5949 0 0 0 131 6 0 0 20 0 15 0 106150679 10914906112 100738 33554432000 4194304 4196468 140726968296896 139891167888208 139890792733485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10659088 memory=-6951259422114956437 CPUtime=0.07 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 169 0 0 0 6 1 0 0 20 0 15 0 106150680 10914906112 100738 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10659088 memory=-6509546260019855295 CPUtime=0.07 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 174 0 0 0 6 1 0 0 20 0 15 0 106150680 10914906112 100738 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10659088 memory=-7390251449858225344 CPUtime=0.06 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 137 0 0 0 5 1 0 0 20 0 15 0 106150680 10914906112 100738 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10659088 memory=4134692831991786133 CPUtime=0.05 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 96 0 0 0 4 1 0 0 20 0 15 0 106150680 10914906112 100738 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 106150681 10914906112 100738 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
################
# More data... #
################
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 106150682 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890467661152 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10727700 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 106150682 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890466608768 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10727700 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10727700 memory=1810816 CPUtime=3.91 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) S 30547 30550 22004 0 -1 1077944384 11890 0 0 0 389 2 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890464503920 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10727700 memory=4028 CPUtime=3.93 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) S 30547 30550 22004 0 -1 1077944384 11336 0 0 0 392 1 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890463451120 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10727700 memory=30248 CPUtime=0.65 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) S 30547 30550 22004 0 -1 1077944384 5441 0 0 0 64 1 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890462398832 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10727700 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10727700 memory=640 CPUtime=0.13 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 705 0 0 0 5 8 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30566] ppid=30547 vsize=10727700 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30566/stat : 30566 (java) S 30547 30550 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106151723 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890457142448 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 236.47 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1810816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+237.901 s]
/proc/loadavg: 2.01 2.30 2.48 3/218 30656
/proc/meminfo: memFree=26304928/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10727700 memory=1810816 CPUtime=252.08 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 205457 0 0 0 25099 109 0 0 20 0 16 0 106150679 10985164800 452704 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2681925 452704 3197 1 0 2644416 0
[pid=30550/tid=30552] ppid=30547 vsize=10727700 memory=1810816 CPUtime=235.3 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) R 30547 30550 22004 0 -1 4202560 139742 0 0 0 23507 23 0 0 20 0 16 0 106150679 10985164800 452704 33554432000 4194304 4196468 140726968296896 139891167887600 139890800903092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10727700 memory=1810816 CPUtime=1.86 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 8527 0 0 0 168 18 0 0 20 0 16 0 106150680 10985164800 452704 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10727700 memory=1810816 CPUtime=1.87 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 7715 0 0 0 169 18 0 0 20 0 16 0 106150680 10985164800 452704 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10727700 memory=1810816 CPUtime=1.84 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 7661 0 0 0 168 16 0 0 20 0 16 0 106150680 10985164800 452704 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10727700 memory=1810816 CPUtime=1.84 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 7865 0 0 0 167 17 0 0 20 0 16 0 106150680 10985164800 452704 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10727700 memory=1810816 CPUtime=0.64 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 2901 0 0 0 64 0 0 0 20 0 16 0 106150681 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30558] ppid=30547 vsize=10727700 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 106150682 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890467661152 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10727700 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 106150682 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890466608768 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10727700 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10727700 memory=1810816 CPUtime=3.91 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) S 30547 30550 22004 0 -1 1077944384 11891 0 0 0 389 2 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890464503920 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10727700 memory=1810816 CPUtime=3.93 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) S 30547 30550 22004 0 -1 1077944384 11336 0 0 0 392 1 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890463451120 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10727700 memory=1810816 CPUtime=0.65 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) S 30547 30550 22004 0 -1 1077944384 5705 0 0 0 64 1 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890462398832 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10727700 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10727700 memory=4108 CPUtime=0.13 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 705 0 0 0 5 8 0 0 20 0 16 0 106150685 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30566] ppid=30547 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30566/stat : 30566 (java) S 30547 30550 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106151723 10985164800 452704 33554432000 4194304 4196468 140726968296896 139890457142448 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1810816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+238.135 s]
# the end of solver process 30550 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.156 s, system=1.11929 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+238.005 s]*
/proc/loadavg: 2.01 2.30 2.48 3/219 30659
/proc/meminfo: memFree=26304920/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10927392 memory=1811040 CPUtime=252.2 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 206750 0 0 0 25111 109 0 0 20 0 17 0 106150679 11189649408 452760 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2731848 452760 3199 1 0 2694339 0
[pid=30550/tid=30552] ppid=30547 vsize=10927392 memory=1840 CPUtime=235.43 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) R 30547 30550 22004 0 -1 4202560 140003 0 0 0 23519 24 0 0 20 0 17 0 106150679 11189649408 452760 33554432000 4194304 4196468 140726968296896 139891167891096 139890801072159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10927392 memory=1004 CPUtime=1.86 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 8527 0 0 0 168 18 0 0 20 0 17 0 106150680 11189649408 452760 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10927392 memory=4126316290023845779 CPUtime=1.87 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 7715 0 0 0 169 18 0 0 20 0 17 0 106150680 11189649408 452760 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10927392 memory=15542903384575324 CPUtime=1.84 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 7661 0 0 0 168 16 0 0 20 0 17 0 106150680 11189649408 452760 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10927392 memory=5788 CPUtime=1.84 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 7865 0 0 0 167 17 0 0 20 0 17 0 106150680 11189649408 452760 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10927392 memory=792 CPUtime=0.64 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 2904 0 0 0 64 0 0 0 20 0 17 0 106150681 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30558] ppid=30547 vsize=10927392 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 106150682 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890467661152 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10927392 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 106150682 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890466608768 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10927392 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 17 0 106150685 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10927392 memory=4612 CPUtime=3.91 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) S 30547 30550 22004 0 -1 1077944384 11891 0 0 0 389 2 0 0 20 0 17 0 106150685 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890464503920 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10927392 memory=2980 CPUtime=3.93 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) S 30547 30550 22004 0 -1 1077944384 11713 0 0 0 392 1 0 0 20 0 17 0 106150685 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890463451120 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10927392 memory=219612 CPUtime=0.65 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) S 30547 30550 22004 0 -1 1077944384 5818 0 0 0 64 1 0 0 20 0 17 0 106150685 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890462398832 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106150685 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10927392 memory=4126316290023845779 CPUtime=0.13 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 705 0 0 0 5 8 0 0 20 0 17 0 106150685 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30657] ppid=30547 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30657/stat : 30657 (java) S 30547 30550 22004 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 17 0 106174470 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890456089456 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30658] ppid=30547 vsize=10927392 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30658/stat : 30658 (java) S 30547 30550 22004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 106174470 11189649408 452760 33554432000 4194304 4196468 140726968296896 139890455037584 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 252.2 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1811040 KiB
[startup+238.11 s]
/proc/loadavg: 2.01 2.30 2.48 3/219 30659
/proc/meminfo: memFree=26304920/32770624 swapFree=67108860/67108860
[pid=30550] ppid=30547 vsize=10927392 memory=1811128 CPUtime=252.23 cores=1,3,5,7
/proc/30550/stat : 30550 (java) S 30547 30550 22004 0 -1 1077944320 207984 0 0 0 25114 109 0 0 20 0 17 0 106150679 11189649408 452782 33554432000 4194304 4196468 140726968296896 140726968279440 139891163651831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
/proc/30550/statm: 2731848 452782 3200 1 0 2694339 0
[pid=30550/tid=30552] ppid=30547 vsize=10927392 memory=1810816 CPUtime=235.45 cores=1,3,5,7
/proc/30550/task/30552/stat : 30552 (java) S 30547 30550 22004 0 -1 1077944384 140197 0 0 0 23521 24 0 0 20 0 17 0 106150679 11189649408 452782 33554432000 4194304 4196468 140726968296896 139891167894704 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30553] ppid=30547 vsize=10927392 memory=1810816 CPUtime=1.86 cores=1,3,5,7
/proc/30550/task/30553/stat : 30553 (java) S 30547 30550 22004 0 -1 1077944384 8527 0 0 0 168 18 0 0 20 0 17 0 106150680 11189649408 452782 33554432000 4194304 4196468 140726968296896 139891116272016 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30554] ppid=30547 vsize=10927392 memory=1810816 CPUtime=1.87 cores=1,3,5,7
/proc/30550/task/30554/stat : 30554 (java) S 30547 30550 22004 0 -1 1077944384 7715 0 0 0 169 18 0 0 20 0 17 0 106150680 11189649408 452782 33554432000 4194304 4196468 140726968296896 139891115219216 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30555] ppid=30547 vsize=10927392 memory=56 CPUtime=1.84 cores=1,3,5,7
/proc/30550/task/30555/stat : 30555 (java) S 30547 30550 22004 0 -1 1077944384 7661 0 0 0 168 16 0 0 20 0 17 0 106150680 11189649408 452782 33554432000 4194304 4196468 140726968296896 139891114166928 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30556] ppid=30547 vsize=10927392 memory=1810816 CPUtime=1.84 cores=1,3,5,7
/proc/30550/task/30556/stat : 30556 (java) S 30547 30550 22004 0 -1 1077944384 7865 0 0 0 167 17 0 0 20 0 17 0 106150680 11189649408 452782 33554432000 4194304 4196468 140726968296896 139891113114128 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30557] ppid=30547 vsize=10927392 memory=1810816 CPUtime=0.64 cores=1,3,5,7
/proc/30550/task/30557/stat : 30557 (java) S 30547 30550 22004 0 -1 1077944384 2904 0 0 0 64 0 0 0 20 0 17 0 106150681 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890468715120 139891163662978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30558] ppid=30547 vsize=10927392 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (java) S 30547 30550 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 106150682 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890467661152 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30559] ppid=30547 vsize=10927392 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30559/stat : 30559 (java) S 30547 30550 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 106150682 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890466608768 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30560] ppid=30547 vsize=10927392 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30560/stat : 30560 (java) S 30547 30550 22004 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 17 0 106150685 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890465557072 139891163670427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30561] ppid=30547 vsize=10927392 memory=1810816 CPUtime=3.92 cores=1,3,5,7
/proc/30550/task/30561/stat : 30561 (java) R 30547 30550 22004 0 -1 4202560 12451 0 0 0 390 2 0 0 20 0 17 0 106150685 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890464503920 139891143003337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30562] ppid=30547 vsize=10927392 memory=1810816 CPUtime=3.93 cores=1,3,5,7
/proc/30550/task/30562/stat : 30562 (java) R 30547 30550 22004 0 -1 4202560 11793 0 0 0 392 1 0 0 20 0 17 0 106150685 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890463451120 139891156636873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30563] ppid=30547 vsize=10927392 memory=1810816 CPUtime=0.65 cores=1,3,5,7
/proc/30550/task/30563/stat : 30563 (java) S 30547 30550 22004 0 -1 1077944384 6098 0 0 0 64 1 0 0 20 0 17 0 106150685 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890462398832 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30564] ppid=30547 vsize=10927392 memory=1810816 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30564/stat : 30564 (java) S 30547 30550 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106150685 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890461346272 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30565] ppid=30547 vsize=10927392 memory=1810816 CPUtime=0.13 cores=1,3,5,7
/proc/30550/task/30565/stat : 30565 (java) S 30547 30550 22004 0 -1 1077944384 705 0 0 0 5 8 0 0 20 0 17 0 106150685 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890460294064 139891163662978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30657] ppid=30547 vsize=10927392 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30657/stat : 30657 (java) S 30547 30550 22004 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 17 0 106174470 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890456089456 139891163662037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
[pid=30550/tid=30658] ppid=30547 vsize=10927392 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30658/stat : 30658 (java) R 30547 30550 22004 0 -1 4202560 182 0 0 0 0 0 0 0 20 0 17 0 106174470 11189649408 452782 33554432000 4194304 4196468 140726968296896 139890455037584 139891163663766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33734656 140726968300662 140726968300814 140726968300814 140726968303567 0
Current children cumulated CPU time: 252.23 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1811128 KiB
Child status: 143
Real time (s): 238.135
CPU time (s): 252.275
CPU user time (s): 251.156
CPU system time (s): 1.11929
CPU usage (%): 105.938
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1812848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.156
system time used= 1.11929
maximum resident set size= 1812848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8484
involuntary context switches= 179
# summary of solver processes directly reported to runsolver:
# pid: 30550
# total CPU time (s): 252.275
# total CPU user time (s): 251.156
# total CPU system time (s): 1.11929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36336 second user time and 2.42209 second system time
The end