runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4118087-1467220697/watcher-4118087-1467220697 -o /tmp/evaluation-result-4118087-1467220697/solver-4118087-1467220697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118087-1467220697.opb
pid=11524
running on 8 cores: 4-7,12-15
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.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=2500 CPUtime=0 cores=4-7,12-15
/proc/11527/stat : 11527 (java) R 11524 11527 6721 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 3022499 2560000 47 33554432000 1073741824 1073778376 140737319162336 140737319159464 216799472935 0 0 4096 0 0 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 626 48 37 9 0 30 0
[startup+0.101698 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 3943 0 1 0 6 1 0 0 20 0 23 0 3022499 10133950464 5072 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 5076 2007 9 0 2464786 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9896436
[startup+0.200331 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=0.22 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 4643 0 1 0 21 1 0 0 20 0 23 0 3022499 10133950464 7271 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 7271 2197 9 0 2464786 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9896436
[startup+0.300248 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=0.43 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 5192 0 1 0 42 1 0 0 20 0 23 0 3022499 10133950464 8237 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 8237 2233 9 0 2464786 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9896436
[startup+0.700191 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=1.15 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 8966 0 1 0 113 2 0 0 20 0 23 0 3022499 10133950464 13708 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 13708 2247 9 0 2464786 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9896436
[startup+1.50093 s]
/proc/loadavg: 3.91 3.94 3.78 4/307 11550
/proc/meminfo: memFree=25070012/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=2.03 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 9398 0 1 0 201 2 0 0 20 0 23 0 3022499 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 17285 2251 9 0 2464786 0
[pid=11527/tid=11529] ppid=11524 vsize=9896436 CPUtime=1.45 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) R 11524 11527 6721 0 -1 4202560 2454 0 1 0 144 1 0 0 20 0 23 0 3022500 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239552383096 140239423564677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022503 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=9896436 CPUtime=0.31 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 3901 0 0 0 31 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=9896436 CPUtime=0.22 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 1764 0 0 0 22 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9896436
[startup+3.10096 s]
/proc/loadavg: 3.91 3.94 3.78 4/307 11550
/proc/meminfo: memFree=25053504/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=3.81 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 9448 0 1 0 378 3 0 0 20 0 23 0 3022499 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 22440 2252 9 0 2464786 0
[pid=11527/tid=11529] ppid=11524 vsize=9896436 CPUtime=3.04 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) R 11524 11527 6721 0 -1 4202560 2466 0 1 0 302 2 0 0 20 0 23 0 3022500 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239552383096 140239423564825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022503 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=9896436 CPUtime=0.4 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 3909 0 0 0 40 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=9896436 CPUtime=0.3 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 1794 0 0 0 30 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9896436
[startup+6.30102 s]
/proc/loadavg: 3.91 3.94 3.78 4/307 11550
/proc/meminfo: memFree=25020672/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=7.01 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 9463 0 1 0 698 3 0 0 20 0 23 0 3022499 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 28831 2253 9 0 2464786 0
[pid=11527/tid=11529] ppid=11524 vsize=9896436 CPUtime=6.23 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) R 11524 11527 6721 0 -1 4202560 2480 0 1 0 621 2 0 0 20 0 23 0 3022500 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239552376576 140239423565161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
################
# More data... #
################
[pid=11527/tid=12089] ppid=11524 vsize=10162692 CPUtime=110.38 cores=4-7,12-15
/proc/11527/task/12089/stat : 12089 (java) R 11524 11527 6721 0 -1 4202560 6 0 0 0 11037 1 0 0 20 0 27 0 3105617 10406596608 669194 33554432000 1073741824 1073778376 140737319162336 140237795744944 140239424206932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=12090] ppid=11524 vsize=10162692 CPUtime=110.39 cores=4-7,12-15
/proc/11527/task/12090/stat : 12090 (java) R 11524 11527 6721 0 -1 4202560 9 0 0 0 11038 1 0 0 20 0 27 0 3105617 10406596608 669194 33554432000 1073741824 1073778376 140737319162336 140239355899584 140239424555964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=12091] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/12091/stat : 12091 (java) S 11524 11527 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3105618 10406596608 669194 33554432000 1073741824 1073778376 140737319162336 140239356953384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1669.48
Current children cumulated vsize (KiB) 10162692
[startup+1002.3 s]
/proc/loadavg: 3.98 3.78 3.68 5/311 12103
/proc/meminfo: memFree=23758972/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=10162692 CPUtime=1791.45 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 35332 0 1 0 178113 1032 0 0 20 0 27 0 3022499 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2540673 667988 2304 9 0 2531350 0
[pid=11527/tid=11529] ppid=11524 vsize=10162692 CPUtime=27.57 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) S 11524 11527 6721 0 -1 4202560 2596 0 1 0 2747 10 0 0 20 0 27 0 3022500 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239552385912 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=10162692 CPUtime=2.46 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 659 0 0 0 186 60 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=10162692 CPUtime=2.52 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 833 0 0 0 178 74 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=10162692 CPUtime=2.39 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 614 0 0 0 181 58 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=10162692 CPUtime=2.18 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 560 0 0 0 164 54 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=10162692 CPUtime=2.55 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 608 0 0 0 194 61 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=10162692 CPUtime=2.79 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 616 0 0 0 211 68 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=10162692 CPUtime=2.36 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 555 0 0 0 182 54 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=10162692 CPUtime=2.55 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 750 0 0 0 192 63 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=10162692 CPUtime=2.59 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 595 0 0 0 199 60 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=10162692 CPUtime=2.58 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 697 0 0 0 194 64 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=10162692 CPUtime=2.37 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 648 0 0 0 178 59 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=10162692 CPUtime=2.43 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 733 0 0 0 177 66 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=10162692 CPUtime=2.3 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 658 0 0 0 165 65 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=10162692 CPUtime=3.71 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 2965 0 0 0 365 6 0 0 20 0 27 0 3022503 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=10162692 CPUtime=1.83 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 11404 0 0 0 181 2 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=10162692 CPUtime=1.53 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 6004 0 0 0 152 1 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=10162692 CPUtime=0.4 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 58 0 0 0 19 21 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11553] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11553/stat : 11553 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3024989 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239354848936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=12089] ppid=11524 vsize=10162692 CPUtime=169.88 cores=4-7,12-15
/proc/11527/task/12089/stat : 12089 (java) R 11524 11527 6721 0 -1 4202560 8 0 0 0 16986 2 0 0 20 0 27 0 3105617 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140237795745696 140239424205973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=12090] ppid=11524 vsize=10162692 CPUtime=169.88 cores=4-7,12-15
/proc/11527/task/12090/stat : 12090 (java) R 11524 11527 6721 0 -1 4202560 12 0 0 0 16986 2 0 0 20 0 27 0 3105617 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239355898608 140239424393677 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=12091] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/12091/stat : 12091 (java) S 11524 11527 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3105618 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239356953384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1005.6 s]
/proc/loadavg: 3.98 3.78 3.68 5/311 12103
/proc/meminfo: memFree=23570556/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=10162692 CPUtime=1799.28 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 36292 0 1 0 178799 1129 0 0 20 0 27 0 3022499 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2540673 725083 2304 9 0 2531350 0
[pid=11527/tid=11529] ppid=11524 vsize=10162692 CPUtime=27.57 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) S 11524 11527 6721 0 -1 4202560 2596 0 1 0 2747 10 0 0 20 0 27 0 3022500 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239552385912 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=10162692 CPUtime=2.63 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 734 0 0 0 192 71 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=10162692 CPUtime=2.72 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 968 0 0 0 186 86 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=10162692 CPUtime=2.53 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 668 0 0 0 187 66 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=10162692 CPUtime=2.24 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 592 0 0 0 165 59 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=10162692 CPUtime=2.68 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 661 0 0 0 200 68 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=10162692 CPUtime=2.86 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 647 0 0 0 214 72 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=10162692 CPUtime=2.42 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 629 0 0 0 184 58 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=10162692 CPUtime=2.67 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 828 0 0 0 197 70 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=10162692 CPUtime=2.73 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 659 0 0 0 204 69 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=10162692 CPUtime=2.72 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 850 0 0 0 202 70 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=10162692 CPUtime=2.44 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 680 0 0 0 181 63 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=10162692 CPUtime=2.62 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 846 0 0 0 184 78 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=10162692 CPUtime=2.4 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 706 0 0 0 168 72 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=10162692 CPUtime=3.71 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 2980 0 0 0 365 6 0 0 20 0 27 0 3022503 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=10162692 CPUtime=1.83 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 11404 0 0 0 181 2 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=10162692 CPUtime=1.53 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 6004 0 0 0 152 1 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=10162692 CPUtime=0.4 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 60 0 0 0 19 21 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11553] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11553/stat : 11553 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3024989 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239354848936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=12089] ppid=11524 vsize=10162692 CPUtime=172.96 cores=4-7,12-15
/proc/11527/task/12089/stat : 12089 (java) R 11524 11527 6721 0 -1 4202560 9 0 0 0 17294 2 0 0 20 0 27 0 3105617 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140237795745744 140239423411610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=12090] ppid=11524 vsize=10162692 CPUtime=172.97 cores=4-7,12-15
/proc/11527/task/12090/stat : 12090 (java) R 11524 11527 6721 0 -1 4202560 12 0 0 0 17295 2 0 0 20 0 27 0 3105617 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239355898608 140239424557249 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=12091] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/12091/stat : 12091 (java) S 11524 11527 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3105618 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239356953384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1799.28
Current children cumulated vsize (KiB) 10162692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11527 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11527 and gives
# childrusage.ru_utime.tv_sec=1786
# childrusage.ru_utime.tv_usec=910348
# childrusage.ru_stime.tv_sec=11
# childrusage.ru_stime.tv_usec=479254
# CPU time returned by wait4() is 1798.39
# while last known CPU time is 1799.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.760059
# lost CPU user time (s): 0.920128
# lost CPU system time (s): -0.160001
Real time (s): 1005.65
CPU time (s): 1800.04
CPU user time (s): 1788.91
CPU system time (s): 11.13
CPU usage (%): 178.992
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.91
system time used= 11.4793
maximum resident set size= 3392020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36336
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31672
involuntary context switches= 12302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.81266 second user time and 10.8483 second system time
The end