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-4100418-1466209691/watcher-4100418-1466209691 -o /tmp/evaluation-result-4100418-1466209691/solver-4100418-1466209691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100418-1466209691.opb
pid=18809
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: 4.02 4.14 3.99 4/284 18812
/proc/meminfo: memFree=31614056/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=8471396 CPUtime=0 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 1669 0 1 0 0 0 0 0 20 0 2 0 23013760 8674709504 1783 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2117849 1793 931 9 0 2108958 0
[pid=18812/tid=18813] ppid=18809 vsize=8482100 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) R 18809 18812 15292 0 -1 4202560 532 0 1 0 0 0 0 0 20 0 2 0 23013761 8685670400 1869 33554432000 1073741824 1073778376 140736032329856 140648401750320 216808305323 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 4.02 4.14 3.99 4/284 18812
/proc/meminfo: memFree=31614056/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 4502 0 1 0 10 1 0 0 20 0 23 0 23013760 10133950464 6136 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2474109 6136 2156 9 0 2464786 0
[pid=18812/tid=18813] ppid=18809 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) R 18809 18812 15292 0 -1 4202560 2410 0 1 0 6 1 0 0 20 0 23 0 23013761 10133950464 6136 33554432000 1073741824 1073778376 140736032329856 140648401746848 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436
[startup+0.200259 s]
/proc/loadavg: 4.02 4.14 3.99 4/284 18812
/proc/meminfo: memFree=31614056/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=9896436 CPUtime=0.31 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 5070 0 1 0 29 2 0 0 20 0 23 0 23013760 10133950464 8527 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2474109 8527 2223 9 0 2464786 0
[pid=18812/tid=18813] ppid=18809 vsize=9896436 CPUtime=0.17 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) R 18809 18812 15292 0 -1 4202560 2429 0 1 0 16 1 0 0 20 0 23 0 23013761 10133950464 8527 33554432000 1073741824 1073778376 140736032329856 140648401746848 140648404810353 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9896436
[startup+0.300264 s]
/proc/loadavg: 4.02 4.14 3.99 4/284 18812
/proc/meminfo: memFree=31614056/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=9896436 CPUtime=0.48 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 5502 0 1 0 46 2 0 0 20 0 23 0 23013760 10133950464 13312 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2474109 13312 2232 9 0 2464786 0
[pid=18812/tid=18813] ppid=18809 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) R 18809 18812 15292 0 -1 4202560 2440 0 1 0 26 1 0 0 20 0 23 0 23013761 10133950464 13312 33554432000 1073741824 1073778376 140736032329856 140648401746848 216812010552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9896436
[startup+0.70025 s]
/proc/loadavg: 4.02 4.14 3.99 4/284 18812
/proc/meminfo: memFree=31614056/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=9896436 CPUtime=1.53 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 17751 0 1 0 147 6 0 0 20 0 23 0 23013760 10133950464 44215 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2474109 44215 2247 9 0 2464786 0
[pid=18812/tid=18813] ppid=18809 vsize=9896436 CPUtime=0.67 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) R 18809 18812 15292 0 -1 4202560 2486 0 1 0 64 3 0 0 20 0 23 0 23013761 10133950464 44215 33554432000 1073741824 1073778376 140736032329856 140648401746848 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9896436
[startup+1.50121 s]
/proc/loadavg: 4.02 4.14 3.99 4/307 18835
/proc/meminfo: memFree=31354144/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=9896436 CPUtime=3.74 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 19445 0 1 0 303 71 0 0 20 0 23 0 23013760 10133950464 130830 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2474109 130830 2269 9 0 2464786 0
[pid=18812/tid=18813] ppid=18809 vsize=9896436 CPUtime=1.25 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) R 18809 18812 15292 0 -1 4202560 2779 0 1 0 119 6 0 0 20 0 23 0 23013761 10133950464 130830 33554432000 1073741824 1073778376 140736032329856 140648401745800 140648409512787 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18815] ppid=18809 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/18812/task/18815/stat : 18815 (java) S 18809 18812 15292 0 -1 4202560 31 0 0 0 4 3 0 0 20 0 23 0 23013762 10133950464 130830 33554432000 1073741824 1073778376 140736032329856 140648374200872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18816] ppid=18809 vsize=9896436 CPUtime=0.2 cores=4-7,12-15
/proc/18812/task/18816/stat : 18816 (java) S 18809 18812 15292 0 -1 4202560 206 0 0 0 12 8 0 0 20 0 23 0 23013762 10133950464 130830 33554432000 1073741824 1073778376 140736032329856 140648373148072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18817] ppid=18809 vsize=9896436 CPUtime=0.13 cores=4-7,12-15
/proc/18812/task/18817/stat : 18817 (java) S 18809 18812 15292 0 -1 4202560 60 0 0 0 7 6 0 0 20 0 23 0 23013762 10133950464 130830 33554432000 1073741824 1073778376 140736032329856 140648372095272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18818] ppid=18809 vsize=9896436 CPUtime=0.14 cores=4-7,12-15
/proc/18812/task/18818/stat : 18818 (java) S 18809 18812 15292 0 -1 4202560 137 0 0 0 8 6 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648371042472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18819] ppid=18809 vsize=9896436 CPUtime=0.08 cores=4-7,12-15
/proc/18812/task/18819/stat : 18819 (java) S 18809 18812 15292 0 -1 4202560 34 0 0 0 4 4 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648369990696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18820] ppid=18809 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/18812/task/18820/stat : 18820 (java) S 18809 18812 15292 0 -1 4202560 27 0 0 0 3 3 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648368937896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18821] ppid=18809 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/18812/task/18821/stat : 18821 (java) S 18809 18812 15292 0 -1 4202560 103 0 0 0 5 5 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648239377192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18812/tid=18822] ppid=18809 vsize=9896436 CPUtime=0.14 cores=4-7,12-15
/proc/18812/task/18822/stat : 18822 (java) S 18809 18812 15292 0 -1 4202560 115 0 0 0 8 6 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648238324392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18823] ppid=18809 vsize=9896436 CPUtime=0.13 cores=4-7,12-15
/proc/18812/task/18823/stat : 18823 (java) S 18809 18812 15292 0 -1 4202560 164 0 0 0 8 5 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648237271592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18824] ppid=18809 vsize=9896436 CPUtime=0.12 cores=4-7,12-15
/proc/18812/task/18824/stat : 18824 (java) S 18809 18812 15292 0 -1 4202560 50 0 0 0 6 6 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648236218792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18812/tid=18825] ppid=18809 vsize=9896436 CPUtime=0.15 cores=4-7,12-15
/proc/18812/task/18825/stat : 18825 (java) S 18809 18812 15292 0 -1 4202560 121 0 0 0 9 6 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140648235165992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18826] ppid=18809 vsize=9896436 CPUtime=0.05 cores=4-7,12-15
/proc/18812/task/18826/stat : 18826 (java) S 18809 18812 15292 0 -1 4202560 101 0 0 0 2 3 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647763798184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18827] ppid=18809 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/18812/task/18827/stat : 18827 (java) S 18809 18812 15292 0 -1 4202560 79 0 0 0 3 3 0 0 20 0 23 0 23013762 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647762746408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18828] ppid=18809 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18828/stat : 18828 (java) S 18809 18812 15292 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 23 0 23013763 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647745284968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18829] ppid=18809 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18829/stat : 18829 (java) S 18809 18812 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 23013763 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647744231032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18830] ppid=18809 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18830/stat : 18830 (java) S 18809 18812 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 23013763 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647743178120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18831] ppid=18809 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18831/stat : 18831 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23013765 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647742126608 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18832] ppid=18809 vsize=9896436 CPUtime=0.48 cores=4-7,12-15
/proc/18812/task/18832/stat : 18832 (java) S 18809 18812 15292 0 -1 4202560 8961 0 0 0 47 1 0 0 20 0 23 0 23013765 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647741073720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18833] ppid=18809 vsize=9896436 CPUtime=0.37 cores=4-7,12-15
/proc/18812/task/18833/stat : 18833 (java) S 18809 18812 15292 0 -1 4202560 5028 0 0 0 37 0 0 0 20 0 23 0 23013765 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647740020920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18834] ppid=18809 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18834/stat : 18834 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23013765 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647738968312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18835] ppid=18809 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18835/stat : 18835 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 23013765 10133950464 131342 33554432000 1073741824 1073778376 140736032329856 140647737916744 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9896436
[startup+3.11231 s]
/proc/loadavg: 4.02 4.14 3.99 6/311 18839
/proc/meminfo: memFree=30919500/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=10162692 CPUtime=8.69 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 24219 0 1 0 777 92 0 0 20 0 27 0 23013760 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2540673 177585 2282 9 0 2531350 0
[pid=18812/tid=18813] ppid=18809 vsize=10162692 CPUtime=1.36 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) S 18809 18812 15292 0 -1 4202560 2850 0 1 0 128 8 0 0 20 0 27 0 23013761 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648401748856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18815] ppid=18809 vsize=10162692 CPUtime=0.1 cores=4-7,12-15
/proc/18812/task/18815/stat : 18815 (java) S 18809 18812 15292 0 -1 4202560 42 0 0 0 6 4 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648374200872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18816] ppid=18809 vsize=10162692 CPUtime=0.22 cores=4-7,12-15
/proc/18812/task/18816/stat : 18816 (java) S 18809 18812 15292 0 -1 4202560 214 0 0 0 13 9 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648373148072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18812/tid=18817] ppid=18809 vsize=10162692 CPUtime=0.16 cores=4-7,12-15
/proc/18812/task/18817/stat : 18817 (java) S 18809 18812 15292 0 -1 4202560 73 0 0 0 10 6 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648372095272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18818] ppid=18809 vsize=10162692 CPUtime=0.17 cores=4-7,12-15
/proc/18812/task/18818/stat : 18818 (java) S 18809 18812 15292 0 -1 4202560 146 0 0 0 9 8 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648371042472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18819] ppid=18809 vsize=10162692 CPUtime=0.11 cores=4-7,12-15
/proc/18812/task/18819/stat : 18819 (java) S 18809 18812 15292 0 -1 4202560 47 0 0 0 6 5 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648369990696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18820] ppid=18809 vsize=10162692 CPUtime=0.13 cores=4-7,12-15
/proc/18812/task/18820/stat : 18820 (java) S 18809 18812 15292 0 -1 4202560 97 0 0 0 8 5 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648368937896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18821] ppid=18809 vsize=10162692 CPUtime=0.11 cores=4-7,12-15
/proc/18812/task/18821/stat : 18821 (java) S 18809 18812 15292 0 -1 4202560 108 0 0 0 6 5 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648239377192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18822] ppid=18809 vsize=10162692 CPUtime=0.19 cores=4-7,12-15
/proc/18812/task/18822/stat : 18822 (java) S 18809 18812 15292 0 -1 4202560 128 0 0 0 11 8 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648238324392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18823] ppid=18809 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/18812/task/18823/stat : 18823 (java) S 18809 18812 15292 0 -1 4202560 170 0 0 0 9 6 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648237271592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18824] ppid=18809 vsize=10162692 CPUtime=0.18 cores=4-7,12-15
/proc/18812/task/18824/stat : 18824 (java) S 18809 18812 15292 0 -1 4202560 113 0 0 0 10 8 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648236218792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18812/tid=18825] ppid=18809 vsize=10162692 CPUtime=0.19 cores=4-7,12-15
/proc/18812/task/18825/stat : 18825 (java) S 18809 18812 15292 0 -1 4202560 139 0 0 0 11 8 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140648235165992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18812/tid=18826] ppid=18809 vsize=10162692 CPUtime=0.11 cores=4-7,12-15
/proc/18812/task/18826/stat : 18826 (java) S 18809 18812 15292 0 -1 4202560 118 0 0 0 6 5 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647763798184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18827] ppid=18809 vsize=10162692 CPUtime=0.12 cores=4-7,12-15
/proc/18812/task/18827/stat : 18827 (java) S 18809 18812 15292 0 -1 4202560 101 0 0 0 7 5 0 0 20 0 27 0 23013762 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647762746408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18828] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18828/stat : 18828 (java) S 18809 18812 15292 0 -1 4202560 477 0 0 0 0 0 0 0 20 0 27 0 23013763 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647745284968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18829] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18829/stat : 18829 (java) S 18809 18812 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23013763 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647744231032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18830] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18830/stat : 18830 (java) S 18809 18812 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 23013763 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647743178120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18831] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18831/stat : 18831 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647742126608 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18832] ppid=18809 vsize=10162692 CPUtime=1.22 cores=4-7,12-15
/proc/18812/task/18832/stat : 18832 (java) S 18809 18812 15292 0 -1 4202560 9128 0 0 0 121 1 0 0 20 0 27 0 23013765 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647741073720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18833] ppid=18809 vsize=10162692 CPUtime=1.08 cores=4-7,12-15
/proc/18812/task/18833/stat : 18833 (java) S 18809 18812 15292 0 -1 4202560 8952 0 0 0 106 2 0 0 20 0 27 0 23013765 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647740020920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18834] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18834/stat : 18834 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647738968312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18835] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18835/stat : 18835 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647737916744 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18836] ppid=18809 vsize=10162692 CPUtime=1.41 cores=4-7,12-15
/proc/18812/task/18836/stat : 18836 (java) R 18809 18812 15292 0 -1 4202560 24 0 0 0 141 0 0 0 20 0 27 0 23013924 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647736861464 140648251029024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18837] ppid=18809 vsize=10162692 CPUtime=1.41 cores=4-7,12-15
/proc/18812/task/18837/stat : 18837 (java) R 18809 18812 15292 0 -1 4202560 26 0 0 0 141 0 0 0 20 0 27 0 23013924 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647735807120 140648251422668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18838] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18838/stat : 18838 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647734756648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18839] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18839/stat : 18839 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 177585 33554432000 1073741824 1073778376 140736032329856 140647733703848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 10162692
[startup+6.30108 s]
/proc/loadavg: 4.01 4.14 3.99 5/311 18839
/proc/meminfo: memFree=30881964/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=10162692 CPUtime=15.12 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 24222 0 1 0 1420 92 0 0 20 0 27 0 23013760 10406596608 177466 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2540673 177466 2283 9 0 2531350 0
[pid=18812/tid=18813] ppid=18809 vsize=10162692 CPUtime=1.36 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) S 18809 18812 15292 0 -1 4202560 2850 0 1 0 128 8 0 0 20 0 27 0 23013761 10406596608 177466 33554432000 1073741824 1073778376 140736032329856 140648401748856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18815] ppid=18809 vsize=10162692 CPUtime=0.1 cores=4-7,12-15
/proc/18812/task/18815/stat : 18815 (java) S 18809 18812 15292 0 -1 4202560 42 0 0 0 6 4 0 0 20 0 27 0 23013762 10406596608 177466 33554432000 1073741824 1073778376 140736032329856 140648374200872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18816] ppid=18809 vsize=10162692 CPUtime=0.22 cores=4-7,12-15
################
# More data... #
################
/proc/18812/task/18832/stat : 18832 (java) S 18809 18812 15292 0 -1 4202560 9181 0 0 0 139 2 0 0 20 0 27 0 23013765 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647741073720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18833] ppid=18809 vsize=10162692 CPUtime=1.21 cores=4-7,12-15
/proc/18812/task/18833/stat : 18833 (java) S 18809 18812 15292 0 -1 4202560 9072 0 0 0 119 2 0 0 20 0 27 0 23013765 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647740020920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18834] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18834/stat : 18834 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647738968312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18835] ppid=18809 vsize=10162692 CPUtime=0.27 cores=4-7,12-15
/proc/18812/task/18835/stat : 18835 (java) S 18809 18812 15292 0 -1 4202560 47 0 0 0 11 16 0 0 20 0 27 0 23013765 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647737916744 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18836] ppid=18809 vsize=10162692 CPUtime=814.65 cores=4-7,12-15
/proc/18812/task/18836/stat : 18836 (java) R 18809 18812 15292 0 -1 4202560 73 0 0 0 81451 14 0 0 20 0 27 0 23013924 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647736860640 140648251533869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18837] ppid=18809 vsize=10162692 CPUtime=814.58 cores=4-7,12-15
/proc/18812/task/18837/stat : 18837 (java) R 18809 18812 15292 0 -1 4202560 1448 0 0 0 81412 46 0 0 20 0 27 0 23013924 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647735806496 140648251422787 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18838] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18838/stat : 18838 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647734756648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18839] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18839/stat : 18839 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 592499 33554432000 1073741824 1073778376 140736032329856 140647733703848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1655.36
Current children cumulated vsize (KiB) 10162692
[startup+882.312 s]
/proc/loadavg: 3.88 4.04 4.02 6/311 18937
/proc/meminfo: memFree=29135164/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=10162692 CPUtime=1777.09 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 30929 0 1 0 177357 352 0 0 20 0 27 0 23013760 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2540673 567245 2292 9 0 2531350 0
[pid=18812/tid=18813] ppid=18809 vsize=10162692 CPUtime=1.4 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) S 18809 18812 15292 0 -1 4202560 2854 0 1 0 130 10 0 0 20 0 27 0 23013761 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648401748856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18815] ppid=18809 vsize=10162692 CPUtime=1.51 cores=4-7,12-15
/proc/18812/task/18815/stat : 18815 (java) S 18809 18812 15292 0 -1 4202560 286 0 0 0 130 21 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648374200872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18816] ppid=18809 vsize=10162692 CPUtime=1.42 cores=4-7,12-15
/proc/18812/task/18816/stat : 18816 (java) S 18809 18812 15292 0 -1 4202560 361 0 0 0 121 21 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648373148072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18817] ppid=18809 vsize=10162692 CPUtime=1.37 cores=4-7,12-15
/proc/18812/task/18817/stat : 18817 (java) S 18809 18812 15292 0 -1 4202560 319 0 0 0 114 23 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648372095272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18818] ppid=18809 vsize=10162692 CPUtime=1.33 cores=4-7,12-15
/proc/18812/task/18818/stat : 18818 (java) S 18809 18812 15292 0 -1 4202560 350 0 0 0 111 22 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648371042472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18819] ppid=18809 vsize=10162692 CPUtime=1.31 cores=4-7,12-15
/proc/18812/task/18819/stat : 18819 (java) S 18809 18812 15292 0 -1 4202560 246 0 0 0 114 17 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648369990696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18820] ppid=18809 vsize=10162692 CPUtime=1.34 cores=4-7,12-15
/proc/18812/task/18820/stat : 18820 (java) S 18809 18812 15292 0 -1 4202560 270 0 0 0 114 20 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648368937896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18821] ppid=18809 vsize=10162692 CPUtime=1.39 cores=4-7,12-15
/proc/18812/task/18821/stat : 18821 (java) S 18809 18812 15292 0 -1 4202560 362 0 0 0 119 20 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648239377192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18822] ppid=18809 vsize=10162692 CPUtime=1.37 cores=4-7,12-15
/proc/18812/task/18822/stat : 18822 (java) S 18809 18812 15292 0 -1 4202560 341 0 0 0 117 20 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648238324392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18823] ppid=18809 vsize=10162692 CPUtime=1.43 cores=4-7,12-15
/proc/18812/task/18823/stat : 18823 (java) S 18809 18812 15292 0 -1 4202560 444 0 0 0 119 24 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648237271592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18824] ppid=18809 vsize=10162692 CPUtime=1.45 cores=4-7,12-15
/proc/18812/task/18824/stat : 18824 (java) S 18809 18812 15292 0 -1 4202560 304 0 0 0 120 25 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648236218792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18825] ppid=18809 vsize=10162692 CPUtime=1.43 cores=4-7,12-15
/proc/18812/task/18825/stat : 18825 (java) S 18809 18812 15292 0 -1 4202560 432 0 0 0 119 24 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140648235165992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18826] ppid=18809 vsize=10162692 CPUtime=1.27 cores=4-7,12-15
/proc/18812/task/18826/stat : 18826 (java) S 18809 18812 15292 0 -1 4202560 327 0 0 0 109 18 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647763798184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18812/tid=18827] ppid=18809 vsize=10162692 CPUtime=1.36 cores=4-7,12-15
/proc/18812/task/18827/stat : 18827 (java) S 18809 18812 15292 0 -1 4202560 380 0 0 0 114 22 0 0 20 0 27 0 23013762 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647762746408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18828] ppid=18809 vsize=10162692 CPUtime=1.98 cores=4-7,12-15
/proc/18812/task/18828/stat : 18828 (java) S 18809 18812 15292 0 -1 4202560 2540 0 0 0 193 5 0 0 20 0 27 0 23013763 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647745284968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18829] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18829/stat : 18829 (java) S 18809 18812 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23013763 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647744231032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18830] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18830/stat : 18830 (java) S 18809 18812 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 23013763 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647743178120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18831] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18831/stat : 18831 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647742126608 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18832] ppid=18809 vsize=10162692 CPUtime=1.41 cores=4-7,12-15
/proc/18812/task/18832/stat : 18832 (java) S 18809 18812 15292 0 -1 4202560 9181 0 0 0 139 2 0 0 20 0 27 0 23013765 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647741073720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18833] ppid=18809 vsize=10162692 CPUtime=1.21 cores=4-7,12-15
/proc/18812/task/18833/stat : 18833 (java) S 18809 18812 15292 0 -1 4202560 9073 0 0 0 119 2 0 0 20 0 27 0 23013765 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647740020920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18834] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18834/stat : 18834 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647738968312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18835] ppid=18809 vsize=10162692 CPUtime=0.3 cores=4-7,12-15
/proc/18812/task/18835/stat : 18835 (java) S 18809 18812 15292 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 27 0 23013765 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647737916744 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18836] ppid=18809 vsize=10162692 CPUtime=874.14 cores=4-7,12-15
/proc/18812/task/18836/stat : 18836 (java) R 18809 18812 15292 0 -1 4202560 84 0 0 0 87399 15 0 0 20 0 27 0 23013924 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647736861808 140648251189395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18837] ppid=18809 vsize=10162692 CPUtime=874.05 cores=4-7,12-15
/proc/18812/task/18837/stat : 18837 (java) R 18809 18812 15292 0 -1 4202560 1459 0 0 0 87357 48 0 0 20 0 27 0 23013924 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647735807728 140648251226154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18838] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18838/stat : 18838 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647734756648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18839] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18839/stat : 18839 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 567245 33554432000 1073741824 1073778376 140736032329856 140647733703848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1777.09
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.601 s]
/proc/loadavg: 3.74 4.01 4.01 5/311 19241
/proc/meminfo: memFree=29063948/32872528 swapFree=7804/7804
[pid=18812] ppid=18809 vsize=10162692 CPUtime=1800.01 cores=4-7,12-15
/proc/18812/stat : 18812 (java) S 18809 18812 15292 0 -1 4202496 30959 0 1 0 179646 355 0 0 20 0 27 0 23013760 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140736032320992 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18812/statm: 2540673 563155 2292 9 0 2531350 0
[pid=18812/tid=18813] ppid=18809 vsize=10162692 CPUtime=1.4 cores=4-7,12-15
/proc/18812/task/18813/stat : 18813 (java) S 18809 18812 15292 0 -1 4202560 2854 0 1 0 130 10 0 0 20 0 27 0 23013761 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648401748856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18815] ppid=18809 vsize=10162692 CPUtime=1.54 cores=4-7,12-15
/proc/18812/task/18815/stat : 18815 (java) S 18809 18812 15292 0 -1 4202560 286 0 0 0 133 21 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648374200872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18816] ppid=18809 vsize=10162692 CPUtime=1.45 cores=4-7,12-15
/proc/18812/task/18816/stat : 18816 (java) S 18809 18812 15292 0 -1 4202560 365 0 0 0 124 21 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648373148072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18812/tid=18817] ppid=18809 vsize=10162692 CPUtime=1.42 cores=4-7,12-15
/proc/18812/task/18817/stat : 18817 (java) S 18809 18812 15292 0 -1 4202560 322 0 0 0 119 23 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648372095272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18818] ppid=18809 vsize=10162692 CPUtime=1.37 cores=4-7,12-15
/proc/18812/task/18818/stat : 18818 (java) S 18809 18812 15292 0 -1 4202560 354 0 0 0 115 22 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648371042472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18819] ppid=18809 vsize=10162692 CPUtime=1.35 cores=4-7,12-15
/proc/18812/task/18819/stat : 18819 (java) S 18809 18812 15292 0 -1 4202560 253 0 0 0 118 17 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648369990696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18820] ppid=18809 vsize=10162692 CPUtime=1.38 cores=4-7,12-15
/proc/18812/task/18820/stat : 18820 (java) S 18809 18812 15292 0 -1 4202560 271 0 0 0 118 20 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648368937896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18821] ppid=18809 vsize=10162692 CPUtime=1.42 cores=4-7,12-15
/proc/18812/task/18821/stat : 18821 (java) S 18809 18812 15292 0 -1 4202560 363 0 0 0 122 20 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648239377192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18822] ppid=18809 vsize=10162692 CPUtime=1.42 cores=4-7,12-15
/proc/18812/task/18822/stat : 18822 (java) S 18809 18812 15292 0 -1 4202560 341 0 0 0 122 20 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648238324392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18823] ppid=18809 vsize=10162692 CPUtime=1.47 cores=4-7,12-15
/proc/18812/task/18823/stat : 18823 (java) S 18809 18812 15292 0 -1 4202560 446 0 0 0 123 24 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648237271592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18824] ppid=18809 vsize=10162692 CPUtime=1.48 cores=4-7,12-15
/proc/18812/task/18824/stat : 18824 (java) S 18809 18812 15292 0 -1 4202560 305 0 0 0 123 25 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648236218792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18825] ppid=18809 vsize=10162692 CPUtime=1.46 cores=4-7,12-15
/proc/18812/task/18825/stat : 18825 (java) S 18809 18812 15292 0 -1 4202560 432 0 0 0 122 24 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140648235165992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18826] ppid=18809 vsize=10162692 CPUtime=1.31 cores=4-7,12-15
/proc/18812/task/18826/stat : 18826 (java) S 18809 18812 15292 0 -1 4202560 328 0 0 0 113 18 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647763798184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18812/tid=18827] ppid=18809 vsize=10162692 CPUtime=1.39 cores=4-7,12-15
/proc/18812/task/18827/stat : 18827 (java) S 18809 18812 15292 0 -1 4202560 381 0 0 0 117 22 0 0 20 0 27 0 23013762 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647762746408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18828] ppid=18809 vsize=10162692 CPUtime=1.98 cores=4-7,12-15
/proc/18812/task/18828/stat : 18828 (java) S 18809 18812 15292 0 -1 4202560 2540 0 0 0 193 5 0 0 20 0 27 0 23013763 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647745284968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18829] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18829/stat : 18829 (java) S 18809 18812 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23013763 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647744231032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18830] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18830/stat : 18830 (java) S 18809 18812 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 23013763 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647743178120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18831] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18831/stat : 18831 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647742126608 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18812/tid=18832] ppid=18809 vsize=10162692 CPUtime=1.41 cores=4-7,12-15
/proc/18812/task/18832/stat : 18832 (java) S 18809 18812 15292 0 -1 4202560 9181 0 0 0 139 2 0 0 20 0 27 0 23013765 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647741073720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18833] ppid=18809 vsize=10162692 CPUtime=1.21 cores=4-7,12-15
/proc/18812/task/18833/stat : 18833 (java) S 18809 18812 15292 0 -1 4202560 9073 0 0 0 119 2 0 0 20 0 27 0 23013765 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647740020920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18812/tid=18834] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18834/stat : 18834 (java) S 18809 18812 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013765 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647738968312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18835] ppid=18809 vsize=10162692 CPUtime=0.3 cores=4-7,12-15
/proc/18812/task/18835/stat : 18835 (java) S 18809 18812 15292 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 27 0 23013765 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647737916744 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18812/tid=18836] ppid=18809 vsize=10162692 CPUtime=885.32 cores=4-7,12-15
/proc/18812/task/18836/stat : 18836 (java) R 18809 18812 15292 0 -1 4202560 86 0 0 0 88517 15 0 0 20 0 27 0 23013924 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647736859784 140648251374528 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18812/tid=18837] ppid=18809 vsize=10162692 CPUtime=885.24 cores=4-7,12-15
/proc/18812/task/18837/stat : 18837 (java) R 18809 18812 15292 0 -1 4202560 1462 0 0 0 88476 48 0 0 20 0 27 0 23013924 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647735807832 140648250987075 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=18812/tid=18838] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18838/stat : 18838 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647734756648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18812/tid=18839] ppid=18809 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18812/task/18839/stat : 18839 (java) S 18809 18812 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013934 10406596608 563155 33554432000 1073741824 1073778376 140736032329856 140647733703848 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 18812 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 18812 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=809603
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=980394
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 893.646
CPU time (s): 1800.01
CPU user time (s): 1796.46
CPU system time (s): 3.55
CPU usage (%): 201.423
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.81
system time used= 3.98039
maximum resident set size= 3019604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31000
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25440
involuntary context switches= 21783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03178 second user time and 9.39857 second system time
The end