runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-293637-1171774810 -o ROOT/results/node29/solver-293637-1171774810 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/293637-1171774810/tinisat /tmp/evaluation/293637-1171774810/instance-293637-1171774810.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 20928
/proc/meminfo: memFree=932072/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=716 CPUtime=0
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 95 0 0 0 0 0 0 0 18 0 1 0 171245228 733184 80 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134629133 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 179 81 48 110 0 66 0
[startup+0.106688 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20928
/proc/meminfo: memFree=932072/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=1148 CPUtime=0.1
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 187 0 0 0 10 0 0 0 18 0 1 0 171245228 1175552 171 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 287 171 52 110 0 174 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1148
[startup+0.514712 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20928
/proc/meminfo: memFree=932072/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=2600 CPUtime=0.5
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 378 0 0 0 50 0 0 0 21 0 1 0 171245228 2662400 362 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134520118 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 650 362 52 110 0 537 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2600
[startup+1.33476 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20929
/proc/meminfo: memFree=930144/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=2732 CPUtime=1.32
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 595 0 0 0 132 0 0 0 25 0 1 0 171245228 2797568 579 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134520118 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 683 579 52 110 0 570 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2732
[startup+2.97386 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20929
/proc/meminfo: memFree=929056/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=4892 CPUtime=2.96
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 891 0 0 0 296 0 0 0 25 0 1 0 171245228 5009408 875 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 1223 875 52 110 0 1110 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4892
[startup+6.25307 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20929
/proc/meminfo: memFree=927328/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=8940 CPUtime=6.24
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 1250 0 0 0 624 0 0 0 25 0 1 0 171245228 9154560 1234 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 2235 1234 52 110 0 2122 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8940
[startup+12.7095 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20929
/proc/meminfo: memFree=925280/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=9368 CPUtime=12.7
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 1713 0 0 0 1269 1 0 0 25 0 1 0 171245228 9592832 1697 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134515445 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 2342 1697 52 110 0 2229 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 9368
[startup+25.5103 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 20929
/proc/meminfo: memFree=922912/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=10224 CPUtime=25.5
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 2358 0 0 0 2548 2 0 0 25 0 1 0 171245228 10469376 2277 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134520074 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 2556 2277 52 110 0 2443 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 10224
[startup+51.1238 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 20929
/proc/meminfo: memFree=919776/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=17704 CPUtime=51.1
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 3136 0 0 0 5107 3 0 0 25 0 1 0 171245228 18128896 3055 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519878 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 4426 3055 52 110 0 4313 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17704
[startup+102.361 s]
/proc/loadavg: 0.98 0.98 0.99 2/84 21047
/proc/meminfo: memFree=913520/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=19016 CPUtime=102.28
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 4357 0 0 0 10224 4 0 0 25 0 1 0 171245228 19472384 4276 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 4754 4276 52 110 0 4641 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19016
[startup+162.414 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21127
/proc/meminfo: memFree=910048/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=34648 CPUtime=162.26
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 5579 0 0 0 16221 5 0 0 25 0 1 0 171245228 35479552 5369 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 8662 5369 52 110 0 8549 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 34648
[startup+222.442 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21127
/proc/meminfo: memFree=906784/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=35104 CPUtime=222.28
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 6416 0 0 0 22221 7 0 0 25 0 1 0 171245228 35946496 6206 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519934 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 8776 6206 52 110 0 8663 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 35104
[startup+282.473 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21127
/proc/meminfo: memFree=903776/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=35456 CPUtime=282.3
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 7153 0 0 0 28222 8 0 0 25 0 1 0 171245228 36306944 6943 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 8864 6943 52 110 0 8751 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35456
[startup+342.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21127
/proc/meminfo: memFree=900448/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=36500 CPUtime=342.32
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 7985 0 0 0 34223 9 0 0 25 0 1 0 171245228 37376000 7775 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 9125 7775 52 110 0 9012 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 36500
[startup+402.538 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21127
/proc/meminfo: memFree=897760/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=38572 CPUtime=402.34
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 8958 0 0 0 40224 10 0 0 25 0 1 0 171245228 39497728 8458 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 9643 8458 52 110 0 9530 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 38572
[startup+462.567 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 21127
/proc/meminfo: memFree=895392/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=39292 CPUtime=462.35
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 9567 0 0 0 46224 11 0 0 25 0 1 0 171245228 40235008 9067 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 9823 9067 52 110 0 9710 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 39292
[startup+522.596 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 21127
/proc/meminfo: memFree=892960/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=68592 CPUtime=522.38
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 10199 0 0 0 52225 13 0 0 25 0 1 0 171245228 70238208 9666 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17148 9666 52 110 0 17035 0
Current children cumulated CPU time (s) 522.38
Current children cumulated vsize (KiB) 68592
[startup+582.626 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=890784/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=69512 CPUtime=582.4
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 10784 0 0 0 58226 14 0 0 25 0 1 0 171245228 71180288 10218 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17378 10218 52 110 0 17265 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 69512
[startup+642.66 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=888992/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=69512 CPUtime=642.41
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 11239 0 0 0 64226 15 0 0 25 0 1 0 171245228 71180288 10673 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17378 10673 52 110 0 17265 0
Current children cumulated CPU time (s) 642.41
Current children cumulated vsize (KiB) 69512
[startup+702.694 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=887008/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=70296 CPUtime=702.44
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 11801 0 0 0 70228 16 0 0 25 0 1 0 171245228 71983104 11169 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17574 11169 52 110 0 17461 0
Current children cumulated CPU time (s) 702.44
Current children cumulated vsize (KiB) 70296
[startup+762.724 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=885024/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=70688 CPUtime=762.45
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 12319 0 0 0 76229 16 0 0 25 0 1 0 171245228 72384512 11654 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17672 11654 52 110 0 17559 0
Current children cumulated CPU time (s) 762.45
Current children cumulated vsize (KiB) 70688
[startup+822.756 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=883424/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=70688 CPUtime=822.47
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 12725 0 0 0 82230 17 0 0 25 0 1 0 171245228 72384512 12060 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17672 12060 52 110 0 17559 0
Current children cumulated CPU time (s) 822.47
Current children cumulated vsize (KiB) 70688
[startup+882.786 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=881760/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71336 CPUtime=882.49
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 13238 0 0 0 88231 18 0 0 25 0 1 0 171245228 73048064 12474 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17834 12474 52 110 0 17721 0
Current children cumulated CPU time (s) 882.49
Current children cumulated vsize (KiB) 71336
[startup+942.815 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=879968/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71728 CPUtime=942.5
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 13710 0 0 0 94231 19 0 0 25 0 1 0 171245228 73449472 12913 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17932 12913 52 110 0 17819 0
Current children cumulated CPU time (s) 942.5
Current children cumulated vsize (KiB) 71728
[startup+1002.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=878688/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71984 CPUtime=1002.51
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 14143 0 0 0 100232 19 0 0 25 0 1 0 171245228 73711616 13280 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134520118 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17996 13280 52 110 0 17883 0
Current children cumulated CPU time (s) 1002.51
Current children cumulated vsize (KiB) 71984
[startup+1062.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=877280/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71984 CPUtime=1062.54
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 14478 0 0 0 106234 20 0 0 25 0 1 0 171245228 73711616 13615 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17996 13615 52 110 0 17883 0
Current children cumulated CPU time (s) 1062.54
Current children cumulated vsize (KiB) 71984
[startup+1122.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21127
/proc/meminfo: memFree=875936/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71984 CPUtime=1122.56
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 14813 0 0 0 112235 21 0 0 25 0 1 0 171245228 73711616 13950 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17996 13950 52 110 0 17883 0
Current children cumulated CPU time (s) 1122.56
Current children cumulated vsize (KiB) 71984
[startup+1182.94 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 21127
/proc/meminfo: memFree=874720/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71984 CPUtime=1182.58
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 15135 0 0 0 118236 22 0 0 25 0 1 0 171245228 73711616 14272 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134520118 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17996 14272 52 110 0 17883 0
Current children cumulated CPU time (s) 1182.58
Current children cumulated vsize (KiB) 71984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.46 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 21127
/proc/meminfo: memFree=874272/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71984 CPUtime=1200.1
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 15225 0 0 0 119988 22 0 0 25 0 1 0 171245228 73711616 14362 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17996 14362 52 110 0 17883 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 71984
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.05 1.01 1.00 2/78 21127
/proc/meminfo: memFree=874272/2055920 swapFree=4147432/4192956
[pid=20928] ppid=20926 vsize=71984 CPUtime=1200.1
/proc/20928/stat : 20928 (tinisat) R 20926 20928 20692 0 -1 4194304 15225 0 0 0 119988 22 0 0 25 0 1 0 171245228 73711616 14362 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/20928/statm: 17996 14362 52 110 0 17883 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 71984
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.47
CPU time (s): 1200.12
CPU user time (s): 1199.88
CPU system time (s): 0.231964
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 71984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15225
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= 1589
runsolver used 1.38979 second user time and 2.87456 second system time
The end
Begin job on node29 on Sun Feb 18 05:00:10 UTC 2007
IDJOB= 293637
IDBENCH= 19869
IDSOLVER= 100
FILE ID= node29/293637-1171774810
PBS_JOBID= 3839548
Free space on /tmp= 66564 MiB
SOLVER NAME= tinisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v110/unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/293637-1171774810/tinisat /tmp/evaluation/293637-1171774810/instance-293637-1171774810.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-293637-1171774810 -o ROOT/results/node29/solver-293637-1171774810 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/293637-1171774810/tinisat /tmp/evaluation/293637-1171774810/instance-293637-1171774810.cnf
META MD5SUM SOLVER= 15788d06198cf45d0201cced774790cd
MD5SUM BENCH= d3177e303e591d32ea3e64b6a30a8ebf
RANDOM SEED= 24306950
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node29.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.209
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.209
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: 932480 kB
Buffers: 39284 kB
Cached: 983088 kB
SwapCached: 12248 kB
Active: 783268 kB
Inactive: 262108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 932480 kB
SwapTotal: 4192956 kB
SwapFree: 4147432 kB
Dirty: 596 kB
Writeback: 0 kB
Mapped: 29916 kB
Slab: 63520 kB
Committed_AS: 624736 kB
PageTables: 1864 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= 66564 MiB
End job on node29 on Sun Feb 18 05:20:12 UTC 2007