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 (12691 MiB free)
memory of node 1: 16384 MiB (13272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302072-1532887090/watcher-4302072-1532887090 -o /tmp/evaluation-result-4302072-1532887090/solver-4302072-1532887090 -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-4302072-1532887090.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=31749, runsolver pid=31746
Current StackSize limit: 8192 KiB
[startup+0.10076 s]*
/proc/loadavg: 1.87 2.15 2.40 2/216 31764
/proc/meminfo: memFree=26570424/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10659012 memory=30656 CPUtime=0.12 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 6726 0 0 0 10 2 0 0 20 0 15 0 106272195 10914828288 7664 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2664753 7664 2845 1 0 2627263 0
[pid=31749/tid=31751] ppid=31746 vsize=10659012 memory=-8773748148829982845 CPUtime=0.08 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) R 31746 31749 22004 0 -1 4202560 4558 0 0 0 7 1 0 0 20 0 15 0 106272195 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400537642864 140400517518686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31757] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400024876704 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400023823600 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) S 31746 31749 22004 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400021719280 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) S 31746 31749 22004 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400020666736 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0.02 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) R 31746 31749 22004 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 106272201 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400019613680 140400512241423 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 7664 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30656 KiB
[startup+0.211439 s]*
/proc/loadavg: 1.87 2.15 2.40 3/216 31764
/proc/meminfo: memFree=26559700/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10659012 memory=41844 CPUtime=0.32 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 8088 0 0 0 30 2 0 0 20 0 15 0 106272195 10914828288 10461 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2664753 10461 3003 1 0 2627263 0
[pid=31749/tid=31751] ppid=31746 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) R 31746 31749 22004 0 -1 4202560 5016 0 0 0 18 1 0 0 20 0 15 0 106272195 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400537673168 140400517481829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10659012 memory=365 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10659012 memory=140394292540446 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31757] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400024876704 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400023823600 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) S 31746 31749 22004 0 -1 1077944384 655 0 0 0 2 0 0 0 20 0 15 0 106272201 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400021719280 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) S 31746 31749 22004 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 106272201 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400020666736 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0.07 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) R 31746 31749 22004 0 -1 4202560 712 0 0 0 7 0 0 0 20 0 15 0 106272201 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400019613680 140400533450134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 10461 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41844 KiB
[startup+0.311353 s]*
/proc/loadavg: 1.87 2.15 2.40 6/216 31764
/proc/meminfo: memFree=26545296/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10659012 memory=54448 CPUtime=0.58 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 9659 0 0 0 55 3 0 0 20 0 15 0 106272195 10914828288 13612 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2664753 13612 3046 1 0 2627263 0
[pid=31749/tid=31751] ppid=31746 vsize=10659012 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) R 31746 31749 22004 0 -1 4202560 5366 0 0 0 28 2 0 0 20 0 15 0 106272195 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400537674256 140400533460125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10659012 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10659012 memory=140394292526080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272196 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31757] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400024876704 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272198 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400023823600 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) R 31746 31749 22004 0 -1 4202560 1161 0 0 0 7 0 0 0 20 0 15 0 106272201 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400021700296 140400516849215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) R 31746 31749 22004 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 15 0 106272201 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400020652760 140400517727211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0.13 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) S 31746 31749 22004 0 -1 1077944384 1017 0 0 0 13 0 0 0 20 0 15 0 106272201 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400019613680 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10659012 memory=140394291902080 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272201 10914828288 13612 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54448 KiB
[startup+0.701356 s]
/proc/loadavg: 1.87 2.15 2.40 7/216 31764
/proc/meminfo: memFree=26523952/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10659088 memory=146028 CPUtime=1.82 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 12778 0 0 0 178 4 0 0 20 0 15 0 106272195 10914906112 36507 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2664772 36507 3114 1 0 2627263 0
[pid=31749/tid=31751] ppid=31746 vsize=10659088 memory=1840 CPUtime=0.67 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) R 31746 31749 22004 0 -1 4202560 5905 0 0 0 64 3 0 0 20 0 15 0 106272195 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400537672880 140400151509575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272196 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272196 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106272198 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31757] ppid=31746 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272198 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400024876704 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272198 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400023823600 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10659088 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10659088 memory=7590935255203861604 CPUtime=0.42 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) R 31746 31749 22004 0 -1 4202560 2114 0 0 0 42 0 0 0 20 0 15 0 106272201 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400021700000 140400514981889 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10659088 memory=6293050847276651881 CPUtime=0.42 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) R 31746 31749 22004 0 -1 4202560 2006 0 0 0 42 0 0 0 20 0 15 0 106272201 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400020648944 140400517701063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10659088 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) R 31746 31749 22004 0 -1 4202560 1383 0 0 0 29 0 0 0 20 0 15 0 106272201 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400019613680 140400533452048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272201 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272201 10914906112 36507 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 146028 KiB
[startup+1.50073 s]
/proc/loadavg: 1.96 2.17 2.40 5/216 31764
/proc/meminfo: memFree=26303160/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10661136 memory=358380 CPUtime=4.48 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 17053 0 0 0 436 12 0 0 20 0 15 0 106272195 10917003264 89595 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2665284 89595 3142 1 0 2627775 0
[pid=31749/tid=31751] ppid=31746 vsize=10661136 memory=6791534058613427641 CPUtime=1.41 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) R 31746 31749 22004 0 -1 4202560 6226 0 0 0 136 5 0 0 20 0 15 0 106272195 10917003264 89595 33554432000 4194304 4196468 140727677624096 140400537664816 140400515359678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10661136 memory=-6951259422114956437 CPUtime=0.03 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 15 0 106272196 10917003264 89595 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10661136 memory=-6509546260019855295 CPUtime=0.02 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 15 0 106272196 10917003264 89595 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10661136 memory=-7390251449858225344 CPUtime=0.02 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 106272196 10917003264 89595 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10661136 memory=4134692831991786133 CPUtime=0.02 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 15 0 106272196 10917003264 89595 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 106272198 10917003264 89595 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
################
# More data... #
################
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 106272198 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400024876768 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10727700 memory=3924936 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 106272198 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400023823616 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10727700 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10727700 memory=3924936 CPUtime=5.06 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) S 31746 31749 22004 0 -1 1077944384 15743 0 0 0 503 3 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400021719280 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10727700 memory=3924936 CPUtime=4.38 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) S 31746 31749 22004 0 -1 1077944384 12137 0 0 0 437 1 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400020666736 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10727700 memory=1296 CPUtime=0.91 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) S 31746 31749 22004 0 -1 1077944384 6028 0 0 0 90 1 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400019613680 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10727700 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10727700 memory=3924936 CPUtime=0.08 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 359 0 0 0 4 4 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31765] ppid=31746 vsize=10727700 memory=30280 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31765/stat : 31765 (java) S 31746 31749 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106274662 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400014358064 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 194.44 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3924936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+219.901 s]
/proc/loadavg: 2.01 2.11 2.33 3/218 31799
/proc/meminfo: memFree=22300512/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10727700 memory=3924936 CPUtime=252.09 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 91274 0 0 0 25015 194 0 0 20 0 16 0 106272195 10985164800 981234 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2681925 981234 3200 1 0 2644416 0
[pid=31749/tid=31751] ppid=31746 vsize=10727700 memory=3924936 CPUtime=209.18 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) R 31746 31749 22004 0 -1 4202560 26770 0 0 0 20893 25 0 0 20 0 16 0 106272195 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400537674984 140400151012606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10727700 memory=3924936 CPUtime=7.35 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 5783 0 0 0 693 42 0 0 20 0 16 0 106272196 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10727700 memory=3924936 CPUtime=7.17 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 3727 0 0 0 684 33 0 0 20 0 16 0 106272196 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10727700 memory=3924936 CPUtime=7.33 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 4731 0 0 0 695 38 0 0 20 0 16 0 106272196 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10727700 memory=3924936 CPUtime=7.31 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 2253 0 0 0 692 39 0 0 20 0 16 0 106272196 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10727700 memory=3924936 CPUtime=3.19 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 11065 0 0 0 318 1 0 0 20 0 16 0 106272198 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31757] ppid=31746 vsize=10727700 memory=3924936 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 106272198 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400024876768 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10727700 memory=3924936 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 106272198 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400023823616 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10727700 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10727700 memory=30296 CPUtime=5.06 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) S 31746 31749 22004 0 -1 1077944384 15746 0 0 0 503 3 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400021719280 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10727700 memory=2200 CPUtime=4.38 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) S 31746 31749 22004 0 -1 1077944384 13302 0 0 0 437 1 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400020666736 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10727700 memory=8148 CPUtime=0.91 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) S 31746 31749 22004 0 -1 1077944384 6038 0 0 0 90 1 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400019613680 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10727700 memory=3924936 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10727700 memory=4028 CPUtime=0.12 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 440 0 0 0 5 7 0 0 20 0 16 0 106272201 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31765] ppid=31746 vsize=10727700 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31765/stat : 31765 (java) S 31746 31749 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106274662 10985164800 981234 33554432000 4194304 4196468 140727677624096 140400014358064 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3924936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+220.148 s]
# the end of solver process 31749 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.192 s, system=1.96633 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+220.005 s]*
/proc/loadavg: 2.01 2.11 2.33 2/219 31802
/proc/meminfo: memFree=22300512/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10927392 memory=3925264 CPUtime=252.11 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 92683 0 0 0 25017 194 0 0 20 0 17 0 106272195 11189649408 981316 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2731848 981316 3202 1 0 2694339 0
[pid=31749/tid=31751] ppid=31746 vsize=10927392 memory=1398720917958146503 CPUtime=209.2 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) S 31746 31749 22004 0 -1 1077944384 26856 0 0 0 20895 25 0 0 20 0 17 0 106272195 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400537681072 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10927392 memory=3848 CPUtime=7.35 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 5783 0 0 0 693 42 0 0 20 0 17 0 106272196 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10927392 memory=2704 CPUtime=7.17 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 3727 0 0 0 684 33 0 0 20 0 17 0 106272196 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10927392 memory=2732 CPUtime=7.33 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 4731 0 0 0 695 38 0 0 20 0 17 0 106272196 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10927392 memory=1408 CPUtime=7.31 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 2253 0 0 0 692 39 0 0 20 0 17 0 106272196 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10927392 memory=3924936 CPUtime=3.19 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 11114 0 0 0 318 1 0 0 20 0 17 0 106272198 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31757] ppid=31746 vsize=10927392 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 106272198 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400024876768 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10927392 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106272198 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400023823616 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10927392 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 17 0 106272201 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10927392 memory=4124 CPUtime=5.06 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) S 31746 31749 22004 0 -1 1077944384 15748 0 0 0 503 3 0 0 20 0 17 0 106272201 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400021719280 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10927392 memory=2200 CPUtime=4.38 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) S 31746 31749 22004 0 -1 1077944384 13304 0 0 0 437 1 0 0 20 0 17 0 106272201 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400020666736 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10927392 memory=8148 CPUtime=0.91 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) S 31746 31749 22004 0 -1 1077944384 6662 0 0 0 90 1 0 0 20 0 17 0 106272201 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400019613680 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10927392 memory=18044 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106272201 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10927392 memory=4052 CPUtime=0.12 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 440 0 0 0 5 7 0 0 20 0 17 0 106272201 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31800] ppid=31746 vsize=10927392 memory=18248 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31800/stat : 31800 (java) S 31746 31749 22004 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 17 0 106294186 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400013304304 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31801] ppid=31746 vsize=10927392 memory=640 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31801/stat : 31801 (java) S 31746 31749 22004 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 106294186 11189649408 981316 33554432000 4194304 4196468 140727677624096 140400012252688 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3925264 KiB
[startup+220.111 s]
/proc/loadavg: 2.01 2.11 2.33 2/219 31802
/proc/meminfo: memFree=22300512/32770624 swapFree=67108860/67108860
[pid=31749] ppid=31746 vsize=10927392 memory=3925280 CPUtime=252.11 cores=1,3,5,7
/proc/31749/stat : 31749 (java) S 31746 31749 22004 0 -1 1077944320 93679 0 0 0 25017 194 0 0 20 0 17 0 106272195 11189649408 981320 33554432000 4194304 4196468 140727677624096 140727677606640 140400533438199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
/proc/31749/statm: 2731848 981320 3203 1 0 2694339 0
[pid=31749/tid=31751] ppid=31746 vsize=10927392 memory=3924936 CPUtime=209.2 cores=1,3,5,7
/proc/31749/task/31751/stat : 31751 (java) S 31746 31749 22004 0 -1 1077944384 26856 0 0 0 20895 25 0 0 20 0 17 0 106272195 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400537681072 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31752] ppid=31746 vsize=10927392 memory=3924936 CPUtime=7.35 cores=1,3,5,7
/proc/31749/task/31752/stat : 31752 (java) S 31746 31749 22004 0 -1 1077944384 5783 0 0 0 693 42 0 0 20 0 17 0 106272196 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400470129168 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31753] ppid=31746 vsize=10927392 memory=3924936 CPUtime=7.17 cores=1,3,5,7
/proc/31749/task/31753/stat : 31753 (java) S 31746 31749 22004 0 -1 1077944384 3727 0 0 0 684 33 0 0 20 0 17 0 106272196 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400469076624 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31754] ppid=31746 vsize=10927392 memory=3924936 CPUtime=7.33 cores=1,3,5,7
/proc/31749/task/31754/stat : 31754 (java) S 31746 31749 22004 0 -1 1077944384 4731 0 0 0 695 38 0 0 20 0 17 0 106272196 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400138250512 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31755] ppid=31746 vsize=10927392 memory=3924936 CPUtime=7.31 cores=1,3,5,7
/proc/31749/task/31755/stat : 31755 (java) S 31746 31749 22004 0 -1 1077944384 2253 0 0 0 692 39 0 0 20 0 17 0 106272196 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400137197968 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31756] ppid=31746 vsize=10927392 memory=3924936 CPUtime=3.19 cores=1,3,5,7
/proc/31749/task/31756/stat : 31756 (java) S 31746 31749 22004 0 -1 1077944384 11114 0 0 0 318 1 0 0 20 0 17 0 106272198 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400025930480 140400533449346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31757] ppid=31746 vsize=10927392 memory=3924936 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31757/stat : 31757 (java) S 31746 31749 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 106272198 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400024876768 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31758] ppid=31746 vsize=10927392 memory=3924936 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31758/stat : 31758 (java) S 31746 31749 22004 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106272198 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400023823616 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31759] ppid=31746 vsize=10927392 memory=3924936 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31759/stat : 31759 (java) S 31746 31749 22004 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 17 0 106272201 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400022772176 140400533456795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31760] ppid=31746 vsize=10927392 memory=2200 CPUtime=5.06 cores=1,3,5,7
/proc/31749/task/31760/stat : 31760 (java) S 31746 31749 22004 0 -1 1077944384 15748 0 0 0 503 3 0 0 20 0 17 0 106272201 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400021719280 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31761] ppid=31746 vsize=10927392 memory=8148 CPUtime=4.38 cores=1,3,5,7
/proc/31749/task/31761/stat : 31761 (java) S 31746 31749 22004 0 -1 1077944384 13304 0 0 0 437 1 0 0 20 0 17 0 106272201 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400020666736 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31762] ppid=31746 vsize=10927392 memory=3924936 CPUtime=0.91 cores=1,3,5,7
/proc/31749/task/31762/stat : 31762 (java) S 31746 31749 22004 0 -1 1077944384 7438 0 0 0 90 1 0 0 20 0 17 0 106272201 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400019613680 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31763] ppid=31746 vsize=10927392 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31763/stat : 31763 (java) S 31746 31749 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106272201 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400018561376 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31764] ppid=31746 vsize=10927392 memory=4028 CPUtime=0.12 cores=1,3,5,7
/proc/31749/task/31764/stat : 31764 (java) S 31746 31749 22004 0 -1 1077944384 440 0 0 0 5 7 0 0 20 0 17 0 106272201 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400017509424 140400533449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31800] ppid=31746 vsize=10927392 memory=30296 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31800/stat : 31800 (java) S 31746 31749 22004 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 17 0 106294186 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400013304304 140400533448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
[pid=31749/tid=31801] ppid=31746 vsize=10927392 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/31749/task/31801/stat : 31801 (java) R 31746 31749 22004 0 -1 4202560 295 0 0 0 0 0 0 0 20 0 17 0 106294186 11189649408 981320 33554432000 4194304 4196468 140727677624096 140400012250544 140400152668693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13996032 140727677629558 140727677629710 140727677629710 140727677632463 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3925280 KiB
Child status: 143
Real time (s): 220.148
CPU time (s): 252.158
CPU user time (s): 250.192
CPU system time (s): 1.96633
CPU usage (%): 114.541
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3931312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.192
system time used= 1.96633
maximum resident set size= 3931312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8206
involuntary context switches= 421
# summary of solver processes directly reported to runsolver:
# pid: 31749
# total CPU time (s): 252.158
# total CPU user time (s): 250.192
# total CPU system time (s): 1.96633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49443 second user time and 2.01999 second system time
The end