0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.00/0.00 c | Number of variables: 160 |
0.00/0.00 c | Number of clauses: 640 |
0.00/0.00 c | Parsing time: 0.00 s |
0.00/0.00 c | Timeout: 43200 s
0.00/0.00 c | Random Seed: 1666554163.000000
0.00/0.00 c | Heuristic: EMBP-G, threshold 0.950 |
0.00/0.00 c | Branching Rule: default (solution-guided) |
0.00/0.00 c | Learned clauses in surveys? Using NO learned clauses. |
0.00/0.00 c | |
0.00/0.00 c ============================[ Search Statistics ]==============================
0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.00 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.00 c ===============================================================================
0.00/0.00 c | 0 | 76 304 1216 | 101 0 nan | 0.000 % |
0.00/0.00 c | 101 | 76 304 1216 | 111 101 18 | 0.004 % |
0.00/0.00 c | 252 | 76 304 1216 | 122 90 12 | 0.004 % |
0.00/0.01 c | 477 | 76 304 1216 | 134 146 13 | 0.004 % |
0.00/0.01 c | 814 | 76 304 1216 | 148 152 12 | 0.004 % |
0.00/0.01 c | 1321 | 76 304 1216 | 163 117 10 | 0.004 % |
0.01/0.02 c | 2081 | 76 304 1216 | 179 191 12 | 0.004 % |
0.01/0.03 c | 3220 | 76 304 1216 | 197 175 11 | 0.004 % |
0.01/0.04 c | 4929 | 76 304 1216 | 217 201 11 | 0.004 % |
0.01/0.06 c | 7491 | 76 304 1216 | 238 149 10 | 0.004 % |
0.09/0.10 c | 11335 | 76 304 1216 | 262 270 13 | 0.004 % |
0.09/0.15 c | 17101 | 76 304 1216 | 289 269 14 | 0.004 % |
0.19/0.22 c | 25751 | 76 304 1216 | 318 174 12 | 0.004 % |
0.29/0.33 c | 38726 | 76 304 1216 | 349 320 13 | 0.004 % |
0.49/0.50 c | 58189 | 76 304 1216 | 384 313 13 | 0.004 % |
0.69/0.77 c | 87381 | 76 304 1216 | 423 384 13 | 0.004 % |
1.10/1.19 c | 131171 | 76 304 1216 | 465 234 14 | 0.004 % |
1.69/1.79 c | 196857 | 76 304 1216 | 512 469 13 | 0.004 % |
2.69/2.74 c | 295383 | 76 304 1216 | 563 382 12 | 0.004 % |
4.30/4.35 c | 443173 | 76 304 1216 | 619 465 16 | 0.004 % |
6.69/6.71 c | 664856 | 76 304 1216 | 681 588 13 | 0.004 % |
10.29/10.31 c | 997382 | 76 304 1216 | 749 643 13 | 0.004 % |
15.79/15.83 c | 1496170 | 76 304 1216 | 824 452 12 | 0.004 % |
24.38/24.48 c | 2244353 | 76 304 1216 | 907 610 13 | 0.004 % |
37.88/37.90 c | 3366627 | 76 304 1216 | 998 618 15 | 0.004 % |
58.97/59.09 c | 5050038 | 76 304 1216 | 1097 774 16 | 0.004 % |
91.16/91.21 c | 7575155 | 76 304 1216 | 1207 836 14 | 0.004 % |
140.25/140.33 c | 11362831 | 76 304 1216 | 1328 973 12 | 0.004 % |
216.22/216.30 c | 17044344 | 76 304 1216 | 1461 764 13 | 0.008 % |
332.78/332.95 c | 25566614 | 74 288 1152 | 1607 1264 13 | 1.254 % |
410.95/411.16 c ===============================================================================
410.95/411.16 c surveys--CPU time (sec) : 0.0140 (0.00 % of total)
410.95/411.16 c surveys--attempted : 30 (2143 /sec)
410.95/411.16 c surveys--converged : 30 (100.00 % successful)
410.95/411.16 c restarts : 30
410.95/411.16 c conflicts : 31176305 (75857 /sec)
410.95/411.16 c decisions : 48667863 (1.92 % random) (118416 /sec)
410.95/411.16 c propagations : 250063270 (608440 /sec)
410.95/411.16 c conflict literals : 470268774 (16.89 % deleted)
410.95/411.16 c Memory used : 3.55 MB
410.95/411.16 c Total CPU time (sec) : 411.0045
410.95/411.16 c
410.95/411.16 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785328-1241907376/watcher-1785328-1241907376 -o /tmp/evaluation-result-1785328-1241907376/solver-1785328-1241907376 -C 5000 -W 6000 -M 1800 HOME/varsat-industrial_static -seed=1666554163 HOME/instance-1785328-1241907376.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30541
/proc/meminfo: memFree=1426944/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2276 CPUtime=0
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 218765582 2330624 177 1992294400 4194304 5102648 548682068784 18446744073709551615 4491703 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 569 178 100 221 0 345 0
[startup+0.0177879 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30541
/proc/meminfo: memFree=1426944/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2404 CPUtime=0.01
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 212 0 0 0 1 0 0 0 18 0 1 0 218765582 2461696 197 1992294400 4194304 5102648 548682068784 18446744073709551615 4525127 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 601 197 112 221 0 377 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2404
[startup+0.101789 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30541
/proc/meminfo: memFree=1426944/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2404 CPUtime=0.09
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 212 0 0 0 9 0 0 0 18 0 1 0 218765582 2461696 197 1992294400 4194304 5102648 548682068784 18446744073709551615 4249961 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 601 197 112 221 0 377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2404
[startup+0.301827 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30541
/proc/meminfo: memFree=1426944/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2404 CPUtime=0.29
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 212 0 0 0 29 0 0 0 19 0 1 0 218765582 2461696 197 1992294400 4194304 5102648 548682068784 18446744073709551615 4225597 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 601 197 112 221 0 377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2404
[startup+0.701899 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30541
/proc/meminfo: memFree=1426944/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2404 CPUtime=0.69
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 216 0 0 0 69 0 0 0 22 0 1 0 218765582 2461696 201 1992294400 4194304 5102648 548682068784 18446744073709551615 4485976 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 601 201 112 221 0 377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2404
[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1426552/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2404 CPUtime=1.49
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 229 0 0 0 149 0 0 0 25 0 1 0 218765582 2461696 214 1992294400 4194304 5102648 548682068784 18446744073709551615 4249993 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 601 214 112 221 0 377 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2404
[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1426360/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2404 CPUtime=3.09
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 239 0 0 0 309 0 0 0 25 0 1 0 218765582 2461696 224 1992294400 4194304 5102648 548682068784 18446744073709551615 4250291 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 601 224 112 221 0 377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2404
[startup+6.30192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1426168/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2536 CPUtime=6.29
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 259 0 0 0 629 0 0 0 25 0 1 0 218765582 2596864 244 1992294400 4194304 5102648 548682068784 18446744073709551615 4249728 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 634 244 112 221 0 410 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2536
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1425992/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2668 CPUtime=12.69
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 279 0 0 0 1269 0 0 0 25 0 1 0 218765582 2732032 264 1992294400 4194304 5102648 548682068784 18446744073709551615 4256021 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 667 264 112 221 0 443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2668
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1425864/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2800 CPUtime=25.48
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 316 0 0 0 2548 0 0 0 25 0 1 0 218765582 2867200 301 1992294400 4194304 5102648 548682068784 18446744073709551615 4249750 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 700 301 112 221 0 476 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2800
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1425736/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=2936 CPUtime=51.07
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 359 0 0 0 5107 0 0 0 25 0 1 0 218765582 3006464 344 1992294400 4194304 5102648 548682068784 18446744073709551615 4249961 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 734 344 112 221 0 510 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2936
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1425544/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3072 CPUtime=102.26
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 396 0 0 0 10226 0 0 0 25 0 1 0 218765582 3145728 381 1992294400 4194304 5102648 548682068784 18446744073709551615 4497499 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 768 381 112 221 0 544 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 3072
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1425288/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3212 CPUtime=162.24
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 440 0 0 0 16223 1 0 0 25 0 1 0 218765582 3289088 425 1992294400 4194304 5102648 548682068784 18446744073709551615 4254617 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 803 425 112 221 0 579 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 3212
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1425224/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3352 CPUtime=222.22
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 455 0 0 0 22221 1 0 0 25 0 1 0 218765582 3432448 440 1992294400 4194304 5102648 548682068784 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 838 440 112 221 0 614 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 3352
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1425096/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3352 CPUtime=282.2
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 470 0 0 0 28219 1 0 0 25 0 1 0 218765582 3432448 455 1992294400 4194304 5102648 548682068784 18446744073709551615 4249843 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 838 455 112 221 0 614 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 3352
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424968/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3500 CPUtime=342.17
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 481 0 0 0 34216 1 0 0 25 0 1 0 218765582 3584000 466 1992294400 4194304 5102648 548682068784 18446744073709551615 4225413 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 875 466 112 221 0 651 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 3500
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424840/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3500 CPUtime=402.15
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 512 0 0 0 40214 1 0 0 25 0 1 0 218765582 3584000 497 1992294400 4194304 5102648 548682068784 18446744073709551615 4249876 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 875 497 112 221 0 651 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 3500
Solver just ended. Dumping a history of the last processes samples
[startup+403.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424840/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3500 CPUtime=402.95
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 512 0 0 0 40294 1 0 0 25 0 1 0 218765582 3584000 497 1992294400 4194304 5102648 548682068784 18446744073709551615 4225406 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 875 497 112 221 0 651 0
Current children cumulated CPU time (s) 402.95
Current children cumulated vsize (KiB) 3500
[startup+406.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424840/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3500 CPUtime=406.15
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 512 0 0 0 40614 1 0 0 25 0 1 0 218765582 3584000 497 1992294400 4194304 5102648 548682068784 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 875 497 112 221 0 651 0
Current children cumulated CPU time (s) 406.15
Current children cumulated vsize (KiB) 3500
[startup+409.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424776/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3500 CPUtime=409.35
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 512 0 0 0 40934 1 0 0 25 0 1 0 218765582 3584000 497 1992294400 4194304 5102648 548682068784 18446744073709551615 4249017 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 875 497 112 221 0 651 0
Current children cumulated CPU time (s) 409.35
Current children cumulated vsize (KiB) 3500
[startup+410.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424776/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3500 CPUtime=410.15
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 512 0 0 0 41014 1 0 0 25 0 1 0 218765582 3584000 497 1992294400 4194304 5102648 548682068784 18446744073709551615 4249791 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 875 497 112 221 0 651 0
Current children cumulated CPU time (s) 410.15
Current children cumulated vsize (KiB) 3500
[startup+410.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424776/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3636 CPUtime=410.55
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 514 0 0 0 41054 1 0 0 25 0 1 0 218765582 3723264 499 1992294400 4194304 5102648 548682068784 18446744073709551615 4249753 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 909 499 112 221 0 685 0
Current children cumulated CPU time (s) 410.55
Current children cumulated vsize (KiB) 3636
[startup+411.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30542
/proc/meminfo: memFree=1424776/2055920 swapFree=4181384/4192956
[pid=30541] ppid=30539 vsize=3636 CPUtime=410.95
/proc/30541/stat : 30541 (varsat-industri) R 30539 30541 30462 0 -1 4194304 514 0 0 0 41094 1 0 0 25 0 1 0 218765582 3723264 499 1992294400 4194304 5102648 548682068784 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/30541/statm: 909 499 112 221 0 685 0
Current children cumulated CPU time (s) 410.95
Current children cumulated vsize (KiB) 3636
Child status: 20
Real time (s): 411.162
CPU time (s): 411.024
CPU user time (s): 411.005
CPU system time (s): 0.019996
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 3636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 411.005
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 476
runsolver used 0.38994 second user time and 0.749886 second system time
The end
Begin job on node44 at 2009-05-10 00:16:16
IDJOB=1785328
IDBENCH=24747
IDSOLVER=641
FILE ID=node44/1785328-1241907376
PBS_JOBID= 9264781
Free space on /tmp= 66260 MiB
SOLVER NAME= VARSAT-industrial 2009-03-22
BENCH NAME= SAT07/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
COMMAND LINE= HOME/varsat-industrial_static -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1785328-1241907376/watcher-1785328-1241907376 -o /tmp/evaluation-result-1785328-1241907376/solver-1785328-1241907376 -C 5000 -W 6000 -M 1800 HOME/varsat-industrial_static -seed=1666554163 HOME/instance-1785328-1241907376.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b8ad54973e17f84e99bf9d2e7bc768ce
RANDOM SEED=1666554163
node44.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.267
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 : 5931.00
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.267
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: 1427360 kB
Buffers: 54184 kB
Cached: 510680 kB
SwapCached: 5384 kB
Active: 106712 kB
Inactive: 466508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1427360 kB
SwapTotal: 4192956 kB
SwapFree: 4181384 kB
Dirty: 1016 kB
Writeback: 0 kB
Mapped: 14476 kB
Slab: 41272 kB
Committed_AS: 735852 kB
PageTables: 1380 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= 66260 MiB
End job on node44 at 2009-05-10 00:23:07