runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313426-1304185334/watcher-3313426-1304185334 -o /tmp/evaluation-result-3313426-1304185334/solver-3313426-1304185334 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313426-1304185334.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.85 8.00 7.79 5/198 16339
/proc/meminfo: memFree=30554760/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/16339/stat : 16339 (java) R 16337 16339 16197 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 530133838 23580672 438 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230804203264 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16339/statm: 5757 449 346 9 0 124 0
[startup+0.038774 s]
/proc/loadavg: 7.85 8.00 7.79 5/198 16339
/proc/meminfo: memFree=30554760/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15604248 CPUtime=0.02 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 3692 0 1 0 2 0 0 0 25 0 13 0 530133838 15978749952 3131 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3901062 3133 1679 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248
[startup+0.1008 s]
/proc/loadavg: 7.85 8.00 7.79 5/198 16339
/proc/meminfo: memFree=30554760/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15676436 CPUtime=0.1 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 5535 0 1 0 9 1 0 0 25 0 18 0 530133838 16052670464 4955 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3919109 4955 2117 9 0 3909828 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676436
[startup+0.300784 s]
/proc/loadavg: 7.85 8.00 7.79 5/198 16339
/proc/meminfo: memFree=30554760/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15681540 CPUtime=0.51 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 15091 0 1 0 48 3 0 0 25 0 18 0 530133838 16057896960 13268 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3920385 13273 2207 9 0 3911104 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681540
[startup+0.704764 s]
/proc/loadavg: 7.85 8.00 7.79 5/198 16339
/proc/meminfo: memFree=30554760/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15691672 CPUtime=1.11 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 44499 0 1 0 104 7 0 0 25 0 22 0 530133838 16068272128 40874 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3922918 40874 2253 9 0 3913637 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 15691672
[startup+1.50162 s]
/proc/loadavg: 7.85 8.00 7.79 4/197 16365
/proc/meminfo: memFree=30721488/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15705076 CPUtime=3.16 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 56307 0 1 0 307 9 0 0 25 0 22 0 530133838 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3926269 47127 2266 9 0 3916988 0
[pid=16339/tid=16341] ppid=16337 vsize=15705076 CPUtime=1.45 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (java) S 16337 16339 16197 0 -1 4202560 35672 0 1 0 140 5 0 0 21 0 22 0 530133838 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16342] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16343] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16343/stat : 16343 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16344] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16344/stat : 16344 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16346] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16346/stat : 16346 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16347] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16347/stat : 16347 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16348] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16348/stat : 16348 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16349] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16349/stat : 16349 (java) S 16337 16339 16197 0 -1 4202560 353 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16350] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16350/stat : 16350 (java) S 16337 16339 16197 0 -1 4202560 50 0 0 0 0 0 0 0 21 0 22 0 530133839 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16351] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16351/stat : 16351 (java) S 16337 16339 16197 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530133840 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 0 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16352] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16352/stat : 16352 (java) S 16337 16339 16197 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 530133840 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16353] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16353/stat : 16353 (java) S 16337 16339 16197 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 530133840 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16354] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16354/stat : 16354 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820989361 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16355] ppid=16337 vsize=15705076 CPUtime=0.71 cores=0,2,4,6
/proc/16339/task/16355/stat : 16355 (java) R 16337 16339 16197 0 -1 4202560 6747 0 0 0 69 2 0 0 18 0 22 0 530133843 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 47952910773335 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16339/tid=16356] ppid=16337 vsize=15705076 CPUtime=0.96 cores=0,2,4,6
/proc/16339/task/16356/stat : 16356 (java) S 16337 16339 16197 0 -1 4202560 12037 0 0 0 95 1 0 0 16 0 22 0 530133843 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16357] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16357/stat : 16357 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16358] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16358/stat : 16358 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530133843 16081997824 47127 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16362] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16362/stat : 16362 (java) R 16337 16339 16197 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 530133888 16081997824 47128 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 47952912228357 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16339/tid=16363] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16363/stat : 16363 (java) S 16337 16339 16197 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530133888 16081997824 47130 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16364] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16364/stat : 16364 (java) S 16337 16339 16197 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 530133888 16081997824 47131 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16365] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16365/stat : 16365 (java) S 16337 16339 16197 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 530133888 16081997824 47131 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 15705076
[startup+3.10124 s]
/proc/loadavg: 7.85 8.00 7.79 4/197 16365
/proc/meminfo: memFree=30688752/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15705076 CPUtime=8.36 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 85905 0 1 0 821 15 0 0 25 0 22 0 530133838 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3926269 74883 2275 9 0 3916988 0
[pid=16339/tid=16341] ppid=16337 vsize=15705076 CPUtime=1.45 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (java) S 16337 16339 16197 0 -1 4202560 35672 0 1 0 140 5 0 0 21 0 22 0 530133838 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16342] ppid=16337 vsize=15705076 CPUtime=0.01 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (java) S 16337 16339 16197 0 -1 4202560 3717 0 0 0 1 0 0 0 16 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16343] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16343/stat : 16343 (java) S 16337 16339 16197 0 -1 4202560 2029 0 0 0 0 0 0 0 15 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16344] ppid=16337 vsize=15705076 CPUtime=0.01 cores=0,2,4,6
/proc/16339/task/16344/stat : 16344 (java) S 16337 16339 16197 0 -1 4202560 5080 0 0 0 1 0 0 0 16 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16346] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16346/stat : 16346 (java) S 16337 16339 16197 0 -1 4202560 2942 0 0 0 0 0 0 0 15 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16347] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16347/stat : 16347 (java) S 16337 16339 16197 0 -1 4202560 939 0 0 0 0 0 0 0 15 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16348] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16348/stat : 16348 (java) S 16337 16339 16197 0 -1 4202560 3070 0 0 0 0 0 0 0 16 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16349] ppid=16337 vsize=15705076 CPUtime=0.01 cores=0,2,4,6
/proc/16339/task/16349/stat : 16349 (java) S 16337 16339 16197 0 -1 4202560 4305 0 0 0 1 0 0 0 16 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16350] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16350/stat : 16350 (java) S 16337 16339 16197 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 530133839 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16351] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16351/stat : 16351 (java) S 16337 16339 16197 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 530133840 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 0 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16352] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16352/stat : 16352 (java) S 16337 16339 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530133840 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16353] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16353/stat : 16353 (java) S 16337 16339 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530133840 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16354] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16354/stat : 16354 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820989361 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16355] ppid=16337 vsize=15705076 CPUtime=0.95 cores=0,2,4,6
/proc/16339/task/16355/stat : 16355 (java) S 16337 16339 16197 0 -1 4202560 8456 0 0 0 93 2 0 0 15 0 22 0 530133843 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16356] ppid=16337 vsize=15705076 CPUtime=1.16 cores=0,2,4,6
/proc/16339/task/16356/stat : 16356 (java) S 16337 16339 16197 0 -1 4202560 12134 0 0 0 115 1 0 0 15 0 22 0 530133843 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16357] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16357/stat : 16357 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16358] ppid=16337 vsize=15705076 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16358/stat : 16358 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530133843 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16362] ppid=16337 vsize=15705076 CPUtime=1.23 cores=0,2,4,6
/proc/16339/task/16362/stat : 16362 (java) R 16337 16339 16197 0 -1 4202560 943 0 0 0 123 0 0 0 16 0 22 0 530133888 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 47952916051934 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16339/tid=16363] ppid=16337 vsize=15705076 CPUtime=1.2 cores=0,2,4,6
/proc/16339/task/16363/stat : 16363 (java) R 16337 16339 16197 0 -1 4202560 1405 0 0 0 120 0 0 0 16 0 22 0 530133888 16081997824 74883 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912506300077 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16339/tid=16364] ppid=16337 vsize=15705076 CPUtime=1.05 cores=0,2,4,6
/proc/16339/task/16364/stat : 16364 (java) R 16337 16339 16197 0 -1 4202560 2023 0 0 0 105 0 0 0 16 0 22 0 530133888 16081997824 74884 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912506201588 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16339/tid=16365] ppid=16337 vsize=15705076 CPUtime=1.15 cores=0,2,4,6
/proc/16339/task/16365/stat : 16365 (java) R 16337 16339 16197 0 -1 4202560 1680 0 0 0 115 0 0 0 16 0 22 0 530133888 16081997824 74884 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912506300667 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.36
Current children cumulated vsize (KiB) 15705076
[startup+6.30165 s]
/proc/loadavg: 7.70 7.97 7.78 7/220 16413
/proc/meminfo: memFree=29980876/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15696252 CPUtime=21.13 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 203809 0 1 0 2081 32 0 0 25 0 22 0 530133838 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3924063 190287 2275 9 0 3914782 0
[pid=16339/tid=16341] ppid=16337 vsize=15696252 CPUtime=1.45 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (java) S 16337 16339 16197 0 -1 4202560 35672 0 1 0 140 5 0 0 21 0 22 0 530133838 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16342] ppid=16337 vsize=15696252 CPUtime=0.03 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (java) S 16337 16339 16197 0 -1 4202560 7283 0 0 0 2 1 0 0 16 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16343] ppid=16337 vsize=15696252 CPUtime=0.04 cores=0,2,4,6
/proc/16339/task/16343/stat : 16343 (java) S 16337 16339 16197 0 -1 4202560 11433 0 0 0 2 2 0 0 16 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16344] ppid=16337 vsize=15696252 CPUtime=0.04 cores=0,2,4,6
/proc/16339/task/16344/stat : 16344 (java) S 16337 16339 16197 0 -1 4202560 12671 0 0 0 3 1 0 0 15 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16346] ppid=16337 vsize=15696252 CPUtime=0.03 cores=0,2,4,6
/proc/16339/task/16346/stat : 16346 (java) S 16337 16339 16197 0 -1 4202560 10365 0 0 0 2 1 0 0 16 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16347] ppid=16337 vsize=15696252 CPUtime=0.01 cores=0,2,4,6
/proc/16339/task/16347/stat : 16347 (java) S 16337 16339 16197 0 -1 4202560 2709 0 0 0 1 0 0 0 15 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16348] ppid=16337 vsize=15696252 CPUtime=0.02 cores=0,2,4,6
/proc/16339/task/16348/stat : 16348 (java) S 16337 16339 16197 0 -1 4202560 7112 0 0 0 1 1 0 0 15 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16349] ppid=16337 vsize=15696252 CPUtime=0.05 cores=0,2,4,6
/proc/16339/task/16349/stat : 16349 (java) S 16337 16339 16197 0 -1 4202560 12966 0 0 0 3 2 0 0 15 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16350] ppid=16337 vsize=15696252 CPUtime=0.02 cores=0,2,4,6
/proc/16339/task/16350/stat : 16350 (java) S 16337 16339 16197 0 -1 4202560 5302 0 0 0 2 0 0 0 16 0 22 0 530133839 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16351] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16351/stat : 16351 (java) S 16337 16339 16197 0 -1 4202560 499 0 0 0 0 0 0 0 15 0 22 0 530133840 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 0 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16352] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16352/stat : 16352 (java) S 16337 16339 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16353] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16353/stat : 16353 (java) S 16337 16339 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16354] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16354/stat : 16354 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820989361 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16355] ppid=16337 vsize=15696252 CPUtime=1.04 cores=0,2,4,6
/proc/16339/task/16355/stat : 16355 (java) S 16337 16339 16197 0 -1 4202560 8640 0 0 0 102 2 0 0 16 0 22 0 530133843 16072962048 190287 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=16339/tid=16363] ppid=16337 vsize=15696252 CPUtime=1107.65 cores=0,2,4,6
/proc/16339/task/16363/stat : 16363 (java) R 16337 16339 16197 0 -1 4202560 299408 0 0 0 110727 38 0 0 25 0 22 0 530133888 16072962048 193703 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912506057069 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16339/tid=16364] ppid=16337 vsize=15696252 CPUtime=1107.78 cores=0,2,4,6
/proc/16339/task/16364/stat : 16364 (java) R 16337 16339 16197 0 -1 4202560 285074 0 0 0 110738 40 0 0 25 0 22 0 530133888 16072962048 193703 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912506364881 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16339/tid=16365] ppid=16337 vsize=15696252 CPUtime=1107.82 cores=0,2,4,6
/proc/16339/task/16365/stat : 16365 (java) R 16337 16339 16197 0 -1 4202560 309285 0 0 0 110740 42 0 0 25 0 22 0 530133888 16072962048 193703 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505879368 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4468.75
Current children cumulated vsize (KiB) 15696252
[startup+1182.3 s]
/proc/loadavg: 8.10 8.01 7.70 9/220 16503
/proc/meminfo: memFree=22273656/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15696252 CPUtime=4707.78 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 3081379 0 1 0 470235 543 0 0 25 0 22 0 530133838 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3924063 200120 2293 9 0 3914782 0
[pid=16339/tid=16341] ppid=16337 vsize=15696252 CPUtime=1.45 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (java) S 16337 16339 16197 0 -1 4202560 35672 0 1 0 140 5 0 0 21 0 22 0 530133838 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16342] ppid=16337 vsize=15696252 CPUtime=4.49 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (java) S 16337 16339 16197 0 -1 4202560 226217 0 0 0 410 39 0 0 16 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16343] ppid=16337 vsize=15696252 CPUtime=4.25 cores=0,2,4,6
/proc/16339/task/16343/stat : 16343 (java) S 16337 16339 16197 0 -1 4202560 225817 0 0 0 386 39 0 0 16 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16344] ppid=16337 vsize=15696252 CPUtime=4.33 cores=0,2,4,6
/proc/16339/task/16344/stat : 16344 (java) S 16337 16339 16197 0 -1 4202560 211938 0 0 0 398 35 0 0 15 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16346] ppid=16337 vsize=15696252 CPUtime=4.32 cores=0,2,4,6
/proc/16339/task/16346/stat : 16346 (java) S 16337 16339 16197 0 -1 4202560 199844 0 0 0 399 33 0 0 16 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16347] ppid=16337 vsize=15696252 CPUtime=4.31 cores=0,2,4,6
/proc/16339/task/16347/stat : 16347 (java) S 16337 16339 16197 0 -1 4202560 208287 0 0 0 395 36 0 0 15 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16348] ppid=16337 vsize=15696252 CPUtime=4.43 cores=0,2,4,6
/proc/16339/task/16348/stat : 16348 (java) S 16337 16339 16197 0 -1 4202560 215357 0 0 0 408 35 0 0 15 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16349] ppid=16337 vsize=15696252 CPUtime=4.3 cores=0,2,4,6
/proc/16339/task/16349/stat : 16349 (java) S 16337 16339 16197 0 -1 4202560 231947 0 0 0 388 42 0 0 15 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16350] ppid=16337 vsize=15696252 CPUtime=4.31 cores=0,2,4,6
/proc/16339/task/16350/stat : 16350 (java) S 16337 16339 16197 0 -1 4202560 220826 0 0 0 396 35 0 0 16 0 22 0 530133839 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16351] ppid=16337 vsize=15696252 CPUtime=2.12 cores=0,2,4,6
/proc/16339/task/16351/stat : 16351 (java) S 16337 16339 16197 0 -1 4202560 7456 0 0 0 150 62 0 0 15 0 22 0 530133840 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 0 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16352] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16352/stat : 16352 (java) S 16337 16339 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16353] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16353/stat : 16353 (java) S 16337 16339 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16354] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16354/stat : 16354 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820989361 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16355] ppid=16337 vsize=15696252 CPUtime=1.07 cores=0,2,4,6
/proc/16339/task/16355/stat : 16355 (java) S 16337 16339 16197 0 -1 4202560 8642 0 0 0 105 2 0 0 16 0 22 0 530133843 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16356] ppid=16337 vsize=15696252 CPUtime=1.39 cores=0,2,4,6
/proc/16339/task/16356/stat : 16356 (java) S 16337 16339 16197 0 -1 4202560 12159 0 0 0 138 1 0 0 15 0 22 0 530133843 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16357] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16357/stat : 16357 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16358] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16358/stat : 16358 (java) S 16337 16339 16197 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 530133843 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16362] ppid=16337 vsize=15696252 CPUtime=1165.81 cores=0,2,4,6
/proc/16339/task/16362/stat : 16362 (java) R 16337 16339 16197 0 -1 4202560 330359 0 0 0 116538 43 0 0 25 0 22 0 530133888 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912506334769 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16339/tid=16363] ppid=16337 vsize=15696252 CPUtime=1167.01 cores=0,2,4,6
/proc/16339/task/16363/stat : 16363 (java) R 16337 16339 16197 0 -1 4202560 313879 0 0 0 116661 40 0 0 25 0 22 0 530133888 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505632800 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16339/tid=16364] ppid=16337 vsize=15696252 CPUtime=1167.02 cores=0,2,4,6
/proc/16339/task/16364/stat : 16364 (java) R 16337 16339 16197 0 -1 4202560 303922 0 0 0 116660 42 0 0 25 0 22 0 530133888 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912506201961 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16339/tid=16365] ppid=16337 vsize=15696252 CPUtime=1167.02 cores=0,2,4,6
/proc/16339/task/16365/stat : 16365 (java) R 16337 16339 16197 0 -1 4202560 327604 0 0 0 116656 46 0 0 25 0 22 0 530133888 16072962048 200120 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505601391 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4707.78
Current children cumulated vsize (KiB) 15696252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1205.5 s]
/proc/loadavg: 8.14 8.02 7.71 9/220 16503
/proc/meminfo: memFree=22279960/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15696252 CPUtime=4800.25 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 3136757 0 1 0 479473 552 0 0 25 0 22 0 530133838 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3924063 198697 2293 9 0 3914782 0
[pid=16339/tid=16341] ppid=16337 vsize=15696252 CPUtime=1.45 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (java) S 16337 16339 16197 0 -1 4202560 35672 0 1 0 140 5 0 0 21 0 22 0 530133838 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16342] ppid=16337 vsize=15696252 CPUtime=4.59 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (java) S 16337 16339 16197 0 -1 4202560 231543 0 0 0 420 39 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16343] ppid=16337 vsize=15696252 CPUtime=4.35 cores=0,2,4,6
/proc/16339/task/16343/stat : 16343 (java) S 16337 16339 16197 0 -1 4202560 231082 0 0 0 395 40 0 0 15 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16344] ppid=16337 vsize=15696252 CPUtime=4.42 cores=0,2,4,6
/proc/16339/task/16344/stat : 16344 (java) S 16337 16339 16197 0 -1 4202560 214791 0 0 0 407 35 0 0 15 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16346] ppid=16337 vsize=15696252 CPUtime=4.4 cores=0,2,4,6
/proc/16339/task/16346/stat : 16346 (java) S 16337 16339 16197 0 -1 4202560 202088 0 0 0 406 34 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16347] ppid=16337 vsize=15696252 CPUtime=4.39 cores=0,2,4,6
/proc/16339/task/16347/stat : 16347 (java) S 16337 16339 16197 0 -1 4202560 211213 0 0 0 402 37 0 0 15 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16348] ppid=16337 vsize=15696252 CPUtime=4.53 cores=0,2,4,6
/proc/16339/task/16348/stat : 16348 (java) S 16337 16339 16197 0 -1 4202560 220142 0 0 0 417 36 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16349] ppid=16337 vsize=15696252 CPUtime=4.39 cores=0,2,4,6
/proc/16339/task/16349/stat : 16349 (java) S 16337 16339 16197 0 -1 4202560 237595 0 0 0 396 43 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16350] ppid=16337 vsize=15696252 CPUtime=4.37 cores=0,2,4,6
/proc/16339/task/16350/stat : 16350 (java) S 16337 16339 16197 0 -1 4202560 222809 0 0 0 402 35 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16351] ppid=16337 vsize=15696252 CPUtime=2.17 cores=0,2,4,6
/proc/16339/task/16351/stat : 16351 (java) S 16337 16339 16197 0 -1 4202560 7569 0 0 0 154 63 0 0 15 0 22 0 530133840 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 0 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16352] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16352/stat : 16352 (java) S 16337 16339 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16353] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16353/stat : 16353 (java) S 16337 16339 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16354] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16354/stat : 16354 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820989361 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16355] ppid=16337 vsize=15696252 CPUtime=1.07 cores=0,2,4,6
/proc/16339/task/16355/stat : 16355 (java) S 16337 16339 16197 0 -1 4202560 8642 0 0 0 105 2 0 0 16 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16356] ppid=16337 vsize=15696252 CPUtime=1.39 cores=0,2,4,6
/proc/16339/task/16356/stat : 16356 (java) S 16337 16339 16197 0 -1 4202560 12159 0 0 0 138 1 0 0 15 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16357] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16357/stat : 16357 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16358] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16358/stat : 16358 (java) R 16337 16339 16197 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16339/tid=16362] ppid=16337 vsize=15696252 CPUtime=1188.76 cores=0,2,4,6
/proc/16339/task/16362/stat : 16362 (java) R 16337 16339 16197 0 -1 4202560 337079 0 0 0 118833 43 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505879336 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16339/tid=16363] ppid=16337 vsize=15696252 CPUtime=1189.97 cores=0,2,4,6
/proc/16339/task/16363/stat : 16363 (java) R 16337 16339 16197 0 -1 4202560 320071 0 0 0 118957 40 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505894440 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16339/tid=16364] ppid=16337 vsize=15696252 CPUtime=1189.85 cores=0,2,4,6
/proc/16339/task/16364/stat : 16364 (java) R 16337 16339 16197 0 -1 4202560 309057 0 0 0 118942 43 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505879368 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16339/tid=16365] ppid=16337 vsize=15696252 CPUtime=1189.99 cores=0,2,4,6
/proc/16339/task/16365/stat : 16365 (java) R 16337 16339 16197 0 -1 4202560 333790 0 0 0 118952 47 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505879594 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 15696252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1205.5 s]
/proc/loadavg: 8.14 8.02 7.71 9/220 16503
/proc/meminfo: memFree=22279960/32951124 swapFree=67111448/67111528
[pid=16339] ppid=16337 vsize=15696252 CPUtime=4800.25 cores=0,2,4,6
/proc/16339/stat : 16339 (java) S 16337 16339 16197 0 -1 4202496 3136757 0 1 0 479473 552 0 0 25 0 22 0 530133838 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16339/statm: 3924063 198697 2293 9 0 3914782 0
[pid=16339/tid=16341] ppid=16337 vsize=15696252 CPUtime=1.45 cores=0,2,4,6
/proc/16339/task/16341/stat : 16341 (java) S 16337 16339 16197 0 -1 4202560 35672 0 1 0 140 5 0 0 21 0 22 0 530133838 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16342] ppid=16337 vsize=15696252 CPUtime=4.59 cores=0,2,4,6
/proc/16339/task/16342/stat : 16342 (java) S 16337 16339 16197 0 -1 4202560 231543 0 0 0 420 39 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16343] ppid=16337 vsize=15696252 CPUtime=4.35 cores=0,2,4,6
/proc/16339/task/16343/stat : 16343 (java) S 16337 16339 16197 0 -1 4202560 231082 0 0 0 395 40 0 0 15 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16344] ppid=16337 vsize=15696252 CPUtime=4.42 cores=0,2,4,6
/proc/16339/task/16344/stat : 16344 (java) S 16337 16339 16197 0 -1 4202560 214791 0 0 0 407 35 0 0 15 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16346] ppid=16337 vsize=15696252 CPUtime=4.4 cores=0,2,4,6
/proc/16339/task/16346/stat : 16346 (java) S 16337 16339 16197 0 -1 4202560 202088 0 0 0 406 34 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16347] ppid=16337 vsize=15696252 CPUtime=4.39 cores=0,2,4,6
/proc/16339/task/16347/stat : 16347 (java) S 16337 16339 16197 0 -1 4202560 211213 0 0 0 402 37 0 0 15 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16348] ppid=16337 vsize=15696252 CPUtime=4.53 cores=0,2,4,6
/proc/16339/task/16348/stat : 16348 (java) S 16337 16339 16197 0 -1 4202560 220142 0 0 0 417 36 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16349] ppid=16337 vsize=15696252 CPUtime=4.39 cores=0,2,4,6
/proc/16339/task/16349/stat : 16349 (java) S 16337 16339 16197 0 -1 4202560 237595 0 0 0 396 43 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16350] ppid=16337 vsize=15696252 CPUtime=4.37 cores=0,2,4,6
/proc/16339/task/16350/stat : 16350 (java) S 16337 16339 16197 0 -1 4202560 222809 0 0 0 402 35 0 0 16 0 22 0 530133839 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16351] ppid=16337 vsize=15696252 CPUtime=2.17 cores=0,2,4,6
/proc/16339/task/16351/stat : 16351 (java) S 16337 16339 16197 0 -1 4202560 7569 0 0 0 154 63 0 0 15 0 22 0 530133840 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 0 0 16800975 18446604453877867776 0 0 -1 0 0 0 0
[pid=16339/tid=16352] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16352/stat : 16352 (java) S 16337 16339 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16353] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16353/stat : 16353 (java) S 16337 16339 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530133840 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 6 0 0 0
[pid=16339/tid=16354] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16354/stat : 16354 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820989361 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16355] ppid=16337 vsize=15696252 CPUtime=1.07 cores=0,2,4,6
/proc/16339/task/16355/stat : 16355 (java) S 16337 16339 16197 0 -1 4202560 8642 0 0 0 105 2 0 0 16 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 2 0 0 0
[pid=16339/tid=16356] ppid=16337 vsize=15696252 CPUtime=1.39 cores=0,2,4,6
/proc/16339/task/16356/stat : 16356 (java) S 16337 16339 16197 0 -1 4202560 12159 0 0 0 138 1 0 0 15 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16357] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16357/stat : 16357 (java) S 16337 16339 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820981657 0 4 0 16800975 18446604453877867776 0 0 -1 4 0 0 0
[pid=16339/tid=16358] ppid=16337 vsize=15696252 CPUtime=0 cores=0,2,4,6
/proc/16339/task/16358/stat : 16358 (java) R 16337 16339 16197 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 530133843 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 230820982272 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16339/tid=16362] ppid=16337 vsize=15696252 CPUtime=1188.76 cores=0,2,4,6
/proc/16339/task/16362/stat : 16362 (java) R 16337 16339 16197 0 -1 4202560 337079 0 0 0 118833 43 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505879336 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16339/tid=16363] ppid=16337 vsize=15696252 CPUtime=1189.97 cores=0,2,4,6
/proc/16339/task/16363/stat : 16363 (java) R 16337 16339 16197 0 -1 4202560 320071 0 0 0 118957 40 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505894440 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16339/tid=16364] ppid=16337 vsize=15696252 CPUtime=1189.85 cores=0,2,4,6
/proc/16339/task/16364/stat : 16364 (java) R 16337 16339 16197 0 -1 4202560 309057 0 0 0 118942 43 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505879368 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16339/tid=16365] ppid=16337 vsize=15696252 CPUtime=1189.99 cores=0,2,4,6
/proc/16339/task/16365/stat : 16365 (java) R 16337 16339 16197 0 -1 4202560 333790 0 0 0 118952 47 0 0 25 0 22 0 530133888 16072962048 198697 33554432000 1073741824 1073778376 140733914929424 18446744073709551615 46912505879594 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 15696252
Child status: 143
Real time (s): 1205.56
CPU time (s): 4800.33
CPU user time (s): 4794.77
CPU system time (s): 5.56115
CPU usage (%): 398.183
Max. virtual memory (cumulated for all children) (KiB): 15705076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.77
system time used= 5.56115
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3136784
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= 81919
involuntary context switches= 73298
runsolver used 1.9577 second user time and 4.68929 second system time
The end