runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-309543-1172543263 -o ROOT/results/node17/solver-309543-1172543263 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309543-1172543263/tts-4-0 /tmp/evaluation/309543-1172543263/instance-309543-1172543263.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: 0.92 0.98 0.99 3/77 17256
/proc/meminfo: memFree=1471672/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=936 CPUtime=0
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 121 0 0 0 0 0 0 0 18 0 1 0 274280580 958464 106 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 234 107 57 113 0 118 0
[startup+0.107307 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17256
/proc/meminfo: memFree=1471672/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=4136 CPUtime=0.1
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 938 0 0 0 10 0 0 0 18 0 1 0 274280580 4235264 921 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 1034 921 66 113 0 918 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4136
[startup+0.515349 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17256
/proc/meminfo: memFree=1471672/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=5472 CPUtime=0.51
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 1291 0 0 0 51 0 0 0 22 0 1 0 274280580 5603328 1274 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513456 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 1368 1274 66 113 0 1252 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 5472
[startup+1.33544 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1466608/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=5736 CPUtime=1.33
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 1344 0 0 0 133 0 0 0 25 0 1 0 274280580 5873664 1327 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 1434 1327 66 113 0 1318 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 5736
[startup+2.97161 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1465968/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=6404 CPUtime=2.96
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 1533 0 0 0 296 0 0 0 25 0 1 0 274280580 6557696 1516 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 1601 1516 66 113 0 1485 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 6404
[startup+6.25495 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1465392/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=6688 CPUtime=6.24
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 1603 0 0 0 624 0 0 0 25 0 1 0 274280580 6848512 1586 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552253 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 1672 1586 66 113 0 1556 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 6688
[startup+12.7056 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1464688/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=7404 CPUtime=12.69
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 1765 0 0 0 1269 0 0 0 25 0 1 0 274280580 7581696 1748 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 1851 1748 66 113 0 1735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7404
[startup+25.513 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1462000/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=10012 CPUtime=25.5
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 2453 0 0 0 2549 1 0 0 25 0 1 0 274280580 10252288 2436 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 2503 2436 66 113 0 2387 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 10012
[startup+51.1246 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1456240/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=15892 CPUtime=51.11
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 3881 0 0 0 5109 2 0 0 25 0 1 0 274280580 16273408 3864 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 3973 3864 66 113 0 3857 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 15892
[startup+102.34 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1445552/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=26688 CPUtime=102.31
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 6579 0 0 0 10227 4 0 0 25 0 1 0 274280580 27328512 6562 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534054 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 6672 6562 66 113 0 6556 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26688
[startup+162.367 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1431216/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=40688 CPUtime=162.32
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 10085 0 0 0 16225 7 0 0 25 0 1 0 274280580 41664512 10068 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 10172 10068 66 113 0 10056 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 40688
[startup+222.398 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1417392/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=54488 CPUtime=222.34
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 13546 0 0 0 22225 9 0 0 25 0 1 0 274280580 55795712 13529 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534199 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 13622 13529 66 113 0 13506 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 54488
[startup+282.425 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1407088/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=64800 CPUtime=282.34
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 16123 0 0 0 28224 10 0 0 25 0 1 0 274280580 66355200 16106 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 16200 16106 66 113 0 16084 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 64800
[startup+342.451 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1397488/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=74412 CPUtime=342.35
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 18515 0 0 0 34223 12 0 0 25 0 1 0 274280580 76197888 18498 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 18603 18498 66 113 0 18487 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 74412
[startup+402.483 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1388272/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=83456 CPUtime=402.37
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 20792 0 0 0 40223 14 0 0 25 0 1 0 274280580 85458944 20775 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534440 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 20864 20775 66 113 0 20748 0
Current children cumulated CPU time (s) 402.37
Current children cumulated vsize (KiB) 83456
[startup+462.512 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1378224/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=93768 CPUtime=462.38
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 23342 0 0 0 46222 16 0 0 25 0 1 0 274280580 96018432 23325 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534386 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 23442 23325 66 113 0 23326 0
Current children cumulated CPU time (s) 462.38
Current children cumulated vsize (KiB) 93768
[startup+522.54 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1370416/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=101276 CPUtime=522.39
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 25272 0 0 0 52221 18 0 0 25 0 1 0 274280580 103706624 25255 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 25319 25255 66 113 0 25203 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 101276
[startup+582.565 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1364976/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=106668 CPUtime=582.41
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 26604 0 0 0 58221 20 0 0 25 0 1 0 274280580 109228032 26587 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 26667 26587 66 113 0 26551 0
Current children cumulated CPU time (s) 582.41
Current children cumulated vsize (KiB) 106668
[startup+642.599 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1357424/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=114404 CPUtime=642.43
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 28516 0 0 0 64221 22 0 0 25 0 1 0 274280580 117149696 28499 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534138 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 28601 28499 66 113 0 28485 0
Current children cumulated CPU time (s) 642.43
Current children cumulated vsize (KiB) 114404
[startup+702.628 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1351792/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=119928 CPUtime=702.44
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 29918 0 0 0 70221 23 0 0 25 0 1 0 274280580 122806272 29901 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 29982 29901 66 113 0 29866 0
Current children cumulated CPU time (s) 702.44
Current children cumulated vsize (KiB) 119928
[startup+762.657 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1346800/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=124860 CPUtime=762.46
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 31145 0 0 0 76221 25 0 0 25 0 1 0 274280580 127856640 31128 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534364 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 31215 31128 66 113 0 31099 0
Current children cumulated CPU time (s) 762.46
Current children cumulated vsize (KiB) 124860
[startup+822.689 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17257
/proc/meminfo: memFree=1341104/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=130484 CPUtime=822.47
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 32562 0 0 0 82221 26 0 0 25 0 1 0 274280580 133615616 32545 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 32621 32545 66 113 0 32505 0
Current children cumulated CPU time (s) 822.47
Current children cumulated vsize (KiB) 130484
[startup+882.719 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17259
/proc/meminfo: memFree=1333296/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=138456 CPUtime=882.48
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 34513 0 0 0 88221 27 0 0 25 0 1 0 274280580 141778944 34496 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 34614 34496 66 113 0 34498 0
Current children cumulated CPU time (s) 882.48
Current children cumulated vsize (KiB) 138456
[startup+942.743 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 17259
/proc/meminfo: memFree=1321136/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=150652 CPUtime=942.49
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 37582 0 0 0 94219 30 0 0 25 0 1 0 274280580 154267648 37565 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 37663 37565 66 113 0 37547 0
Current children cumulated CPU time (s) 942.49
Current children cumulated vsize (KiB) 150652
[startup+1002.77 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 17259
/proc/meminfo: memFree=1309872/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=161904 CPUtime=1002.5
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 40430 0 0 0 100219 31 0 0 25 0 1 0 274280580 165789696 40413 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 40476 40413 66 113 0 40360 0
Current children cumulated CPU time (s) 1002.5
Current children cumulated vsize (KiB) 161904
[startup+1062.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17259
/proc/meminfo: memFree=1300720/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=170812 CPUtime=1062.51
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 42656 0 0 0 106218 33 0 0 25 0 1 0 274280580 174911488 42639 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 42703 42639 66 113 0 42587 0
Current children cumulated CPU time (s) 1062.51
Current children cumulated vsize (KiB) 170812
[startup+1122.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17259
/proc/meminfo: memFree=1292528/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=179248 CPUtime=1122.53
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 44742 0 0 0 112218 35 0 0 25 0 1 0 274280580 183549952 44725 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 44812 44725 66 113 0 44696 0
Current children cumulated CPU time (s) 1122.53
Current children cumulated vsize (KiB) 179248
[startup+1182.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17259
/proc/meminfo: memFree=1284656/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=186984 CPUtime=1182.54
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 46698 0 0 0 118218 36 0 0 25 0 1 0 274280580 191471616 46681 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513467 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 46746 46681 66 113 0 46630 0
Current children cumulated CPU time (s) 1182.54
Current children cumulated vsize (KiB) 186984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17259
/proc/meminfo: memFree=1281648/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=190032 CPUtime=1200.06
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 47411 0 0 0 119969 37 0 0 25 0 1 0 274280580 194592768 47394 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641342 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 47508 47394 66 113 0 47392 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 190032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17259
/proc/meminfo: memFree=1281648/2055920 swapFree=4192812/4192956
[pid=17256] ppid=17254 vsize=190032 CPUtime=1200.06
/proc/17256/stat : 17256 (tts-4-0) R 17254 17256 16915 0 -1 4194304 47411 0 0 0 119969 37 0 0 25 0 1 0 274280580 194592768 47394 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641342 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 47508 47394 66 113 0 47392 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 190032
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.1
CPU user time (s): 1199.69
CPU system time (s): 0.404938
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 190032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.69
system time used= 0.404938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47411
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= 8342
runsolver used 1.24281 second user time and 2.70959 second system time
The end
Begin job on node17 on Tue Feb 27 02:27:43 UTC 2007
IDJOB= 309543
IDBENCH= 20263
IDSOLVER= 98
FILE ID= node17/309543-1172543263
PBS_JOBID= 3971639
Free space on /tmp= 66559 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v810/unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
COMMAND LINE= /tmp/evaluation/309543-1172543263/tts-4-0 /tmp/evaluation/309543-1172543263/instance-309543-1172543263.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-309543-1172543263 -o ROOT/results/node17/solver-309543-1172543263 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309543-1172543263/tts-4-0 /tmp/evaluation/309543-1172543263/instance-309543-1172543263.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= f3dd554f0235253f67a0d81f3fcd0e26
RANDOM SEED= 848402541
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node17.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.229
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.229
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: 1472080 kB
Buffers: 63316 kB
Cached: 400784 kB
SwapCached: 0 kB
Active: 301836 kB
Inactive: 206676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1472080 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 592 kB
Writeback: 0 kB
Mapped: 63328 kB
Slab: 60888 kB
Committed_AS: 894664 kB
PageTables: 1748 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= 66559 MiB
End job on node17 on Tue Feb 27 02:47:46 UTC 2007