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 (14907 MiB free)
memory of node 1: 16384 MiB (15687 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263217-1502623023/watcher-4263217-1502623023 -o /tmp/evaluation-result-4263217-1502623023/solver-4263217-1502623023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502619513-3999 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263217-1502623023.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5093, runsolver pid=5090
[startup+0.100059 s]*
/proc/loadavg: 1.94 2.22 2.59 4/218 5108
/proc/meminfo: memFree=31312500/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10555400 memory=28340 CPUtime=0.12 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 6667 0 0 0 11 1 0 0 20 0 15 0 95390091 10808729600 7085 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2638850 7085 2821 1 0 2627263 0
[pid=5093/tid=5095] ppid=5090 vsize=10555400 memory=-8774005365546193501 CPUtime=0.09 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) R 5090 5093 1335 0 -1 4202560 4496 0 0 0 8 1 0 0 20 0 15 0 95390091 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422984206832 140422964065630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10555400 memory=5793855309967940025 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10555400 memory=140058958046848 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390093 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95390094 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95390094 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95390096 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) S 5090 5093 1335 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 95390096 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422467762416 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95390096 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422466709872 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10555400 memory=140058958046848 CPUtime=0.01 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) R 5090 5093 1335 0 -1 4202560 386 0 0 0 1 0 0 0 20 0 15 0 95390096 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422465656816 140422980006490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95390097 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10555400 memory=140058958046848 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390097 10808729600 7085 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 28340 KiB
[startup+0.210731 s]*
/proc/loadavg: 1.94 2.22 2.59 3/218 5108
/proc/meminfo: memFree=31303792/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10555400 memory=36280 CPUtime=0.28 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 7878 0 0 0 26 2 0 0 20 0 15 0 95390091 10808729600 9070 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2638850 9070 2906 1 0 2627263 0
[pid=5093/tid=5095] ppid=5090 vsize=10555400 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) R 5090 5093 1335 0 -1 4202560 5433 0 0 0 19 1 0 0 20 0 15 0 95390091 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422984211088 140422964028773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10555400 memory=4211973785162837386 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10555400 memory=140058958046848 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390092 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10555400 memory=140058958046848 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390093 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95390094 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95390094 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95390096 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) S 5090 5093 1335 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 95390096 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422467762416 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) S 5090 5093 1335 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 95390096 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422466709872 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10555400 memory=140058958046848 CPUtime=0.05 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) R 5090 5093 1335 0 -1 4202560 476 0 0 0 5 0 0 0 20 0 15 0 95390096 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422465656816 140422979997078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95390097 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10555400 memory=140058958046848 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390097 10808729600 9135 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 36280 KiB
[startup+0.310252 s]*
/proc/loadavg: 1.94 2.22 2.59 5/218 5108
/proc/meminfo: memFree=31295224/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10555476 memory=45600 CPUtime=0.5 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 9163 0 0 0 48 2 0 0 20 0 15 0 95390091 10808807424 11400 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2638869 11400 3037 1 0 2627263 0
[pid=5093/tid=5095] ppid=5090 vsize=10555476 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) R 5090 5093 1335 0 -1 4202560 5834 0 0 0 29 1 0 0 20 0 15 0 95390091 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422984222512 140422617280911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10555476 memory=4211973785162837386 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10555476 memory=140058958049020 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10555476 memory=140058816525091 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95390092 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10555476 memory=140058816531919 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390092 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10555476 memory=140058958049200 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390093 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10555476 memory=140058816541103 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95390094 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10555476 memory=280117633073040 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95390094 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10555476 memory=280117633070736 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95390096 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) R 5090 5093 1335 0 -1 4202560 690 0 0 0 4 0 0 0 20 0 15 0 95390096 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422467762416 140422980006490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10555476 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) S 5090 5093 1335 0 -1 1077944384 375 0 0 0 4 0 0 0 20 0 15 0 95390096 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422466709872 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10555476 memory=140058958046848 CPUtime=0.11 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) R 5090 5093 1335 0 -1 1077944384 901 0 0 0 11 0 0 0 20 0 15 0 95390096 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422465656816 140422979996290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95390097 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10555476 memory=140058958046848 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95390097 10808807424 11400 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 45600 KiB
[startup+0.700808 s]
/proc/loadavg: 1.94 2.22 2.59 7/219 5109
/proc/meminfo: memFree=31263512/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10622040 memory=88068 CPUtime=1.72 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 14310 0 0 0 168 4 0 0 20 0 16 0 95390091 10876968960 22017 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2655510 22017 3083 1 0 2643904 0
[pid=5093/tid=5095] ppid=5090 vsize=10622040 memory=1948 CPUtime=0.67 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) R 5090 5093 1335 0 -1 4202560 6034 0 0 0 65 2 0 0 20 0 16 0 95390091 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422984223696 140422979997078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10622040 memory=8532 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10622040 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10622040 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10622040 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10622040 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 95390093 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10622040 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95390094 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10622040 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95390094 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10622040 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95390096 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10622040 memory=20036 CPUtime=0.4 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) R 5090 5093 1335 0 -1 4202560 3066 0 0 0 40 0 0 0 20 0 16 0 95390096 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422467753744 140422959837275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10622040 memory=1436 CPUtime=0.4 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) R 5090 5093 1335 0 -1 4202560 2249 0 0 0 40 0 0 0 20 0 16 0 95390096 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422466690888 140422957838433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10622040 memory=1200 CPUtime=0.21 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) S 5090 5093 1335 0 -1 1077944384 1569 0 0 0 21 0 0 0 20 0 16 0 95390096 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422465656816 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10622040 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95390097 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10622040 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95390097 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5109] ppid=5090 vsize=10622040 memory=16484 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5109/stat : 5109 (java) S 5090 5093 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95390140 10876968960 22017 33554432000 4194304 4196468 140726779656960 140422462498352 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 88068 KiB
[startup+1.50081 s]
/proc/loadavg: 1.94 2.22 2.59 3/219 5109
/proc/meminfo: memFree=31249560/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10622040 memory=97268 CPUtime=2.97 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 17094 0 0 0 292 5 0 0 20 0 16 0 95390091 10876968960 24317 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2655510 24317 3097 1 0 2643904 0
[pid=5093/tid=5095] ppid=5090 vsize=10622040 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) R 5090 5093 1335 0 -1 4202560 6395 0 0 0 145 2 0 0 20 0 16 0 95390091 10876968960 24317 33554432000 4194304 4196468 140726779656960 140422984210560 140422620031735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 24317 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 24317 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 24317 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95390092 10876968960 24317 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
################
# More data... #
################
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 12046 0 0 0 614 34 0 0 20 0 16 0 95390092 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10622040 memory=308716 CPUtime=6.49 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 11016 0 0 0 615 34 0 0 20 0 16 0 95390092 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10622040 memory=250880 CPUtime=6.49 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 11965 0 0 0 615 34 0 0 20 0 16 0 95390092 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10622040 memory=233676 CPUtime=0.67 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 49950 0 0 0 58 9 0 0 20 0 16 0 95390093 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10622040 memory=259300 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 95390094 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10622040 memory=269976 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 95390094 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10622040 memory=269976 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95390096 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10622040 memory=269976 CPUtime=0.82 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) S 5090 5093 1335 0 -1 1077944384 6253 0 0 0 81 1 0 0 20 0 16 0 95390096 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422467762416 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10622040 memory=246784 CPUtime=1.12 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) S 5090 5093 1335 0 -1 1077944384 6357 0 0 0 111 1 0 0 20 0 16 0 95390096 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422466709872 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10622040 memory=267652 CPUtime=0.26 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) S 5090 5093 1335 0 -1 1077944384 2538 0 0 0 25 1 0 0 20 0 16 0 95390096 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422465656816 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10622040 memory=265444 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95390097 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10622040 memory=269976 CPUtime=1.21 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 1961 0 0 0 58 63 0 0 20 0 16 0 95390097 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5109] ppid=5090 vsize=10622040 memory=250884 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5109/stat : 5109 (java) S 5090 5093 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95390140 10876968960 68021 33554432000 4194304 4196468 140726779656960 140422462498352 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 2465.2 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 272084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.7 s]
/proc/loadavg: 1.76 1.84 1.97 3/218 5426
/proc/meminfo: memFree=31340648/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10622040 memory=262964 CPUtime=2520.01 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 139123 0 0 0 251777 224 0 0 20 0 16 0 95390091 10876968960 65741 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2655510 65741 3157 1 0 2643904 0
[pid=5093/tid=5095] ppid=5090 vsize=10622040 memory=255532 CPUtime=2487.86 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) R 5090 5093 1335 0 -1 4202560 20391 0 0 0 248780 6 0 0 20 0 16 0 95390091 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422984224096 140422620031735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10622040 memory=255532 CPUtime=7.01 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 12165 0 0 0 664 37 0 0 20 0 16 0 95390092 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10622040 memory=241680 CPUtime=6.95 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 12718 0 0 0 658 37 0 0 20 0 16 0 95390092 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10622040 memory=202940 CPUtime=6.96 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 11676 0 0 0 659 37 0 0 20 0 16 0 95390092 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10622040 memory=295336 CPUtime=6.95 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 12594 0 0 0 658 37 0 0 20 0 16 0 95390092 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10622040 memory=248840 CPUtime=0.74 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 50982 0 0 0 65 9 0 0 20 0 16 0 95390093 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10622040 memory=262964 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 95390094 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10622040 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 95390094 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10622040 memory=230852 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95390096 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10622040 memory=18292 CPUtime=0.82 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) S 5090 5093 1335 0 -1 1077944384 6255 0 0 0 81 1 0 0 20 0 16 0 95390096 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422467762416 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10622040 memory=280117633884544 CPUtime=1.12 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) S 5090 5093 1335 0 -1 1077944384 6359 0 0 0 111 1 0 0 20 0 16 0 95390096 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422466709872 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10622040 memory=2332 CPUtime=0.26 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) S 5090 5093 1335 0 -1 1077944384 2540 0 0 0 25 1 0 0 20 0 16 0 95390096 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422465656816 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10622040 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95390097 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10622040 memory=4132 CPUtime=1.24 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 1986 0 0 0 60 64 0 0 20 0 16 0 95390097 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5109] ppid=5090 vsize=10622040 memory=27864 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5109/stat : 5109 (java) S 5090 5093 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95390140 10876968960 65741 33554432000 4194304 4196468 140726779656960 140422462498352 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 262964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.96 s]
# the end of solver process 5093 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.84 s, system=2.25449 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2495.81 s]
/proc/loadavg: 1.76 1.84 1.97 3/218 5426
/proc/meminfo: memFree=31340648/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10821732 memory=263104 CPUtime=2520.02 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 139348 0 0 0 251778 224 0 0 20 0 17 0 95390091 11081453568 65776 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2705433 65776 3160 1 0 2693827 0
[pid=5093/tid=5095] ppid=5090 vsize=10821732 memory=1948 CPUtime=2487.87 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) S 5090 5093 1335 0 -1 1077944384 20415 0 0 0 248781 6 0 0 20 0 17 0 95390091 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422984228016 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10821732 memory=8532 CPUtime=7.01 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 12165 0 0 0 664 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10821732 memory=4616 CPUtime=6.95 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 12718 0 0 0 658 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10821732 memory=1720 CPUtime=6.96 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 11676 0 0 0 659 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10821732 memory=1004 CPUtime=6.95 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 12594 0 0 0 658 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10821732 memory=3108 CPUtime=0.74 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 50982 0 0 0 65 9 0 0 20 0 17 0 95390093 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10821732 memory=219020 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 17 0 95390094 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10821732 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 95390094 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10821732 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10821732 memory=219020 CPUtime=0.82 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) S 5090 5093 1335 0 -1 1077944384 6255 0 0 0 81 1 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422467762416 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10821732 memory=8112282956445269571 CPUtime=1.12 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) S 5090 5093 1335 0 -1 1077944384 6359 0 0 0 111 1 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422466709872 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10821732 memory=4040 CPUtime=0.26 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) S 5090 5093 1335 0 -1 1077944384 2560 0 0 0 25 1 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422465656816 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10821732 memory=16504 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95390097 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10821732 memory=18292 CPUtime=1.24 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 1986 0 0 0 60 64 0 0 20 0 17 0 95390097 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 263104 KiB
[startup+2495.9 s]
/proc/loadavg: 1.76 1.84 1.97 3/218 5426
/proc/meminfo: memFree=31340648/32770624 swapFree=67108860/67108860
[pid=5093] ppid=5090 vsize=10821732 memory=263104 CPUtime=2520.02 cores=1,3,5,7
/proc/5093/stat : 5093 (java) S 5090 5093 1335 0 -1 1077944320 139348 0 0 0 251778 224 0 0 20 0 17 0 95390091 11081453568 65776 33554432000 4194304 4196468 140726779656960 140726779639504 140422979985143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
/proc/5093/statm: 2705433 65776 3160 1 0 2693827 0
[pid=5093/tid=5095] ppid=5090 vsize=10821732 memory=295336 CPUtime=2487.87 cores=1,3,5,7
/proc/5093/task/5095/stat : 5095 (java) S 5090 5093 1335 0 -1 1077944384 20415 0 0 0 248781 6 0 0 20 0 17 0 95390091 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422984228016 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5096] ppid=5090 vsize=10821732 memory=202940 CPUtime=7.01 cores=1,3,5,7
/proc/5093/task/5096/stat : 5096 (java) S 5090 5093 1335 0 -1 1077944384 12165 0 0 0 664 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422586698256 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5097] ppid=5090 vsize=10821732 memory=262964 CPUtime=6.95 cores=1,3,5,7
/proc/5093/task/5097/stat : 5097 (java) S 5090 5093 1335 0 -1 1077944384 12718 0 0 0 658 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422585645712 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5098] ppid=5090 vsize=10821732 memory=230852 CPUtime=6.96 cores=1,3,5,7
/proc/5093/task/5098/stat : 5098 (java) S 5090 5093 1335 0 -1 1077944384 11676 0 0 0 659 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422584592656 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5099] ppid=5090 vsize=10821732 memory=18292 CPUtime=6.95 cores=1,3,5,7
/proc/5093/task/5099/stat : 5099 (java) S 5090 5093 1335 0 -1 1077944384 12594 0 0 0 658 37 0 0 20 0 17 0 95390092 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422583540112 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5100] ppid=5090 vsize=10821732 memory=255532 CPUtime=0.74 cores=1,3,5,7
/proc/5093/task/5100/stat : 5100 (java) S 5090 5093 1335 0 -1 1077944384 50982 0 0 0 65 9 0 0 20 0 17 0 95390093 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422471973616 140422979996290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5101] ppid=5090 vsize=10821732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5101/stat : 5101 (java) S 5090 5093 1335 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 17 0 95390094 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422470919840 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5102] ppid=5090 vsize=10821732 memory=920 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5102/stat : 5102 (java) S 5090 5093 1335 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 95390094 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422469866736 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5103] ppid=5090 vsize=10821732 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5103/stat : 5103 (java) S 5090 5093 1335 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422468815312 140422980003739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5104] ppid=5090 vsize=10821732 memory=255532 CPUtime=0.82 cores=1,3,5,7
/proc/5093/task/5104/stat : 5104 (java) S 5090 5093 1335 0 -1 1077944384 6255 0 0 0 81 1 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422467762416 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5105] ppid=5090 vsize=10821732 memory=255532 CPUtime=1.12 cores=1,3,5,7
/proc/5093/task/5105/stat : 5105 (java) S 5090 5093 1335 0 -1 1077944384 6359 0 0 0 111 1 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422466709872 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5106] ppid=5090 vsize=10821732 memory=241168 CPUtime=0.26 cores=1,3,5,7
/proc/5093/task/5106/stat : 5106 (java) S 5090 5093 1335 0 -1 1077944384 2560 0 0 0 25 1 0 0 20 0 17 0 95390096 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422465656816 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5107] ppid=5090 vsize=10821732 memory=241168 CPUtime=0 cores=1,3,5,7
/proc/5093/task/5107/stat : 5107 (java) S 5090 5093 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95390097 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422464604512 140422979995349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
[pid=5093/tid=5108] ppid=5090 vsize=10821732 memory=222596 CPUtime=1.24 cores=1,3,5,7
/proc/5093/task/5108/stat : 5108 (java) S 5090 5093 1335 0 -1 1077944384 1986 0 0 0 60 64 0 0 20 0 17 0 95390097 11081453568 65776 33554432000 4194304 4196468 140726779656960 140422463552560 140422979996290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6889472 140726779659398 140726779659551 140726779659551 140726779662287 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 263104 KiB
Child status: 143
Real time (s): 2495.96
CPU time (s): 2520.1
CPU user time (s): 2517.84
CPU system time (s): 2.25449
CPU usage (%): 100.967
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 750752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.84
system time used= 2.25449
maximum resident set size= 756416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62669
involuntary context switches= 1799
# summary of solver processes directly reported to runsolver:
# pid: 5093
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.84
# total CPU system time (s): 2.25449
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8337 second user time and 21.8748 second system time
The end