0.01 c This is CSPtoSAT+minisat version 0.3
0.01 c (c) 2006 roussel@cril.univ-artois.fr
0.01
0.01 c This solver internally uses a modified version of MiniSat2 version 061112
0.01 c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.01
0.01 c parsing...
1.01 c ...done
1.01 c #SATvar=9964 #SATclauses=9236 #CSPpredicates=200
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-211547-1168062989 -o ROOT/results/node24/solver-211547-1168062989 -C 1800 -M 900 /tmp/evaluation/211547-1168062989/CSPtoSAT+minisat /tmp/evaluation/211547-1168062989/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.87 1.88 1.80 4/86 13796
/proc/meminfo: memFree=1854024/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=6696 CPUtime=0
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 436 0 0 0 0 0 0 0 18 0 1 0 154694177 6856704 415 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 2575224 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 1674 415 375 52 0 30 0
[startup+0.103874 s]
/proc/loadavg: 1.87 1.88 1.80 4/86 13796
/proc/meminfo: memFree=1854024/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=7484 CPUtime=0.09
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 961 0 0 0 9 0 0 0 18 0 1 0 154694177 7663616 929 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134602636 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 1871 929 691 52 0 239 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7484
[startup+0.511918 s]
/proc/loadavg: 1.87 1.88 1.80 4/86 13796
/proc/meminfo: memFree=1854024/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=9676 CPUtime=0.5
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 1493 0 0 0 50 0 0 0 22 0 1 0 154694177 9908224 1458 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 4159319043 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 2419 1458 705 52 0 787 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9676
[startup+1.33301 s]
/proc/loadavg: 1.87 1.88 1.80 3/86 13796
/proc/meminfo: memFree=1849160/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=12684 CPUtime=1.31
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 2301 0 0 0 131 0 0 0 25 0 1 0 154694177 12988416 2240 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134667760 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 3171 2240 721 52 0 1539 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 12684
[startup+2.97018 s]
/proc/loadavg: 1.88 1.88 1.80 3/86 13796
/proc/meminfo: memFree=1843784/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=19064 CPUtime=2.94
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 3915 0 0 0 293 1 0 0 25 0 1 0 154694177 19521536 3854 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 4766 3854 721 52 0 3134 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 19064
[startup+6.24954 s]
/proc/loadavg: 1.88 1.88 1.80 3/86 13796
/proc/meminfo: memFree=1833160/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=27924 CPUtime=6.22
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 6113 0 0 0 620 2 0 0 25 0 1 0 154694177 28594176 6052 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 6981 6052 721 52 0 5349 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 27924
[startup+12.7182 s]
/proc/loadavg: 1.90 1.89 1.80 3/86 13796
/proc/meminfo: memFree=1816776/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=42672 CPUtime=12.65
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 9787 0 0 0 1261 4 0 0 25 0 1 0 154694177 43696128 9726 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 10668 9726 721 52 0 9036 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 42672
[startup+25.5496 s]
/proc/loadavg: 1.91 1.89 1.80 3/86 13796
/proc/meminfo: memFree=1795720/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=62676 CPUtime=25.43
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 14775 0 0 0 2535 8 0 0 25 0 1 0 154694177 64180224 14714 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134665620 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 15669 14714 721 52 0 14037 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 62676
[startup+51.2014 s]
/proc/loadavg: 1.94 1.90 1.81 3/86 13796
/proc/meminfo: memFree=1757768/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=96620 CPUtime=50.96
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 23206 0 0 0 5082 14 0 0 25 0 1 0 154694177 98938880 23145 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 24155 23145 721 52 0 22523 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 96620
[startup+102.403 s]
/proc/loadavg: 1.97 1.91 1.82 3/86 13796
/proc/meminfo: memFree=1696776/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=152252 CPUtime=101.92
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 37035 0 0 0 10169 23 0 0 25 0 1 0 154694177 155906048 36974 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 38063 36974 721 52 0 36431 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 152252
[startup+162.428 s]
/proc/loadavg: 1.99 1.92 1.82 3/86 13796
/proc/meminfo: memFree=1637320/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=202016 CPUtime=161.69
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 49395 0 0 0 16137 32 0 0 25 0 1 0 154694177 206864384 49334 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 50504 49334 721 52 0 48872 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 202016
[startup+222.457 s]
/proc/loadavg: 1.99 1.94 1.83 3/86 13796
/proc/meminfo: memFree=1575304/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=254928 CPUtime=221.45
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 62512 0 0 0 22105 40 0 0 25 0 1 0 154694177 261046272 62451 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 63732 62451 721 52 0 62100 0
Current children cumulated CPU time (s) 221.45
Current children cumulated vsize (KiB) 254928
[startup+282.478 s]
/proc/loadavg: 1.97 1.94 1.84 3/92 13905
/proc/meminfo: memFree=1570040/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=299704 CPUtime=281.18
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 73611 0 0 0 28064 54 0 0 25 0 1 0 154694177 306896896 73550 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 74926 73550 721 52 0 73294 0
Current children cumulated CPU time (s) 281.18
Current children cumulated vsize (KiB) 299704
[startup+342.518 s]
/proc/loadavg: 1.99 1.95 1.84 3/92 13997
/proc/meminfo: memFree=1451904/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=343488 CPUtime=341.14
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 84484 0 0 0 34042 72 0 0 25 0 1 0 154694177 351731712 84423 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134667765 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 85872 84423 721 52 0 84240 0
Current children cumulated CPU time (s) 341.14
Current children cumulated vsize (KiB) 343488
[startup+402.556 s]
/proc/loadavg: 1.99 1.96 1.85 3/86 14031
/proc/meminfo: memFree=1368888/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=383532 CPUtime=401.09
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 94419 0 0 0 40028 81 0 0 25 0 1 0 154694177 392736768 94358 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 95883 94358 721 52 0 94251 0
Current children cumulated CPU time (s) 401.09
Current children cumulated vsize (KiB) 383532
[startup+462.588 s]
/proc/loadavg: 1.99 1.96 1.85 3/86 14031
/proc/meminfo: memFree=1291000/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=419716 CPUtime=461.06
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 103424 0 0 0 46017 89 0 0 25 0 1 0 154694177 429789184 103363 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 104929 103363 721 52 0 103297 0
Current children cumulated CPU time (s) 461.06
Current children cumulated vsize (KiB) 419716
[startup+522.613 s]
/proc/loadavg: 1.99 1.97 1.86 3/86 14031
/proc/meminfo: memFree=1211768/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=461060 CPUtime=521.04
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 113714 0 0 0 52006 98 0 0 25 0 1 0 154694177 472125440 113653 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 115265 113653 721 52 0 113633 0
Current children cumulated CPU time (s) 521.04
Current children cumulated vsize (KiB) 461060
[startup+582.659 s]
/proc/loadavg: 1.99 1.97 1.87 3/86 14031
/proc/meminfo: memFree=1135800/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=499192 CPUtime=581
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 123155 0 0 0 57995 105 0 0 25 0 1 0 154694177 511172608 123094 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 124798 123094 721 52 0 123166 0
Current children cumulated CPU time (s) 581
Current children cumulated vsize (KiB) 499192
[startup+642.681 s]
/proc/loadavg: 1.99 1.97 1.87 3/86 14031
/proc/meminfo: memFree=1067896/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=533004 CPUtime=640.97
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 131567 0 0 0 63985 112 0 0 25 0 1 0 154694177 545796096 131506 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 133251 131506 721 52 0 131619 0
Current children cumulated CPU time (s) 640.97
Current children cumulated vsize (KiB) 533004
[startup+702.705 s]
/proc/loadavg: 1.99 1.97 1.88 3/86 14031
/proc/meminfo: memFree=1005944/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=563988 CPUtime=700.93
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 139262 0 0 0 69973 120 0 0 25 0 1 0 154694177 577523712 139201 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 140997 139201 721 52 0 139365 0
Current children cumulated CPU time (s) 700.93
Current children cumulated vsize (KiB) 563988
[startup+762.724 s]
/proc/loadavg: 1.99 1.97 1.88 3/86 14031
/proc/meminfo: memFree=938424/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=597168 CPUtime=760.88
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 147490 0 0 0 75962 126 0 0 25 0 1 0 154694177 611500032 147429 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 149292 147429 721 52 0 147660 0
Current children cumulated CPU time (s) 760.88
Current children cumulated vsize (KiB) 597168
[startup+822.752 s]
/proc/loadavg: 1.99 1.97 1.89 3/86 14031
/proc/meminfo: memFree=881400/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=628244 CPUtime=820.85
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 155175 0 0 0 81952 133 0 0 25 0 1 0 154694177 643321856 155114 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 157061 155114 721 52 0 155429 0
Current children cumulated CPU time (s) 820.85
Current children cumulated vsize (KiB) 628244
[startup+882.782 s]
/proc/loadavg: 1.99 1.97 1.90 3/86 14031
/proc/meminfo: memFree=798648/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=661092 CPUtime=880.82
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 163339 0 0 0 87940 142 0 0 25 0 1 0 154694177 676958208 163278 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671585 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 165273 163278 721 52 0 163641 0
Current children cumulated CPU time (s) 880.82
Current children cumulated vsize (KiB) 661092
[startup+942.804 s]
/proc/loadavg: 1.99 1.97 1.90 3/86 14031
/proc/meminfo: memFree=718200/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=693816 CPUtime=940.77
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 171446 0 0 0 93928 149 0 0 25 0 1 0 154694177 710467584 171385 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 173454 171385 721 52 0 171822 0
Current children cumulated CPU time (s) 940.77
Current children cumulated vsize (KiB) 693816
[startup+1002.82 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 14031
/proc/meminfo: memFree=654520/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=730396 CPUtime=1000.74
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 180525 0 0 0 99916 158 0 0 25 0 1 0 154694177 747925504 180464 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 182599 180464 721 52 0 180967 0
Current children cumulated CPU time (s) 1000.74
Current children cumulated vsize (KiB) 730396
[startup+1062.84 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 14031
/proc/meminfo: memFree=590776/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=757464 CPUtime=1060.7
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 187246 0 0 0 105905 165 0 0 25 0 1 0 154694177 775643136 187185 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 189366 187185 721 52 0 187734 0
Current children cumulated CPU time (s) 1060.7
Current children cumulated vsize (KiB) 757464
[startup+1122.85 s]
/proc/loadavg: 2.04 1.99 1.91 3/86 14031
/proc/meminfo: memFree=498488/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=820784 CPUtime=1120.63
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 203007 0 0 0 111886 177 0 0 25 0 1 0 154694177 840482816 202946 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 205196 202946 721 52 0 203564 0
Current children cumulated CPU time (s) 1120.63
Current children cumulated vsize (KiB) 820784
[startup+1182.87 s]
/proc/loadavg: 2.01 1.99 1.91 3/86 14031
/proc/meminfo: memFree=394232/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=889084 CPUtime=1180.6
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 220063 0 0 0 117868 192 0 0 25 0 1 0 154694177 910422016 220002 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 222271 220002 721 52 0 220639 0
Current children cumulated CPU time (s) 1180.6
Current children cumulated vsize (KiB) 889084
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1211.19 s]
/proc/loadavg: 2.01 1.99 1.91 3/86 14031
/proc/meminfo: memFree=340536/2055920 swapFree=4192812/4192956
[pid=13795] ppid=13793 vsize=921720 CPUtime=1208.91
/proc/13795/stat : 13795 (CSPtoSAT+minisa) R 13793 13795 13533 0 -1 4194304 228202 0 0 0 120692 199 0 0 25 0 1 0 154694177 943841280 228141 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 230430 228141 721 52 0 228798 0
Current children cumulated CPU time (s) 1208.91
Current children cumulated vsize (KiB) 921720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1211.33
CPU time (s): 1209.05
CPU user time (s): 1206.92
CPU system time (s): 2.12768
CPU usage (%): 99.8119
Max. virtual memory (cumulated for all children) (KiB): 921720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1206.92
system time used= 2.12768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228202
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= 10
involuntary context switches= 11333
runsolver used 1.46378 s user time and 3.88741 s system time
The end
Begin job on node24 on Sat Jan 6 05:56:29 UTC 2007
IDJOB= 211547
IDBENCH= 4702
FILE ID= node24/211547-1168062989
PBS_JOBID= 3475590
Free space on /tmp= 66463 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-pp08a.xml
COMMAND LINE= /tmp/evaluation/211547-1168062989/CSPtoSAT+minisat /tmp/evaluation/211547-1168062989/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-211547-1168062989 -o ROOT/results/node24/solver-211547-1168062989 -C 1800 -M 900 /tmp/evaluation/211547-1168062989/CSPtoSAT+minisat /tmp/evaluation/211547-1168062989/unknown.xml
META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH= 7ce5775b9db19a910e13d13c7eac3088
RANDOM SEED= 683743106
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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: 1854440 kB
Buffers: 9856 kB
Cached: 51208 kB
SwapCached: 0 kB
Active: 111924 kB
Inactive: 21964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1854440 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2060 kB
Writeback: 0 kB
Mapped: 95256 kB
Slab: 52352 kB
Committed_AS: 2877400 kB
PageTables: 2344 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= 66463 MiB
End job on node24 on Sat Jan 6 06:16:43 UTC 2007