runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1733128-1240785152/watcher-1733128-1240785152 -o /tmp/evaluation-result-1733128-1240785152/solver-1733128-1240785152 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/slstc -alg adaptnovelty+-tc -runs 1 -cutoff max -r out null -r stats null -r sat2009comp -drestart 100000 -seed 1865319436 -inst HOME/instance-1733128-1240785152.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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 1.16 3/64 14603
/proc/meminfo: memFree=849048/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=6080 CPUtime=0
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 106542890 6225920 217 1992294400 134512640 135949792 4294956032 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 1520 217 136 350 0 1167 0
[startup+0.0270211 s]
/proc/loadavg: 0.92 0.98 1.16 3/64 14603
/proc/meminfo: memFree=849048/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=6872 CPUtime=0.02
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 452 0 0 0 2 0 0 0 18 0 1 0 106542890 7036928 436 1992294400 134512640 135949792 4294956032 18446744073709551615 135330160 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 1718 436 136 350 0 1365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6872
[startup+0.102029 s]
/proc/loadavg: 0.92 0.98 1.16 3/64 14603
/proc/meminfo: memFree=849048/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=9512 CPUtime=0.09
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 1098 0 0 0 9 0 0 0 18 0 1 0 106542890 9740288 1082 1992294400 134512640 135949792 4294956032 18446744073709551615 134787017 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 2378 1082 136 350 0 2025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9512
[startup+0.302051 s]
/proc/loadavg: 0.92 0.98 1.16 3/64 14603
/proc/meminfo: memFree=849048/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=15716 CPUtime=0.29
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 2638 0 0 0 29 0 0 0 19 0 1 0 106542890 16093184 2622 1992294400 134512640 135949792 4294956032 18446744073709551615 134553473 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 3929 2622 136 350 0 3576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15716
[startup+0.701097 s]
/proc/loadavg: 0.92 0.98 1.16 3/64 14603
/proc/meminfo: memFree=849048/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=26936 CPUtime=0.69
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 5463 0 0 0 67 2 0 0 23 0 1 0 106542890 27582464 5447 1992294400 134512640 135949792 4294956032 18446744073709551615 134553473 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 6734 5447 136 350 0 6381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26936
[startup+1.50119 s]
/proc/loadavg: 0.92 0.98 1.16 2/65 14604
/proc/meminfo: memFree=819664/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=48056 CPUtime=1.49
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 10728 0 0 0 144 5 0 0 25 0 1 0 106542890 49209344 10712 1992294400 134512640 135949792 4294956032 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 12014 10712 136 350 0 11661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48056
[startup+3.10137 s]
/proc/loadavg: 1.01 1.00 1.16 2/65 14604
/proc/meminfo: memFree=790928/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=87392 CPUtime=3.09
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 20583 0 0 0 299 10 0 0 25 0 1 0 106542890 89489408 20567 1992294400 134512640 135949792 4294956032 18446744073709551615 135332566 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 21848 20567 136 350 0 21495 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87392
[startup+6.30174 s]
/proc/loadavg: 1.01 1.00 1.16 2/65 14604
/proc/meminfo: memFree=733584/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=121876 CPUtime=6.29
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 28895 0 0 0 615 14 0 0 25 0 1 0 106542890 124801024 28879 1992294400 134512640 135949792 4294956032 18446744073709551615 134514034 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 30469 28879 137 350 0 30116 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121876
[startup+12.7015 s]
/proc/loadavg: 1.01 1.00 1.16 2/65 14604
/proc/meminfo: memFree=829840/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=25892 CPUtime=12.69
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 29185 0 0 0 1253 16 0 0 25 0 1 0 106542890 26513408 4850 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 6473 4850 137 350 0 6120 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25892
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.16 2/65 14604
/proc/meminfo: memFree=828304/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=27852 CPUtime=25.48
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 29559 0 0 0 2532 16 0 0 25 0 1 0 106542890 28520448 5224 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 6963 5224 137 350 0 6610 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27852
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.15 2/65 14604
/proc/meminfo: memFree=827024/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=28944 CPUtime=51.06
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 29907 0 0 0 5090 16 0 0 25 0 1 0 106542890 29638656 5572 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 7236 5572 137 350 0 6883 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 28944
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.14 2/65 14604
/proc/meminfo: memFree=824912/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=31868 CPUtime=102.25
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 30493 0 0 0 10208 17 0 0 25 0 1 0 106542890 32632832 6093 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 7967 6093 137 350 0 7614 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 31868
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.13 2/65 14604
/proc/meminfo: memFree=823440/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=33540 CPUtime=162.23
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 30866 0 0 0 16206 17 0 0 25 0 1 0 106542890 34344960 6466 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 8385 6466 137 350 0 8032 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 33540
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.12 2/65 14604
/proc/meminfo: memFree=822288/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=34200 CPUtime=222.22
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 31142 0 0 0 22204 18 0 0 25 0 1 0 106542890 35020800 6742 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 8550 6742 137 350 0 8197 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34200
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 14604
/proc/meminfo: memFree=820816/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=36040 CPUtime=282.2
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 31495 0 0 0 28201 19 0 0 25 0 1 0 106542890 36904960 7095 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 9010 7095 137 350 0 8657 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 36040
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 14604
/proc/meminfo: memFree=819792/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=37384 CPUtime=342.18
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 31760 0 0 0 34199 19 0 0 25 0 1 0 106542890 38281216 7360 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 9346 7360 137 350 0 8993 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 37384
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 14606
/proc/meminfo: memFree=818960/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=38220 CPUtime=402.16
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 31962 0 0 0 40197 19 0 0 25 0 1 0 106542890 39137280 7562 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 9555 7562 137 350 0 9202 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 38220
[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.08 2/65 14606
/proc/meminfo: memFree=817488/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=40492 CPUtime=462.15
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 32331 0 0 0 46195 20 0 0 25 0 1 0 106542890 41463808 7931 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 10123 7931 137 350 0 9770 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 40492
[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.08 2/65 14606
/proc/meminfo: memFree=816912/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=41136 CPUtime=522.13
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 32590 0 0 0 52193 20 0 0 25 0 1 0 106542890 42123264 8061 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 10284 8061 137 350 0 9931 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 41136
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 14606
/proc/meminfo: memFree=816272/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=41532 CPUtime=582.11
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 32766 0 0 0 58191 20 0 0 25 0 1 0 106542890 42528768 8237 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 10383 8237 137 350 0 10030 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 41532
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/65 14606
/proc/meminfo: memFree=815568/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=42060 CPUtime=642.1
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 32935 0 0 0 64189 21 0 0 25 0 1 0 106542890 43069440 8406 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 10515 8406 137 350 0 10162 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 42060
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/65 14606
/proc/meminfo: memFree=814864/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=42456 CPUtime=702.07
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 33103 0 0 0 70186 21 0 0 25 0 1 0 106542890 43474944 8574 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 10614 8574 137 350 0 10261 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 42456
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.05 2/65 14606
/proc/meminfo: memFree=813968/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=43432 CPUtime=762.06
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 33335 0 0 0 76185 21 0 0 25 0 1 0 106542890 44474368 8806 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 10858 8806 137 350 0 10505 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 43432
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/65 14606
/proc/meminfo: memFree=813904/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=43564 CPUtime=822.04
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 33393 0 0 0 82182 22 0 0 25 0 1 0 106542890 44609536 8864 1992294400 134512640 135949792 4294956032 18446744073709551615 134514040 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 10891 8864 137 350 0 10538 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 43564
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/65 14606
/proc/meminfo: memFree=812560/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=45744 CPUtime=882.02
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 33738 0 0 0 88180 22 0 0 25 0 1 0 106542890 46841856 9209 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 11436 9209 137 350 0 11083 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 45744
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 14606
/proc/meminfo: memFree=812432/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=45744 CPUtime=942
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 33767 0 0 0 94178 22 0 0 25 0 1 0 106542890 46841856 9238 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 11436 9238 137 350 0 11083 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 45744
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 14606
/proc/meminfo: memFree=810640/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=48816 CPUtime=1001.99
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 34213 0 0 0 100176 23 0 0 25 0 1 0 106542890 49987584 9684 1992294400 134512640 135949792 4294956032 18446744073709551615 134513918 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 12204 9684 137 350 0 11851 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 48816
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 14606
/proc/meminfo: memFree=810256/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=49080 CPUtime=1061.97
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 34307 0 0 0 106174 23 0 0 25 0 1 0 106542890 50257920 9778 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 12270 9778 137 350 0 11917 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 49080
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 14606
/proc/meminfo: memFree=809680/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=49344 CPUtime=1121.95
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 34433 0 0 0 112172 23 0 0 25 0 1 0 106542890 50528256 9904 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 12336 9904 137 350 0 11983 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 49344
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 14606
/proc/meminfo: memFree=809360/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=49608 CPUtime=1181.93
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 34540 0 0 0 118170 23 0 0 25 0 1 0 106542890 50798592 10011 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 12402 10011 137 350 0 12049 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 49608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 14606
/proc/meminfo: memFree=809168/2055920 swapFree=4192956/4192956
[pid=14603] ppid=14601 vsize=49740 CPUtime=1200.04
/proc/14603/stat : 14603 (slstc) R 14601 14603 13931 0 -1 4194304 34578 0 0 0 119980 24 0 0 25 0 1 0 106542890 50933760 10049 1992294400 134512640 135949792 4294956032 18446744073709551615 134513915 0 0 4096 0 0 0 0 17 1 0 0
/proc/14603/statm: 12435 10049 137 350 0 12082 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 49740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.8
CPU system time (s): 0.247962
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 121876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.8
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34578
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= 2
involuntary context switches= 3348
runsolver used 1.46778 second user time and 2.70759 second system time
The end
Begin job on node62 at 2009-04-27 00:32:33
IDJOB=1733128
IDBENCH=71134
IDSOLVER=541
FILE ID=node62/1733128-1240785152
PBS_JOBID= 9187225
Free space on /tmp= 66364 MiB
SOLVER NAME= slstc 1.0
BENCH NAME= SAT09/CRAFTED/ramseycube/Q3inK11.cnf
COMMAND LINE= HOME/slstc -alg adaptnovelty+-tc -runs 1 -cutoff max -r out null -r stats null -r sat2009comp -drestart 100000 -seed RANDOMSEED -inst BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1733128-1240785152/watcher-1733128-1240785152 -o /tmp/evaluation-result-1733128-1240785152/solver-1733128-1240785152 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/slstc -alg adaptnovelty+-tc -runs 1 -cutoff max -r out null -r stats null -r sat2009comp -drestart 100000 -seed 1865319436 -inst HOME/instance-1733128-1240785152.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1fdca9b41a2ccb9f1b1754fb775769f0
RANDOM SEED=1865319436
node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.220
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.220
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: 849464 kB
Buffers: 93836 kB
Cached: 1002460 kB
SwapCached: 0 kB
Active: 318600 kB
Inactive: 793128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 849464 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 13088 kB
Writeback: 0 kB
Mapped: 25220 kB
Slab: 80532 kB
Committed_AS: 247072 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66364 MiB
End job on node62 at 2009-04-27 00:52:36