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-4100826-1466211551/watcher-4100826-1466211551 -o /tmp/evaluation-result-4100826-1466211551/solver-4100826-1466211551 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100826-1466211551.opb
pid=19537
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.94 4.05 4.04 4/284 19540
/proc/meminfo: memFree=29471616/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 2 0 23199738 95129600 927 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 23225 927 703 9 0 16769 0
[pid=19540/tid=19541] ppid=19537 vsize=92900 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) D 19537 19540 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 23199739 95129600 927 33554432000 1073741824 1073778376 140736019731760 140063836524072 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 6 0 0 0 0 0
[startup+0.100062 s]
/proc/loadavg: 3.94 4.05 4.04 4/284 19540
/proc/meminfo: memFree=29471616/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 4461 0 1 0 8 2 0 0 20 0 23 0 23199738 10133950464 6084 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2474109 6084 2126 9 0 2464786 0
[pid=19540/tid=19541] ppid=19537 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) R 19537 19540 15292 0 -1 4202560 2411 0 1 0 5 1 0 0 20 0 23 0 23199739 10133950464 6084 33554432000 1073741824 1073778376 140736019731760 140063836527520 140063843539511 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436
[startup+0.200256 s]
/proc/loadavg: 3.94 4.05 4.04 4/284 19540
/proc/meminfo: memFree=29471616/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=9896436 CPUtime=0.25 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 4754 0 1 0 23 2 0 0 20 0 23 0 23199738 10133950464 7337 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2474109 7337 2204 9 0 2464786 0
[pid=19540/tid=19541] ppid=19537 vsize=9896436 CPUtime=0.16 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) R 19537 19540 15292 0 -1 4202560 2431 0 1 0 15 1 0 0 20 0 23 0 23199739 10133950464 7337 33554432000 1073741824 1073778376 140736019731760 140063836527520 140063665152720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9896436
[startup+0.300255 s]
/proc/loadavg: 3.94 4.05 4.04 4/284 19540
/proc/meminfo: memFree=29471616/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=9896436 CPUtime=0.53 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 7503 0 1 0 50 3 0 0 20 0 23 0 23199738 10133950464 11167 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2474109 11168 2237 9 0 2464786 0
[pid=19540/tid=19541] ppid=19537 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) R 19537 19540 15292 0 -1 4202560 2437 0 1 0 25 1 0 0 20 0 23 0 23199739 10133950464 11169 33554432000 1073741824 1073778376 140736019731760 140063836527864 140063665434759 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9896436
[startup+0.700225 s]
/proc/loadavg: 3.94 4.05 4.04 4/284 19540
/proc/meminfo: memFree=29471616/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=10029564 CPUtime=1.54 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 14951 0 1 0 142 12 0 0 20 0 25 0 23199738 10270273536 48059 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2507391 48059 2265 9 0 2498068 0
[pid=19540/tid=19541] ppid=19537 vsize=10029564 CPUtime=0.65 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) S 19537 19540 15292 0 -1 4202560 2512 0 1 0 61 4 0 0 20 0 25 0 23199739 10270273536 48059 33554432000 1073741824 1073778376 140736019731760 140063836529528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10029564
[startup+1.50734 s]
/proc/loadavg: 3.94 4.05 4.04 7/311 19567
/proc/meminfo: memFree=29260532/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=10162692 CPUtime=4.5 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 17305 0 1 0 407 43 0 0 20 0 27 0 23199738 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2540673 61868 2278 9 0 2531350 0
[pid=19540/tid=19541] ppid=19537 vsize=10162692 CPUtime=0.65 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) S 19537 19540 15292 0 -1 4202560 2512 0 1 0 61 4 0 0 20 0 27 0 23199739 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063836529528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19543] ppid=19537 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/19540/task/19543/stat : 19543 (java) R 19537 19540 15292 0 -1 4202560 167 0 0 0 1 4 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063798019160 140063839000265 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19544] ppid=19537 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19540/task/19544/stat : 19544 (java) R 19537 19540 15292 0 -1 4202560 77 0 0 0 2 4 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063796968024 140063840690951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19545] ppid=19537 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/19540/task/19545/stat : 19545 (java) R 19537 19540 15292 0 -1 4202560 24 0 0 0 0 3 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063795915224 140063840704779 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19546] ppid=19537 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/19540/task/19546/stat : 19546 (java) R 19537 19540 15292 0 -1 4202560 54 0 0 0 0 3 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063794862128 140063839000257 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19547] ppid=19537 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/19540/task/19547/stat : 19547 (java) R 19537 19540 15292 0 -1 4202560 45 0 0 0 1 2 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063793810648 140063843425104 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19548] ppid=19537 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/19540/task/19548/stat : 19548 (java) R 19537 19540 15292 0 -1 4202560 15 0 0 0 0 2 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063792757848 140063840704768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19549] ppid=19537 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/19540/task/19549/stat : 19549 (java) R 19537 19540 15292 0 -1 4202560 43 0 0 0 1 2 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063791705048 140063839000249 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19550] ppid=19537 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/19540/task/19550/stat : 19550 (java) R 19537 19540 15292 0 -1 4202560 27 0 0 0 1 4 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063790652248 140063839807341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19551] ppid=19537 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/19540/task/19551/stat : 19551 (java) R 19537 19540 15292 0 -1 4202560 16 0 0 0 1 2 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063789599448 216808263572 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19552] ppid=19537 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/19540/task/19552/stat : 19552 (java) R 19537 19540 15292 0 -1 4202560 21 0 0 0 1 2 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063788546648 140063839000241 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19553] ppid=19537 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19540/task/19553/stat : 19553 (java) R 19537 19540 15292 0 -1 4202560 92 0 0 0 2 4 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063787493672 140063839000249 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19554] ppid=19537 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/19540/task/19554/stat : 19554 (java) R 19537 19540 15292 0 -1 4202560 26 0 0 0 2 3 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063786440872 140063842924769 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19555] ppid=19537 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/19540/task/19555/stat : 19555 (java) R 19537 19540 15292 0 -1 4202560 49 0 0 0 1 3 0 0 20 0 27 0 23199740 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063785389096 140063843425857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19556] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19556/stat : 19556 (java) S 19537 19540 15292 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 27 0 23199741 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140063650072328 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19557] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19557/stat : 19557 (java) S 19537 19540 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140062775830136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19558] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19558/stat : 19558 (java) S 19537 19540 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140062774777224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19559] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19559/stat : 19559 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 61868 33554432000 1073741824 1073778376 140736019731760 140062773725712 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19560] ppid=19537 vsize=10162692 CPUtime=0.7 cores=4-7,12-15
/proc/19540/task/19560/stat : 19560 (java) S 19537 19540 15292 0 -1 4202560 4771 0 0 0 68 2 0 0 20 0 27 0 23199744 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062772672824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19561] ppid=19537 vsize=10162692 CPUtime=0.96 cores=4-7,12-15
/proc/19540/task/19561/stat : 19561 (java) S 19537 19540 15292 0 -1 4202560 7986 0 0 0 94 2 0 0 20 0 27 0 23199744 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062771620024 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19562] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19562/stat : 19562 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062770567416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19563] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19563/stat : 19563 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062769515848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19564] ppid=19537 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/19540/task/19564/stat : 19564 (java) S 19537 19540 15292 0 -1 4202560 20 0 0 0 71 0 0 0 20 0 27 0 23199807 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062768459816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19565] ppid=19537 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/19540/task/19565/stat : 19565 (java) S 19537 19540 15292 0 -1 4202560 28 0 0 0 71 0 0 0 20 0 27 0 23199807 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062767407640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19566] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19566/stat : 19566 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062766355752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19567] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19567/stat : 19567 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 61869 33554432000 1073741824 1073778376 140736019731760 140062765302952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10162692
[startup+3.10116 s]
/proc/loadavg: 3.94 4.05 4.04 5/311 19567
/proc/meminfo: memFree=29169292/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=10162692 CPUtime=8.27 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 19423 0 1 0 776 51 0 0 20 0 27 0 23199738 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2540673 96367 2279 9 0 2531350 0
[pid=19540/tid=19541] ppid=19537 vsize=10162692 CPUtime=0.65 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) S 19537 19540 15292 0 -1 4202560 2512 0 1 0 61 4 0 0 20 0 27 0 23199739 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063836529528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19543] ppid=19537 vsize=10162692 CPUtime=0.1 cores=4-7,12-15
/proc/19540/task/19543/stat : 19543 (java) S 19537 19540 15292 0 -1 4202560 179 0 0 0 5 5 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063798020648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19544] ppid=19537 vsize=10162692 CPUtime=0.1 cores=4-7,12-15
/proc/19540/task/19544/stat : 19544 (java) S 19537 19540 15292 0 -1 4202560 90 0 0 0 5 5 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063796967848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19545] ppid=19537 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/19540/task/19545/stat : 19545 (java) S 19537 19540 15292 0 -1 4202560 28 0 0 0 1 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063795915048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19546] ppid=19537 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/19540/task/19546/stat : 19546 (java) S 19537 19540 15292 0 -1 4202560 55 0 0 0 1 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063794862248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19547] ppid=19537 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/19540/task/19547/stat : 19547 (java) S 19537 19540 15292 0 -1 4202560 47 0 0 0 2 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063793810472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19548] ppid=19537 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/19540/task/19548/stat : 19548 (java) S 19537 19540 15292 0 -1 4202560 17 0 0 0 2 2 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063792757672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19549] ppid=19537 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19540/task/19549/stat : 19549 (java) S 19537 19540 15292 0 -1 4202560 62 0 0 0 3 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063791704872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19550] ppid=19537 vsize=10162692 CPUtime=0.07 cores=4-7,12-15
/proc/19540/task/19550/stat : 19550 (java) S 19537 19540 15292 0 -1 4202560 38 0 0 0 3 4 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063790652072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19551] ppid=19537 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19540/task/19551/stat : 19551 (java) S 19537 19540 15292 0 -1 4202560 31 0 0 0 3 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063789599272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19552] ppid=19537 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19540/task/19552/stat : 19552 (java) S 19537 19540 15292 0 -1 4202560 25 0 0 0 3 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063788546472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19553] ppid=19537 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/19540/task/19553/stat : 19553 (java) S 19537 19540 15292 0 -1 4202560 92 0 0 0 4 4 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063787493672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19554] ppid=19537 vsize=10162692 CPUtime=0.09 cores=4-7,12-15
/proc/19540/task/19554/stat : 19554 (java) S 19537 19540 15292 0 -1 4202560 40 0 0 0 6 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063786440872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19555] ppid=19537 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
/proc/19540/task/19555/stat : 19555 (java) S 19537 19540 15292 0 -1 4202560 50 0 0 0 3 3 0 0 20 0 27 0 23199740 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063785389096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19556] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19556/stat : 19556 (java) S 19537 19540 15292 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 27 0 23199741 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140063650073448 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19557] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19557/stat : 19557 (java) S 19537 19540 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062775830136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19558] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19558/stat : 19558 (java) S 19537 19540 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062774777224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19559] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19559/stat : 19559 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062773725712 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19560] ppid=19537 vsize=10162692 CPUtime=1.02 cores=4-7,12-15
/proc/19540/task/19560/stat : 19560 (java) S 19537 19540 15292 0 -1 4202560 6605 0 0 0 100 2 0 0 20 0 27 0 23199744 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062772672824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19561] ppid=19537 vsize=10162692 CPUtime=0.98 cores=4-7,12-15
/proc/19540/task/19561/stat : 19561 (java) S 19537 19540 15292 0 -1 4202560 7986 0 0 0 96 2 0 0 20 0 27 0 23199744 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062771620024 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19562] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19562/stat : 19562 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062770567416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19563] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19563/stat : 19563 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062769515848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19564] ppid=19537 vsize=10162692 CPUtime=2.25 cores=4-7,12-15
/proc/19540/task/19564/stat : 19564 (java) R 19537 19540 15292 0 -1 4202560 38 0 0 0 225 0 0 0 20 0 27 0 23199807 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062768458840 140063666228631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19565] ppid=19537 vsize=10162692 CPUtime=2.25 cores=4-7,12-15
/proc/19540/task/19565/stat : 19565 (java) R 19537 19540 15292 0 -1 4202560 66 0 0 0 224 1 0 0 20 0 27 0 23199807 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062767406616 140063665991376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19566] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19566/stat : 19566 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062766355752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19567] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19567/stat : 19567 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 96367 33554432000 1073741824 1073778376 140736019731760 140062765302952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 10162692
[startup+6.30112 s]
/proc/loadavg: 3.94 4.05 4.04 5/311 19567
/proc/meminfo: memFree=29064020/32872528 swapFree=7804/7804
################
# More data... #
################
/proc/19540/task/19560/stat : 19560 (java) S 19537 19540 15292 0 -1 4202560 11292 0 0 0 155 2 0 0 20 0 27 0 23199744 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062772672824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19561] ppid=19537 vsize=10162692 CPUtime=1.25 cores=4-7,12-15
/proc/19540/task/19561/stat : 19561 (java) S 19537 19540 15292 0 -1 4202560 8003 0 0 0 123 2 0 0 20 0 27 0 23199744 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062771620024 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19562] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19562/stat : 19562 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062770567416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19563] ppid=19537 vsize=10162692 CPUtime=0.31 cores=4-7,12-15
/proc/19540/task/19563/stat : 19563 (java) S 19537 19540 15292 0 -1 4202560 47 0 0 0 15 16 0 0 20 0 27 0 23199744 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062769515848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19564] ppid=19537 vsize=10162692 CPUtime=822.84 cores=4-7,12-15
/proc/19540/task/19564/stat : 19564 (java) R 19537 19540 15292 0 -1 4202560 1687 0 0 0 82241 43 0 0 20 0 27 0 23199807 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062768451984 140063665926184 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19565] ppid=19537 vsize=10162692 CPUtime=822.77 cores=4-7,12-15
/proc/19540/task/19565/stat : 19565 (java) R 19537 19540 15292 0 -1 4202560 550 0 0 0 82256 21 0 0 20 0 27 0 23199807 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062767405632 140063665959155 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19566] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19566/stat : 19566 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062766355752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19567] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19567/stat : 19567 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 859408 33554432000 1073741824 1073778376 140736019731760 140062765302952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1670.01
Current children cumulated vsize (KiB) 10162692
[startup+942.301 s]
/proc/loadavg: 4.08 4.23 4.22 5/312 19833
/proc/meminfo: memFree=25700120/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=10162692 CPUtime=1790.38 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 51922 0 1 0 178621 417 0 0 20 0 27 0 23199738 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2540673 859511 2292 9 0 2531350 0
[pid=19540/tid=19541] ppid=19537 vsize=10162692 CPUtime=0.69 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) S 19537 19540 15292 0 -1 4202560 2522 0 1 0 64 5 0 0 20 0 27 0 23199739 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063836529528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19543] ppid=19537 vsize=10162692 CPUtime=1.22 cores=4-7,12-15
/proc/19540/task/19543/stat : 19543 (java) S 19537 19540 15292 0 -1 4202560 2824 0 0 0 91 31 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063798020648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19544] ppid=19537 vsize=10162692 CPUtime=1.1 cores=4-7,12-15
/proc/19540/task/19544/stat : 19544 (java) S 19537 19540 15292 0 -1 4202560 953 0 0 0 84 26 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063796967848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19545] ppid=19537 vsize=10162692 CPUtime=0.97 cores=4-7,12-15
/proc/19540/task/19545/stat : 19545 (java) S 19537 19540 15292 0 -1 4202560 2519 0 0 0 74 23 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063795915048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19546] ppid=19537 vsize=10162692 CPUtime=0.9 cores=4-7,12-15
/proc/19540/task/19546/stat : 19546 (java) S 19537 19540 15292 0 -1 4202560 1560 0 0 0 69 21 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063794862248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19547] ppid=19537 vsize=10162692 CPUtime=1.2 cores=4-7,12-15
/proc/19540/task/19547/stat : 19547 (java) S 19537 19540 15292 0 -1 4202560 2466 0 0 0 88 32 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063793810472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19548] ppid=19537 vsize=10162692 CPUtime=1.05 cores=4-7,12-15
/proc/19540/task/19548/stat : 19548 (java) S 19537 19540 15292 0 -1 4202560 2024 0 0 0 80 25 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063792757672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19549] ppid=19537 vsize=10162692 CPUtime=0.93 cores=4-7,12-15
/proc/19540/task/19549/stat : 19549 (java) S 19537 19540 15292 0 -1 4202560 2483 0 0 0 68 25 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063791704872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19550] ppid=19537 vsize=10162692 CPUtime=0.91 cores=4-7,12-15
/proc/19540/task/19550/stat : 19550 (java) S 19537 19540 15292 0 -1 4202560 1448 0 0 0 69 22 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063790652072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19551] ppid=19537 vsize=10162692 CPUtime=0.96 cores=4-7,12-15
/proc/19540/task/19551/stat : 19551 (java) S 19537 19540 15292 0 -1 4202560 1648 0 0 0 72 24 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063789599272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19552] ppid=19537 vsize=10162692 CPUtime=1.08 cores=4-7,12-15
/proc/19540/task/19552/stat : 19552 (java) S 19537 19540 15292 0 -1 4202560 1502 0 0 0 78 30 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063788546472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19553] ppid=19537 vsize=10162692 CPUtime=0.93 cores=4-7,12-15
/proc/19540/task/19553/stat : 19553 (java) S 19537 19540 15292 0 -1 4202560 1391 0 0 0 65 28 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063787493672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19554] ppid=19537 vsize=10162692 CPUtime=1.25 cores=4-7,12-15
/proc/19540/task/19554/stat : 19554 (java) S 19537 19540 15292 0 -1 4202560 1684 0 0 0 89 36 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063786440872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19555] ppid=19537 vsize=10162692 CPUtime=1 cores=4-7,12-15
/proc/19540/task/19555/stat : 19555 (java) S 19537 19540 15292 0 -1 4202560 2067 0 0 0 77 23 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063785389096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19556] ppid=19537 vsize=10162692 CPUtime=2.95 cores=4-7,12-15
/proc/19540/task/19556/stat : 19556 (java) S 19537 19540 15292 0 -1 4202560 1983 0 0 0 288 7 0 0 20 0 27 0 23199741 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063650073448 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19557] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19557/stat : 19557 (java) S 19537 19540 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062775830136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19558] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19558/stat : 19558 (java) S 19537 19540 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062774777224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19559] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19559/stat : 19559 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062773725712 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19560] ppid=19537 vsize=10162692 CPUtime=1.57 cores=4-7,12-15
/proc/19540/task/19560/stat : 19560 (java) S 19537 19540 15292 0 -1 4202560 11292 0 0 0 155 2 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062772672824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19561] ppid=19537 vsize=10162692 CPUtime=1.25 cores=4-7,12-15
/proc/19540/task/19561/stat : 19561 (java) S 19537 19540 15292 0 -1 4202560 8003 0 0 0 123 2 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062771620024 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19562] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19562/stat : 19562 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062770567416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19563] ppid=19537 vsize=10162692 CPUtime=0.33 cores=4-7,12-15
/proc/19540/task/19563/stat : 19563 (java) S 19537 19540 15292 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062769515848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19564] ppid=19537 vsize=10162692 CPUtime=882.62 cores=4-7,12-15
/proc/19540/task/19564/stat : 19564 (java) R 19537 19540 15292 0 -1 4202560 1687 0 0 0 88218 44 0 0 20 0 27 0 23199807 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062768451984 140063666189586 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19565] ppid=19537 vsize=10162692 CPUtime=882.55 cores=4-7,12-15
/proc/19540/task/19565/stat : 19565 (java) R 19537 19540 15292 0 -1 4202560 551 0 0 0 88233 22 0 0 20 0 27 0 23199807 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062767406816 140063665959273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19566] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19566/stat : 19566 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062766355752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19567] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19567/stat : 19567 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062765302952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+947.201 s]
/proc/loadavg: 4.08 4.22 4.22 5/312 19833
/proc/meminfo: memFree=25702116/32872528 swapFree=7804/7804
[pid=19540] ppid=19537 vsize=10162692 CPUtime=1800.18 cores=4-7,12-15
/proc/19540/stat : 19540 (java) S 19537 19540 15292 0 -1 4202496 51922 0 1 0 179601 417 0 0 20 0 27 0 23199738 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140736019722896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19540/statm: 2540673 859511 2292 9 0 2531350 0
[pid=19540/tid=19541] ppid=19537 vsize=10162692 CPUtime=0.69 cores=4-7,12-15
/proc/19540/task/19541/stat : 19541 (java) S 19537 19540 15292 0 -1 4202560 2522 0 1 0 64 5 0 0 20 0 27 0 23199739 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063836529528 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19543] ppid=19537 vsize=10162692 CPUtime=1.22 cores=4-7,12-15
/proc/19540/task/19543/stat : 19543 (java) S 19537 19540 15292 0 -1 4202560 2824 0 0 0 91 31 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063798020648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19544] ppid=19537 vsize=10162692 CPUtime=1.1 cores=4-7,12-15
/proc/19540/task/19544/stat : 19544 (java) S 19537 19540 15292 0 -1 4202560 953 0 0 0 84 26 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063796967848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19545] ppid=19537 vsize=10162692 CPUtime=0.97 cores=4-7,12-15
/proc/19540/task/19545/stat : 19545 (java) S 19537 19540 15292 0 -1 4202560 2519 0 0 0 74 23 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063795915048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19546] ppid=19537 vsize=10162692 CPUtime=0.9 cores=4-7,12-15
/proc/19540/task/19546/stat : 19546 (java) S 19537 19540 15292 0 -1 4202560 1560 0 0 0 69 21 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063794862248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19547] ppid=19537 vsize=10162692 CPUtime=1.2 cores=4-7,12-15
/proc/19540/task/19547/stat : 19547 (java) S 19537 19540 15292 0 -1 4202560 2466 0 0 0 88 32 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063793810472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19548] ppid=19537 vsize=10162692 CPUtime=1.05 cores=4-7,12-15
/proc/19540/task/19548/stat : 19548 (java) S 19537 19540 15292 0 -1 4202560 2024 0 0 0 80 25 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063792757672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19549] ppid=19537 vsize=10162692 CPUtime=0.93 cores=4-7,12-15
/proc/19540/task/19549/stat : 19549 (java) S 19537 19540 15292 0 -1 4202560 2483 0 0 0 68 25 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063791704872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19540/tid=19550] ppid=19537 vsize=10162692 CPUtime=0.91 cores=4-7,12-15
/proc/19540/task/19550/stat : 19550 (java) S 19537 19540 15292 0 -1 4202560 1448 0 0 0 69 22 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063790652072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19551] ppid=19537 vsize=10162692 CPUtime=0.96 cores=4-7,12-15
/proc/19540/task/19551/stat : 19551 (java) S 19537 19540 15292 0 -1 4202560 1648 0 0 0 72 24 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063789599272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19552] ppid=19537 vsize=10162692 CPUtime=1.08 cores=4-7,12-15
/proc/19540/task/19552/stat : 19552 (java) S 19537 19540 15292 0 -1 4202560 1502 0 0 0 78 30 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063788546472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19553] ppid=19537 vsize=10162692 CPUtime=0.93 cores=4-7,12-15
/proc/19540/task/19553/stat : 19553 (java) S 19537 19540 15292 0 -1 4202560 1391 0 0 0 65 28 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063787493672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19554] ppid=19537 vsize=10162692 CPUtime=1.25 cores=4-7,12-15
/proc/19540/task/19554/stat : 19554 (java) S 19537 19540 15292 0 -1 4202560 1684 0 0 0 89 36 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063786440872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19555] ppid=19537 vsize=10162692 CPUtime=1 cores=4-7,12-15
/proc/19540/task/19555/stat : 19555 (java) S 19537 19540 15292 0 -1 4202560 2067 0 0 0 77 23 0 0 20 0 27 0 23199740 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063785389096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19556] ppid=19537 vsize=10162692 CPUtime=2.95 cores=4-7,12-15
/proc/19540/task/19556/stat : 19556 (java) S 19537 19540 15292 0 -1 4202560 1983 0 0 0 288 7 0 0 20 0 27 0 23199741 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140063650073448 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19557] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19557/stat : 19557 (java) S 19537 19540 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062775830136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19558] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19558/stat : 19558 (java) S 19537 19540 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23199742 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062774777224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19559] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19559/stat : 19559 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062773725712 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=19540/tid=19560] ppid=19537 vsize=10162692 CPUtime=1.57 cores=4-7,12-15
/proc/19540/task/19560/stat : 19560 (java) S 19537 19540 15292 0 -1 4202560 11292 0 0 0 155 2 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062772672824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19561] ppid=19537 vsize=10162692 CPUtime=1.25 cores=4-7,12-15
/proc/19540/task/19561/stat : 19561 (java) S 19537 19540 15292 0 -1 4202560 8003 0 0 0 123 2 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062771620024 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19540/tid=19562] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19562/stat : 19562 (java) S 19537 19540 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062770567416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=19540/tid=19563] ppid=19537 vsize=10162692 CPUtime=0.34 cores=4-7,12-15
/proc/19540/task/19563/stat : 19563 (java) S 19537 19540 15292 0 -1 4202560 51 0 0 0 16 18 0 0 20 0 27 0 23199744 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062769515848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19540/tid=19564] ppid=19537 vsize=10162692 CPUtime=887.5 cores=4-7,12-15
/proc/19540/task/19564/stat : 19564 (java) R 19537 19540 15292 0 -1 4202560 1687 0 0 0 88706 44 0 0 20 0 27 0 23199807 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062768451984 140063666189443 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=19540/tid=19565] ppid=19537 vsize=10162692 CPUtime=887.44 cores=4-7,12-15
/proc/19540/task/19565/stat : 19565 (java) R 19537 19540 15292 0 -1 4202560 551 0 0 0 88722 22 0 0 20 0 27 0 23199807 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062767406816 140063665959195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19540/tid=19566] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19566/stat : 19566 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062766355752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=19540/tid=19567] ppid=19537 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/19540/task/19567/stat : 19567 (java) S 19537 19540 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23199820 10406596608 859511 33554432000 1073741824 1073778376 140736019731760 140062765302952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
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 19540 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 19540 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=57717
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=682288
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 947.25
CPU time (s): 1800.18
CPU user time (s): 1796.01
CPU system time (s): 4.17
CPU usage (%): 190.043
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.06
system time used= 4.68229
maximum resident set size= 3462616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51966
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23761
involuntary context switches= 13677
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52516 second user time and 7.37488 second system time
The end