runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-292920-1171761209 -o ROOT/results/node23/solver-292920-1171761209 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/292920-1171761209/cmusat /tmp/evaluation/292920-1171761209/instance-292920-1171761209.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: 1.00 1.00 0.98 3/77 27378
/proc/meminfo: memFree=917080/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=2312 CPUtime=0
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 196074734 2367488 180 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135214534 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 578 180 108 243 0 332 0
[startup+0.107629 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 27378
/proc/meminfo: memFree=917080/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=2752 CPUtime=0.1
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 314 0 0 0 10 0 0 0 18 0 1 0 196074734 2818048 297 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590210 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 688 297 118 243 0 442 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2752
[startup+0.515675 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 27378
/proc/meminfo: memFree=917080/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=3308 CPUtime=0.51
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 444 0 0 0 51 0 0 0 21 0 1 0 196074734 3387392 427 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589690 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 827 427 118 243 0 581 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3308
[startup+1.33577 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=915600/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=3720 CPUtime=1.33
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 540 0 0 0 133 0 0 0 25 0 1 0 196074734 3809280 523 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589771 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 930 523 118 243 0 684 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3720
[startup+2.97695 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=914256/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=4880 CPUtime=2.97
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 790 0 0 0 297 0 0 0 25 0 1 0 196074734 4997120 773 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134580394 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 1220 773 118 243 0 974 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 4880
[startup+6.25333 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=913296/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=5612 CPUtime=6.24
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 1042 0 0 0 624 0 0 0 25 0 1 0 196074734 5746688 1025 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 1403 1025 118 243 0 1157 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 5612
[startup+12.7101 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=910992/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=8132 CPUtime=12.69
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 1887 0 0 0 1269 0 0 0 25 0 1 0 196074734 8327168 1556 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589569 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 2033 1556 118 243 0 1787 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8132
[startup+25.5125 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=906576/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=13280 CPUtime=25.49
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 3524 0 0 0 2548 1 0 0 25 0 1 0 196074734 13598720 2695 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589528 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 3320 2695 118 243 0 3074 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13280
[startup+51.1234 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=904272/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=15168 CPUtime=51.09
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 4519 0 0 0 5107 2 0 0 25 0 1 0 196074734 15532032 3261 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589654 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 3792 3261 118 243 0 3546 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15168
[startup+102.342 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=895696/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=25288 CPUtime=102.3
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 7556 0 0 0 10225 5 0 0 25 0 1 0 196074734 25894912 5395 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590140 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 6322 5395 118 243 0 6076 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25288
[startup+162.378 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=894480/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=25788 CPUtime=162.31
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 8319 0 0 0 16226 5 0 0 25 0 1 0 196074734 26406912 5673 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134581767 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 6447 5673 118 243 0 6201 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 25788
[startup+222.404 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=890832/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=29088 CPUtime=222.32
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 9470 0 0 0 22225 7 0 0 25 0 1 0 196074734 29786112 6597 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589545 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 7272 6597 118 243 0 7026 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 29088
[startup+282.431 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=888080/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=31652 CPUtime=282.33
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 10611 0 0 0 28225 8 0 0 25 0 1 0 196074734 32411648 7275 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 7913 7275 118 243 0 7667 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 31652
[startup+342.46 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=875664/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=47916 CPUtime=342.35
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 14804 0 0 0 34224 11 0 0 25 0 1 0 196074734 49065984 10367 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 11979 10367 118 243 0 11733 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 47916
[startup+402.494 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=874960/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=48128 CPUtime=402.36
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 15520 0 0 0 40225 11 0 0 25 0 1 0 196074734 49283072 10544 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12032 10544 118 243 0 11786 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 48128
[startup+462.524 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=875024/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=48128 CPUtime=462.38
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 15522 0 0 0 46226 12 0 0 25 0 1 0 196074734 49283072 10546 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12032 10546 118 243 0 11786 0
Current children cumulated CPU time (s) 462.38
Current children cumulated vsize (KiB) 48128
[startup+522.555 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=874448/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=48248 CPUtime=522.39
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 15982 0 0 0 52227 12 0 0 25 0 1 0 196074734 49405952 10696 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589771 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12062 10696 118 243 0 11816 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 48248
[startup+582.581 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=874192/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=48508 CPUtime=582.41
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 16028 0 0 0 58228 13 0 0 25 0 1 0 196074734 49672192 10742 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12127 10742 118 243 0 11881 0
Current children cumulated CPU time (s) 582.41
Current children cumulated vsize (KiB) 48508
[startup+642.615 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=873616/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=48640 CPUtime=642.41
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 16188 0 0 0 64228 13 0 0 25 0 1 0 196074734 49807360 10902 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12160 10902 118 243 0 11914 0
Current children cumulated CPU time (s) 642.41
Current children cumulated vsize (KiB) 48640
[startup+702.641 s]
/proc/loadavg: 1.07 1.02 0.98 2/78 27379
/proc/meminfo: memFree=873232/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=49036 CPUtime=702.43
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 16620 0 0 0 70229 14 0 0 25 0 1 0 196074734 50212864 10994 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134578930 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12259 10994 118 243 0 12013 0
Current children cumulated CPU time (s) 702.43
Current children cumulated vsize (KiB) 49036
[startup+762.671 s]
/proc/loadavg: 1.02 1.01 0.98 2/78 27379
/proc/meminfo: memFree=872528/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=49948 CPUtime=762.43
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 16851 0 0 0 76229 14 0 0 25 0 1 0 196074734 51146752 11127 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589708 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12487 11127 118 243 0 12241 0
Current children cumulated CPU time (s) 762.43
Current children cumulated vsize (KiB) 49948
[startup+822.707 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 27379
/proc/meminfo: memFree=870416/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=51688 CPUtime=822.45
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 17789 0 0 0 82230 15 0 0 25 0 1 0 196074734 52928512 11691 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590140 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 12922 11691 118 243 0 12676 0
Current children cumulated CPU time (s) 822.45
Current children cumulated vsize (KiB) 51688
[startup+882.739 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=870032/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=52188 CPUtime=882.47
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 17906 0 0 0 88231 16 0 0 25 0 1 0 196074734 53440512 11808 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 13047 11808 118 243 0 12801 0
Current children cumulated CPU time (s) 882.47
Current children cumulated vsize (KiB) 52188
[startup+942.769 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=866000/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=55788 CPUtime=942.49
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 19319 0 0 0 94231 18 0 0 25 0 1 0 196074734 57126912 12810 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 13947 12810 118 243 0 13701 0
Current children cumulated CPU time (s) 942.49
Current children cumulated vsize (KiB) 55788
[startup+1002.8 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=865360/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=56340 CPUtime=1002.5
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 19484 0 0 0 100232 18 0 0 25 0 1 0 196074734 57692160 12942 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589536 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 14085 12942 118 243 0 13839 0
Current children cumulated CPU time (s) 1002.5
Current children cumulated vsize (KiB) 56340
[startup+1062.83 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=865296/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=56500 CPUtime=1062.51
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 19517 0 0 0 106233 18 0 0 25 0 1 0 196074734 57856000 12975 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 14125 12975 118 243 0 13879 0
Current children cumulated CPU time (s) 1062.51
Current children cumulated vsize (KiB) 56500
[startup+1122.86 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=863120/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=58504 CPUtime=1122.52
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 20114 0 0 0 112233 19 0 0 25 0 1 0 196074734 59908096 13539 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590173 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 14626 13539 118 243 0 14380 0
Current children cumulated CPU time (s) 1122.52
Current children cumulated vsize (KiB) 58504
[startup+1182.89 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=860560/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=60812 CPUtime=1182.53
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 21187 0 0 0 118232 21 0 0 25 0 1 0 196074734 62271488 14160 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 15203 14160 118 243 0 14957 0
Current children cumulated CPU time (s) 1182.53
Current children cumulated vsize (KiB) 60812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.41 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=860496/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=60812 CPUtime=1200.05
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 21196 0 0 0 119984 21 0 0 25 0 1 0 196074734 62271488 14169 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 15203 14169 118 243 0 14957 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 60812
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.41 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 27379
/proc/meminfo: memFree=860496/2055920 swapFree=4144472/4192956
[pid=27378] ppid=27376 vsize=60812 CPUtime=1200.05
/proc/27378/stat : 27378 (cmusat) R 27376 27378 26993 0 -1 4194304 21196 0 0 0 119984 21 0 0 25 0 1 0 196074734 62271488 14169 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/27378/statm: 15203 14169 118 243 0 14957 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 60812
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.43
CPU time (s): 1200.08
CPU user time (s): 1199.85
CPU system time (s): 0.226965
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 60812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21196
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= 1929
runsolver used 1.3438 second user time and 2.67359 second system time
The end
Begin job on node23 on Sun Feb 18 01:13:29 UTC 2007
IDJOB= 292920
IDBENCH= 19851
IDSOLVER= 121
FILE ID= node23/292920-1171761209
PBS_JOBID= 3839517
Free space on /tmp= 66562 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v100/unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/292920-1171761209/cmusat /tmp/evaluation/292920-1171761209/instance-292920-1171761209.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-292920-1171761209 -o ROOT/results/node23/solver-292920-1171761209 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/292920-1171761209/cmusat /tmp/evaluation/292920-1171761209/instance-292920-1171761209.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= c3a60c73a856b19b59d723c0a3c76b1b
RANDOM SEED= 941386309
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node23.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.216
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.216
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: 917488 kB
Buffers: 40568 kB
Cached: 985676 kB
SwapCached: 16332 kB
Active: 805240 kB
Inactive: 245000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 917488 kB
SwapTotal: 4192956 kB
SwapFree: 4144472 kB
Dirty: 2496 kB
Writeback: 0 kB
Mapped: 29632 kB
Slab: 73860 kB
Committed_AS: 582972 kB
PageTables: 1696 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= 66562 MiB
End job on node23 on Sun Feb 18 01:33:31 UTC 2007