Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | ? (MO) | 756.348 | 758.344 |
Name | csp/haystacks/ normalized-haystacks-10.xml |
MD5SUM | e3b2ef63bef9ef1642e95610d4dd6a1e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.14882 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 459 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 459 |
Global constraints used (with number of constraints) |
0.00/0.01 c has operations which may create big domains 0.00/0.01 c big-domain mode 0.17/0.23 c Seed is 1132718829 0.17/0.23 c Constructing HOME/instance-2080691-1247718182.xml 0.17/0.23 c deduced all_different(V7,V47,V63,V0) 0.17/0.23 c deduced all_different(V6,V31,V93,V1) 0.17/0.23 c deduced all_different(V30,V44,V52,V60,V2) 0.17/0.23 c deduced all_different(V38,V43,V62,V3) 0.17/0.23 c deduced all_different(V24,V47,V63,V4) 0.17/0.23 c deduced all_different(V28,V45,V77,V5) 0.17/0.23 c deduced all_different(V19,V30,V52,V60,V8) 0.17/0.23 c deduced all_different(V38,V43,V62,V9) 0.17/0.23 c deduced all_different(V6,V21,V31,V93,V13) 0.17/0.23 c deduced all_different(V22,V27,V32,V57,V14) 0.17/0.23 c deduced all_different(V46,V51,V67,V15) 0.17/0.23 c deduced all_different(V14,V27,V39,V23) 0.17/0.23 c deduced all_different(V25,V55,V82,V26) 0.17/0.23 c deduced all_different(V11,V27,V39,V33) 0.17/0.23 c deduced all_different(V51,V67,V89,V35) 0.17/0.23 c deduced all_different(V3,V43,V62,V40) 0.17/0.23 c deduced all_different(V17,V53,V79,V41) 0.17/0.23 c deduced all_different(V15,V46,V67,V42) 0.17/0.23 c deduced all_different(V5,V45,V77,V94,V58) 0.17/0.23 c deduced all_different(V24,V47,V63,V59) 0.17/0.23 c deduced all_different(V6,V21,V93,V65) 0.17/0.23 c deduced all_different(V25,V55,V82,V66) 0.17/0.23 c deduced all_different(V38,V43,V62,V71) 0.17/0.23 c deduced all_different(V3,V40,V62,V72) 0.17/0.23 c deduced all_different(V1,V31,V83,V86) 0.17/0.23 c deduced all_different(V15,V46,V67,V90) 0.17/0.23 c deduced all_different(V0,V7,V47,V95) 0.17/0.23 c deduced all_different(V10,V87,V99,V97) 0.17/0.23 c with 1240 constraints 0.17/0.23 c Solving
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer: <no 's ' line found>
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080691-1247718182/watcher-2080691-1247718182 -o /tmp/evaluation-result-2080691-1247718182/solver-2080691-1247718182 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1132718829 HOME/instance-2080691-1247718182.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/81 19129 /proc/meminfo: memFree=1204192/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=18576 CPUtime=0 /proc/19129/stat : 19129 (runsolver) R 19127 19129 16428 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 58881674 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 273653755175 0 0 4096 24578 0 0 0 17 1 0 0 /proc/19129/statm: 4644 284 249 26 0 2626 0 [startup+0.017318 s] /proc/loadavg: 2.00 2.00 2.00 4/81 19129 /proc/meminfo: memFree=1204192/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=5356 CPUtime=0 /proc/19129/stat : 19129 (pcssolve) S 19127 19129 16428 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 58881674 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19129/statm: 1339 243 202 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.101323 s] /proc/loadavg: 2.00 2.00 2.00 4/81 19129 /proc/meminfo: memFree=1204192/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=5432 CPUtime=0.07 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 1076 825 0 0 7 0 0 0 18 0 1 0 58881674 5562368 685 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 1358 685 419 171 0 283 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5432 [startup+0.301335 s] /proc/loadavg: 2.00 2.00 2.00 4/81 19129 /proc/meminfo: memFree=1204192/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=5772 CPUtime=0.27 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 1186 825 0 0 27 0 0 0 19 0 1 0 58881674 5910528 742 996147200 134512640 135215973 4294956304 18446744073709551615 134591805 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 1443 742 419 171 0 368 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 5772 [startup+0.701363 s] /proc/loadavg: 2.00 2.00 2.00 4/81 19129 /proc/meminfo: memFree=1204192/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=6032 CPUtime=0.67 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 1279 825 0 0 67 0 0 0 23 0 1 0 58881674 6176768 835 996147200 134512640 135215973 4294956304 18446744073709551615 134581415 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 1508 835 419 171 0 433 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 6032 [startup+1.50142 s] /proc/loadavg: 2.00 2.00 2.00 3/82 19135 /proc/meminfo: memFree=1202200/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=6688 CPUtime=1.46 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 1427 825 0 0 146 0 0 0 25 0 1 0 58881674 6848512 983 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 1672 983 419 171 0 597 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 6688 [startup+3.10152 s] /proc/loadavg: 2.00 2.00 2.00 3/82 19135 /proc/meminfo: memFree=1201048/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=8528 CPUtime=3.05 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 1906 825 0 0 305 0 0 0 25 0 1 0 58881674 8732672 1429 996147200 134512640 135215973 4294956304 18446744073709551615 134584058 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 2132 1429 419 171 0 1057 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 8528 [startup+6.30274 s] /proc/loadavg: 2.00 2.00 2.00 3/82 19135 /proc/meminfo: memFree=1197528/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=12268 CPUtime=6.22 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 2859 825 0 0 621 1 0 0 25 0 1 0 58881674 12562432 2317 996147200 134512640 135215973 4294956304 18446744073709551615 4158960644 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 3067 2317 419 171 0 1992 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 12268 [startup+12.7012 s] /proc/loadavg: 2.00 2.00 2.00 4/82 19135 /proc/meminfo: memFree=1190104/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=18956 CPUtime=12.56 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 4596 825 0 0 1254 2 0 0 25 0 1 0 58881674 19410944 4021 996147200 134512640 135215973 4294956304 18446744073709551615 134599837 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 4739 4021 419 171 0 3664 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 18956 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.00 3/82 19135 /proc/meminfo: memFree=1174936/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=33844 CPUtime=25.23 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 8507 825 0 0 2519 4 0 0 25 0 1 0 58881674 34656256 7738 996147200 134512640 135215973 4294956304 18446744073709551615 134648314 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 8461 7738 419 171 0 7386 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 33844 [startup+51.1018 s] /proc/loadavg: 2.07 2.02 2.00 3/82 19135 /proc/meminfo: memFree=1145752/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=63724 CPUtime=50.6 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 16293 825 0 0 5050 10 0 0 25 0 1 0 58881674 65253376 15138 996147200 134512640 135215973 4294956304 18446744073709551615 134533315 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 15931 15138 419 171 0 14856 0 Current children cumulated CPU time (s) 50.6 Current children cumulated vsize (KiB) 63724 [startup+102.306 s] /proc/loadavg: 2.10 2.03 2.00 3/82 19135 /proc/meminfo: memFree=1087384/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=121836 CPUtime=101.33 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 31422 825 0 0 10115 18 0 0 25 0 1 0 58881674 124760064 29497 996147200 134512640 135215973 4294956304 18446744073709551615 134592220 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 30459 29497 419 171 0 29384 0 Current children cumulated CPU time (s) 101.33 Current children cumulated vsize (KiB) 121836 [startup+162.301 s] /proc/loadavg: 2.04 2.02 2.00 3/82 19135 /proc/meminfo: memFree=1019480/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=191712 CPUtime=160.76 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 49540 825 0 0 16049 27 0 0 25 0 1 0 58881674 196313088 46590 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0 /proc/19129/statm: 47928 46590 419 171 0 46853 0 Current children cumulated CPU time (s) 160.76 Current children cumulated vsize (KiB) 191712 [startup+222.301 s] /proc/loadavg: 1.96 2.00 1.99 3/73 19168 /proc/meminfo: memFree=1299376/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=271512 CPUtime=220.46 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 70081 825 0 0 22009 37 0 0 25 0 1 0 58881674 278028288 65082 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 67878 65082 419 171 0 66803 0 Current children cumulated CPU time (s) 220.46 Current children cumulated vsize (KiB) 271512 [startup+282.301 s] /proc/loadavg: 1.98 2.00 1.99 3/73 19168 /proc/meminfo: memFree=1227120/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=341488 CPUtime=280.44 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 88237 825 0 0 27997 47 0 0 25 0 1 0 58881674 349683712 83238 996147200 134512640 135215973 4294956304 18446744073709551615 134907296 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 85372 83238 419 171 0 84297 0 Current children cumulated CPU time (s) 280.44 Current children cumulated vsize (KiB) 341488 [startup+342.301 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=1155120/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=411612 CPUtime=340.42 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 106479 825 0 0 33985 57 0 0 25 0 1 0 58881674 421490688 100967 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 102903 100967 419 171 0 101828 0 Current children cumulated CPU time (s) 340.42 Current children cumulated vsize (KiB) 411612 [startup+402.301 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=1082224/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=481912 CPUtime=400.4 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 124798 825 0 0 39975 65 0 0 25 0 1 0 58881674 493477888 119286 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 120478 119286 419 171 0 119403 0 Current children cumulated CPU time (s) 400.4 Current children cumulated vsize (KiB) 481912 [startup+462.301 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=1000176/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=576888 CPUtime=460.38 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 149169 825 0 0 45960 78 0 0 25 0 1 0 58881674 590733312 139560 996147200 134512640 135215973 4294956304 18446744073709551615 135096263 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 144222 139560 419 171 0 143147 0 Current children cumulated CPU time (s) 460.38 Current children cumulated vsize (KiB) 576888 [startup+522.302 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=930480/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=644684 CPUtime=520.36 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 166741 825 0 0 51949 87 0 0 25 0 1 0 58881674 660156416 157132 996147200 134512640 135215973 4294956304 18446744073709551615 134596254 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 161171 157132 419 171 0 160096 0 Current children cumulated CPU time (s) 520.36 Current children cumulated vsize (KiB) 644684 [startup+582.302 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=857712/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=713052 CPUtime=580.35 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 184432 825 0 0 57938 97 0 0 25 0 1 0 58881674 730165248 174823 996147200 134512640 135215973 4294956304 18446744073709551615 134552932 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 178263 174823 419 171 0 177188 0 Current children cumulated CPU time (s) 580.35 Current children cumulated vsize (KiB) 713052 [startup+642.302 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=784880/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=782052 CPUtime=640.33 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 202312 825 0 0 63927 106 0 0 25 0 1 0 58881674 800821248 192703 996147200 134512640 135215973 4294956304 18446744073709551615 4744827 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 195513 192703 419 171 0 194438 0 Current children cumulated CPU time (s) 640.33 Current children cumulated vsize (KiB) 782052 [startup+702.302 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=709232/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=854588 CPUtime=700.31 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 221064 825 0 0 69916 115 0 0 25 0 1 0 58881674 875098112 211455 996147200 134512640 135215973 4294956304 18446744073709551615 134533172 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 213647 211455 419 171 0 212572 0 Current children cumulated CPU time (s) 700.31 Current children cumulated vsize (KiB) 854588 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+758.202 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=638896/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=921664 CPUtime=756.19 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4194304 238413 825 0 0 75494 125 0 0 25 0 1 0 58881674 943783936 228804 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 230416 228804 419 171 0 229341 0 Current children cumulated CPU time (s) 756.19 Current children cumulated vsize (KiB) 921664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+758.307 s] /proc/loadavg: 1.99 2.00 1.99 3/73 19168 /proc/meminfo: memFree=638896/2055920 swapFree=4192812/4192956 [pid=19129] ppid=19127 vsize=0 CPUtime=756.29 /proc/19129/stat : 19129 (pcs.big) R 19127 19129 16428 0 -1 4195332 238413 825 0 0 75494 135 0 0 25 0 1 0 58881674 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 /proc/19129/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 756.29 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 758.344 CPU time (s): 756.348 CPU user time (s): 754.95 CPU system time (s): 1.39779 CPU usage (%): 99.7369 Max. virtual memory (cumulated for all children) (KiB): 921664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 754.95 system time used= 1.39779 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 239238 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= 21 involuntary context switches= 10008 runsolver used 1.11083 second user time and 2.30665 second system time The end
Begin job on node52 at 2009-07-16 06:23:02 IDJOB=2080691 IDBENCH=57128 IDSOLVER=734 FILE ID=node52/2080691-1247718182 PBS_JOBID= 9521338 Free space on /tmp= 66188 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-10.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080691-1247718182/watcher-2080691-1247718182 -o /tmp/evaluation-result-2080691-1247718182/solver-2080691-1247718182 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1132718829 HOME/instance-2080691-1247718182.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= e3b2ef63bef9ef1642e95610d4dd6a1e RANDOM SEED=1132718829 node52.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.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: 1204672 kB Buffers: 75788 kB Cached: 232660 kB SwapCached: 0 kB Active: 545308 kB Inactive: 236280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1204672 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1800 kB Writeback: 0 kB Mapped: 493540 kB Slab: 53736 kB Committed_AS: 1205488 kB PageTables: 2880 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= 66184 MiB End job on node52 at 2009-07-16 06:35:42