runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-368630-1177256321 -o ROOT/results/node60/solver-368630-1177256321 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368630-1177256321/tts-4-0 /tmp/evaluation/368630-1177256321/instance-368630-1177256321.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 26290
/proc/meminfo: memFree=1815696/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=940 CPUtime=0
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 124 0 0 0 0 0 0 0 18 0 1 0 173542386 962560 109 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 235 109 57 113 0 119 0
[startup+0.0839421 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 26290
/proc/meminfo: memFree=1815696/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=4436 CPUtime=0.07
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 991 0 0 0 7 0 0 0 18 0 1 0 173542386 4542464 976 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 1109 976 57 113 0 993 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4436
[startup+0.101943 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 26290
/proc/meminfo: memFree=1815696/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=5228 CPUtime=0.09
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 1187 0 0 0 9 0 0 0 18 0 1 0 173542386 5353472 1172 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 1307 1173 57 113 0 1191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5228
[startup+0.301963 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 26290
/proc/meminfo: memFree=1815696/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=14264 CPUtime=0.29
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 3371 0 0 0 28 1 0 0 19 0 1 0 173542386 14606336 3356 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 3566 3356 57 113 0 3450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14264
[startup+0.702002 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 26290
/proc/meminfo: memFree=1815696/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=32020 CPUtime=0.69
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 7746 0 0 0 65 4 0 0 22 0 1 0 173542386 32788480 7731 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 8005 7731 57 113 0 7889 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32020
[startup+1.50108 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 26291
/proc/meminfo: memFree=1771720/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=67776 CPUtime=1.49
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 16399 0 0 0 140 9 0 0 25 0 1 0 173542386 69402624 16384 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 16944 16384 57 113 0 16828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67776
[startup+3.10124 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 26291
/proc/meminfo: memFree=1742472/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=83580 CPUtime=3.09
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 20310 0 0 0 298 11 0 0 25 0 1 0 173542386 85585920 20295 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 20895 20295 59 113 0 20779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83580
[startup+6.30155 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 26291
/proc/meminfo: memFree=1618824/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=231280 CPUtime=6.28
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 55516 0 0 0 603 25 0 0 25 0 1 0 173542386 236830720 55501 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 57820 55501 62 113 0 57704 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 231280
[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 26291
/proc/meminfo: memFree=1556432/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=271876 CPUtime=12.69
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 68366 0 0 0 1238 31 0 0 25 0 1 0 173542386 278401024 67236 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 67969 67236 65 113 0 67853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 271876
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 26291
/proc/meminfo: memFree=1363792/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=457288 CPUtime=25.48
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 114936 0 0 0 2497 51 0 0 25 0 1 0 173542386 468262912 113579 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 114322 113579 65 113 0 114206 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 457288
[startup+51.102 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 26291
/proc/meminfo: memFree=986896/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=838036 CPUtime=51.06
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 212182 0 0 0 5015 91 0 0 25 0 1 0 173542386 858148864 208942 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134630276 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 209509 208942 65 113 0 209393 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 838036
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 26293
/proc/meminfo: memFree=954192/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=862308 CPUtime=102.26
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 218271 0 0 0 10131 95 0 0 25 0 1 0 173542386 883003392 215031 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 215577 215031 66 113 0 215461 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 862308
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=947024/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=869592 CPUtime=162.23
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 220061 0 0 0 16127 96 0 0 25 0 1 0 173542386 890462208 216821 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 217398 216821 66 113 0 217282 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 869592
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=941968/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=874516 CPUtime=222.22
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 221315 0 0 0 22125 97 0 0 25 0 1 0 173542386 895504384 218075 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 218629 218075 66 113 0 218513 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 874516
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=936080/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=880380 CPUtime=282.19
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 222794 0 0 0 28122 97 0 0 25 0 1 0 173542386 901509120 219554 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 220095 219554 66 113 0 219979 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 880380
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=929744/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=886708 CPUtime=342.19
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 224344 0 0 0 34120 99 0 0 25 0 1 0 173542386 907988992 221104 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 221677 221104 66 113 0 221561 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 886708
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=925776/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=890692 CPUtime=402.16
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 225341 0 0 0 40117 99 0 0 25 0 1 0 173542386 912068608 222101 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 222673 222101 66 113 0 222557 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 890692
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=921808/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=894444 CPUtime=462.15
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 226311 0 0 0 46115 100 0 0 25 0 1 0 173542386 915910656 223071 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 223611 223071 66 113 0 223495 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 894444
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=917456/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=898896 CPUtime=522.13
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 227430 0 0 0 52112 101 0 0 25 0 1 0 173542386 920469504 224190 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 224724 224190 66 113 0 224608 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 898896
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=911056/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=905228 CPUtime=582.12
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 229008 0 0 0 58110 102 0 0 25 0 1 0 173542386 926953472 225768 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 226307 225768 66 113 0 226191 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 905228
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26293
/proc/meminfo: memFree=904144/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=912260 CPUtime=642.1
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 230717 0 0 0 64107 103 0 0 25 0 1 0 173542386 934154240 227477 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534192 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 228065 227477 66 113 0 227949 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 912260
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=628304/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1187204 CPUtime=4061.07
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 299482 0 0 0 405946 161 0 0 25 0 1 0 173542386 1215696896 296242 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134641338 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 296801 296242 66 113 0 296685 0
Current children cumulated CPU time (s) 4061.07
Current children cumulated vsize (KiB) 1187204
[startup+4122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=625680/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1190020 CPUtime=4121.04
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 300159 0 0 0 411943 161 0 0 25 0 1 0 173542386 1218580480 296919 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 297505 296919 66 113 0 297389 0
Current children cumulated CPU time (s) 4121.04
Current children cumulated vsize (KiB) 1190020
[startup+4182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=620432/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1195176 CPUtime=4181.03
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 301461 0 0 0 417941 162 0 0 25 0 1 0 173542386 1223860224 298221 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 298794 298221 66 113 0 298678 0
Current children cumulated CPU time (s) 4181.03
Current children cumulated vsize (KiB) 1195176
[startup+4242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=616080/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1199396 CPUtime=4241.01
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 302552 0 0 0 423938 163 0 0 25 0 1 0 173542386 1228181504 299312 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534049 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 299849 299312 66 113 0 299733 0
Current children cumulated CPU time (s) 4241.01
Current children cumulated vsize (KiB) 1199396
[startup+4302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=613136/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1202440 CPUtime=4300.99
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 303271 0 0 0 429935 164 0 0 25 0 1 0 173542386 1231298560 300031 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 300610 300031 66 113 0 300494 0
Current children cumulated CPU time (s) 4300.99
Current children cumulated vsize (KiB) 1202440
[startup+4362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=610768/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1204784 CPUtime=4360.98
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 303859 0 0 0 435933 165 0 0 25 0 1 0 173542386 1233698816 300619 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 301196 300619 66 113 0 301080 0
Current children cumulated CPU time (s) 4360.98
Current children cumulated vsize (KiB) 1204784
[startup+4422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=607760/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1207832 CPUtime=4420.96
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 304624 0 0 0 441930 166 0 0 25 0 1 0 173542386 1236819968 301384 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134543533 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 301958 301384 66 113 0 301842 0
Current children cumulated CPU time (s) 4420.96
Current children cumulated vsize (KiB) 1207832
[startup+4482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26493
/proc/meminfo: memFree=604048/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1211584 CPUtime=4480.95
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 305578 0 0 0 447928 167 0 0 25 0 1 0 173542386 1240662016 302338 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534394 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 302896 302338 66 113 0 302780 0
Current children cumulated CPU time (s) 4480.95
Current children cumulated vsize (KiB) 1211584
[startup+4542.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 26493
/proc/meminfo: memFree=601616/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1213928 CPUtime=4540.93
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 306151 0 0 0 453926 167 0 0 25 0 1 0 173542386 1243062272 302911 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 303482 302911 66 113 0 303366 0
Current children cumulated CPU time (s) 4540.93
Current children cumulated vsize (KiB) 1213928
[startup+4602.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/65 26493
/proc/meminfo: memFree=599568/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1216036 CPUtime=4600.92
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 306658 0 0 0 459924 168 0 0 25 0 1 0 173542386 1245220864 303418 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534060 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 304009 303418 66 113 0 303893 0
Current children cumulated CPU time (s) 4600.92
Current children cumulated vsize (KiB) 1216036
[startup+4662.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 26493
/proc/meminfo: memFree=598352/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1217208 CPUtime=4660.9
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 306952 0 0 0 465922 168 0 0 25 0 1 0 173542386 1246420992 303712 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534408 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 304302 303712 66 113 0 304186 0
Current children cumulated CPU time (s) 4660.9
Current children cumulated vsize (KiB) 1217208
[startup+4722.31 s]
/proc/loadavg: 1.14 1.05 1.01 2/65 26493
/proc/meminfo: memFree=597456/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1217912 CPUtime=4720.89
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 307168 0 0 0 471920 169 0 0 25 0 1 0 173542386 1247141888 303928 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 304478 303928 66 113 0 304362 0
Current children cumulated CPU time (s) 4720.89
Current children cumulated vsize (KiB) 1217912
[startup+4782.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 26493
/proc/meminfo: memFree=595408/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1220020 CPUtime=4780.86
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 307679 0 0 0 477917 169 0 0 25 0 1 0 173542386 1249300480 304439 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 305005 304439 66 113 0 304889 0
Current children cumulated CPU time (s) 4780.86
Current children cumulated vsize (KiB) 1220020
[startup+4842.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 26493
/proc/meminfo: memFree=587856/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1227524 CPUtime=4840.85
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 309551 0 0 0 483915 170 0 0 25 0 1 0 173542386 1256984576 306311 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134591877 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 306881 306311 66 113 0 306765 0
Current children cumulated CPU time (s) 4840.85
Current children cumulated vsize (KiB) 1227524
[startup+4902.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26493
/proc/meminfo: memFree=583120/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1232212 CPUtime=4900.83
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 310758 0 0 0 489911 172 0 0 25 0 1 0 173542386 1261785088 307518 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534063 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 308053 307518 66 113 0 307937 0
Current children cumulated CPU time (s) 4900.83
Current children cumulated vsize (KiB) 1232212
[startup+4962.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/71 26631
/proc/meminfo: memFree=577560/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1236432 CPUtime=4960.77
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 311797 0 0 0 495904 173 0 0 25 0 1 0 173542386 1266106368 308557 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534049 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 309108 308557 66 113 0 308992 0
Current children cumulated CPU time (s) 4960.77
Current children cumulated vsize (KiB) 1236432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 26691
/proc/meminfo: memFree=576144/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=1239008 CPUtime=5000.03
/proc/26290/stat : 26290 (tts-4-0) R 26288 26290 25757 0 -1 4194304 312421 0 0 0 499830 173 0 0 25 0 1 0 173542386 1268744192 309181 18446744073709551615 134512640 134976056 4294956672 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26290/statm: 309752 309181 66 113 0 309636 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 1239008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 26691
/proc/meminfo: memFree=576144/2055920 swapFree=4183240/4192956
[pid=26290] ppid=26288 vsize=0 CPUtime=5000.22
/proc/26290/stat : 26290 (tts-4-0) D 26288 26290 25757 0 -1 4195332 312421 0 0 0 499830 192 0 0 25 0 1 0 173542386 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26290/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5000.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.8
CPU time (s): 5000.23
CPU user time (s): 4998.3
CPU system time (s): 1.92971
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1239008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.3
system time used= 1.92971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 9546
runsolver used 3.11553 second user time and 10.6504 second system time
The end
Begin job on node60 on Sun Apr 22 15:38:44 UTC 2007
IDJOB= 368630
IDBENCH= 24632
IDSOLVER= 178
FILE ID= node60/368630-1177256321
PBS_JOBID= 4650574
Free space on /tmp= 66402 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/368630-1177256321/tts-4-0 /tmp/evaluation/368630-1177256321/instance-368630-1177256321.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-368630-1177256321 -o ROOT/results/node60/solver-368630-1177256321 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368630-1177256321/tts-4-0 /tmp/evaluation/368630-1177256321/instance-368630-1177256321.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= bf3618cdbef11db03f2026bf209783fc
RANDOM SEED= 42424347
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1816104 kB
Buffers: 32088 kB
Cached: 139824 kB
SwapCached: 3528 kB
Active: 41452 kB
Inactive: 140188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1816104 kB
SwapTotal: 4192956 kB
SwapFree: 4183240 kB
Dirty: 16376 kB
Writeback: 0 kB
Mapped: 15696 kB
Slab: 44140 kB
Committed_AS: 2487244 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66402 MiB
End job on node60 on Sun Apr 22 17:02:08 UTC 2007