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-4118139-1467222703/watcher-4118139-1467222703 -o /tmp/evaluation-result-4118139-1467222703/solver-4118139-1467222703 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118139-1467222703.opb
pid=12617
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.93 3.91 3.76 4/284 12620
/proc/meminfo: memFree=24939528/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=9212 CPUtime=0 cores=4-7,12-15
/proc/12620/stat : 12620 (java) R 12617 12620 6721 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 3223149 9433088 59 33554432000 1073741824 1073778376 140737386488912 140737386486040 216799473450 0 0 4096 0 0 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2304 68 54 9 0 36 0
[startup+0.100059 s]
/proc/loadavg: 3.93 3.91 3.76 4/284 12620
/proc/meminfo: memFree=24939528/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 4366 0 1 0 7 0 0 0 20 0 23 0 3223149 10133950464 5480 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2474109 5481 2093 9 0 2464786 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9896436
[startup+0.200271 s]
/proc/loadavg: 3.93 3.91 3.76 4/284 12620
/proc/meminfo: memFree=24939528/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=9896436 CPUtime=0.2 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 4611 0 1 0 19 1 0 0 20 0 23 0 3223149 10133950464 7225 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2474109 7225 2178 9 0 2464786 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9896436
[startup+0.300229 s]
/proc/loadavg: 3.93 3.91 3.76 4/284 12620
/proc/meminfo: memFree=24939528/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=9896436 CPUtime=0.42 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 5627 0 1 0 41 1 0 0 20 0 23 0 3223149 10133950464 8386 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2474109 8386 2236 9 0 2464786 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9896436
[startup+0.700187 s]
/proc/loadavg: 3.93 3.91 3.76 4/284 12620
/proc/meminfo: memFree=24939528/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=9896436 CPUtime=1.58 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 32169 0 1 0 152 6 0 0 20 0 23 0 3223149 10133950464 33995 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2474109 33995 2255 9 0 2464786 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9896436
[startup+1.50135 s]
/proc/loadavg: 3.93 3.91 3.76 6/307 12643
/proc/meminfo: memFree=24735648/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=9896436 CPUtime=4.42 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 38559 0 1 0 410 32 0 0 20 0 23 0 3223149 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2474109 70154 2274 9 0 2464786 0
[pid=12620/tid=12622] ppid=12617 vsize=9896436 CPUtime=1.36 cores=4-7,12-15
/proc/12620/task/12622/stat : 12622 (java) R 12617 12620 6721 0 -1 4202560 2538 0 1 0 133 3 0 0 20 0 23 0 3223151 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140069157633144 140069029539119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12623] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12623/stat : 12623 (java) S 12617 12620 6721 0 -1 4202560 15 0 0 0 1 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140069001701928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12624] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12624/stat : 12624 (java) S 12617 12620 6721 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140069000649128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12625] ppid=12617 vsize=9896436 CPUtime=0.05 cores=4-7,12-15
/proc/12620/task/12625/stat : 12625 (java) S 12617 12620 6721 0 -1 4202560 26 0 0 0 2 3 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068999596328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12626] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12626/stat : 12626 (java) S 12617 12620 6721 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068998543528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12627] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12627/stat : 12627 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068997491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12620/tid=12628] ppid=12617 vsize=9896436 CPUtime=0.04 cores=4-7,12-15
/proc/12620/task/12628/stat : 12628 (java) S 12617 12620 6721 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068996438952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12629] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12629/stat : 12629 (java) S 12617 12620 6721 0 -1 4202560 14 0 0 0 2 1 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068995386152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12630] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12630/stat : 12630 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 1 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068994333352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12631] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12631/stat : 12631 (java) S 12617 12620 6721 0 -1 4202560 18 0 0 0 1 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068993280552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12632] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12632/stat : 12632 (java) S 12617 12620 6721 0 -1 4202560 15 0 0 0 1 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068992227752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12633] ppid=12617 vsize=9896436 CPUtime=0.04 cores=4-7,12-15
/proc/12620/task/12633/stat : 12633 (java) S 12617 12620 6721 0 -1 4202560 19 0 0 0 2 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068991174952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12634] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12634/stat : 12634 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 1 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068990122152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12620/tid=12635] ppid=12617 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/12620/task/12635/stat : 12635 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 1 2 0 0 20 0 23 0 3223152 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068989070376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12636] ppid=12617 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12636/stat : 12636 (java) S 12617 12620 6721 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 23 0 3223153 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068971395944 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12637] ppid=12617 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12637/stat : 12637 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 3223154 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068970342008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12638] ppid=12617 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12638/stat : 12638 (java) S 12617 12620 6721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 3223154 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068969289096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12639] ppid=12617 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12639/stat : 12639 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3223156 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068968237584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12640] ppid=12617 vsize=9896436 CPUtime=1.2 cores=4-7,12-15
/proc/12620/task/12640/stat : 12640 (java) R 12617 12620 6721 0 -1 4202560 16616 0 0 0 118 2 0 0 20 0 23 0 3223156 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068967171696 140069161730764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12641] ppid=12617 vsize=9896436 CPUtime=1.2 cores=4-7,12-15
/proc/12620/task/12641/stat : 12641 (java) R 12617 12620 6721 0 -1 4202560 17847 0 0 0 117 3 0 0 20 0 23 0 3223156 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068966119648 140069163792885 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12642] ppid=12617 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12642/stat : 12642 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3223156 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068965079288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12643] ppid=12617 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12643/stat : 12643 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3223156 10133950464 70154 33554432000 1073741824 1073778376 140737386488912 140068964027720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 9896436
[startup+3.10095 s]
/proc/loadavg: 3.93 3.91 3.76 16/307 12643
/proc/meminfo: memFree=24415656/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=10162692 CPUtime=9.85 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 40382 0 1 0 815 170 0 0 20 0 24 0 3223149 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2540673 167636 2282 9 0 2531350 0
[pid=12620/tid=12622] ppid=12617 vsize=10162692 CPUtime=2.04 cores=4-7,12-15
/proc/12620/task/12622/stat : 12622 (java) S 12617 12620 6721 0 -1 4202560 2600 0 1 0 200 4 0 0 20 0 24 0 3223151 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140069157633560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12623] ppid=12617 vsize=10162692 CPUtime=0.23 cores=4-7,12-15
/proc/12620/task/12623/stat : 12623 (java) R 12617 12620 6721 0 -1 4202560 134 0 0 0 13 10 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140069001702104 140069160105673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12624] ppid=12617 vsize=10162692 CPUtime=0.28 cores=4-7,12-15
/proc/12620/task/12624/stat : 12624 (java) R 12617 12620 6721 0 -1 4202560 150 0 0 0 16 12 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140069000649128 140069160105665 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12625] ppid=12617 vsize=10162692 CPUtime=0.25 cores=4-7,12-15
/proc/12620/task/12625/stat : 12625 (java) R 12617 12620 6721 0 -1 4202560 112 0 0 0 15 10 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068999596504 140069164143008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12626] ppid=12617 vsize=10162692 CPUtime=0.28 cores=4-7,12-15
/proc/12620/task/12626/stat : 12626 (java) R 12617 12620 6721 0 -1 4202560 135 0 0 0 16 12 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068998543704 140069160105657 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12627] ppid=12617 vsize=10162692 CPUtime=0.36 cores=4-7,12-15
/proc/12620/task/12627/stat : 12627 (java) R 12617 12620 6721 0 -1 4202560 126 0 0 0 21 15 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068997491928 140069164530113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12620/tid=12628] ppid=12617 vsize=10162692 CPUtime=0.23 cores=4-7,12-15
/proc/12620/task/12628/stat : 12628 (java) R 12617 12620 6721 0 -1 4202560 91 0 0 0 12 11 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068996438832 140069161810095 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12629] ppid=12617 vsize=10162692 CPUtime=0.25 cores=4-7,12-15
/proc/12620/task/12629/stat : 12629 (java) R 12617 12620 6721 0 -1 4202560 135 0 0 0 15 10 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068995386328 140069160105657 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12630] ppid=12617 vsize=10162692 CPUtime=0.26 cores=4-7,12-15
/proc/12620/task/12630/stat : 12630 (java) R 12617 12620 6721 0 -1 4202560 145 0 0 0 14 12 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068994333528 140069164142978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12631] ppid=12617 vsize=10162692 CPUtime=0.29 cores=4-7,12-15
/proc/12620/task/12631/stat : 12631 (java) R 12617 12620 6721 0 -1 4202560 167 0 0 0 16 13 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068993280728 140069160912745 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12632] ppid=12617 vsize=10162692 CPUtime=0.43 cores=4-7,12-15
/proc/12620/task/12632/stat : 12632 (java) R 12617 12620 6721 0 -1 4202560 199 0 0 0 25 18 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068992227752 140069161528138 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12633] ppid=12617 vsize=10162692 CPUtime=0.26 cores=4-7,12-15
/proc/12620/task/12633/stat : 12633 (java) R 12617 12620 6721 0 -1 4202560 142 0 0 0 15 11 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068991175128 140069160105715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12634] ppid=12617 vsize=10162692 CPUtime=0.26 cores=4-7,12-15
/proc/12620/task/12634/stat : 12634 (java) R 12617 12620 6721 0 -1 4202560 137 0 0 0 16 10 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068990122328 140069160105657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12635] ppid=12617 vsize=10162692 CPUtime=0.32 cores=4-7,12-15
/proc/12620/task/12635/stat : 12635 (java) R 12617 12620 6721 0 -1 4202560 131 0 0 0 17 15 0 0 20 0 24 0 3223152 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068989070376 140069161810095 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12636] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12636/stat : 12636 (java) S 12617 12620 6721 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 24 0 3223153 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068971394824 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12637] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12637/stat : 12637 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 3223154 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068970342008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12638] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12638/stat : 12638 (java) S 12617 12620 6721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 3223154 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068969289096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12639] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12639/stat : 12639 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3223156 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068968237584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12640] ppid=12617 vsize=10162692 CPUtime=1.52 cores=4-7,12-15
/proc/12620/task/12640/stat : 12640 (java) S 12617 12620 6721 0 -1 4202560 16620 0 0 0 150 2 0 0 20 0 24 0 3223156 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068967184696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12641] ppid=12617 vsize=10162692 CPUtime=1.6 cores=4-7,12-15
/proc/12620/task/12641/stat : 12641 (java) S 12617 12620 6721 0 -1 4202560 17850 0 0 0 156 4 0 0 20 0 24 0 3223156 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068966131896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12642] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12642/stat : 12642 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3223156 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068965079288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12643] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12643/stat : 12643 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3223156 10406596608 167636 33554432000 1073741824 1073778376 140737386488912 140068964027720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (KiB) 10162692
[startup+6.301 s]
/proc/loadavg: 3.86 3.89 3.76 3/308 12653
/proc/meminfo: memFree=24191088/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=10162692 CPUtime=14.4 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 41422 0 1 0 1228 212 0 0 20 0 25 0 3223149 10406596608 241655 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2540673 241655 2292 9 0 2531350 0
[pid=12620/tid=12622] ppid=12617 vsize=10162692 CPUtime=3.18 cores=4-7,12-15
/proc/12620/task/12622/stat : 12622 (java) S 12617 12620 6721 0 -1 4202560 2658 0 1 0 313 5 0 0 20 0 25 0 3223151 10406596608 241655 33554432000 1073741824 1073778376 140737386488912 140069157634936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12623] ppid=12617 vsize=10162692 CPUtime=0.28 cores=4-7,12-15
/proc/12620/task/12623/stat : 12623 (java) R 12617 12620 6721 0 -1 4202560 154 0 0 0 17 11 0 0 20 0 25 0 3223152 10406596608 241655 33554432000 1073741824 1073778376 140737386488912 140069001702104 140069160105673 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12624] ppid=12617 vsize=10162692 CPUtime=0.38 cores=4-7,12-15
/proc/12620/task/12624/stat : 12624 (java) R 12617 12620 6721 0 -1 4202560 173 0 0 0 24 14 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140069000649008 140069164530604 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12625] ppid=12617 vsize=10162692 CPUtime=0.29 cores=4-7,12-15
/proc/12620/task/12625/stat : 12625 (java) R 12617 12620 6721 0 -1 4202560 131 0 0 0 18 11 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068999596504 140069160105657 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12626] ppid=12617 vsize=10162692 CPUtime=0.35 cores=4-7,12-15
/proc/12620/task/12626/stat : 12626 (java) R 12617 12620 6721 0 -1 4202560 154 0 0 0 21 14 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068998543704 140069160105673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12627] ppid=12617 vsize=10162692 CPUtime=0.49 cores=4-7,12-15
/proc/12620/task/12627/stat : 12627 (java) R 12617 12620 6721 0 -1 4202560 166 0 0 0 29 20 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068997491928 140069160105665 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12628] ppid=12617 vsize=10162692 CPUtime=0.29 cores=4-7,12-15
/proc/12620/task/12628/stat : 12628 (java) R 12617 12620 6721 0 -1 4202560 107 0 0 0 17 12 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068996439128 140069160105665 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12629] ppid=12617 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/12620/task/12629/stat : 12629 (java) R 12617 12620 6721 0 -1 4202560 173 0 0 0 25 14 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068995386328 140069164530604 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12630] ppid=12617 vsize=10162692 CPUtime=0.31 cores=4-7,12-15
/proc/12620/task/12630/stat : 12630 (java) R 12617 12620 6721 0 -1 4202560 166 0 0 0 18 13 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068994333528 140069164530554 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12631] ppid=12617 vsize=10162692 CPUtime=0.33 cores=4-7,12-15
/proc/12620/task/12631/stat : 12631 (java) R 12617 12620 6721 0 -1 4202560 184 0 0 0 19 14 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068993280728 140069160105681 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=12620/tid=12632] ppid=12617 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/12620/task/12632/stat : 12632 (java) R 12617 12620 6721 0 -1 4202560 226 0 0 0 32 22 0 0 20 0 25 0 3223152 10406596608 242167 33554432000 1073741824 1073778376 140737386488912 140068992227928 140069160105657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12633] ppid=12617 vsize=10162692 CPUtime=0.36 cores=4-7,12-15
################
# More data... #
################
/proc/12620/task/12640/stat : 12640 (java) S 12617 12620 6721 0 -1 4202560 16644 0 0 0 205 2 0 0 20 0 27 0 3223156 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140068967184696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12641] ppid=12617 vsize=10162692 CPUtime=2.39 cores=4-7,12-15
/proc/12620/task/12641/stat : 12641 (java) S 12617 12620 6721 0 -1 4202560 17855 0 0 0 235 4 0 0 20 0 27 0 3223156 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140068966131896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12642] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12642/stat : 12642 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3223156 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140068965079288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12643] ppid=12617 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/12620/task/12643/stat : 12643 (java) S 12617 12620 6721 0 -1 4202560 47 0 0 0 19 20 0 0 20 0 27 0 3223156 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140068964027720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12646] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12646/stat : 12646 (java) S 12617 12620 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3223405 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140068960769320 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12690] ppid=12617 vsize=10162692 CPUtime=803.56 cores=4-7,12-15
/proc/12620/task/12690/stat : 12690 (java) R 12617 12620 6721 0 -1 4202560 15 0 0 0 80344 12 0 0 20 0 27 0 3224814 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140068962864800 140069030028201 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12691] ppid=12617 vsize=10162692 CPUtime=803.51 cores=4-7,12-15
/proc/12620/task/12691/stat : 12691 (java) R 12617 12620 6721 0 -1 4202560 4 0 0 0 80339 12 0 0 20 0 27 0 3224814 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140067406340904 140069031047147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12692] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12692/stat : 12692 (java) S 12617 12620 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3224816 10406596608 383319 33554432000 1073741824 1073778376 140737386488912 140068961822248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1641.45
Current children cumulated vsize (KiB) 10162692
[startup+882.312 s]
/proc/loadavg: 4.02 4.04 3.92 5/311 12839
/proc/meminfo: memFree=23217968/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=10162692 CPUtime=1761.47 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 44057 0 1 0 175716 431 0 0 20 0 27 0 3223149 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2540673 385879 2301 9 0 2531350 0
[pid=12620/tid=12622] ppid=12617 vsize=10162692 CPUtime=6.98 cores=4-7,12-15
/proc/12620/task/12622/stat : 12622 (java) S 12617 12620 6721 0 -1 4202560 3179 0 1 0 689 9 0 0 20 0 27 0 3223151 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140069157634936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12623] ppid=12617 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/12620/task/12623/stat : 12623 (java) S 12617 12620 6721 0 -1 4202560 248 0 0 0 33 21 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140069001701928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12624] ppid=12617 vsize=10162692 CPUtime=0.77 cores=4-7,12-15
/proc/12620/task/12624/stat : 12624 (java) S 12617 12620 6721 0 -1 4202560 300 0 0 0 47 30 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140069000649128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12625] ppid=12617 vsize=10162692 CPUtime=0.61 cores=4-7,12-15
/proc/12620/task/12625/stat : 12625 (java) S 12617 12620 6721 0 -1 4202560 244 0 0 0 37 24 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068999596328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12626] ppid=12617 vsize=10162692 CPUtime=0.79 cores=4-7,12-15
/proc/12620/task/12626/stat : 12626 (java) S 12617 12620 6721 0 -1 4202560 330 0 0 0 49 30 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068998543528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12627] ppid=12617 vsize=10162692 CPUtime=0.72 cores=4-7,12-15
/proc/12620/task/12627/stat : 12627 (java) S 12617 12620 6721 0 -1 4202560 237 0 0 0 44 28 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068997491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12628] ppid=12617 vsize=10162692 CPUtime=0.58 cores=4-7,12-15
/proc/12620/task/12628/stat : 12628 (java) S 12617 12620 6721 0 -1 4202560 237 0 0 0 34 24 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068996438952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12629] ppid=12617 vsize=10162692 CPUtime=0.68 cores=4-7,12-15
/proc/12620/task/12629/stat : 12629 (java) S 12617 12620 6721 0 -1 4202560 271 0 0 0 44 24 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068995386152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12620/tid=12630] ppid=12617 vsize=10162692 CPUtime=0.64 cores=4-7,12-15
/proc/12620/task/12630/stat : 12630 (java) S 12617 12620 6721 0 -1 4202560 278 0 0 0 39 25 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068994333352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12631] ppid=12617 vsize=10162692 CPUtime=0.61 cores=4-7,12-15
/proc/12620/task/12631/stat : 12631 (java) S 12617 12620 6721 0 -1 4202560 283 0 0 0 36 25 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068993280552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12632] ppid=12617 vsize=10162692 CPUtime=0.95 cores=4-7,12-15
/proc/12620/task/12632/stat : 12632 (java) S 12617 12620 6721 0 -1 4202560 360 0 0 0 56 39 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068992227752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12620/tid=12633] ppid=12617 vsize=10162692 CPUtime=0.63 cores=4-7,12-15
/proc/12620/task/12633/stat : 12633 (java) S 12617 12620 6721 0 -1 4202560 276 0 0 0 39 24 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068991174952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12634] ppid=12617 vsize=10162692 CPUtime=0.77 cores=4-7,12-15
/proc/12620/task/12634/stat : 12634 (java) S 12617 12620 6721 0 -1 4202560 298 0 0 0 46 31 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068990122152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12635] ppid=12617 vsize=10162692 CPUtime=0.8 cores=4-7,12-15
/proc/12620/task/12635/stat : 12635 (java) S 12617 12620 6721 0 -1 4202560 352 0 0 0 47 33 0 0 20 0 27 0 3223152 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068989070376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12636] ppid=12617 vsize=10162692 CPUtime=0.78 cores=4-7,12-15
/proc/12620/task/12636/stat : 12636 (java) S 12617 12620 6721 0 -1 4202560 859 0 0 0 76 2 0 0 20 0 27 0 3223153 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068971395944 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12637] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12637/stat : 12637 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3223154 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068970342008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12638] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12638/stat : 12638 (java) S 12617 12620 6721 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 3223154 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068969289096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12639] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12639/stat : 12639 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3223156 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068968237584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12640] ppid=12617 vsize=10162692 CPUtime=2.07 cores=4-7,12-15
/proc/12620/task/12640/stat : 12640 (java) S 12617 12620 6721 0 -1 4202560 16644 0 0 0 205 2 0 0 20 0 27 0 3223156 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068967184696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12641] ppid=12617 vsize=10162692 CPUtime=2.39 cores=4-7,12-15
/proc/12620/task/12641/stat : 12641 (java) S 12617 12620 6721 0 -1 4202560 17855 0 0 0 235 4 0 0 20 0 27 0 3223156 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068966131896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12642] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12642/stat : 12642 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3223156 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068965079288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12643] ppid=12617 vsize=10162692 CPUtime=0.42 cores=4-7,12-15
/proc/12620/task/12643/stat : 12643 (java) S 12617 12620 6721 0 -1 4202560 51 0 0 0 20 22 0 0 20 0 27 0 3223156 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068964027720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12646] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12646/stat : 12646 (java) S 12617 12620 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3223405 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068960769320 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12690] ppid=12617 vsize=10162692 CPUtime=863.42 cores=4-7,12-15
/proc/12620/task/12690/stat : 12690 (java) R 12617 12620 6721 0 -1 4202560 18 0 0 0 86329 13 0 0 20 0 27 0 3224814 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068962864800 140069030028041 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12691] ppid=12617 vsize=10162692 CPUtime=863.37 cores=4-7,12-15
/proc/12620/task/12691/stat : 12691 (java) R 12617 12620 6721 0 -1 4202560 6 0 0 0 86324 13 0 0 20 0 27 0 3224814 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140067406340904 140069031047190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12692] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12692/stat : 12692 (java) S 12617 12620 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3224816 10406596608 385879 33554432000 1073741824 1073778376 140737386488912 140068961822248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1761.47
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.601 s]
/proc/loadavg: 4.02 4.04 3.92 5/311 12840
/proc/meminfo: memFree=23216404/32872528 swapFree=8828/8828
[pid=12620] ppid=12617 vsize=10162692 CPUtime=1800.04 cores=4-7,12-15
/proc/12620/stat : 12620 (java) S 12617 12620 6721 0 -1 4202496 44058 0 1 0 179573 431 0 0 20 0 27 0 3223149 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140737386480048 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/12620/statm: 2540673 386391 2301 9 0 2531350 0
[pid=12620/tid=12622] ppid=12617 vsize=10162692 CPUtime=6.98 cores=4-7,12-15
/proc/12620/task/12622/stat : 12622 (java) S 12617 12620 6721 0 -1 4202560 3179 0 1 0 689 9 0 0 20 0 27 0 3223151 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140069157634936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12623] ppid=12617 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/12620/task/12623/stat : 12623 (java) S 12617 12620 6721 0 -1 4202560 248 0 0 0 33 21 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140069001701928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12624] ppid=12617 vsize=10162692 CPUtime=0.77 cores=4-7,12-15
/proc/12620/task/12624/stat : 12624 (java) S 12617 12620 6721 0 -1 4202560 300 0 0 0 47 30 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140069000649128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12625] ppid=12617 vsize=10162692 CPUtime=0.61 cores=4-7,12-15
/proc/12620/task/12625/stat : 12625 (java) S 12617 12620 6721 0 -1 4202560 244 0 0 0 37 24 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068999596328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12626] ppid=12617 vsize=10162692 CPUtime=0.79 cores=4-7,12-15
/proc/12620/task/12626/stat : 12626 (java) S 12617 12620 6721 0 -1 4202560 330 0 0 0 49 30 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068998543528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12627] ppid=12617 vsize=10162692 CPUtime=0.72 cores=4-7,12-15
/proc/12620/task/12627/stat : 12627 (java) S 12617 12620 6721 0 -1 4202560 237 0 0 0 44 28 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068997491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12628] ppid=12617 vsize=10162692 CPUtime=0.58 cores=4-7,12-15
/proc/12620/task/12628/stat : 12628 (java) S 12617 12620 6721 0 -1 4202560 237 0 0 0 34 24 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068996438952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12629] ppid=12617 vsize=10162692 CPUtime=0.68 cores=4-7,12-15
/proc/12620/task/12629/stat : 12629 (java) S 12617 12620 6721 0 -1 4202560 271 0 0 0 44 24 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068995386152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12620/tid=12630] ppid=12617 vsize=10162692 CPUtime=0.64 cores=4-7,12-15
/proc/12620/task/12630/stat : 12630 (java) S 12617 12620 6721 0 -1 4202560 278 0 0 0 39 25 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068994333352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12631] ppid=12617 vsize=10162692 CPUtime=0.61 cores=4-7,12-15
/proc/12620/task/12631/stat : 12631 (java) S 12617 12620 6721 0 -1 4202560 283 0 0 0 36 25 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068993280552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12632] ppid=12617 vsize=10162692 CPUtime=0.95 cores=4-7,12-15
/proc/12620/task/12632/stat : 12632 (java) S 12617 12620 6721 0 -1 4202560 360 0 0 0 56 39 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068992227752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12620/tid=12633] ppid=12617 vsize=10162692 CPUtime=0.63 cores=4-7,12-15
/proc/12620/task/12633/stat : 12633 (java) S 12617 12620 6721 0 -1 4202560 276 0 0 0 39 24 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068991174952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12634] ppid=12617 vsize=10162692 CPUtime=0.77 cores=4-7,12-15
/proc/12620/task/12634/stat : 12634 (java) S 12617 12620 6721 0 -1 4202560 298 0 0 0 46 31 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068990122152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12635] ppid=12617 vsize=10162692 CPUtime=0.8 cores=4-7,12-15
/proc/12620/task/12635/stat : 12635 (java) S 12617 12620 6721 0 -1 4202560 352 0 0 0 47 33 0 0 20 0 27 0 3223152 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068989070376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=12620/tid=12636] ppid=12617 vsize=10162692 CPUtime=0.78 cores=4-7,12-15
/proc/12620/task/12636/stat : 12636 (java) S 12617 12620 6721 0 -1 4202560 859 0 0 0 76 2 0 0 20 0 27 0 3223153 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068971395944 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12637] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12637/stat : 12637 (java) S 12617 12620 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3223154 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068970342008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12638] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12638/stat : 12638 (java) S 12617 12620 6721 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 3223154 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068969289096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12639] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12639/stat : 12639 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3223156 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068968237584 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12640] ppid=12617 vsize=10162692 CPUtime=2.07 cores=4-7,12-15
/proc/12620/task/12640/stat : 12640 (java) S 12617 12620 6721 0 -1 4202560 16644 0 0 0 205 2 0 0 20 0 27 0 3223156 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068967184696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12641] ppid=12617 vsize=10162692 CPUtime=2.39 cores=4-7,12-15
/proc/12620/task/12641/stat : 12641 (java) S 12617 12620 6721 0 -1 4202560 17855 0 0 0 235 4 0 0 20 0 27 0 3223156 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068966131896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12620/tid=12642] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12642/stat : 12642 (java) S 12617 12620 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3223156 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068965079288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12643] ppid=12617 vsize=10162692 CPUtime=0.43 cores=4-7,12-15
/proc/12620/task/12643/stat : 12643 (java) S 12617 12620 6721 0 -1 4202560 51 0 0 0 20 23 0 0 20 0 27 0 3223156 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068964027720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12620/tid=12646] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12646/stat : 12646 (java) S 12617 12620 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3223405 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068960769320 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=12620/tid=12690] ppid=12617 vsize=10162692 CPUtime=882.66 cores=4-7,12-15
/proc/12620/task/12690/stat : 12690 (java) R 12617 12620 6721 0 -1 4202560 18 0 0 0 88253 13 0 0 20 0 27 0 3224814 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068962864800 140069030034096 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=12620/tid=12691] ppid=12617 vsize=10162692 CPUtime=882.61 cores=4-7,12-15
/proc/12620/task/12691/stat : 12691 (java) R 12617 12620 6721 0 -1 4202560 7 0 0 0 88248 13 0 0 20 0 27 0 3224814 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140067406340904 140069031047359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12620/tid=12692] ppid=12617 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/12620/task/12692/stat : 12692 (java) S 12617 12620 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3224816 10406596608 386391 33554432000 1073741824 1073778376 140737386488912 140068961822248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 12620 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 12620 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=168700
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=751277
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.639
CPU time (s): 1800.04
CPU user time (s): 1795.73
CPU system time (s): 4.31
CPU usage (%): 199.641
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.17
system time used= 4.75128
maximum resident set size= 1545680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44097
page faults= 1
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22135
involuntary context switches= 5123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63184 second user time and 10.3084 second system time
The end