runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-310609-1172560364 -o ROOT/results/node41/solver-310609-1172560364 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/310609-1172560364/tts-4-0 /tmp/evaluation/310609-1172560364/instance-310609-1172560364.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.57 0.92 0.97 3/64 17575
/proc/meminfo: memFree=1817520/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=928 CPUtime=0
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 122 0 0 0 0 0 0 0 18 0 1 0 275992482 950272 107 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134523648 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 232 107 58 113 0 116 0
[startup+0.10711 s]
/proc/loadavg: 0.57 0.92 0.97 3/64 17575
/proc/meminfo: memFree=1817520/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=3492 CPUtime=0.1
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 777 0 0 0 10 0 0 0 18 0 1 0 275992482 3575808 760 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 873 760 66 113 0 757 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3492
[startup+0.515145 s]
/proc/loadavg: 0.57 0.92 0.97 3/64 17575
/proc/meminfo: memFree=1817520/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=3884 CPUtime=0.5
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 877 0 0 0 50 0 0 0 21 0 1 0 275992482 3977216 860 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552147 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 971 860 66 113 0 855 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 3884
[startup+1.33521 s]
/proc/loadavg: 0.57 0.92 0.97 2/65 17576
/proc/meminfo: memFree=1814056/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=4156 CPUtime=1.32
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 961 0 0 0 132 0 0 0 25 0 1 0 275992482 4255744 944 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591986 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 1039 944 66 113 0 923 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 4156
[startup+2.97136 s]
/proc/loadavg: 0.60 0.92 0.97 2/65 17576
/proc/meminfo: memFree=1813624/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=4532 CPUtime=2.96
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 1034 0 0 0 296 0 0 0 25 0 1 0 275992482 4640768 1017 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 1133 1017 66 113 0 1017 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4532
[startup+6.25164 s]
/proc/loadavg: 0.60 0.92 0.97 2/65 17576
/proc/meminfo: memFree=1813176/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=4808 CPUtime=6.24
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 1146 0 0 0 624 0 0 0 25 0 1 0 275992482 4923392 1129 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 1202 1129 66 113 0 1086 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 4808
[startup+12.7082 s]
/proc/loadavg: 0.66 0.92 0.97 2/65 17576
/proc/meminfo: memFree=1811168/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=7256 CPUtime=12.69
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 1738 0 0 0 1269 0 0 0 25 0 1 0 275992482 7430144 1721 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 1814 1721 66 113 0 1698 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7256
[startup+25.6083 s]
/proc/loadavg: 0.72 0.92 0.97 2/65 17576
/proc/meminfo: memFree=1807968/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=10784 CPUtime=25.59
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 2597 0 0 0 2558 1 0 0 25 0 1 0 275992482 11042816 2580 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 2696 2580 66 113 0 2580 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 10784
[startup+51.2116 s]
/proc/loadavg: 0.81 0.93 0.97 2/65 17576
/proc/meminfo: memFree=1800352/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=18048 CPUtime=51.18
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 4439 0 0 0 5116 2 0 0 25 0 1 0 275992482 18481152 4422 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534138 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 4512 4422 66 113 0 4396 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 18048
[startup+102.419 s]
/proc/loadavg: 0.92 0.94 0.97 2/65 17576
/proc/meminfo: memFree=1791136/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=27200 CPUtime=102.38
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 6736 0 0 0 10234 4 0 0 25 0 1 0 275992482 27852800 6719 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 6800 6719 66 113 0 6684 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 27200
[startup+162.437 s]
/proc/loadavg: 0.97 0.95 0.97 2/65 17576
/proc/meminfo: memFree=1778592/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=39860 CPUtime=162.38
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 9865 0 0 0 16232 6 0 0 25 0 1 0 275992482 40816640 9848 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 9965 9848 66 113 0 9849 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 39860
[startup+222.455 s]
/proc/loadavg: 0.99 0.95 0.97 2/65 17576
/proc/meminfo: memFree=1768800/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=49472 CPUtime=222.39
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 12302 0 0 0 22231 8 0 0 25 0 1 0 275992482 50659328 12285 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513456 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 12368 12285 66 113 0 12252 0
Current children cumulated CPU time (s) 222.39
Current children cumulated vsize (KiB) 49472
[startup+282.473 s]
/proc/loadavg: 1.05 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1760864/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=57440 CPUtime=282.39
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 14287 0 0 0 28229 10 0 0 25 0 1 0 275992482 58818560 14270 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534074 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 14360 14270 66 113 0 14244 0
Current children cumulated CPU time (s) 282.39
Current children cumulated vsize (KiB) 57440
[startup+342.491 s]
/proc/loadavg: 1.02 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1753824/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=64476 CPUtime=342.4
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 16019 0 0 0 34229 11 0 0 25 0 1 0 275992482 66023424 16002 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 16119 16002 66 113 0 16003 0
Current children cumulated CPU time (s) 342.4
Current children cumulated vsize (KiB) 64476
[startup+402.513 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1748192/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=70100 CPUtime=402.4
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 17428 0 0 0 40228 12 0 0 25 0 1 0 275992482 71782400 17411 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534354 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 17525 17411 66 113 0 17409 0
Current children cumulated CPU time (s) 402.4
Current children cumulated vsize (KiB) 70100
[startup+462.53 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1744736/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=73384 CPUtime=462.41
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 18300 0 0 0 46228 13 0 0 25 0 1 0 275992482 75145216 18283 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 18346 18283 66 113 0 18230 0
Current children cumulated CPU time (s) 462.41
Current children cumulated vsize (KiB) 73384
[startup+522.545 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1741792/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=76428 CPUtime=522.4
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 19030 0 0 0 52227 13 0 0 25 0 1 0 275992482 78262272 19013 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 19107 19013 66 113 0 18991 0
Current children cumulated CPU time (s) 522.4
Current children cumulated vsize (KiB) 76428
[startup+582.565 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1737376/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=80648 CPUtime=582.42
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 20114 0 0 0 58227 15 0 0 25 0 1 0 275992482 82583552 20097 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534110 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 20162 20097 66 113 0 20046 0
Current children cumulated CPU time (s) 582.42
Current children cumulated vsize (KiB) 80648
[startup+642.583 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1731488/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=86744 CPUtime=642.42
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 21584 0 0 0 64226 16 0 0 25 0 1 0 275992482 88825856 21567 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 21686 21567 66 113 0 21570 0
Current children cumulated CPU time (s) 642.42
Current children cumulated vsize (KiB) 86744
[startup+702.602 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1724448/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=93776 CPUtime=702.42
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 23347 0 0 0 70225 17 0 0 25 0 1 0 275992482 96026624 23330 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 23444 23330 66 113 0 23328 0
Current children cumulated CPU time (s) 702.42
Current children cumulated vsize (KiB) 93776
[startup+762.62 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1717856/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=100340 CPUtime=762.43
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 25021 0 0 0 76225 18 0 0 25 0 1 0 275992482 102748160 25004 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 25085 25004 66 113 0 24969 0
Current children cumulated CPU time (s) 762.43
Current children cumulated vsize (KiB) 100340
[startup+822.642 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1711648/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=106440 CPUtime=822.43
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 26548 0 0 0 82224 19 0 0 25 0 1 0 275992482 108994560 26531 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 26610 26531 66 113 0 26494 0
Current children cumulated CPU time (s) 822.43
Current children cumulated vsize (KiB) 106440
[startup+882.658 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1705120/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=113004 CPUtime=882.44
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 28165 0 0 0 88223 21 0 0 25 0 1 0 275992482 115716096 28148 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 28251 28148 66 113 0 28135 0
Current children cumulated CPU time (s) 882.44
Current children cumulated vsize (KiB) 113004
[startup+942.675 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1702176/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=116052 CPUtime=942.43
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 28911 0 0 0 94222 21 0 0 25 0 1 0 275992482 118837248 28894 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 29013 28894 66 113 0 28897 0
Current children cumulated CPU time (s) 942.43
Current children cumulated vsize (KiB) 116052
[startup+1002.69 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1699296/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=118628 CPUtime=1002.45
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 29613 0 0 0 100222 23 0 0 25 0 1 0 275992482 121475072 29596 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 29657 29596 66 113 0 29541 0
Current children cumulated CPU time (s) 1002.45
Current children cumulated vsize (KiB) 118628
[startup+1062.71 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1695968/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=122144 CPUtime=1062.45
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 30453 0 0 0 106221 24 0 0 25 0 1 0 275992482 125075456 30436 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 30536 30436 66 113 0 30420 0
Current children cumulated CPU time (s) 1062.45
Current children cumulated vsize (KiB) 122144
[startup+1122.73 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1693152/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=124956 CPUtime=1122.44
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 31165 0 0 0 112220 24 0 0 25 0 1 0 275992482 127954944 31148 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 31239 31148 66 113 0 31123 0
Current children cumulated CPU time (s) 1122.44
Current children cumulated vsize (KiB) 124956
[startup+1182.75 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1689376/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=128708 CPUtime=1182.45
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 32115 0 0 0 118220 25 0 0 25 0 1 0 275992482 131796992 32098 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 32177 32098 66 113 0 32061 0
Current children cumulated CPU time (s) 1182.45
Current children cumulated vsize (KiB) 128708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.36 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1688480/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=129644 CPUtime=1200.07
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 32321 0 0 0 119982 25 0 0 25 0 1 0 275992482 132755456 32304 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534189 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 32411 32304 66 113 0 32295 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 129644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.36 s]
/proc/loadavg: 1.00 0.97 0.97 2/65 17576
/proc/meminfo: memFree=1688480/2055920 swapFree=4172320/4192956
[pid=17575] ppid=17573 vsize=129644 CPUtime=1200.07
/proc/17575/stat : 17575 (tts-4-0) R 17573 17575 16394 0 -1 4194304 32321 0 0 0 119982 25 0 0 25 0 1 0 275992482 132755456 32304 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534189 0 0 4096 0 0 0 0 17 1 0 0
/proc/17575/statm: 32411 32304 66 113 0 32295 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 129644
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.39
CPU time (s): 1200.1
CPU user time (s): 1199.82
CPU system time (s): 0.277957
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 129644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.82
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32321
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= 670
runsolver used 0.757884 second user time and 2.45363 second system time
The end
Begin job on node41 on Tue Feb 27 07:12:45 UTC 2007
IDJOB= 310609
IDBENCH= 20292
IDSOLVER= 98
FILE ID= node41/310609-1172560364
PBS_JOBID= 3971884
Free space on /tmp= 66560 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v630/unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/310609-1172560364/tts-4-0 /tmp/evaluation/310609-1172560364/instance-310609-1172560364.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-310609-1172560364 -o ROOT/results/node41/solver-310609-1172560364 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/310609-1172560364/tts-4-0 /tmp/evaluation/310609-1172560364/instance-310609-1172560364.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= da575672f9caad385bd5edff99ee5f4d
RANDOM SEED= 691887021
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node41.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.231
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.231
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: 1817928 kB
Buffers: 31400 kB
Cached: 145264 kB
SwapCached: 14892 kB
Active: 104104 kB
Inactive: 94304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1817928 kB
SwapTotal: 4192956 kB
SwapFree: 4172320 kB
Dirty: 668 kB
Writeback: 0 kB
Mapped: 15728 kB
Slab: 25584 kB
Committed_AS: 553768 kB
PageTables: 1476 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= 66560 MiB
End job on node41 on Tue Feb 27 07:32:48 UTC 2007