runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-313263-1176881149 -o ROOT/results/node52/solver-313263-1176881149 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/313263-1176881149/mxc /tmp/evaluation/313263-1176881149/instance-313263-1176881149.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): 2400 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.98 3/64 455
/proc/meminfo: memFree=1581780/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=19064 CPUtime=0
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 732 0 0 0 0 0 0 0 18 0 1 0 42959979 19521536 716 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 4766 722 42 122 0 4640 0
[startup+0.0991671 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 455
/proc/meminfo: memFree=1581780/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=44328 CPUtime=0.09
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 9864 0 0 0 4 5 0 0 18 0 1 0 42959979 45391872 9848 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 11082 9848 46 122 0 10956 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44328
[startup+0.101166 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 455
/proc/meminfo: memFree=1581780/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=44328 CPUtime=0.09
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 9883 0 0 0 4 5 0 0 18 0 1 0 42959979 45391872 9867 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 11082 9867 46 122 0 10956 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44328
[startup+0.301181 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 455
/proc/meminfo: memFree=1581780/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=51320 CPUtime=0.29
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 11611 0 0 0 24 5 0 0 19 0 1 0 42959979 52551680 11595 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 12830 11595 46 122 0 12704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51320
[startup+0.701207 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 455
/proc/meminfo: memFree=1581780/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=44384 CPUtime=0.69
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 14425 0 0 0 62 7 0 0 22 0 1 0 42959979 45449216 9876 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 11096 9876 59 122 0 10970 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44384
[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 456
/proc/meminfo: memFree=1542156/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=44648 CPUtime=1.49
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 14492 0 0 0 142 7 0 0 25 0 1 0 42959979 45719552 9943 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535058 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 11162 9943 59 122 0 11036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44648
[startup+3.10137 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 456
/proc/meminfo: memFree=1541004/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=45044 CPUtime=3.09
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 14592 0 0 0 300 9 0 0 25 0 1 0 42959979 46125056 10043 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 11261 10043 59 122 0 11135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45044
[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 456
/proc/meminfo: memFree=1541260/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=45440 CPUtime=6.29
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 14703 0 0 0 620 9 0 0 25 0 1 0 42959979 46530560 10154 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519150 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 11360 10154 59 122 0 11234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45440
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 456
/proc/meminfo: memFree=1539788/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=47288 CPUtime=12.69
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 15150 0 0 0 1259 10 0 0 25 0 1 0 42959979 48422912 10601 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519981 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 11822 10601 59 122 0 11696 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47288
[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.98 2/65 456
/proc/meminfo: memFree=1535884/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=51124 CPUtime=25.49
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 16120 0 0 0 2538 11 0 0 25 0 1 0 42959979 52350976 11571 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 12781 11571 59 122 0 12655 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51124
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.98 2/65 456
/proc/meminfo: memFree=1527628/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=59316 CPUtime=51.07
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 18173 0 0 0 5094 13 0 0 25 0 1 0 42959979 60739584 13624 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 14829 13624 59 122 0 14703 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59316
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 456
/proc/meminfo: memFree=1504780/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=82156 CPUtime=102.25
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 23891 0 0 0 10207 18 0 0 25 0 1 0 42959979 84127744 19342 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531167 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 20539 19342 59 122 0 20413 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 82156
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1479500/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=107532 CPUtime=162.23
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 30251 0 0 0 16200 23 0 0 25 0 1 0 42959979 110112768 25702 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519314 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 26883 25702 59 122 0 26757 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107532
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1466764/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=119988 CPUtime=222.23
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 33339 0 0 0 22196 27 0 0 25 0 1 0 42959979 122867712 28790 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 29997 28790 59 122 0 29871 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 119988
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1456972/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=129824 CPUtime=282.2
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 35800 0 0 0 28190 30 0 0 25 0 1 0 42959979 132939776 31251 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531184 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 32456 31251 59 122 0 32330 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 129824
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1449484/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=137252 CPUtime=342.2
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 37652 0 0 0 34187 33 0 0 25 0 1 0 42959979 140546048 33103 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 34313 33103 59 122 0 34187 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 137252
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1441484/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=145200 CPUtime=402.18
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 39647 0 0 0 40183 35 0 0 25 0 1 0 42959979 148684800 35098 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531184 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 36300 35098 59 122 0 36174 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 145200
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1435276/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=151300 CPUtime=462.16
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 41177 0 0 0 46180 36 0 0 25 0 1 0 42959979 154931200 36628 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134703188 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 37825 36628 59 122 0 37699 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 151300
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1427660/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=158992 CPUtime=522.15
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 43105 0 0 0 52177 38 0 0 25 0 1 0 42959979 162807808 38556 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 39748 38556 59 122 0 39622 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 158992
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1419660/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=166936 CPUtime=582.14
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 45083 0 0 0 58174 40 0 0 25 0 1 0 42959979 170942464 40534 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 41734 40534 59 122 0 41608 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 166936
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1410700/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=175732 CPUtime=642.13
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 47291 0 0 0 64171 42 0 0 25 0 1 0 42959979 179949568 42742 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531287 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 43933 42742 59 122 0 43807 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 175732
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1400524/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=186028 CPUtime=702.1
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 49889 0 0 0 70167 43 0 0 25 0 1 0 42959979 190492672 45340 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 46507 45340 59 122 0 46381 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 186028
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1373324/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=212980 CPUtime=762.1
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 56628 0 0 0 76160 50 0 0 25 0 1 0 42959979 218091520 52079 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531241 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 53245 52079 59 122 0 53119 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 212980
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1351756/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=234792 CPUtime=822.08
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 62018 0 0 0 82154 54 0 0 25 0 1 0 42959979 240427008 57469 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531181 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 58698 57469 59 122 0 58572 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 234792
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1341388/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=245012 CPUtime=882.06
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 64569 0 0 0 88150 56 0 0 25 0 1 0 42959979 250892288 60020 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134703188 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 61253 60020 59 122 0 61127 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 245012
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1330828/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=255496 CPUtime=942.05
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 67210 0 0 0 94147 58 0 0 25 0 1 0 42959979 261627904 62661 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 63874 62661 59 122 0 63748 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 255496
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1319756/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=266488 CPUtime=1002.03
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 69964 0 0 0 100142 61 0 0 25 0 1 0 42959979 272883712 65415 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 66622 65415 59 122 0 66496 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 266488
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1300428/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=286092 CPUtime=1062.02
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 74851 0 0 0 106138 64 0 0 25 0 1 0 42959979 292958208 70302 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 71523 70302 59 122 0 71397 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 286092
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1281804/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=304308 CPUtime=1122
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 79433 0 0 0 112131 69 0 0 25 0 1 0 42959979 311611392 74884 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519297 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 76077 74884 59 122 0 75951 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 304308
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 456
/proc/meminfo: memFree=1265804/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=320468 CPUtime=1181.99
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 83456 0 0 0 118127 72 0 0 25 0 1 0 42959979 328159232 78907 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519587 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 80117 78907 59 122 0 79991 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 320468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 456
/proc/meminfo: memFree=1260236/2055920 swapFree=4182044/4192956
[pid=455] ppid=453 vsize=325760 CPUtime=1200.08
/proc/455/stat : 455 (mxc) R 453 455 32403 0 -1 4194304 84783 0 0 0 119935 73 0 0 25 0 1 0 42959979 333578240 80234 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/455/statm: 81440 80234 59 122 0 81314 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 325760
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.46
CPU time (s): 1200.15
CPU user time (s): 1199.36
CPU system time (s): 0.78888
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 325760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.36
system time used= 0.78888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84783
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= 2192
runsolver used 0.85487 second user time and 2.43463 second system time
The end
Begin job on node52 on Wed Apr 18 07:25:49 UTC 2007
IDJOB= 313263
IDBENCH= 20362
IDSOLVER= 107
FILE ID= node52/313263-1176881149
PBS_JOBID= 4595099
Free space on /tmp= 66318 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/medium-sat/partial-5-15-s.cnf
COMMAND LINE= /tmp/evaluation/313263-1176881149/mxc /tmp/evaluation/313263-1176881149/instance-313263-1176881149.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-313263-1176881149 -o ROOT/results/node52/solver-313263-1176881149 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/313263-1176881149/mxc /tmp/evaluation/313263-1176881149/instance-313263-1176881149.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= aeddf6934ba21adf4a25a76bc314ef43
RANDOM SEED= 76492806
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node52.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.236
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.236
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: 1582188 kB
Buffers: 16196 kB
Cached: 385152 kB
SwapCached: 4612 kB
Active: 182788 kB
Inactive: 250488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1582188 kB
SwapTotal: 4192956 kB
SwapFree: 4182044 kB
Dirty: 18712 kB
Writeback: 0 kB
Mapped: 37028 kB
Slab: 26388 kB
Committed_AS: 1561448 kB
PageTables: 1548 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= 66318 MiB
End job on node52 on Wed Apr 18 07:45:52 UTC 2007