runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312189-1304074797/watcher-3312189-1304074797 -o /tmp/evaluation-result-3312189-1304074797/solver-3312189-1304074797 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312189-1304074797.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 5.34 7.41 7.80 4/194 1160
/proc/meminfo: memFree=24714828/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1160/stat : 1160 (java) R 1158 1160 373 0 -1 4202496 693 0 0 0 0 0 0 0 21 0 1 0 597710217 23580672 179 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252453143984 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1160/statm: 5757 192 157 9 0 124 0
[pid=1160/tid=1161] ppid=1158 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) S 1158 1160 373 0 -1 4202560 66 0 0 0 0 0 0 0 23 0 2 0 597710217 27824128 894 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252453142151 0 2147483391 4096 0 18446744071699199166 0 0 -1 5 0 0 0
[startup+0.053913 s]
/proc/loadavg: 5.34 7.41 7.80 4/194 1160
/proc/meminfo: memFree=24714828/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15675180 CPUtime=0.04 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 4138 0 1 0 3 1 0 0 21 0 18 0 597710217 16051384320 3577 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3918795 3577 1755 9 0 3909514 0
[pid=1160/tid=1161] ppid=1158 vsize=15675180 CPUtime=0.03 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) R 1158 1160 373 0 -1 4202560 2719 0 1 0 3 0 0 0 25 0 18 0 597710217 16051384320 3577 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 47963344403752 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15675180
[startup+0.100902 s]
/proc/loadavg: 5.34 7.41 7.80 4/194 1160
/proc/meminfo: memFree=24714828/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15741900 CPUtime=0.1 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 5643 0 1 0 9 1 0 0 21 0 18 0 597710217 16119705600 5052 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3935475 5052 2117 9 0 3926194 0
[pid=1160/tid=1161] ppid=1158 vsize=15741900 CPUtime=0.08 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) R 1158 1160 373 0 -1 4202560 3487 0 1 0 7 1 0 0 25 0 18 0 597710217 16119705600 5052 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 47963342125808 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741900
[startup+0.30089 s]
/proc/loadavg: 5.34 7.41 7.80 4/194 1160
/proc/meminfo: memFree=24714828/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15747492 CPUtime=0.52 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 15880 0 1 0 49 3 0 0 21 0 18 0 597710217 16125431808 14044 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3936873 14044 2206 9 0 3927592 0
[pid=1160/tid=1161] ppid=1158 vsize=15747492 CPUtime=0.28 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) R 1158 1160 373 0 -1 4202560 10682 0 1 0 26 2 0 0 25 0 18 0 597710217 16125431808 14044 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 46912505513323 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15747492
[startup+0.700793 s]
/proc/loadavg: 5.34 7.41 7.80 4/194 1160
/proc/meminfo: memFree=24714828/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15747492 CPUtime=0.92 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 42363 0 1 0 87 5 0 0 21 0 18 0 597710217 16125431808 40524 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3936873 40524 2222 9 0 3927592 0
[pid=1160/tid=1161] ppid=1158 vsize=15747492 CPUtime=0.67 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) R 1158 1160 373 0 -1 4202560 35531 0 1 0 63 4 0 0 25 0 18 0 597710217 16125431808 40524 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 46912505641506 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15747492
[startup+1.50068 s]
/proc/loadavg: 5.34 7.41 7.80 4/216 1182
/proc/meminfo: memFree=24469380/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15747492 CPUtime=1.75 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 59840 0 1 0 166 9 0 0 21 0 18 0 597710217 16125431808 57984 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3936873 57991 2222 9 0 3927592 0
[pid=1160/tid=1161] ppid=1158 vsize=15747492 CPUtime=1.46 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) R 1158 1160 373 0 -1 4202560 49747 0 1 0 139 7 0 0 25 0 18 0 597710217 16125431808 57994 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 46912505641329 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1160/tid=1163] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1163/stat : 1163 (java) S 1158 1160 373 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 18 0 597710218 16125431808 57998 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1164] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1164/stat : 1164 (java) S 1158 1160 373 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 18 0 597710218 16125431808 58001 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1165] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1165/stat : 1165 (java) S 1158 1160 373 0 -1 4202560 1933 0 0 0 0 0 0 0 16 0 18 0 597710218 16125431808 58005 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1166] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1166/stat : 1166 (java) S 1158 1160 373 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 18 0 597710218 16125431808 58009 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1167] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1167/stat : 1167 (java) S 1158 1160 373 0 -1 4202560 676 0 0 0 0 0 0 0 15 0 18 0 597710218 16125431808 58012 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1168] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1168/stat : 1168 (java) S 1158 1160 373 0 -1 4202560 649 0 0 0 0 0 0 0 16 0 18 0 597710218 16125431808 58016 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1169] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1169/stat : 1169 (java) S 1158 1160 373 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 18 0 597710218 16125431808 58019 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1170] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1170/stat : 1170 (java) S 1158 1160 373 0 -1 4202560 1152 0 0 0 0 0 0 0 16 0 18 0 597710218 16125431808 58023 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1171] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1171/stat : 1171 (java) S 1158 1160 373 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 597710219 16125431808 58027 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 0 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1172] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1172/stat : 1172 (java) S 1158 1160 373 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 597710219 16125431808 58031 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1173] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1173/stat : 1173 (java) S 1158 1160 373 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 18 0 597710219 16125431808 58035 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1174] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1174/stat : 1174 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 597710221 16125431808 58038 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469889457 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1175] ppid=1158 vsize=15747492 CPUtime=0.14 cores=1,3,5,7
/proc/1160/task/1175/stat : 1175 (java) S 1158 1160 373 0 -1 4202560 2418 0 0 0 14 0 0 0 15 0 18 0 597710221 16125431808 58042 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1176] ppid=1158 vsize=15747492 CPUtime=0.09 cores=1,3,5,7
/proc/1160/task/1176/stat : 1176 (java) S 1158 1160 373 0 -1 4202560 1385 0 0 0 9 0 0 0 16 0 18 0 597710221 16125431808 58045 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 597710221 16125431808 58049 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1178] ppid=1158 vsize=15747492 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1178/stat : 1178 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 597710221 16125431808 58053 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15747492
[startup+3.10139 s]
/proc/loadavg: 5.34 7.41 7.80 5/216 1182
/proc/meminfo: memFree=24306932/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15752632 CPUtime=3.61 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 142213 0 1 0 343 18 0 0 21 0 22 0 597710217 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3938158 138836 2265 9 0 3928877 0
[pid=1160/tid=1161] ppid=1158 vsize=15752632 CPUtime=3.06 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) R 1158 1160 373 0 -1 4202560 127050 0 1 0 290 16 0 0 25 0 22 0 597710217 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 47963341292439 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1160/tid=1163] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1163/stat : 1163 (java) S 1158 1160 373 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1164] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1164/stat : 1164 (java) S 1158 1160 373 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1165] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1165/stat : 1165 (java) S 1158 1160 373 0 -1 4202560 1933 0 0 0 0 0 0 0 16 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1166] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1166/stat : 1166 (java) S 1158 1160 373 0 -1 4202560 2867 0 0 0 0 0 0 0 15 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1167] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1167/stat : 1167 (java) S 1158 1160 373 0 -1 4202560 935 0 0 0 0 0 0 0 16 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1168] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1168/stat : 1168 (java) S 1158 1160 373 0 -1 4202560 650 0 0 0 0 0 0 0 15 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1169] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1169/stat : 1169 (java) S 1158 1160 373 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1170] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1170/stat : 1170 (java) S 1158 1160 373 0 -1 4202560 1153 0 0 0 0 0 0 0 15 0 22 0 597710218 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1171] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1171/stat : 1171 (java) S 1158 1160 373 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 22 0 597710219 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 0 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1172] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1172/stat : 1172 (java) S 1158 1160 373 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 597710219 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1173] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1173/stat : 1173 (java) S 1158 1160 373 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 597710219 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1174] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1174/stat : 1174 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16130695168 138836 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469889457 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1175] ppid=1158 vsize=15752632 CPUtime=0.26 cores=1,3,5,7
/proc/1160/task/1175/stat : 1175 (java) R 1158 1160 373 0 -1 4202560 3759 0 0 0 26 0 0 0 15 0 22 0 597710221 16130695168 138846 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252457759705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1160/tid=1176] ppid=1158 vsize=15752632 CPUtime=0.21 cores=1,3,5,7
/proc/1160/task/1176/stat : 1176 (java) S 1158 1160 373 0 -1 4202560 2055 0 0 0 21 0 0 0 15 0 22 0 597710221 16130695168 138868 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16130695168 138868 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1178] ppid=1158 vsize=15752632 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1178/stat : 1178 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 597710221 16130695168 138868 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 15752632
[startup+6.30078 s]
/proc/loadavg: 5.07 7.32 7.77 3/220 1186
/proc/meminfo: memFree=23985144/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15779388 CPUtime=7.73 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 155430 0 1 0 753 20 0 0 21 0 22 0 597710217 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3944847 145610 2275 9 0 3935566 0
[pid=1160/tid=1161] ppid=1158 vsize=15779388 CPUtime=6.26 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) R 1158 1160 373 0 -1 4202560 127067 0 1 0 610 16 0 0 25 0 22 0 597710217 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 46912506122721 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1160/tid=1163] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1163/stat : 1163 (java) S 1158 1160 373 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1164] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1164/stat : 1164 (java) S 1158 1160 373 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1165] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1165/stat : 1165 (java) S 1158 1160 373 0 -1 4202560 1933 0 0 0 0 0 0 0 16 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1166] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1166/stat : 1166 (java) S 1158 1160 373 0 -1 4202560 2867 0 0 0 0 0 0 0 15 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1167] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1167/stat : 1167 (java) S 1158 1160 373 0 -1 4202560 935 0 0 0 0 0 0 0 16 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1168] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1168/stat : 1168 (java) S 1158 1160 373 0 -1 4202560 650 0 0 0 0 0 0 0 15 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1169] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1169/stat : 1169 (java) S 1158 1160 373 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1170] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1170/stat : 1170 (java) S 1158 1160 373 0 -1 4202560 1153 0 0 0 0 0 0 0 15 0 22 0 597710218 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1171] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1171/stat : 1171 (java) S 1158 1160 373 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 22 0 597710219 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 0 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1172] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1172/stat : 1172 (java) S 1158 1160 373 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 597710219 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1173] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1173/stat : 1173 (java) S 1158 1160 373 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 597710219 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1174] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1174/stat : 1174 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469889457 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1175] ppid=1158 vsize=15779388 CPUtime=0.83 cores=1,3,5,7
/proc/1160/task/1175/stat : 1175 (java) S 1158 1160 373 0 -1 4202560 12793 0 0 0 82 1 0 0 15 0 22 0 597710221 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1176] ppid=1158 vsize=15779388 CPUtime=0.55 cores=1,3,5,7
/proc/1160/task/1176/stat : 1176 (java) S 1158 1160 373 0 -1 4202560 6208 0 0 0 55 0 0 0 15 0 22 0 597710221 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1178] ppid=1158 vsize=15779388 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1178/stat : 1178 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 597710221 16158093312 145610 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=1160/tid=1173] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1173/stat : 1173 (java) S 1158 1160 373 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 597710219 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1174] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1174/stat : 1174 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469889457 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1175] ppid=1158 vsize=15770140 CPUtime=1.46 cores=1,3,5,7
/proc/1160/task/1175/stat : 1175 (java) S 1158 1160 373 0 -1 4202560 12871 0 0 0 145 1 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1176] ppid=1158 vsize=15770140 CPUtime=1.39 cores=1,3,5,7
/proc/1160/task/1176/stat : 1176 (java) S 1158 1160 373 0 -1 4202560 11333 0 0 0 138 1 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1178] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1178/stat : 1178 (java) S 1158 1160 373 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1183] ppid=1158 vsize=15770140 CPUtime=749.57 cores=1,3,5,7
/proc/1160/task/1183/stat : 1183 (java) S 1158 1160 373 0 -1 4202560 3432 0 0 0 74955 2 0 0 15 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1184] ppid=1158 vsize=15770140 CPUtime=752.84 cores=1,3,5,7
/proc/1160/task/1184/stat : 1184 (java) S 1158 1160 373 0 -1 4202560 1057 0 0 0 75282 2 0 0 15 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1185] ppid=1158 vsize=15770140 CPUtime=766.56 cores=1,3,5,7
/proc/1160/task/1185/stat : 1185 (java) S 1158 1160 373 0 -1 4202560 2416 0 0 0 76654 2 0 0 15 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1186] ppid=1158 vsize=15770140 CPUtime=767.87 cores=1,3,5,7
/proc/1160/task/1186/stat : 1186 (java) S 1158 1160 373 0 -1 4202560 764 0 0 0 76785 2 0 0 15 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3530.39
Current children cumulated vsize (KiB) 15770140
[startup+1242.37 s]
/proc/loadavg: 4.10 5.80 6.89 6/193 1248
/proc/meminfo: memFree=9575860/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15770140 CPUtime=3607.39 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 3937270 0 1 0 360153 586 0 0 21 0 22 0 597710217 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3942535 3799803 2295 9 0 3933254 0
[pid=1160/tid=1161] ppid=1158 vsize=15770140 CPUtime=17.57 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) S 1158 1160 373 0 -1 4202560 127110 0 1 0 1741 16 0 0 18 0 22 0 597710217 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1163] ppid=1158 vsize=15770140 CPUtime=12.11 cores=1,3,5,7
/proc/1160/task/1163/stat : 1163 (java) S 1158 1160 373 0 -1 4202560 490000 0 0 0 1139 72 0 0 15 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1164] ppid=1158 vsize=15770140 CPUtime=11.69 cores=1,3,5,7
/proc/1160/task/1164/stat : 1164 (java) S 1158 1160 373 0 -1 4202560 376833 0 0 0 1114 55 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1165] ppid=1158 vsize=15770140 CPUtime=13.42 cores=1,3,5,7
/proc/1160/task/1165/stat : 1165 (java) S 1158 1160 373 0 -1 4202560 410264 0 0 0 1284 58 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1166] ppid=1158 vsize=15770140 CPUtime=13.98 cores=1,3,5,7
/proc/1160/task/1166/stat : 1166 (java) S 1158 1160 373 0 -1 4202560 399909 0 0 0 1339 59 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1167] ppid=1158 vsize=15770140 CPUtime=13.9 cores=1,3,5,7
/proc/1160/task/1167/stat : 1167 (java) S 1158 1160 373 0 -1 4202560 440310 0 0 0 1324 66 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1168] ppid=1158 vsize=15770140 CPUtime=14.49 cores=1,3,5,7
/proc/1160/task/1168/stat : 1168 (java) S 1158 1160 373 0 -1 4202560 413019 0 0 0 1390 59 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1169] ppid=1158 vsize=15770140 CPUtime=12.64 cores=1,3,5,7
/proc/1160/task/1169/stat : 1169 (java) S 1158 1160 373 0 -1 4202560 385393 0 0 0 1205 59 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1170] ppid=1158 vsize=15770140 CPUtime=12.21 cores=1,3,5,7
/proc/1160/task/1170/stat : 1170 (java) S 1158 1160 373 0 -1 4202560 456243 0 0 0 1151 70 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1171] ppid=1158 vsize=15770140 CPUtime=422.86 cores=1,3,5,7
/proc/1160/task/1171/stat : 1171 (java) R 1158 1160 373 0 -1 4202560 404649 0 0 0 42235 51 0 0 18 0 22 0 597710219 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469891765 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=1160/tid=1172] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1172/stat : 1172 (java) S 1158 1160 373 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 597710219 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1173] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1173/stat : 1173 (java) S 1158 1160 373 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 597710219 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1174] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1174/stat : 1174 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469889457 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1175] ppid=1158 vsize=15770140 CPUtime=1.46 cores=1,3,5,7
/proc/1160/task/1175/stat : 1175 (java) S 1158 1160 373 0 -1 4202560 12871 0 0 0 145 1 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1176] ppid=1158 vsize=15770140 CPUtime=1.39 cores=1,3,5,7
/proc/1160/task/1176/stat : 1176 (java) S 1158 1160 373 0 -1 4202560 11333 0 0 0 138 1 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1178] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1178/stat : 1178 (java) S 1158 1160 373 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1183] ppid=1158 vsize=15770140 CPUtime=755.24 cores=1,3,5,7
/proc/1160/task/1183/stat : 1183 (java) R 1158 1160 373 0 -1 4202560 3495 0 0 0 75521 3 0 0 16 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 47963345093478 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1160/tid=1184] ppid=1158 vsize=15770140 CPUtime=758.49 cores=1,3,5,7
/proc/1160/task/1184/stat : 1184 (java) R 1158 1160 373 0 -1 4202560 1118 0 0 0 75847 2 0 0 16 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 46912505800216 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1160/tid=1185] ppid=1158 vsize=15770140 CPUtime=772.21 cores=1,3,5,7
/proc/1160/task/1185/stat : 1185 (java) R 1158 1160 373 0 -1 4202560 2442 0 0 0 77219 2 0 0 16 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 46912506099592 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1160/tid=1186] ppid=1158 vsize=15770140 CPUtime=773.55 cores=1,3,5,7
/proc/1160/task/1186/stat : 1186 (java) R 1158 1160 373 0 -1 4202560 821 0 0 0 77353 2 0 0 16 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 46912506165449 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3607.39
Current children cumulated vsize (KiB) 15770140
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.61 5.05 6.56 2/193 1250
/proc/meminfo: memFree=9576096/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=15770140 CPUtime=3680.06 cores=1,3,5,7
/proc/1160/stat : 1160 (java) S 1158 1160 373 0 -1 4202496 3937471 0 1 0 367418 588 0 0 21 0 22 0 597710217 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 3942535 3799803 2295 9 0 3933254 0
[pid=1160/tid=1161] ppid=1158 vsize=15770140 CPUtime=17.57 cores=1,3,5,7
/proc/1160/task/1161/stat : 1161 (java) S 1158 1160 373 0 -1 4202560 127110 0 1 0 1741 16 0 0 18 0 22 0 597710217 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1163] ppid=1158 vsize=15770140 CPUtime=12.11 cores=1,3,5,7
/proc/1160/task/1163/stat : 1163 (java) S 1158 1160 373 0 -1 4202560 490000 0 0 0 1139 72 0 0 15 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1164] ppid=1158 vsize=15770140 CPUtime=11.69 cores=1,3,5,7
/proc/1160/task/1164/stat : 1164 (java) S 1158 1160 373 0 -1 4202560 376833 0 0 0 1114 55 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1165] ppid=1158 vsize=15770140 CPUtime=13.42 cores=1,3,5,7
/proc/1160/task/1165/stat : 1165 (java) S 1158 1160 373 0 -1 4202560 410264 0 0 0 1284 58 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1166] ppid=1158 vsize=15770140 CPUtime=13.98 cores=1,3,5,7
/proc/1160/task/1166/stat : 1166 (java) S 1158 1160 373 0 -1 4202560 399909 0 0 0 1339 59 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1167] ppid=1158 vsize=15770140 CPUtime=13.9 cores=1,3,5,7
/proc/1160/task/1167/stat : 1167 (java) S 1158 1160 373 0 -1 4202560 440310 0 0 0 1324 66 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1168] ppid=1158 vsize=15770140 CPUtime=14.49 cores=1,3,5,7
/proc/1160/task/1168/stat : 1168 (java) S 1158 1160 373 0 -1 4202560 413019 0 0 0 1390 59 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1169] ppid=1158 vsize=15770140 CPUtime=12.64 cores=1,3,5,7
/proc/1160/task/1169/stat : 1169 (java) S 1158 1160 373 0 -1 4202560 385393 0 0 0 1205 59 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1170] ppid=1158 vsize=15770140 CPUtime=12.21 cores=1,3,5,7
/proc/1160/task/1170/stat : 1170 (java) S 1158 1160 373 0 -1 4202560 456243 0 0 0 1151 70 0 0 16 0 22 0 597710218 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1171] ppid=1158 vsize=15770140 CPUtime=475.4 cores=1,3,5,7
/proc/1160/task/1171/stat : 1171 (java) R 1158 1160 373 0 -1 4202560 404652 0 0 0 47488 52 0 0 18 0 22 0 597710219 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 47963340202544 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=1160/tid=1172] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1172/stat : 1172 (java) S 1158 1160 373 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 597710219 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1173] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1173/stat : 1173 (java) S 1158 1160 373 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 597710219 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1174] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1174/stat : 1174 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469889457 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1175] ppid=1158 vsize=15770140 CPUtime=1.46 cores=1,3,5,7
/proc/1160/task/1175/stat : 1175 (java) S 1158 1160 373 0 -1 4202560 12871 0 0 0 145 1 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1176] ppid=1158 vsize=15770140 CPUtime=1.39 cores=1,3,5,7
/proc/1160/task/1176/stat : 1176 (java) S 1158 1160 373 0 -1 4202560 11333 0 0 0 138 1 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) S 1158 1160 373 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1178] ppid=1158 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/1160/task/1178/stat : 1178 (java) S 1158 1160 373 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 597710221 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
[pid=1160/tid=1183] ppid=1158 vsize=15770140 CPUtime=760.27 cores=1,3,5,7
/proc/1160/task/1183/stat : 1183 (java) S 1158 1160 373 0 -1 4202560 3551 0 0 0 76024 3 0 0 15 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 5 0 0 0
[pid=1160/tid=1184] ppid=1158 vsize=15770140 CPUtime=763.53 cores=1,3,5,7
/proc/1160/task/1184/stat : 1184 (java) S 1158 1160 373 0 -1 4202560 1164 0 0 0 76350 3 0 0 15 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469882368 0 4 0 16800975 18446604463091178176 0 0 -1 7 0 0 0
[pid=1160/tid=1185] ppid=1158 vsize=15770140 CPUtime=777.23 cores=1,3,5,7
/proc/1160/task/1185/stat : 1185 (java) S 1158 1160 373 0 -1 4202560 2502 0 0 0 77721 2 0 0 16 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 1 0 0 0
[pid=1160/tid=1186] ppid=1158 vsize=15770140 CPUtime=778.59 cores=1,3,5,7
/proc/1160/task/1186/stat : 1186 (java) S 1158 1160 373 0 -1 4202560 856 0 0 0 77857 2 0 0 15 0 22 0 597710487 16148623360 3799803 33554432000 1073741824 1073778376 140736916976640 18446744073709551615 252469881753 0 4 0 16800975 18446604463091178176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3680.06
Current children cumulated vsize (KiB) 15770140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1160
[startup+1302.3 s]
/proc/loadavg: 2.61 5.05 6.56 2/195 1252
/proc/meminfo: memFree=9576080/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=0 CPUtime=3682.48 cores=1,3,5,7
/proc/1160/stat : 1160 (java) Z 1158 1160 373 0 -1 4203548 3937493 0 1 0 367632 616 0 0 18 0 2 0 597710217 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 0 0 0 0 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) R 1158 1160 373 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 597710221 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3682.48
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 2.61 5.05 6.56 2/195 1252
/proc/meminfo: memFree=9576080/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=0 CPUtime=3682.58 cores=1,3,5,7
/proc/1160/stat : 1160 (java) Z 1158 1160 373 0 -1 4203548 3937493 0 1 0 367632 626 0 0 18 0 2 0 597710217 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 0 0 0 0 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) R 1158 1160 373 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 597710221 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3682.58
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 2.61 5.05 6.56 2/195 1252
/proc/meminfo: memFree=9576080/32951124 swapFree=67111348/67111528
[pid=1160] ppid=1158 vsize=0 CPUtime=3682.68 cores=1,3,5,7
/proc/1160/stat : 1160 (java) Z 1158 1160 373 0 -1 4203548 3937493 0 1 0 367632 636 0 0 18 0 2 0 597710217 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1160/statm: 0 0 0 0 0 0 0
[pid=1160/tid=1177] ppid=1158 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/1160/task/1177/stat : 1177 (java) R 1158 1160 373 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 597710221 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3682.68
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 3682.71
CPU user time (s): 3676.32
CPU system time (s): 6.39003
CPU usage (%): 282.736
Max. virtual memory (cumulated for all children) (KiB): 15780620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3676.32
system time used= 6.39003
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3937493
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45338
involuntary context switches= 49403
runsolver used 2.23666 second user time and 4.99524 second system time
The end