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-3478924-1307439559/watcher-3478924-1307439559 -o /tmp/evaluation-result-3478924-1307439559/solver-3478924-1307439559 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478924-1307439559.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: 3.88 3.95 3.76 4/575 4467
/proc/meminfo: memFree=22479944/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=256 CPUtime=0 cores=1,3,5,7
/proc/4467/stat : 4467 (java) R 4465 4467 3822 0 -1 4194304 269 0 0 0 0 0 0 0 23 0 1 0 855553658 262144 33 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239471771271 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4467/statm: 64 33 24 9 0 23 0
[pid=4467/tid=4468] ppid=4465 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) R 4465 4467 3822 0 -1 4202560 4993 0 1 0 0 0 0 0 25 0 2 0 855553659 10694979584 5809 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.078112 s]
/proc/loadavg: 3.88 3.95 3.76 4/575 4467
/proc/meminfo: memFree=22479944/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10473916 CPUtime=0.06 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 11905 0 1 0 5 1 0 0 23 0 18 0 855553658 10725289984 11602 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2618479 11603 1754 9 0 2609213 0
[pid=4467/tid=4468] ppid=4465 vsize=10473916 CPUtime=0.05 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) R 4465 4467 3822 0 -1 4202560 10733 0 1 0 4 1 0 0 22 0 18 0 855553659 10725289984 11604 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 47987458942488 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473916
[startup+0.101084 s]
/proc/loadavg: 3.88 3.95 3.76 4/575 4467
/proc/meminfo: memFree=22479944/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10540476 CPUtime=0.09 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 12977 0 1 0 8 1 0 0 23 0 18 0 855553658 10793447424 12674 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2635119 12675 2092 9 0 2625853 0
[pid=4467/tid=4468] ppid=4465 vsize=10540476 CPUtime=0.07 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) R 4465 4467 3822 0 -1 4202560 11069 0 1 0 6 1 0 0 22 0 18 0 855553659 10793447424 12676 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 47987455877125 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540476
[startup+0.301022 s]
/proc/loadavg: 3.88 3.95 3.76 4/575 4467
/proc/meminfo: memFree=22479944/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10541500 CPUtime=0.46 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 24295 0 1 0 43 3 0 0 23 0 18 0 855553658 10794496000 23747 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2635375 23748 2198 9 0 2626109 0
[pid=4467/tid=4468] ppid=4465 vsize=10541500 CPUtime=0.27 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) R 4465 4467 3822 0 -1 4202560 21342 0 1 0 25 2 0 0 22 0 18 0 855553659 10794496000 23748 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541500
[startup+0.700989 s]
/proc/loadavg: 3.88 3.95 3.76 4/575 4467
/proc/meminfo: memFree=22479944/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10543548 CPUtime=1.24 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 97928 0 1 0 112 12 0 0 23 0 18 0 855553658 10796593152 95946 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2635887 95974 2214 9 0 2626621 0
[pid=4467/tid=4468] ppid=4465 vsize=10543548 CPUtime=0.67 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) R 4465 4467 3822 0 -1 4202560 91928 0 1 0 57 10 0 0 23 0 18 0 855553659 10796593152 95989 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 47987460377690 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 10543548
[startup+1.50083 s]
/proc/loadavg: 3.89 3.95 3.76 4/593 4485
/proc/meminfo: memFree=21675848/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10543548 CPUtime=2.11 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 306144 0 1 0 177 34 0 0 23 0 18 0 855553658 10796593152 304162 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2635887 304192 2214 9 0 2626621 0
[pid=4467/tid=4468] ppid=4465 vsize=10543548 CPUtime=1.48 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) R 4465 4467 3822 0 -1 4202560 300107 0 1 0 115 33 0 0 25 0 18 0 855553659 10796593152 304205 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 47987460377690 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4467/tid=4470] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4470/stat : 4470 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304208 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4471] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4471/stat : 4471 (java) S 4465 4467 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304211 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4472] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4472/stat : 4472 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304214 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4473] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4473/stat : 4473 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304217 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4474] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4474/stat : 4474 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304220 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4475] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4475/stat : 4475 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304223 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4476] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4476/stat : 4476 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304225 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4477] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4477/stat : 4477 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855553660 10796593152 304228 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4478] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4478/stat : 4478 (java) S 4465 4467 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855553661 10796593152 304228 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4479] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4479/stat : 4479 (java) S 4465 4467 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855553662 10796593152 304230 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4480] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4480/stat : 4480 (java) S 4465 4467 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855553662 10796593152 304233 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4481] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4481/stat : 4481 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855553664 10796593152 304236 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4482] ppid=4465 vsize=10543548 CPUtime=0.29 cores=1,3,5,7
/proc/4467/task/4482/stat : 4482 (java) S 4465 4467 3822 0 -1 4202560 1644 0 0 0 29 0 0 0 16 0 18 0 855553664 10796593152 304239 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4483] ppid=4465 vsize=10543548 CPUtime=0.31 cores=1,3,5,7
/proc/4467/task/4483/stat : 4483 (java) S 4465 4467 3822 0 -1 4202560 3287 0 0 0 31 0 0 0 18 0 18 0 855553664 10796593152 304241 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4484] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4484/stat : 4484 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855553664 10796593152 304245 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4485] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4485/stat : 4485 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855553664 10796593152 304247 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 10543548
[startup+3.10152 s]
/proc/loadavg: 3.89 3.95 3.76 4/593 4485
/proc/meminfo: memFree=20517580/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10543548 CPUtime=3.95 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 669462 0 1 0 323 72 0 0 23 0 18 0 855553658 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2635887 667473 2230 9 0 2626621 0
[pid=4467/tid=4468] ppid=4465 vsize=10543548 CPUtime=3.01 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) R 4465 4467 3822 0 -1 4202560 646910 0 1 0 232 69 0 0 25 0 18 0 855553659 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912505505262 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4467/tid=4470] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4470/stat : 4470 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4471] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4471/stat : 4471 (java) S 4465 4467 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4472] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4472/stat : 4472 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4473] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4473/stat : 4473 (java) S 4465 4467 3822 0 -1 4202560 119 0 0 0 0 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4474] ppid=4465 vsize=10543548 CPUtime=0.04 cores=1,3,5,7
/proc/4467/task/4474/stat : 4474 (java) S 4465 4467 3822 0 -1 4202560 3382 0 0 0 4 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4475] ppid=4465 vsize=10543548 CPUtime=0.05 cores=1,3,5,7
/proc/4467/task/4475/stat : 4475 (java) S 4465 4467 3822 0 -1 4202560 3950 0 0 0 5 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4476] ppid=4465 vsize=10543548 CPUtime=0.06 cores=1,3,5,7
/proc/4467/task/4476/stat : 4476 (java) S 4465 4467 3822 0 -1 4202560 4256 0 0 0 6 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4477] ppid=4465 vsize=10543548 CPUtime=0.06 cores=1,3,5,7
/proc/4467/task/4477/stat : 4477 (java) S 4465 4467 3822 0 -1 4202560 4755 0 0 0 6 0 0 0 18 0 18 0 855553660 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4478] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4478/stat : 4478 (java) S 4465 4467 3822 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855553661 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4479] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4479/stat : 4479 (java) S 4465 4467 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 855553662 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4480] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4480/stat : 4480 (java) S 4465 4467 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855553662 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4481] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4481/stat : 4481 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855553664 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4482] ppid=4465 vsize=10543548 CPUtime=0.31 cores=1,3,5,7
/proc/4467/task/4482/stat : 4482 (java) S 4465 4467 3822 0 -1 4202560 1646 0 0 0 31 0 0 0 15 0 18 0 855553664 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4483] ppid=4465 vsize=10543548 CPUtime=0.35 cores=1,3,5,7
/proc/4467/task/4483/stat : 4483 (java) S 4465 4467 3822 0 -1 4202560 3289 0 0 0 35 0 0 0 15 0 18 0 855553664 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4484] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4484/stat : 4484 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855553664 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4485] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4485/stat : 4485 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855553664 10796593152 667473 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 10543548
[startup+6.32353 s]
/proc/loadavg: 3.89 3.95 3.76 4/593 4485
/proc/meminfo: memFree=19568140/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10543548 CPUtime=7.89 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 730235 0 1 0 708 81 0 0 23 0 18 0 855553658 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2635887 728011 2230 9 0 2626621 0
[pid=4467/tid=4468] ppid=4465 vsize=10543548 CPUtime=5.98 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) S 4465 4467 3822 0 -1 4202560 650984 0 1 0 528 70 0 0 25 0 18 0 855553659 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4470] ppid=4465 vsize=10543548 CPUtime=0.23 cores=1,3,5,7
/proc/4467/task/4470/stat : 4470 (java) R 4465 4467 3822 0 -1 4202560 15350 0 0 0 22 1 0 0 16 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4467/tid=4471] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4471/stat : 4471 (java) R 4465 4467 3822 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4467/tid=4472] ppid=4465 vsize=10543548 CPUtime=0.23 cores=1,3,5,7
/proc/4467/task/4472/stat : 4472 (java) R 4465 4467 3822 0 -1 4202560 13903 0 0 0 22 1 0 0 15 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4467/tid=4473] ppid=4465 vsize=10543548 CPUtime=0.13 cores=1,3,5,7
/proc/4467/task/4473/stat : 4473 (java) R 4465 4467 3822 0 -1 4202560 5409 0 0 0 13 0 0 0 15 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4467/tid=4474] ppid=4465 vsize=10543548 CPUtime=0.08 cores=1,3,5,7
/proc/4467/task/4474/stat : 4474 (java) R 4465 4467 3822 0 -1 4202560 6213 0 0 0 7 1 0 0 18 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4467/tid=4475] ppid=4465 vsize=10543548 CPUtime=0.16 cores=1,3,5,7
/proc/4467/task/4475/stat : 4475 (java) R 4465 4467 3822 0 -1 4202560 11757 0 0 0 15 1 0 0 18 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4467/tid=4476] ppid=4465 vsize=10543548 CPUtime=0.2 cores=1,3,5,7
/proc/4467/task/4476/stat : 4476 (java) R 4465 4467 3822 0 -1 4202560 12539 0 0 0 19 1 0 0 15 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 47987460658338 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4467/tid=4477] ppid=4465 vsize=10543548 CPUtime=0.11 cores=1,3,5,7
/proc/4467/task/4477/stat : 4477 (java) R 4465 4467 3822 0 -1 4202560 7992 0 0 0 11 0 0 0 18 0 18 0 855553660 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4467/tid=4478] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4478/stat : 4478 (java) S 4465 4467 3822 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855553661 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 0 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4479] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4479/stat : 4479 (java) S 4465 4467 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 855553662 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4480] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4480/stat : 4480 (java) S 4465 4467 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855553662 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4481] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4481/stat : 4481 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855553664 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4482] ppid=4465 vsize=10543548 CPUtime=0.31 cores=1,3,5,7
/proc/4467/task/4482/stat : 4482 (java) S 4465 4467 3822 0 -1 4202560 1646 0 0 0 31 0 0 0 15 0 18 0 855553664 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4483] ppid=4465 vsize=10543548 CPUtime=0.35 cores=1,3,5,7
/proc/4467/task/4483/stat : 4483 (java) S 4465 4467 3822 0 -1 4202560 3289 0 0 0 35 0 0 0 15 0 18 0 855553664 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4484] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4484/stat : 4484 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855553664 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4485] ppid=4465 vsize=10543548 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4485/stat : 4485 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855553664 10796593152 728011 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=17530988/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10568360 CPUtime=1658.07 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 1281885 0 1 0 165642 165 0 0 23 0 22 0 855553658 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2642090 1265007 2266 9 0 2632824 0
[pid=4467/tid=4468] ppid=4465 vsize=10568360 CPUtime=40.35 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) S 4465 4467 3822 0 -1 4202560 651053 0 1 0 3952 83 0 0 15 0 22 0 855553659 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4470] ppid=4465 vsize=10568360 CPUtime=2.01 cores=1,3,5,7
/proc/4467/task/4470/stat : 4470 (java) S 4465 4467 3822 0 -1 4202560 61100 0 0 0 194 7 0 0 16 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4471] ppid=4465 vsize=10568360 CPUtime=2.32 cores=1,3,5,7
/proc/4467/task/4471/stat : 4471 (java) S 4465 4467 3822 0 -1 4202560 65653 0 0 0 224 8 0 0 15 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4472] ppid=4465 vsize=10568360 CPUtime=3.18 cores=1,3,5,7
/proc/4467/task/4472/stat : 4472 (java) S 4465 4467 3822 0 -1 4202560 94301 0 0 0 307 11 0 0 15 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4473] ppid=4465 vsize=10568360 CPUtime=2.83 cores=1,3,5,7
/proc/4467/task/4473/stat : 4473 (java) S 4465 4467 3822 0 -1 4202560 78208 0 0 0 273 10 0 0 15 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4474] ppid=4465 vsize=10568360 CPUtime=2.68 cores=1,3,5,7
/proc/4467/task/4474/stat : 4474 (java) S 4465 4467 3822 0 -1 4202560 72240 0 0 0 259 9 0 0 16 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4475] ppid=4465 vsize=10568360 CPUtime=2.56 cores=1,3,5,7
/proc/4467/task/4475/stat : 4475 (java) S 4465 4467 3822 0 -1 4202560 79694 0 0 0 246 10 0 0 16 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4476] ppid=4465 vsize=10568360 CPUtime=2.99 cores=1,3,5,7
/proc/4467/task/4476/stat : 4476 (java) S 4465 4467 3822 0 -1 4202560 78518 0 0 0 290 9 0 0 16 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4477] ppid=4465 vsize=10568360 CPUtime=2.7 cores=1,3,5,7
/proc/4467/task/4477/stat : 4477 (java) S 4465 4467 3822 0 -1 4202560 75719 0 0 0 261 9 0 0 16 0 22 0 855553660 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4478] ppid=4465 vsize=10568360 CPUtime=78.52 cores=1,3,5,7
/proc/4467/task/4478/stat : 4478 (java) S 4465 4467 3822 0 -1 4202560 5323 0 0 0 7851 1 0 0 15 0 22 0 855553661 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4479] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4479/stat : 4479 (java) S 4465 4467 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855553662 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4480] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4480/stat : 4480 (java) S 4465 4467 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855553662 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4481] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4481/stat : 4481 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855553664 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4482] ppid=4465 vsize=10568360 CPUtime=1.29 cores=1,3,5,7
/proc/4467/task/4482/stat : 4482 (java) S 4465 4467 3822 0 -1 4202560 8666 0 0 0 128 1 0 0 16 0 22 0 855553664 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4483] ppid=4465 vsize=10568360 CPUtime=1.27 cores=1,3,5,7
/proc/4467/task/4483/stat : 4483 (java) S 4465 4467 3822 0 -1 4202560 8971 0 0 0 126 1 0 0 15 0 22 0 855553664 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4484] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4484/stat : 4484 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855553664 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4485] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4485/stat : 4485 (java) S 4465 4467 3822 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855553664 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4487] ppid=4465 vsize=10568360 CPUtime=757.65 cores=1,3,5,7
/proc/4467/task/4487/stat : 4487 (java) R 4465 4467 3822 0 -1 4202560 50 0 0 0 75765 0 0 0 25 0 22 0 855558115 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912506004063 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4467/tid=4488] ppid=4465 vsize=10568360 CPUtime=757.6 cores=1,3,5,7
/proc/4467/task/4488/stat : 4488 (java) R 4465 4467 3822 0 -1 4202560 1182 0 0 0 75760 0 0 0 25 0 22 0 855558115 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912505828683 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4467/tid=4489] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4489/stat : 4489 (java) S 4465 4467 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855558120 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4490] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4490/stat : 4490 (java) S 4465 4467 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855558123 10822000640 1265007 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1658.07
Current children cumulated vsize (KiB) 10568360
[startup+942.302 s]
/proc/loadavg: 4.02 3.98 3.85 5/597 4565
/proc/meminfo: memFree=16515992/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10568360 CPUtime=1773.37 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 1294928 0 1 0 177170 167 0 0 23 0 22 0 855553658 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2642090 1277793 2266 9 0 2632824 0
[pid=4467/tid=4468] ppid=4465 vsize=10568360 CPUtime=40.35 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) S 4465 4467 3822 0 -1 4202560 651054 0 1 0 3952 83 0 0 15 0 22 0 855553659 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4470] ppid=4465 vsize=10568360 CPUtime=2.06 cores=1,3,5,7
/proc/4467/task/4470/stat : 4470 (java) S 4465 4467 3822 0 -1 4202560 62880 0 0 0 199 7 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4471] ppid=4465 vsize=10568360 CPUtime=2.4 cores=1,3,5,7
/proc/4467/task/4471/stat : 4471 (java) S 4465 4467 3822 0 -1 4202560 67174 0 0 0 232 8 0 0 16 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4472] ppid=4465 vsize=10568360 CPUtime=3.26 cores=1,3,5,7
/proc/4467/task/4472/stat : 4472 (java) S 4465 4467 3822 0 -1 4202560 97646 0 0 0 314 12 0 0 16 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4473] ppid=4465 vsize=10568360 CPUtime=2.89 cores=1,3,5,7
/proc/4467/task/4473/stat : 4473 (java) S 4465 4467 3822 0 -1 4202560 79352 0 0 0 279 10 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4474] ppid=4465 vsize=10568360 CPUtime=2.73 cores=1,3,5,7
/proc/4467/task/4474/stat : 4474 (java) S 4465 4467 3822 0 -1 4202560 74540 0 0 0 263 10 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4475] ppid=4465 vsize=10568360 CPUtime=2.6 cores=1,3,5,7
/proc/4467/task/4475/stat : 4475 (java) S 4465 4467 3822 0 -1 4202560 82347 0 0 0 250 10 0 0 16 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4476] ppid=4465 vsize=10568360 CPUtime=3 cores=1,3,5,7
/proc/4467/task/4476/stat : 4476 (java) S 4465 4467 3822 0 -1 4202560 78586 0 0 0 291 9 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4477] ppid=4465 vsize=10568360 CPUtime=2.7 cores=1,3,5,7
/proc/4467/task/4477/stat : 4477 (java) S 4465 4467 3822 0 -1 4202560 75938 0 0 0 261 9 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4478] ppid=4465 vsize=10568360 CPUtime=83.34 cores=1,3,5,7
/proc/4467/task/4478/stat : 4478 (java) S 4465 4467 3822 0 -1 4202560 5327 0 0 0 8333 1 0 0 18 0 22 0 855553661 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4479] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4479/stat : 4479 (java) S 4465 4467 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855553662 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4480] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4480/stat : 4480 (java) S 4465 4467 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855553662 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4481] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4481/stat : 4481 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4482] ppid=4465 vsize=10568360 CPUtime=1.29 cores=1,3,5,7
/proc/4467/task/4482/stat : 4482 (java) S 4465 4467 3822 0 -1 4202560 8666 0 0 0 128 1 0 0 16 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4483] ppid=4465 vsize=10568360 CPUtime=1.27 cores=1,3,5,7
/proc/4467/task/4483/stat : 4483 (java) S 4465 4467 3822 0 -1 4202560 8971 0 0 0 126 1 0 0 15 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4484] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4484/stat : 4484 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4485] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4485/stat : 4485 (java) S 4465 4467 3822 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4487] ppid=4465 vsize=10568360 CPUtime=812.7 cores=1,3,5,7
/proc/4467/task/4487/stat : 4487 (java) R 4465 4467 3822 0 -1 4202560 51 0 0 0 81270 0 0 0 25 0 22 0 855558115 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912506003628 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4467/tid=4488] ppid=4465 vsize=10568360 CPUtime=812.66 cores=1,3,5,7
/proc/4467/task/4488/stat : 4488 (java) R 4465 4467 3822 0 -1 4202560 1185 0 0 0 81266 0 0 0 25 0 22 0 855558115 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912506003628 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4467/tid=4489] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4489/stat : 4489 (java) S 4465 4467 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855558120 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4490] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4490/stat : 4490 (java) S 4465 4467 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855558123 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1773.37
Current children cumulated vsize (KiB) 10568360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+957.201 s]
/proc/loadavg: 4.09 4.00 3.86 5/597 4565
/proc/meminfo: memFree=16516104/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=10568360 CPUtime=1800.17 cores=1,3,5,7
/proc/4467/stat : 4467 (java) S 4465 4467 3822 0 -1 4202496 1294931 0 1 0 179850 167 0 0 23 0 22 0 855553658 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 2642090 1277793 2266 9 0 2632824 0
[pid=4467/tid=4468] ppid=4465 vsize=10568360 CPUtime=40.35 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (java) S 4465 4467 3822 0 -1 4202560 651055 0 1 0 3952 83 0 0 15 0 22 0 855553659 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4470] ppid=4465 vsize=10568360 CPUtime=2.06 cores=1,3,5,7
/proc/4467/task/4470/stat : 4470 (java) S 4465 4467 3822 0 -1 4202560 62880 0 0 0 199 7 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4471] ppid=4465 vsize=10568360 CPUtime=2.43 cores=1,3,5,7
/proc/4467/task/4471/stat : 4471 (java) S 4465 4467 3822 0 -1 4202560 67174 0 0 0 235 8 0 0 16 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4472] ppid=4465 vsize=10568360 CPUtime=3.29 cores=1,3,5,7
/proc/4467/task/4472/stat : 4472 (java) S 4465 4467 3822 0 -1 4202560 97646 0 0 0 317 12 0 0 16 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4473] ppid=4465 vsize=10568360 CPUtime=2.89 cores=1,3,5,7
/proc/4467/task/4473/stat : 4473 (java) S 4465 4467 3822 0 -1 4202560 79352 0 0 0 279 10 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4474] ppid=4465 vsize=10568360 CPUtime=2.76 cores=1,3,5,7
/proc/4467/task/4474/stat : 4474 (java) S 4465 4467 3822 0 -1 4202560 74540 0 0 0 266 10 0 0 16 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4475] ppid=4465 vsize=10568360 CPUtime=2.6 cores=1,3,5,7
/proc/4467/task/4475/stat : 4475 (java) S 4465 4467 3822 0 -1 4202560 82347 0 0 0 250 10 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 5 0 0 0
[pid=4467/tid=4476] ppid=4465 vsize=10568360 CPUtime=3 cores=1,3,5,7
/proc/4467/task/4476/stat : 4476 (java) S 4465 4467 3822 0 -1 4202560 78586 0 0 0 291 9 0 0 15 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4477] ppid=4465 vsize=10568360 CPUtime=2.71 cores=1,3,5,7
/proc/4467/task/4477/stat : 4477 (java) S 4465 4467 3822 0 -1 4202560 75938 0 0 0 262 9 0 0 16 0 22 0 855553660 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4478] ppid=4465 vsize=10568360 CPUtime=86.38 cores=1,3,5,7
/proc/4467/task/4478/stat : 4478 (java) S 4465 4467 3822 0 -1 4202560 5327 0 0 0 8637 1 0 0 18 0 22 0 855553661 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 0 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4479] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4479/stat : 4479 (java) S 4465 4467 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855553662 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4480] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4480/stat : 4480 (java) S 4465 4467 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855553662 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4481] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4481/stat : 4481 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488518577 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4482] ppid=4465 vsize=10568360 CPUtime=1.29 cores=1,3,5,7
/proc/4467/task/4482/stat : 4482 (java) S 4465 4467 3822 0 -1 4202560 8666 0 0 0 128 1 0 0 16 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4483] ppid=4465 vsize=10568360 CPUtime=1.27 cores=1,3,5,7
/proc/4467/task/4483/stat : 4483 (java) S 4465 4467 3822 0 -1 4202560 8971 0 0 0 126 1 0 0 15 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4484] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4484/stat : 4484 (java) S 4465 4467 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488510873 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
[pid=4467/tid=4485] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4485/stat : 4485 (java) S 4465 4467 3822 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 855553664 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 1 0 0 0
[pid=4467/tid=4487] ppid=4465 vsize=10568360 CPUtime=824.55 cores=1,3,5,7
/proc/4467/task/4487/stat : 4487 (java) R 4465 4467 3822 0 -1 4202560 51 0 0 0 82455 0 0 0 25 0 22 0 855558115 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912506004068 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4467/tid=4488] ppid=4465 vsize=10568360 CPUtime=824.51 cores=1,3,5,7
/proc/4467/task/4488/stat : 4488 (java) R 4465 4467 3822 0 -1 4202560 1185 0 0 0 82451 0 0 0 25 0 22 0 855558115 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 46912506024153 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4467/tid=4489] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4489/stat : 4489 (java) S 4465 4467 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855558120 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 7 0 0 0
[pid=4467/tid=4490] ppid=4465 vsize=10568360 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4490/stat : 4490 (java) S 4465 4467 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855558123 10822000640 1277793 33554432000 1073741824 1073778376 140735774985824 18446744073709551615 239488511488 0 4 0 16800975 18446604456156705088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10568360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+957.422 s]
/proc/loadavg: 4.09 4.00 3.86 3/578 4568
/proc/meminfo: memFree=18343136/32950928 swapFree=67056580/67111528
[pid=4467] ppid=4465 vsize=0 CPUtime=1800.48 cores=1,3,5,7
/proc/4467/stat : 4467 (java) Z 4465 4467 3822 0 -1 4203548 1294963 0 1 0 179864 184 0 0 17 0 2 0 855553658 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4467/statm: 0 0 0 0 0 0 0
[pid=4467/tid=4488] ppid=4465 vsize=0 CPUtime=824.7 cores=1,3,5,7
/proc/4467/task/4488/stat : 4488 (java) R 4465 4467 3822 0 -1 4203588 1185 0 0 0 82454 16 0 0 25 0 2 0 855558115 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 957.449
CPU time (s): 1800.51
CPU user time (s): 1798.64
CPU system time (s): 1.86772
CPU usage (%): 188.053
Max. virtual memory (cumulated for all children) (KiB): 10568360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.86772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1294963
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= 23547
involuntary context switches= 23818
runsolver used 5.44117 second user time and 12.883 second system time
The end