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-4096198-1466112166/watcher-4096198-1466112166 -o /tmp/evaluation-result-4096198-1466112166/solver-4096198-1466112166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466112166-19499 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4096198-1466112166.opb
pid=19522
running on 8 cores: 0-3,8-11
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: 0.54 1.56 1.83 5/257 19528
/proc/meminfo: memFree=31997684/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=23236 CPUtime=0 cores=0-3,8-11
/proc/19527/stat : 19527 (java) R 19522 19527 19483 0 -1 4202496 1116 0 0 0 0 0 0 0 20 0 1 0 13261182 23793664 767 33554432000 1073741824 1073778376 140736020402880 140736020391944 140569203855760 0 0 4096 0 0 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 5809 787 584 9 0 128 0
[pid=19527/tid=19530] ppid=19522 vsize=89736 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) R 19522 19527 19483 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 2 0 13261183 91889664 879 33554432000 1073741824 1073778376 140736020402880 140736020391944 140569204490896 0 0 4096 0 0 0 0 -1 10 0 0 0 0 0
[startup+0.100159 s]
/proc/loadavg: 0.54 1.56 1.83 5/257 19528
/proc/meminfo: memFree=31997684/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=9896436 CPUtime=0.09 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 4453 0 1 0 8 1 0 0 20 0 23 0 13261182 10133950464 6082 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2474109 6082 2125 9 0 2464786 0
[pid=19527/tid=19530] ppid=19522 vsize=9896436 CPUtime=0.06 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) D 19522 19527 19483 0 -1 4202560 2417 0 1 0 6 0 0 0 20 0 23 0 13261183 10133950464 6082 33554432000 1073741824 1073778376 140736020402880 140569196800864 216812021005 0 4 0 16800975 18446744071579943789 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9896436
[startup+0.200276 s]
/proc/loadavg: 0.54 1.56 1.83 5/257 19528
/proc/meminfo: memFree=31997684/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=9896436 CPUtime=0.24 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 4740 0 1 0 23 1 0 0 20 0 23 0 13261182 10133950464 6820 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2474109 6820 2202 9 0 2464786 0
[pid=19527/tid=19530] ppid=19522 vsize=9896436 CPUtime=0.16 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) R 19522 19527 19483 0 -1 4202560 2430 0 1 0 16 0 0 0 20 0 23 0 13261183 10133950464 6820 33554432000 1073741824 1073778376 140736020402880 140569196795840 140569062005665 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9896436
[startup+0.300323 s]
/proc/loadavg: 0.54 1.56 1.83 5/257 19528
/proc/meminfo: memFree=31997684/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=9896436 CPUtime=0.49 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 5959 0 1 0 47 2 0 0 20 0 23 0 13261182 10133950464 9009 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2474109 9009 2233 9 0 2464786 0
[pid=19527/tid=19530] ppid=19522 vsize=9896436 CPUtime=0.26 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) R 19522 19527 19483 0 -1 4202560 2433 0 1 0 25 1 0 0 20 0 23 0 13261183 10133950464 9009 33554432000 1073741824 1073778376 140736020402880 140569196795840 140569061996139 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9896436
[startup+0.700222 s]
/proc/loadavg: 0.54 1.56 1.83 5/257 19528
/proc/meminfo: memFree=31997684/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=10162692 CPUtime=1.97 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 13772 0 1 0 194 3 0 0 20 0 27 0 13261182 10406596608 17848 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2540673 17848 2267 9 0 2531350 0
[pid=19527/tid=19530] ppid=19522 vsize=10162692 CPUtime=0.35 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) S 19522 19527 19483 0 -1 4202560 2455 0 1 0 34 1 0 0 20 0 27 0 13261183 10406596608 17848 33554432000 1073741824 1073778376 140736020402880 140569196802936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 10162692
[startup+1.50113 s]
/proc/loadavg: 0.54 1.56 1.83 9/311 19582
/proc/meminfo: memFree=31657116/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=10162692 CPUtime=4.55 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 17388 0 1 0 446 9 0 0 20 0 27 0 13261182 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2540673 46493 2289 9 0 2531350 0
[pid=19527/tid=19530] ppid=19522 vsize=10162692 CPUtime=0.35 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) S 19522 19527 19483 0 -1 4202560 2455 0 1 0 34 1 0 0 20 0 27 0 13261183 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569196802936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19534] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19534/stat : 19534 (java) S 19522 19527 19483 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569185863848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19535] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19535/stat : 19535 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569184811304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19537] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19537/stat : 19537 (java) S 19522 19527 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569183758760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19538] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19538/stat : 19538 (java) S 19522 19527 19483 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569182706216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19540] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19540/stat : 19540 (java) S 19522 19527 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569181653672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19542] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19542/stat : 19542 (java) S 19522 19527 19483 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569180601128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19543] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19543/stat : 19543 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569034308520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19545] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19545/stat : 19545 (java) S 19522 19527 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569033255976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19546] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19546/stat : 19546 (java) S 19522 19527 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569032202408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19548] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19548/stat : 19548 (java) S 19522 19527 19483 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569031149864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19550] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19550/stat : 19550 (java) S 19522 19527 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569030097320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19552] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19552/stat : 19552 (java) S 19522 19527 19483 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569029044776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19554] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19554/stat : 19554 (java) S 19522 19527 19483 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569027992232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19559] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19559/stat : 19559 (java) S 19522 19527 19483 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 27 0 13261185 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569010531048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19562] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19562/stat : 19562 (java) S 19522 19527 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569009477368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19563] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19563/stat : 19563 (java) S 19522 19527 19483 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569008424712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19566] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19566/stat : 19566 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569007372432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19567] ppid=19522 vsize=10162692 CPUtime=0.91 cores=0-3,8-11
/proc/19527/task/19567/stat : 19567 (java) S 19522 19527 19483 0 -1 4202560 7896 0 0 0 91 0 0 0 20 0 27 0 13261188 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569006319800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19569] ppid=19522 vsize=10162692 CPUtime=0.95 cores=0-3,8-11
/proc/19527/task/19569/stat : 19569 (java) S 19522 19527 19483 0 -1 4202560 5527 0 0 0 95 0 0 0 20 0 27 0 13261188 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569005267256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19571] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19571/stat : 19571 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569004214904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19573] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19573/stat : 19573 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569003162568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19577] ppid=19522 vsize=10162692 CPUtime=1.07 cores=0-3,8-11
/proc/19527/task/19577/stat : 19577 (java) R 19522 19527 19483 0 -1 4202560 17 0 0 0 107 0 0 0 20 0 27 0 13261221 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569001639048 140569062561599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19578] ppid=19522 vsize=10162692 CPUtime=1.07 cores=0-3,8-11
/proc/19527/task/19578/stat : 19578 (java) R 19522 19527 19483 0 -1 4202560 88 0 0 0 105 2 0 0 20 0 27 0 13261221 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140569000587152 140569062739395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19581] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19581/stat : 19581 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140568999536296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19582] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19582/stat : 19582 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 46493 33554432000 1073741824 1073778376 140736020402880 140568998482728 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 10162692
[startup+3.10107 s]
/proc/loadavg: 0.54 1.56 1.83 6/311 19582
/proc/meminfo: memFree=31460672/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=10162692 CPUtime=7.96 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 17681 0 1 0 781 15 0 0 20 0 27 0 13261182 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2540673 113180 2289 9 0 2531350 0
[pid=19527/tid=19530] ppid=19522 vsize=10162692 CPUtime=0.35 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) S 19522 19527 19483 0 -1 4202560 2456 0 1 0 34 1 0 0 20 0 27 0 13261183 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569196802936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19534] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19534/stat : 19534 (java) S 19522 19527 19483 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569185863848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19535] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19535/stat : 19535 (java) S 19522 19527 19483 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569184811304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19537] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19537/stat : 19537 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569183758760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19538] ppid=19522 vsize=10162692 CPUtime=0.02 cores=0-3,8-11
/proc/19527/task/19538/stat : 19538 (java) S 19522 19527 19483 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569182706216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19540] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19540/stat : 19540 (java) S 19522 19527 19483 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569181653672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19542] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19542/stat : 19542 (java) S 19522 19527 19483 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569180601128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19543] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19543/stat : 19543 (java) S 19522 19527 19483 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569034308520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19545] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19545/stat : 19545 (java) S 19522 19527 19483 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569033255976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19546] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19546/stat : 19546 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569032202408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19548] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19548/stat : 19548 (java) S 19522 19527 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569031149864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19550] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19550/stat : 19550 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569030097320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19552] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19552/stat : 19552 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569029044776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19554] ppid=19522 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/19527/task/19554/stat : 19554 (java) S 19522 19527 19483 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 13261184 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569027992232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19559] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19559/stat : 19559 (java) S 19522 19527 19483 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 27 0 13261185 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569010531048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19562] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19562/stat : 19562 (java) S 19522 19527 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569009477368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19563] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19563/stat : 19563 (java) S 19522 19527 19483 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569008424712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19566] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19566/stat : 19566 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569007372432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19567] ppid=19522 vsize=10162692 CPUtime=0.96 cores=0-3,8-11
/proc/19527/task/19567/stat : 19567 (java) S 19522 19527 19483 0 -1 4202560 7896 0 0 0 96 0 0 0 20 0 27 0 13261188 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569006319800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19569] ppid=19522 vsize=10162692 CPUtime=1.01 cores=0-3,8-11
/proc/19527/task/19569/stat : 19569 (java) S 19522 19527 19483 0 -1 4202560 5527 0 0 0 101 0 0 0 20 0 27 0 13261188 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569005267256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19571] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19571/stat : 19571 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569004214904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19573] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19573/stat : 19573 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569003162568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19577] ppid=19522 vsize=10162692 CPUtime=2.64 cores=0-3,8-11
/proc/19527/task/19577/stat : 19577 (java) R 19522 19527 19483 0 -1 4202560 17 0 0 0 264 0 0 0 20 0 27 0 13261221 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569001632032 140569062706647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19578] ppid=19522 vsize=10162692 CPUtime=2.64 cores=0-3,8-11
/proc/19527/task/19578/stat : 19578 (java) R 19522 19527 19483 0 -1 4202560 212 0 0 0 259 5 0 0 20 0 27 0 13261221 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140569000588264 140569062740819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19581] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19581/stat : 19581 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140568999536296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19582] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19582/stat : 19582 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 113180 33554432000 1073741824 1073778376 140736020402880 140568998482728 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 10162692
[startup+6.30119 s]
/proc/loadavg: 0.82 1.60 1.85 6/311 19582
/proc/meminfo: memFree=30736020/32872528 swapFree=7036/7036
################
# More data... #
################
/proc/19527/task/19567/stat : 19567 (java) S 19522 19527 19483 0 -1 4202560 8175 0 0 0 109 0 0 0 20 0 27 0 13261188 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140569006319800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19569] ppid=19522 vsize=10162692 CPUtime=1.48 cores=0-3,8-11
/proc/19527/task/19569/stat : 19569 (java) S 19522 19527 19483 0 -1 4202560 6559 0 0 0 148 0 0 0 20 0 27 0 13261188 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140569005267256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19571] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19571/stat : 19571 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140569004214904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19573] ppid=19522 vsize=10162692 CPUtime=0.3 cores=0-3,8-11
/proc/19527/task/19573/stat : 19573 (java) S 19522 19527 19483 0 -1 4202560 43 0 0 0 17 13 0 0 20 0 27 0 13261188 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140569003162568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19577] ppid=19522 vsize=10162692 CPUtime=753.56 cores=0-3,8-11
/proc/19527/task/19577/stat : 19577 (java) R 19522 19527 19483 0 -1 4202560 198 0 0 0 75343 13 0 0 20 0 27 0 13261221 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140569001638928 140569062561599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19578] ppid=19522 vsize=10162692 CPUtime=753.58 cores=0-3,8-11
/proc/19527/task/19578/stat : 19578 (java) R 19522 19527 19483 0 -1 4202560 1746 0 0 0 75317 41 0 0 20 0 27 0 13261221 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140569000587008 140569062440013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19581] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19581/stat : 19581 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140568999536296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19582] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19582/stat : 19582 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 604817 33554432000 1073741824 1073778376 140736020402880 140568998482728 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1555.89
Current children cumulated vsize (KiB) 10162692
[startup+822.301 s]
/proc/loadavg: 4.28 4.08 3.22 5/311 20467
/proc/meminfo: memFree=26955228/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=10162692 CPUtime=1678.66 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 26972 0 1 0 167640 226 0 0 20 0 27 0 13261182 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2540673 608646 2293 9 0 2531350 0
[pid=19527/tid=19530] ppid=19522 vsize=10162692 CPUtime=0.4 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) S 19522 19527 19483 0 -1 4202560 2463 0 1 0 37 3 0 0 20 0 27 0 13261183 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569196802936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19534] ppid=19522 vsize=10162692 CPUtime=3.48 cores=0-3,8-11
/proc/19527/task/19534/stat : 19534 (java) S 19522 19527 19483 0 -1 4202560 387 0 0 0 335 13 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569185863848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19535] ppid=19522 vsize=10162692 CPUtime=3.63 cores=0-3,8-11
/proc/19527/task/19535/stat : 19535 (java) S 19522 19527 19483 0 -1 4202560 414 0 0 0 350 13 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569184811304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19537] ppid=19522 vsize=10162692 CPUtime=3.4 cores=0-3,8-11
/proc/19527/task/19537/stat : 19537 (java) S 19522 19527 19483 0 -1 4202560 397 0 0 0 327 13 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569183758760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19538] ppid=19522 vsize=10162692 CPUtime=3.56 cores=0-3,8-11
/proc/19527/task/19538/stat : 19538 (java) S 19522 19527 19483 0 -1 4202560 406 0 0 0 343 13 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569182706216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19540] ppid=19522 vsize=10162692 CPUtime=3.43 cores=0-3,8-11
/proc/19527/task/19540/stat : 19540 (java) S 19522 19527 19483 0 -1 4202560 397 0 0 0 330 13 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569181653672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19542] ppid=19522 vsize=10162692 CPUtime=3.41 cores=0-3,8-11
/proc/19527/task/19542/stat : 19542 (java) S 19522 19527 19483 0 -1 4202560 401 0 0 0 327 14 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569180601128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19543] ppid=19522 vsize=10162692 CPUtime=3.49 cores=0-3,8-11
/proc/19527/task/19543/stat : 19543 (java) S 19522 19527 19483 0 -1 4202560 398 0 0 0 337 12 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569034308520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19545] ppid=19522 vsize=10162692 CPUtime=3.69 cores=0-3,8-11
/proc/19527/task/19545/stat : 19545 (java) S 19522 19527 19483 0 -1 4202560 404 0 0 0 357 12 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569033255976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19546] ppid=19522 vsize=10162692 CPUtime=3.36 cores=0-3,8-11
/proc/19527/task/19546/stat : 19546 (java) S 19522 19527 19483 0 -1 4202560 389 0 0 0 324 12 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569032202408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19548] ppid=19522 vsize=10162692 CPUtime=3.42 cores=0-3,8-11
/proc/19527/task/19548/stat : 19548 (java) S 19522 19527 19483 0 -1 4202560 394 0 0 0 330 12 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569031149864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19550] ppid=19522 vsize=10162692 CPUtime=3.34 cores=0-3,8-11
/proc/19527/task/19550/stat : 19550 (java) S 19522 19527 19483 0 -1 4202560 409 0 0 0 322 12 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569030097320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19552] ppid=19522 vsize=10162692 CPUtime=3.46 cores=0-3,8-11
/proc/19527/task/19552/stat : 19552 (java) S 19522 19527 19483 0 -1 4202560 371 0 0 0 335 11 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569029044776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19554] ppid=19522 vsize=10162692 CPUtime=3.48 cores=0-3,8-11
/proc/19527/task/19554/stat : 19554 (java) S 19522 19527 19483 0 -1 4202560 406 0 0 0 334 14 0 0 20 0 27 0 13261184 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569027992232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19559] ppid=19522 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/19527/task/19559/stat : 19559 (java) S 19522 19527 19483 0 -1 4202560 1308 0 0 0 6 9 0 0 20 0 27 0 13261185 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569010531048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19562] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19562/stat : 19562 (java) S 19522 19527 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569009477368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19563] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19563/stat : 19563 (java) S 19522 19527 19483 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569008424712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19566] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19566/stat : 19566 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569007372432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19567] ppid=19522 vsize=10162692 CPUtime=1.09 cores=0-3,8-11
/proc/19527/task/19567/stat : 19567 (java) S 19522 19527 19483 0 -1 4202560 8175 0 0 0 109 0 0 0 20 0 27 0 13261188 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569006319800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19569] ppid=19522 vsize=10162692 CPUtime=1.48 cores=0-3,8-11
/proc/19527/task/19569/stat : 19569 (java) S 19522 19527 19483 0 -1 4202560 6559 0 0 0 148 0 0 0 20 0 27 0 13261188 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569005267256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19571] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19571/stat : 19571 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569004214904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19573] ppid=19522 vsize=10162692 CPUtime=0.33 cores=0-3,8-11
/proc/19527/task/19573/stat : 19573 (java) S 19522 19527 19483 0 -1 4202560 47 0 0 0 19 14 0 0 20 0 27 0 13261188 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569003162568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19577] ppid=19522 vsize=10162692 CPUtime=812.82 cores=0-3,8-11
/proc/19527/task/19577/stat : 19577 (java) R 19522 19527 19483 0 -1 4202560 205 0 0 0 81268 14 0 0 20 0 27 0 13261221 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569001639728 140569062561128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19578] ppid=19522 vsize=10162692 CPUtime=812.84 cores=0-3,8-11
/proc/19527/task/19578/stat : 19578 (java) R 19522 19527 19483 0 -1 4202560 1778 0 0 0 81242 42 0 0 20 0 27 0 13261221 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140569000588288 140569062740819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19581] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19581/stat : 19581 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140568999536296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19582] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19582/stat : 19582 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 608646 33554432000 1073741824 1073778376 140736020402880 140568998482728 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1678.66
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+881.801 s]
/proc/loadavg: 4.27 4.11 3.28 5/312 20469
/proc/meminfo: memFree=26941576/32872528 swapFree=7036/7036
[pid=19527] ppid=19522 vsize=10162692 CPUtime=1800.1 cores=0-3,8-11
/proc/19527/stat : 19527 (java) S 19522 19527 19483 0 -1 4202496 27101 0 1 0 179774 236 0 0 20 0 27 0 13261182 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140736020394016 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/19527/statm: 2540673 613226 2293 9 0 2531350 0
[pid=19527/tid=19530] ppid=19522 vsize=10162692 CPUtime=0.4 cores=0-3,8-11
/proc/19527/task/19530/stat : 19530 (java) S 19522 19527 19483 0 -1 4202560 2463 0 1 0 37 3 0 0 20 0 27 0 13261183 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569196802936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19534] ppid=19522 vsize=10162692 CPUtime=3.71 cores=0-3,8-11
/proc/19527/task/19534/stat : 19534 (java) S 19522 19527 19483 0 -1 4202560 390 0 0 0 358 13 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569185863848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19535] ppid=19522 vsize=10162692 CPUtime=3.93 cores=0-3,8-11
/proc/19527/task/19535/stat : 19535 (java) S 19522 19527 19483 0 -1 4202560 420 0 0 0 378 15 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569184811304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19537] ppid=19522 vsize=10162692 CPUtime=3.74 cores=0-3,8-11
/proc/19527/task/19537/stat : 19537 (java) S 19522 19527 19483 0 -1 4202560 404 0 0 0 360 14 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569183758760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19538] ppid=19522 vsize=10162692 CPUtime=3.87 cores=0-3,8-11
/proc/19527/task/19538/stat : 19538 (java) S 19522 19527 19483 0 -1 4202560 416 0 0 0 373 14 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569182706216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19540] ppid=19522 vsize=10162692 CPUtime=3.65 cores=0-3,8-11
/proc/19527/task/19540/stat : 19540 (java) S 19522 19527 19483 0 -1 4202560 405 0 0 0 352 13 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569181653672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19542] ppid=19522 vsize=10162692 CPUtime=3.68 cores=0-3,8-11
/proc/19527/task/19542/stat : 19542 (java) S 19522 19527 19483 0 -1 4202560 410 0 0 0 353 15 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569180601128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19543] ppid=19522 vsize=10162692 CPUtime=3.78 cores=0-3,8-11
/proc/19527/task/19543/stat : 19543 (java) S 19522 19527 19483 0 -1 4202560 407 0 0 0 365 13 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569034308520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19545] ppid=19522 vsize=10162692 CPUtime=3.92 cores=0-3,8-11
/proc/19527/task/19545/stat : 19545 (java) S 19522 19527 19483 0 -1 4202560 410 0 0 0 379 13 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569033255976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19546] ppid=19522 vsize=10162692 CPUtime=3.63 cores=0-3,8-11
/proc/19527/task/19546/stat : 19546 (java) S 19522 19527 19483 0 -1 4202560 397 0 0 0 350 13 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569032202408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19527/tid=19548] ppid=19522 vsize=10162692 CPUtime=3.67 cores=0-3,8-11
/proc/19527/task/19548/stat : 19548 (java) S 19522 19527 19483 0 -1 4202560 399 0 0 0 355 12 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569031149864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19550] ppid=19522 vsize=10162692 CPUtime=3.57 cores=0-3,8-11
/proc/19527/task/19550/stat : 19550 (java) S 19522 19527 19483 0 -1 4202560 415 0 0 0 344 13 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569030097320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19552] ppid=19522 vsize=10162692 CPUtime=3.7 cores=0-3,8-11
/proc/19527/task/19552/stat : 19552 (java) S 19522 19527 19483 0 -1 4202560 375 0 0 0 359 11 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569029044776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19527/tid=19554] ppid=19522 vsize=10162692 CPUtime=3.78 cores=0-3,8-11
/proc/19527/task/19554/stat : 19554 (java) S 19522 19527 19483 0 -1 4202560 412 0 0 0 363 15 0 0 20 0 27 0 13261184 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569027992232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19559] ppid=19522 vsize=10162692 CPUtime=0.16 cores=0-3,8-11
/proc/19527/task/19559/stat : 19559 (java) S 19522 19527 19483 0 -1 4202560 1312 0 0 0 7 9 0 0 20 0 27 0 13261185 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569010531048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19562] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19562/stat : 19562 (java) S 19522 19527 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569009477368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19563] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19563/stat : 19563 (java) S 19522 19527 19483 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 13261186 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569008424712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19566] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19566/stat : 19566 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569007372432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19567] ppid=19522 vsize=10162692 CPUtime=1.09 cores=0-3,8-11
/proc/19527/task/19567/stat : 19567 (java) S 19522 19527 19483 0 -1 4202560 8175 0 0 0 109 0 0 0 20 0 27 0 13261188 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569006319800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19527/tid=19569] ppid=19522 vsize=10162692 CPUtime=1.48 cores=0-3,8-11
/proc/19527/task/19569/stat : 19569 (java) S 19522 19527 19483 0 -1 4202560 6559 0 0 0 148 0 0 0 20 0 27 0 13261188 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569005267256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19571] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19571/stat : 19571 (java) S 19522 19527 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13261188 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569004214904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19527/tid=19573] ppid=19522 vsize=10162692 CPUtime=0.36 cores=0-3,8-11
/proc/19527/task/19573/stat : 19573 (java) S 19522 19527 19483 0 -1 4202560 51 0 0 0 21 15 0 0 20 0 27 0 13261188 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569003162568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19527/tid=19577] ppid=19522 vsize=10162692 CPUtime=871.63 cores=0-3,8-11
/proc/19527/task/19577/stat : 19577 (java) R 19522 19527 19483 0 -1 4202560 220 0 0 0 87148 15 0 0 20 0 27 0 13261221 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569001639848 140569062706796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19527/tid=19578] ppid=19522 vsize=10162692 CPUtime=871.67 cores=0-3,8-11
/proc/19527/task/19578/stat : 19578 (java) R 19522 19527 19483 0 -1 4202560 1797 0 0 0 87124 43 0 0 20 0 27 0 13261221 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140569000588424 140569062739963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19527/tid=19581] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19581/stat : 19581 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140568999536296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19527/tid=19582] ppid=19522 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/19527/task/19582/stat : 19582 (java) S 19522 19527 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13261221 10406596608 613226 33554432000 1073741824 1073778376 140736020402880 140568998482728 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 19527 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 19527 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=129402
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=812572
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 881.866
CPU time (s): 1800.1
CPU user time (s): 1797.74
CPU system time (s): 2.36
CPU usage (%): 204.124
Max. virtual memory (cumulated for all children) (KiB): 10163052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.13
system time used= 2.81257
maximum resident set size= 2454188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27136
page faults= 1
swaps= 0
block input operations= 8
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45348
involuntary context switches= 53381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2114 second user time and 7.15791 second system time
The end