runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-356338-1177542236 -o ROOT/results/node71/solver-356338-1177542236 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356338-1177542236/picosat /tmp/evaluation/356338-1177542236/instance-356338-1177542236.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.80 0.43 0.17 3/64 16974
/proc/meminfo: memFree=1799816/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=884 CPUtime=0
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 1 0 230213018 905216 126 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 221 126 40 102 0 116 0
[startup+0.0990841 s]
/proc/loadavg: 0.80 0.43 0.17 3/64 16974
/proc/meminfo: memFree=1799816/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=1220 CPUtime=0.09
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 234 0 0 0 4 5 0 0 18 0 1 0 230213018 1249280 218 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 305 218 46 102 0 200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220
[startup+0.101083 s]
/proc/loadavg: 0.80 0.43 0.17 3/64 16974
/proc/meminfo: memFree=1799816/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=1220 CPUtime=0.09
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 236 0 0 0 4 5 0 0 18 0 1 0 230213018 1249280 220 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 305 220 46 102 0 200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220
[startup+0.301111 s]
/proc/loadavg: 0.80 0.43 0.17 3/64 16974
/proc/meminfo: memFree=1799816/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=1628 CPUtime=0.29
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 345 0 0 0 13 16 0 0 19 0 1 0 230213018 1667072 329 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 407 329 46 102 0 302 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1628
[startup+0.701165 s]
/proc/loadavg: 0.80 0.43 0.17 3/64 16974
/proc/meminfo: memFree=1799816/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=3036 CPUtime=0.69
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 652 0 0 0 31 38 0 0 23 0 1 0 230213018 3108864 636 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 759 636 46 102 0 654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3036
[startup+1.50227 s]
/proc/loadavg: 0.82 0.44 0.17 2/65 16975
/proc/meminfo: memFree=1796544/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=5920 CPUtime=1.49
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 1330 0 0 0 67 82 0 0 25 0 1 0 230213018 6062080 1314 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 1480 1314 46 102 0 1375 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5920
[startup+3.10149 s]
/proc/loadavg: 0.82 0.44 0.17 2/65 16975
/proc/meminfo: memFree=1792384/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=11528 CPUtime=3.09
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 2767 0 0 0 142 167 0 0 25 0 1 0 230213018 11804672 2751 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 2882 2751 46 102 0 2777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11528
[startup+6.30192 s]
/proc/loadavg: 0.83 0.45 0.17 2/65 16975
/proc/meminfo: memFree=1778624/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=32116 CPUtime=6.28
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 6375 0 0 0 285 343 0 0 25 0 1 0 230213018 32886784 6359 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 8029 6359 46 102 0 7924 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32116
[startup+12.7018 s]
/proc/loadavg: 0.84 0.46 0.18 2/65 16975
/proc/meminfo: memFree=1771520/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=37280 CPUtime=12.68
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 7112 0 0 0 907 361 0 0 25 0 1 0 230213018 38174720 7096 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 9320 7096 48 102 0 9215 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37280
[startup+25.5015 s]
/proc/loadavg: 0.88 0.48 0.19 2/65 16975
/proc/meminfo: memFree=1770240/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=38580 CPUtime=25.48
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 7458 0 0 0 2187 361 0 0 25 0 1 0 230213018 39505920 7442 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 9645 7442 48 102 0 9540 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38580
[startup+51.102 s]
/proc/loadavg: 0.92 0.52 0.21 2/65 16975
/proc/meminfo: memFree=1768256/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=40664 CPUtime=51.07
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 7986 0 0 0 4745 362 0 0 25 0 1 0 230213018 41639936 7970 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134520123 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 10166 7970 48 102 0 10061 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40664
[startup+102.306 s]
/proc/loadavg: 0.96 0.60 0.25 2/65 16975
/proc/meminfo: memFree=1763072/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=45748 CPUtime=102.26
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 9249 0 0 0 9863 363 0 0 25 0 1 0 230213018 46845952 9233 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525741 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 11437 9233 48 102 0 11332 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 45748
[startup+162.301 s]
/proc/loadavg: 0.98 0.67 0.29 2/65 16975
/proc/meminfo: memFree=1759232/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=162.23
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10225 0 0 0 15859 364 0 0 25 0 1 0 230213018 50606080 10167 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525820 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10167 48 102 0 12250 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49420
[startup+222.301 s]
/proc/loadavg: 0.99 0.72 0.33 2/65 16975
/proc/meminfo: memFree=1759232/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=222.22
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10225 0 0 0 21857 365 0 0 25 0 1 0 230213018 50606080 10167 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525624 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10167 48 102 0 12250 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49420
[startup+282.301 s]
/proc/loadavg: 0.99 0.77 0.37 2/65 16975
/proc/meminfo: memFree=1759168/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=282.2
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10271 0 0 0 27855 365 0 0 25 0 1 0 230213018 50606080 10169 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134529486 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10169 48 102 0 12250 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49420
[startup+342.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 16975
/proc/meminfo: memFree=1759168/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=342.18
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10274 0 0 0 33853 365 0 0 25 0 1 0 230213018 50606080 10172 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134522836 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10172 48 102 0 12250 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49420
[startup+402.302 s]
/proc/loadavg: 0.99 0.84 0.44 2/65 16975
/proc/meminfo: memFree=1759168/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=402.16
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10279 0 0 0 39851 365 0 0 25 0 1 0 230213018 50606080 10177 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10177 48 102 0 12250 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 49420
[startup+462.302 s]
/proc/loadavg: 0.99 0.87 0.48 2/65 16975
/proc/meminfo: memFree=1759168/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=462.15
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10284 0 0 0 45849 366 0 0 25 0 1 0 230213018 50606080 10182 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10182 48 102 0 12250 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 49420
[startup+522.302 s]
/proc/loadavg: 0.99 0.89 0.51 2/65 16975
/proc/meminfo: memFree=1759168/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=522.13
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10294 0 0 0 51847 366 0 0 25 0 1 0 230213018 50606080 10192 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525540 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10192 48 102 0 12250 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 49420
[startup+582.302 s]
/proc/loadavg: 0.99 0.91 0.53 2/65 16975
/proc/meminfo: memFree=1759168/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=582.11
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10294 0 0 0 57845 366 0 0 25 0 1 0 230213018 50606080 10192 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525624 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10192 48 102 0 12250 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 49420
[startup+642.302 s]
/proc/loadavg: 0.99 0.92 0.56 2/65 16975
/proc/meminfo: memFree=1759168/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=642.09
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10300 0 0 0 63843 366 0 0 25 0 1 0 230213018 50606080 10198 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134524112 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10198 48 102 0 12250 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 49420
[startup+702.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=702.06
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10306 0 0 0 69840 366 0 0 25 0 1 0 230213018 50606080 10204 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10204 48 102 0 12250 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 49420
[startup+762.305 s]
/proc/loadavg: 0.99 0.94 0.61 2/65 16975
/proc/meminfo: memFree=1759040/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=762.05
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10306 0 0 0 75839 366 0 0 25 0 1 0 230213018 50606080 10204 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10204 48 102 0 12250 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 49420
Solver just ended. Dumping a history of the last processes samples
[startup+767.901 s]
/proc/loadavg: 0.99 0.94 0.61 2/65 16975
/proc/meminfo: memFree=1759040/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=767.64
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10308 0 0 0 76398 366 0 0 25 0 1 0 230213018 50606080 10206 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10206 48 102 0 12250 0
Current children cumulated CPU time (s) 767.64
Current children cumulated vsize (KiB) 49420
[startup+780.702 s]
/proc/loadavg: 0.99 0.94 0.61 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=780.44
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10312 0 0 0 77678 366 0 0 25 0 1 0 230213018 50606080 10210 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10210 48 102 0 12250 0
Current children cumulated CPU time (s) 780.44
Current children cumulated vsize (KiB) 49420
[startup+793.502 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=793.23
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10312 0 0 0 78957 366 0 0 25 0 1 0 230213018 50606080 10210 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10210 48 102 0 12250 0
Current children cumulated CPU time (s) 793.23
Current children cumulated vsize (KiB) 49420
[startup+799.901 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=799.63
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10312 0 0 0 79597 366 0 0 25 0 1 0 230213018 50606080 10210 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134523048 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10210 48 102 0 12250 0
Current children cumulated CPU time (s) 799.63
Current children cumulated vsize (KiB) 49420
[startup+803.102 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=802.83
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10312 0 0 0 79917 366 0 0 25 0 1 0 230213018 50606080 10210 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10210 48 102 0 12250 0
Current children cumulated CPU time (s) 802.83
Current children cumulated vsize (KiB) 49420
[startup+804.701 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=804.43
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10312 0 0 0 80077 366 0 0 25 0 1 0 230213018 50606080 10210 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525749 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10210 48 102 0 12250 0
Current children cumulated CPU time (s) 804.43
Current children cumulated vsize (KiB) 49420
[startup+805.501 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=49420 CPUtime=805.23
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10312 0 0 0 80157 366 0 0 25 0 1 0 230213018 50606080 10210 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12355 10210 48 102 0 12250 0
Current children cumulated CPU time (s) 805.23
Current children cumulated vsize (KiB) 49420
[startup+805.902 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 16975
/proc/meminfo: memFree=1759104/2055920 swapFree=4184252/4192956
[pid=16974] ppid=16972 vsize=48120 CPUtime=805.64
/proc/16974/stat : 16974 (picosat) R 16972 16974 16682 0 -1 4194304 10313 0 0 0 80197 367 0 0 25 0 1 0 230213018 49274880 9934 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134533857 0 0 4096 0 0 0 0 17 1 0 0
/proc/16974/statm: 12030 9934 48 102 0 11925 0
Current children cumulated CPU time (s) 805.64
Current children cumulated vsize (KiB) 48120
Child status: 20
Real time (s): 805.939
CPU time (s): 805.683
CPU user time (s): 802.006
CPU system time (s): 3.67744
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 49588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 802.006
system time used= 3.67744
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10314
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= 1193
runsolver used 0.624905 second user time and 1.58076 second system time
The end
Begin job on node71 on Wed Apr 25 23:03:57 UTC 2007
IDJOB= 356338
IDBENCH= 20418
IDSOLVER= 171
FILE ID= node71/356338-1177542236
PBS_JOBID= 4695822
Free space on /tmp= 66432 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf
COMMAND LINE= /tmp/evaluation/356338-1177542236/picosat /tmp/evaluation/356338-1177542236/instance-356338-1177542236.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-356338-1177542236 -o ROOT/results/node71/solver-356338-1177542236 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356338-1177542236/picosat /tmp/evaluation/356338-1177542236/instance-356338-1177542236.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 6197e38464facb30636a5a3ad5b2f0b5
RANDOM SEED= 801549567
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node71.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.234
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.234
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: 1800288 kB
Buffers: 21296 kB
Cached: 158572 kB
SwapCached: 2644 kB
Active: 79024 kB
Inactive: 110372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1800288 kB
SwapTotal: 4192956 kB
SwapFree: 4184252 kB
Dirty: 15788 kB
Writeback: 0 kB
Mapped: 15664 kB
Slab: 52204 kB
Committed_AS: 3653136 kB
PageTables: 1448 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= 66432 MiB
End job on node71 on Wed Apr 25 23:17:23 UTC 2007