runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-298473-1171856890 -o ROOT/results/node19/solver-298473-1171856890 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/298473-1171856890/tts-4-0 /tmp/evaluation/298473-1171856890/instance-298473-1171856890.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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: 1.00 1.00 1.00 3/77 29367
/proc/meminfo: memFree=1388656/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=928 CPUtime=0
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 205643050 950272 112 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 232 113 59 113 0 116 0
[startup+0.10796 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29367
/proc/meminfo: memFree=1388656/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=2668 CPUtime=0.1
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 571 0 0 0 10 0 0 0 18 0 1 0 205643050 2732032 556 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534054 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 667 556 66 113 0 551 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2668
[startup+0.518003 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29367
/proc/meminfo: memFree=1388656/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=2800 CPUtime=0.51
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 615 0 0 0 51 0 0 0 22 0 1 0 205643050 2867200 600 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 700 600 66 113 0 584 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2800
[startup+1.33809 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1386152/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=3172 CPUtime=1.33
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 731 0 0 0 133 0 0 0 25 0 1 0 205643050 3248128 716 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134543305 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 793 716 66 113 0 677 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3172
[startup+2.97427 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1385448/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=4324 CPUtime=2.96
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 1004 0 0 0 296 0 0 0 25 0 1 0 205643050 4427776 989 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 1081 989 66 113 0 965 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4324
[startup+6.25063 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1383080/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=6204 CPUtime=6.24
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 1491 0 0 0 624 0 0 0 25 0 1 0 205643050 6352896 1476 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134543324 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 1551 1476 66 113 0 1435 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 6204
[startup+12.7093 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1378600/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=10436 CPUtime=12.7
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 2553 0 0 0 1269 1 0 0 25 0 1 0 205643050 10686464 2538 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534083 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 2609 2538 66 113 0 2493 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10436
[startup+25.5117 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1372008/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=17252 CPUtime=25.49
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 4240 0 0 0 2548 1 0 0 25 0 1 0 205643050 17666048 4225 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534054 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 4313 4225 66 113 0 4197 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17252
[startup+51.1255 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1360552/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=28504 CPUtime=51.1
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 7060 0 0 0 5107 3 0 0 25 0 1 0 205643050 29188096 7045 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534402 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 7126 7045 66 113 0 7010 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 28504
[startup+102.344 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1348072/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=41168 CPUtime=102.31
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 10198 0 0 0 10225 6 0 0 25 0 1 0 205643050 42156032 10183 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 10292 10183 66 113 0 10176 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41168
[startup+162.377 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1333096/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=55712 CPUtime=162.32
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 13858 0 0 0 16224 8 0 0 25 0 1 0 205643050 57049088 13843 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 13928 13843 66 113 0 13812 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 55712
[startup+222.41 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 29368
/proc/meminfo: memFree=1321064/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=67900 CPUtime=222.34
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 16879 0 0 0 22223 11 0 0 25 0 1 0 205643050 69529600 16864 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534396 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 16975 16864 66 113 0 16859 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 67900
[startup+282.442 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 29368
/proc/meminfo: memFree=1305704/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=83136 CPUtime=282.35
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 20716 0 0 0 28222 13 0 0 25 0 1 0 205643050 85131264 20701 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 20784 20701 66 113 0 20668 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 83136
[startup+342.47 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1290664/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=98372 CPUtime=342.37
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 24498 0 0 0 34221 16 0 0 25 0 1 0 205643050 100732928 24483 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 24593 24483 66 113 0 24477 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 98372
[startup+402.503 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1273000/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=115720 CPUtime=402.38
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 28841 0 0 0 40219 19 0 0 25 0 1 0 205643050 118497280 28826 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534186 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 28930 28826 66 113 0 28814 0
Current children cumulated CPU time (s) 402.38
Current children cumulated vsize (KiB) 115720
[startup+462.534 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1253928/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=134948 CPUtime=462.4
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 33645 0 0 0 46217 23 0 0 25 0 1 0 205643050 138186752 33630 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 33737 33630 66 113 0 33621 0
Current children cumulated CPU time (s) 462.4
Current children cumulated vsize (KiB) 134948
[startup+522.565 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1235816/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=152996 CPUtime=522.42
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 38158 0 0 0 52215 27 0 0 25 0 1 0 205643050 156667904 38143 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 38249 38143 66 113 0 38133 0
Current children cumulated CPU time (s) 522.42
Current children cumulated vsize (KiB) 152996
[startup+582.595 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1224232/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=164248 CPUtime=582.43
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 40997 0 0 0 58214 29 0 0 25 0 1 0 205643050 168189952 40982 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534440 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 41062 40982 66 113 0 40946 0
Current children cumulated CPU time (s) 582.43
Current children cumulated vsize (KiB) 164248
[startup+642.632 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1214312/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=174328 CPUtime=642.46
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 43484 0 0 0 64214 32 0 0 25 0 1 0 205643050 178511872 43469 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 43582 43469 66 113 0 43466 0
Current children cumulated CPU time (s) 642.46
Current children cumulated vsize (KiB) 174328
[startup+702.658 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1204072/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=184404 CPUtime=702.47
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 46037 0 0 0 70213 34 0 0 25 0 1 0 205643050 188829696 46022 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 46101 46022 66 113 0 45985 0
Current children cumulated CPU time (s) 702.47
Current children cumulated vsize (KiB) 184404
[startup+762.687 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29368
/proc/meminfo: memFree=1191976/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=196592 CPUtime=762.48
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 49094 0 0 0 76211 37 0 0 25 0 1 0 205643050 201310208 49079 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 49148 49079 66 113 0 49032 0
Current children cumulated CPU time (s) 762.48
Current children cumulated vsize (KiB) 196592
[startup+822.739 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 29490
/proc/meminfo: memFree=1175480/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=211732 CPUtime=822.46
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 52868 0 0 0 82205 41 0 0 25 0 1 0 205643050 216813568 52853 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 52933 52853 66 113 0 52817 0
Current children cumulated CPU time (s) 822.46
Current children cumulated vsize (KiB) 211732
[startup+882.789 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1165224/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=222984 CPUtime=882.46
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 55693 0 0 0 88203 43 0 0 25 0 1 0 205643050 228335616 55678 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 55746 55678 66 113 0 55630 0
Current children cumulated CPU time (s) 882.46
Current children cumulated vsize (KiB) 222984
[startup+942.818 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1153960/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=234472 CPUtime=942.47
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 58517 0 0 0 94201 46 0 0 25 0 1 0 205643050 240099328 58502 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 58618 58502 66 113 0 58502 0
Current children cumulated CPU time (s) 942.47
Current children cumulated vsize (KiB) 234472
[startup+1002.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1151016/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=237284 CPUtime=1002.49
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 59266 0 0 0 100202 47 0 0 25 0 1 0 205643050 242978816 59251 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 59321 59251 66 113 0 59205 0
Current children cumulated CPU time (s) 1002.49
Current children cumulated vsize (KiB) 237284
[startup+1062.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1145192/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=243144 CPUtime=1062.51
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 60695 0 0 0 106203 48 0 0 25 0 1 0 205643050 248979456 60680 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 60786 60680 66 113 0 60670 0
Current children cumulated CPU time (s) 1062.51
Current children cumulated vsize (KiB) 243144
[startup+1122.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1141672/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=246428 CPUtime=1122.52
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 61560 0 0 0 112203 49 0 0 25 0 1 0 205643050 252342272 61545 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 61607 61545 66 113 0 61491 0
Current children cumulated CPU time (s) 1122.52
Current children cumulated vsize (KiB) 246428
[startup+1182.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1136040/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=252288 CPUtime=1182.54
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 62984 0 0 0 118204 50 0 0 25 0 1 0 205643050 258342912 62969 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534197 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 63072 62969 66 113 0 62956 0
Current children cumulated CPU time (s) 1182.54
Current children cumulated vsize (KiB) 252288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.46 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1135016/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=253224 CPUtime=1200.06
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 63245 0 0 0 119955 51 0 0 25 0 1 0 205643050 259301376 63230 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 63306 63230 66 113 0 63190 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 253224
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.46 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29566
/proc/meminfo: memFree=1135016/2055920 swapFree=4192812/4192956
[pid=29367] ppid=29365 vsize=253224 CPUtime=1200.06
/proc/29367/stat : 29367 (tts-4-0) R 29365 29367 28344 0 -1 4194304 63245 0 0 0 119955 51 0 0 25 0 1 0 205643050 259301376 63230 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29367/statm: 63306 63230 66 113 0 63190 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 253224
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.11
CPU user time (s): 1199.55
CPU system time (s): 0.550916
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 253224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.55
system time used= 0.550916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63245
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= 16950
runsolver used 1.40779 second user time and 2.82257 second system time
The end
Begin job on node19 on Mon Feb 19 03:48:10 UTC 2007
IDJOB= 298473
IDBENCH= 19987
IDSOLVER= 98
FILE ID= node19/298473-1171856890
PBS_JOBID= 3839407
Free space on /tmp= 66546 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v360/unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/298473-1171856890/tts-4-0 /tmp/evaluation/298473-1171856890/instance-298473-1171856890.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-298473-1171856890 -o ROOT/results/node19/solver-298473-1171856890 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/298473-1171856890/tts-4-0 /tmp/evaluation/298473-1171856890/instance-298473-1171856890.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 5e7fef8a5169f386cc435a1aecb40c3c
RANDOM SEED= 260750772
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node19.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 : 5931.00
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: 1389064 kB
Buffers: 55728 kB
Cached: 493984 kB
SwapCached: 0 kB
Active: 281444 kB
Inactive: 311880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1389064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 568 kB
Writeback: 0 kB
Mapped: 62512 kB
Slab: 59036 kB
Committed_AS: 850100 kB
PageTables: 1756 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= 66546 MiB
End job on node19 on Mon Feb 19 04:08:13 UTC 2007