runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458743-1307148914/watcher-3458743-1307148914 -o /tmp/evaluation-result-3458743-1307148914/solver-3458743-1307148914 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458743-1307148914.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.01 1.91 3/452 4216
/proc/meminfo: memFree=12277592/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (java) R 4214 4216 2099 0 -1 4202496 988 0 0 0 0 0 0 0 25 0 1 0 826491062 23580672 733 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 47259883607149 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4216/statm: 5757 749 548 9 0 124 0
[pid=4216/tid=4217] ppid=4214 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 4779 0 1 0 0 0 0 0 25 0 2 0 826491063 13850947584 5595 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0880479 s]
/proc/loadavg: 1.94 2.01 1.91 3/452 4216
/proc/meminfo: memFree=12277592/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13555248 CPUtime=0.07 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 14695 0 1 0 6 1 0 0 25 0 18 0 826491062 13880573952 14392 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3388852 14410 1852 9 0 3379586 0
[pid=4216/tid=4217] ppid=4214 vsize=13555408 CPUtime=0.07 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) S 4214 4216 2099 0 -1 4202560 13421 0 1 0 6 1 0 0 25 0 18 0 826491063 13880737792 14416 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676637663 0 2147483391 0 16800975 18446744071699109054 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555248
[startup+0.107521 s]
/proc/loadavg: 1.94 2.01 1.91 3/452 4216
/proc/meminfo: memFree=12277592/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13622164 CPUtime=0.11 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 15622 0 1 0 9 2 0 0 25 0 18 0 826491062 13949095936 15294 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3405541 15294 2093 9 0 3396275 0
[pid=4216/tid=4217] ppid=4214 vsize=13622164 CPUtime=0.09 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 13682 0 1 0 8 1 0 0 25 0 18 0 826491063 13949095936 15294 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676635083 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622164
[startup+0.30041 s]
/proc/loadavg: 1.94 2.01 1.91 3/452 4216
/proc/meminfo: memFree=12277592/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13622164 CPUtime=0.46 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 18505 0 1 0 44 2 0 0 25 0 18 0 826491062 13949095936 17706 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3405541 17707 2201 9 0 3396275 0
[pid=4216/tid=4217] ppid=4214 vsize=13622164 CPUtime=0.29 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 15358 0 1 0 27 2 0 0 25 0 18 0 826491063 13949095936 17707 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 46912505544323 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13622164
[startup+0.700376 s]
/proc/loadavg: 1.94 2.01 1.91 3/452 4216
/proc/meminfo: memFree=12277592/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13627956 CPUtime=1.21 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 31837 0 1 0 116 5 0 0 25 0 19 0 826491062 13955026944 29838 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3406989 29838 2232 9 0 3397723 0
[pid=4216/tid=4217] ppid=4214 vsize=13627956 CPUtime=0.68 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 26129 0 1 0 64 4 0 0 25 0 19 0 826491063 13955026944 29839 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 47259883420499 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 13627956
[startup+1.50125 s]
/proc/loadavg: 1.95 2.00 1.91 4/471 4235
/proc/meminfo: memFree=12159904/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13627956 CPUtime=2.11 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 40274 0 1 0 204 7 0 0 25 0 19 0 826491062 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3406989 38037 2263 9 0 3397723 0
[pid=4216/tid=4217] ppid=4214 vsize=13627956 CPUtime=1.46 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 29433 0 1 0 141 5 0 0 18 0 19 0 826491063 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 46912505742841 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4216/tid=4219] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4219/stat : 4219 (java) S 4214 4216 2099 0 -1 4202560 985 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4220] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4220/stat : 4220 (java) S 4214 4216 2099 0 -1 4202560 349 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4221] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4221/stat : 4221 (java) S 4214 4216 2099 0 -1 4202560 1057 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4222] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4222/stat : 4222 (java) S 4214 4216 2099 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4223] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4223/stat : 4223 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4224] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4224/stat : 4224 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4225] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4225/stat : 4225 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4226] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4226/stat : 4226 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826491065 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4227] ppid=4214 vsize=13627956 CPUtime=0.01 cores=1,3,5,7
/proc/4216/task/4227/stat : 4227 (java) S 4214 4216 2099 0 -1 4202560 2409 0 0 0 1 0 0 0 15 0 19 0 826491066 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 0 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4228] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4228/stat : 4228 (java) S 4214 4216 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4229] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4229/stat : 4229 (java) S 4214 4216 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4230] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4230/stat : 4230 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676631985 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4231] ppid=4214 vsize=13627956 CPUtime=0.3 cores=1,3,5,7
/proc/4216/task/4231/stat : 4231 (java) S 4214 4216 2099 0 -1 4202560 3131 0 0 0 30 0 0 0 18 0 19 0 826491069 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4232] ppid=4214 vsize=13627956 CPUtime=0.29 cores=1,3,5,7
/proc/4216/task/4232/stat : 4232 (java) S 4214 4216 2099 0 -1 4202560 1679 0 0 0 29 0 0 0 18 0 19 0 826491069 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4233] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4233/stat : 4233 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4234] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4234/stat : 4234 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826491069 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4235] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4235/stat : 4235 (java) S 4214 4216 2099 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826491109 13955026944 38037 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 13627956
[startup+3.10097 s]
/proc/loadavg: 1.95 2.00 1.91 3/471 4235
/proc/meminfo: memFree=12122208/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13627956 CPUtime=3.76 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 48033 0 1 0 368 8 0 0 25 0 19 0 826491062 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3406989 45793 2263 9 0 3397723 0
[pid=4216/tid=4217] ppid=4214 vsize=13627956 CPUtime=3 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 29436 0 1 0 295 5 0 0 20 0 19 0 826491063 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 46912505722434 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4216/tid=4219] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4219/stat : 4219 (java) S 4214 4216 2099 0 -1 4202560 1317 0 0 0 0 0 0 0 16 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4220] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4220/stat : 4220 (java) S 4214 4216 2099 0 -1 4202560 1881 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4221] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4221/stat : 4221 (java) S 4214 4216 2099 0 -1 4202560 1057 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4222] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4222/stat : 4222 (java) S 4214 4216 2099 0 -1 4202560 492 0 0 0 0 0 0 0 16 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4223] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4223/stat : 4223 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4224] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4224/stat : 4224 (java) S 4214 4216 2099 0 -1 4202560 411 0 0 0 0 0 0 0 16 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4225] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4225/stat : 4225 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4226] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4226/stat : 4226 (java) S 4214 4216 2099 0 -1 4202560 1753 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4227] ppid=4214 vsize=13627956 CPUtime=0.05 cores=1,3,5,7
/proc/4216/task/4227/stat : 4227 (java) S 4214 4216 2099 0 -1 4202560 5719 0 0 0 5 0 0 0 15 0 19 0 826491066 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 0 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4228] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4228/stat : 4228 (java) S 4214 4216 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4229] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4229/stat : 4229 (java) S 4214 4216 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4230] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4230/stat : 4230 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676631985 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4231] ppid=4214 vsize=13627956 CPUtime=0.32 cores=1,3,5,7
/proc/4216/task/4231/stat : 4231 (java) S 4214 4216 2099 0 -1 4202560 3134 0 0 0 32 0 0 0 15 0 19 0 826491069 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4232] ppid=4214 vsize=13627956 CPUtime=0.3 cores=1,3,5,7
/proc/4216/task/4232/stat : 4232 (java) S 4214 4216 2099 0 -1 4202560 1682 0 0 0 30 0 0 0 15 0 19 0 826491069 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4233] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4233/stat : 4233 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4234] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4234/stat : 4234 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826491069 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4235] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4235/stat : 4235 (java) S 4214 4216 2099 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826491109 13955026944 45793 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13627956
[startup+6.30141 s]
/proc/loadavg: 1.95 2.00 1.91 3/471 4235
/proc/meminfo: memFree=12086060/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13627956 CPUtime=7.12 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 51157 0 1 0 704 8 0 0 25 0 19 0 826491062 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3406989 47505 2263 9 0 3397723 0
[pid=4216/tid=4217] ppid=4214 vsize=13627956 CPUtime=6.12 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 29438 0 1 0 607 5 0 0 25 0 19 0 826491063 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 46912505705537 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4216/tid=4219] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4219/stat : 4219 (java) S 4214 4216 2099 0 -1 4202560 1480 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4220] ppid=4214 vsize=13627956 CPUtime=0.01 cores=1,3,5,7
/proc/4216/task/4220/stat : 4220 (java) S 4214 4216 2099 0 -1 4202560 1890 0 0 0 1 0 0 0 15 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4221] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4221/stat : 4221 (java) S 4214 4216 2099 0 -1 4202560 1060 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4222] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4222/stat : 4222 (java) S 4214 4216 2099 0 -1 4202560 492 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4223] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4223/stat : 4223 (java) S 4214 4216 2099 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4224] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4224/stat : 4224 (java) S 4214 4216 2099 0 -1 4202560 413 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4225] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4225/stat : 4225 (java) S 4214 4216 2099 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4226] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4226/stat : 4226 (java) S 4214 4216 2099 0 -1 4202560 2032 0 0 0 0 0 0 0 16 0 19 0 826491065 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4227] ppid=4214 vsize=13627956 CPUtime=0.12 cores=1,3,5,7
/proc/4216/task/4227/stat : 4227 (java) S 4214 4216 2099 0 -1 4202560 6410 0 0 0 12 0 0 0 16 0 19 0 826491066 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 0 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4228] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4228/stat : 4228 (java) S 4214 4216 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4229] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4229/stat : 4229 (java) S 4214 4216 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4230] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4230/stat : 4230 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676631985 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4231] ppid=4214 vsize=13627956 CPUtime=0.33 cores=1,3,5,7
/proc/4216/task/4231/stat : 4231 (java) S 4214 4216 2099 0 -1 4202560 3137 0 0 0 33 0 0 0 15 0 19 0 826491069 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4232] ppid=4214 vsize=13627956 CPUtime=0.45 cores=1,3,5,7
/proc/4216/task/4232/stat : 4232 (java) S 4214 4216 2099 0 -1 4202560 3486 0 0 0 45 0 0 0 15 0 19 0 826491069 13955026944 47505 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=4216/tid=4224] ppid=4214 vsize=13627956 CPUtime=0.65 cores=1,3,5,7
/proc/4216/task/4224/stat : 4224 (java) S 4214 4216 2099 0 -1 4202560 4264 0 0 0 65 0 0 0 15 0 19 0 826491065 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4225] ppid=4214 vsize=13627956 CPUtime=0.7 cores=1,3,5,7
/proc/4216/task/4225/stat : 4225 (java) S 4214 4216 2099 0 -1 4202560 2879 0 0 0 70 0 0 0 16 0 19 0 826491065 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4226] ppid=4214 vsize=13627956 CPUtime=0.84 cores=1,3,5,7
/proc/4216/task/4226/stat : 4226 (java) S 4214 4216 2099 0 -1 4202560 4069 0 0 0 83 1 0 0 15 0 19 0 826491065 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4227] ppid=4214 vsize=13627956 CPUtime=13.77 cores=1,3,5,7
/proc/4216/task/4227/stat : 4227 (java) S 4214 4216 2099 0 -1 4202560 27546 0 0 0 1372 5 0 0 15 0 19 0 826491066 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 0 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4228] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4228/stat : 4228 (java) S 4214 4216 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4229] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4229/stat : 4229 (java) S 4214 4216 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4230] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4230/stat : 4230 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676631985 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4231] ppid=4214 vsize=13627956 CPUtime=0.33 cores=1,3,5,7
/proc/4216/task/4231/stat : 4231 (java) S 4214 4216 2099 0 -1 4202560 3137 0 0 0 33 0 0 0 15 0 19 0 826491069 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4232] ppid=4214 vsize=13627956 CPUtime=0.47 cores=1,3,5,7
/proc/4216/task/4232/stat : 4232 (java) S 4214 4216 2099 0 -1 4202560 3683 0 0 0 47 0 0 0 15 0 19 0 826491069 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4233] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4233/stat : 4233 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4234] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4234/stat : 4234 (java) S 4214 4216 2099 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826491069 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4235] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4235/stat : 4235 (java) S 4214 4216 2099 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826491109 13955026944 90951 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.39
Current children cumulated vsize (KiB) 13627956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/471 4293
/proc/meminfo: memFree=11757596/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13627956 CPUtime=1726.46 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 95352 0 1 0 172627 19 0 0 25 0 19 0 826491062 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3406989 90988 2264 9 0 3397723 0
[pid=4216/tid=4217] ppid=4214 vsize=13627956 CPUtime=1705.29 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 29728 0 1 0 170523 6 0 0 25 0 19 0 826491063 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 46912505740289 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4216/tid=4219] ppid=4214 vsize=13627956 CPUtime=0.85 cores=1,3,5,7
/proc/4216/task/4219/stat : 4219 (java) S 4214 4216 2099 0 -1 4202560 4116 0 0 0 85 0 0 0 15 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4220] ppid=4214 vsize=13627956 CPUtime=0.68 cores=1,3,5,7
/proc/4216/task/4220/stat : 4220 (java) S 4214 4216 2099 0 -1 4202560 3783 0 0 0 68 0 0 0 15 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4221] ppid=4214 vsize=13627956 CPUtime=0.69 cores=1,3,5,7
/proc/4216/task/4221/stat : 4221 (java) S 4214 4216 2099 0 -1 4202560 5444 0 0 0 69 0 0 0 16 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4222] ppid=4214 vsize=13627956 CPUtime=0.75 cores=1,3,5,7
/proc/4216/task/4222/stat : 4222 (java) S 4214 4216 2099 0 -1 4202560 3211 0 0 0 75 0 0 0 15 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4223] ppid=4214 vsize=13627956 CPUtime=0.76 cores=1,3,5,7
/proc/4216/task/4223/stat : 4223 (java) S 4214 4216 2099 0 -1 4202560 2221 0 0 0 76 0 0 0 16 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4224] ppid=4214 vsize=13627956 CPUtime=0.67 cores=1,3,5,7
/proc/4216/task/4224/stat : 4224 (java) S 4214 4216 2099 0 -1 4202560 4264 0 0 0 66 1 0 0 15 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4225] ppid=4214 vsize=13627956 CPUtime=0.72 cores=1,3,5,7
/proc/4216/task/4225/stat : 4225 (java) S 4214 4216 2099 0 -1 4202560 2879 0 0 0 72 0 0 0 15 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4226] ppid=4214 vsize=13627956 CPUtime=0.87 cores=1,3,5,7
/proc/4216/task/4226/stat : 4226 (java) S 4214 4216 2099 0 -1 4202560 4091 0 0 0 86 1 0 0 16 0 19 0 826491065 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4227] ppid=4214 vsize=13627956 CPUtime=14.25 cores=1,3,5,7
/proc/4216/task/4227/stat : 4227 (java) S 4214 4216 2099 0 -1 4202560 27548 0 0 0 1420 5 0 0 15 0 19 0 826491066 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 0 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4228] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4228/stat : 4228 (java) S 4214 4216 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4229] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4229/stat : 4229 (java) S 4214 4216 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4230] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4230/stat : 4230 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676631985 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4231] ppid=4214 vsize=13627956 CPUtime=0.33 cores=1,3,5,7
/proc/4216/task/4231/stat : 4231 (java) S 4214 4216 2099 0 -1 4202560 3137 0 0 0 33 0 0 0 15 0 19 0 826491069 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4232] ppid=4214 vsize=13627956 CPUtime=0.47 cores=1,3,5,7
/proc/4216/task/4232/stat : 4232 (java) S 4214 4216 2099 0 -1 4202560 3683 0 0 0 47 0 0 0 15 0 19 0 826491069 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4233] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4233/stat : 4233 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4234] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4234/stat : 4234 (java) S 4214 4216 2099 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826491069 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4235] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4235/stat : 4235 (java) S 4214 4216 2099 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826491109 13955026944 90988 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.46
Current children cumulated vsize (KiB) 13627956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/471 4295
/proc/meminfo: memFree=11749764/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13627956 CPUtime=1786.53 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 96975 0 1 0 178634 19 0 0 25 0 19 0 826491062 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3406989 92594 2264 9 0 3397723 0
[pid=4216/tid=4217] ppid=4214 vsize=13627956 CPUtime=1764.71 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 29737 0 1 0 176465 6 0 0 25 0 19 0 826491063 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 46912505705652 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4216/tid=4219] ppid=4214 vsize=13627956 CPUtime=0.87 cores=1,3,5,7
/proc/4216/task/4219/stat : 4219 (java) S 4214 4216 2099 0 -1 4202560 4121 0 0 0 87 0 0 0 15 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4220] ppid=4214 vsize=13627956 CPUtime=0.71 cores=1,3,5,7
/proc/4216/task/4220/stat : 4220 (java) S 4214 4216 2099 0 -1 4202560 3788 0 0 0 71 0 0 0 15 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4221] ppid=4214 vsize=13627956 CPUtime=0.7 cores=1,3,5,7
/proc/4216/task/4221/stat : 4221 (java) S 4214 4216 2099 0 -1 4202560 5444 0 0 0 70 0 0 0 15 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4222] ppid=4214 vsize=13627956 CPUtime=0.76 cores=1,3,5,7
/proc/4216/task/4222/stat : 4222 (java) S 4214 4216 2099 0 -1 4202560 3211 0 0 0 76 0 0 0 16 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4223] ppid=4214 vsize=13627956 CPUtime=0.77 cores=1,3,5,7
/proc/4216/task/4223/stat : 4223 (java) S 4214 4216 2099 0 -1 4202560 2221 0 0 0 77 0 0 0 15 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4224] ppid=4214 vsize=13627956 CPUtime=0.69 cores=1,3,5,7
/proc/4216/task/4224/stat : 4224 (java) S 4214 4216 2099 0 -1 4202560 4264 0 0 0 68 1 0 0 16 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4225] ppid=4214 vsize=13627956 CPUtime=0.74 cores=1,3,5,7
/proc/4216/task/4225/stat : 4225 (java) S 4214 4216 2099 0 -1 4202560 2879 0 0 0 74 0 0 0 15 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4226] ppid=4214 vsize=13627956 CPUtime=0.91 cores=1,3,5,7
/proc/4216/task/4226/stat : 4226 (java) S 4214 4216 2099 0 -1 4202560 4115 0 0 0 90 1 0 0 16 0 19 0 826491065 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4227] ppid=4214 vsize=13627956 CPUtime=14.76 cores=1,3,5,7
/proc/4216/task/4227/stat : 4227 (java) S 4214 4216 2099 0 -1 4202560 29124 0 0 0 1471 5 0 0 15 0 19 0 826491066 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 0 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4228] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4228/stat : 4228 (java) S 4214 4216 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4229] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4229/stat : 4229 (java) S 4214 4216 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4230] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4230/stat : 4230 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676631985 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4231] ppid=4214 vsize=13627956 CPUtime=0.33 cores=1,3,5,7
/proc/4216/task/4231/stat : 4231 (java) S 4214 4216 2099 0 -1 4202560 3137 0 0 0 33 0 0 0 15 0 19 0 826491069 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4232] ppid=4214 vsize=13627956 CPUtime=0.47 cores=1,3,5,7
/proc/4216/task/4232/stat : 4232 (java) S 4214 4216 2099 0 -1 4202560 3683 0 0 0 47 0 0 0 15 0 19 0 826491069 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4233] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4233/stat : 4233 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4234] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4234/stat : 4234 (java) S 4214 4216 2099 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826491069 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4235] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4235/stat : 4235 (java) S 4214 4216 2099 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826491109 13955026944 92594 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (KiB) 13627956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 1.93 2.00 1.99 3/471 4433
/proc/meminfo: memFree=12037304/32951132 swapFree=67093840/67111528
[pid=4216] ppid=4214 vsize=13627956 CPUtime=1800.07 cores=1,3,5,7
/proc/4216/stat : 4216 (java) S 4214 4216 2099 0 -1 4202496 97007 0 1 0 179987 20 0 0 25 0 19 0 826491062 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4216/statm: 3406989 92622 2264 9 0 3397723 0
[pid=4216/tid=4217] ppid=4214 vsize=13627956 CPUtime=1778.11 cores=1,3,5,7
/proc/4216/task/4217/stat : 4217 (java) R 4214 4216 2099 0 -1 4202560 29739 0 1 0 177805 6 0 0 25 0 19 0 826491063 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 46912505705625 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4216/tid=4219] ppid=4214 vsize=13627956 CPUtime=0.87 cores=1,3,5,7
/proc/4216/task/4219/stat : 4219 (java) S 4214 4216 2099 0 -1 4202560 4121 0 0 0 87 0 0 0 15 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4220] ppid=4214 vsize=13627956 CPUtime=0.71 cores=1,3,5,7
/proc/4216/task/4220/stat : 4220 (java) S 4214 4216 2099 0 -1 4202560 3794 0 0 0 71 0 0 0 16 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4221] ppid=4214 vsize=13627956 CPUtime=0.72 cores=1,3,5,7
/proc/4216/task/4221/stat : 4221 (java) S 4214 4216 2099 0 -1 4202560 5444 0 0 0 71 1 0 0 16 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4222] ppid=4214 vsize=13627956 CPUtime=0.77 cores=1,3,5,7
/proc/4216/task/4222/stat : 4222 (java) S 4214 4216 2099 0 -1 4202560 3211 0 0 0 77 0 0 0 15 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4223] ppid=4214 vsize=13627956 CPUtime=0.77 cores=1,3,5,7
/proc/4216/task/4223/stat : 4223 (java) S 4214 4216 2099 0 -1 4202560 2221 0 0 0 77 0 0 0 15 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4224] ppid=4214 vsize=13627956 CPUtime=0.69 cores=1,3,5,7
/proc/4216/task/4224/stat : 4224 (java) S 4214 4216 2099 0 -1 4202560 4264 0 0 0 68 1 0 0 16 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 5 0 0 0
[pid=4216/tid=4225] ppid=4214 vsize=13627956 CPUtime=0.76 cores=1,3,5,7
/proc/4216/task/4225/stat : 4225 (java) S 4214 4216 2099 0 -1 4202560 2901 0 0 0 76 0 0 0 16 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4226] ppid=4214 vsize=13627956 CPUtime=0.91 cores=1,3,5,7
/proc/4216/task/4226/stat : 4226 (java) S 4214 4216 2099 0 -1 4202560 4115 0 0 0 90 1 0 0 15 0 19 0 826491065 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4227] ppid=4214 vsize=13627956 CPUtime=14.86 cores=1,3,5,7
/proc/4216/task/4227/stat : 4227 (java) S 4214 4216 2099 0 -1 4202560 29124 0 0 0 1481 5 0 0 15 0 19 0 826491066 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 0 0 16800975 18446604461932700672 0 0 -1 1 0 0 0
[pid=4216/tid=4228] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4228/stat : 4228 (java) S 4214 4216 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4229] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4229/stat : 4229 (java) S 4214 4216 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826491067 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4230] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4230/stat : 4230 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676631985 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4231] ppid=4214 vsize=13627956 CPUtime=0.33 cores=1,3,5,7
/proc/4216/task/4231/stat : 4231 (java) S 4214 4216 2099 0 -1 4202560 3137 0 0 0 33 0 0 0 15 0 19 0 826491069 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4232] ppid=4214 vsize=13627956 CPUtime=0.47 cores=1,3,5,7
/proc/4216/task/4232/stat : 4232 (java) S 4214 4216 2099 0 -1 4202560 3683 0 0 0 47 0 0 0 15 0 19 0 826491069 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4233] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4233/stat : 4233 (java) S 4214 4216 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826491069 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624281 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
[pid=4216/tid=4234] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4234/stat : 4234 (java) S 4214 4216 2099 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826491069 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 3 0 0 0
[pid=4216/tid=4235] ppid=4214 vsize=13627956 CPUtime=0 cores=1,3,5,7
/proc/4216/task/4235/stat : 4235 (java) S 4214 4216 2099 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826491109 13955026944 92622 33554432000 1073741824 1073778376 140736489511440 18446744073709551615 274676624896 0 4 0 16800975 18446604461932700672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13627956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.87
CPU time (s): 1800.18
CPU user time (s): 1799.96
CPU system time (s): 0.218966
CPU usage (%): 100.24
Max. virtual memory (cumulated for all children) (KiB): 13627956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97054
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44620
involuntary context switches= 41988
runsolver used 7.75882 second user time and 18.4192 second system time
The end