1.20/1.29 c Tinisat 0.22
1.20/1.29 c solving /tmp/evaluation/315976-1172662631/instance-315976-1172662631.cnf
1.20/1.29 c 148153 variables, 937242 clauses
776.64/776.95 s UNSATISFIABLE
776.64/776.95 c 277305 decisions, 148105 conflicts, 105 restarts
776.64/776.95 c solved in 776.71s
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-315976-1172662631 -o ROOT/results/node75/solver-315976-1172662631 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315976-1172662631/tinisat /tmp/evaluation/315976-1172662631/instance-315976-1172662631.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.97 0.98 3/64 1411
/proc/meminfo: memFree=1707664/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=8044 CPUtime=0
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 97 0 0 0 0 0 0 0 20 0 1 0 286228947 8237056 82 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134690644 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 2011 82 48 110 0 1898 0
[startup+0.10084 s]
/proc/loadavg: 0.92 0.97 0.98 3/64 1411
/proc/meminfo: memFree=1707664/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=9496 CPUtime=0.09
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 590 0 0 0 9 0 0 0 20 0 1 0 286228947 9723904 575 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134629133 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 2374 576 48 110 0 2261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9496
[startup+0.201851 s]
/proc/loadavg: 0.92 0.97 0.98 3/64 1411
/proc/meminfo: memFree=1707664/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=10816 CPUtime=0.19
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 1089 0 0 0 19 0 0 0 21 0 1 0 286228947 11075584 1074 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134629133 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 2704 1074 48 110 0 2591 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10816
[startup+0.301862 s]
/proc/loadavg: 0.92 0.97 0.98 3/64 1411
/proc/meminfo: memFree=1707664/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=12268 CPUtime=0.29
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 1573 0 0 0 28 1 0 0 22 0 1 0 286228947 12562432 1558 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134514772 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 3067 1559 48 110 0 2954 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12268
[startup+0.70191 s]
/proc/loadavg: 0.92 0.97 0.98 3/64 1411
/proc/meminfo: memFree=1707664/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=17680 CPUtime=0.69
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 3484 0 0 0 67 2 0 0 25 0 1 0 286228947 18104320 3469 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134612771 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 4420 3469 48 110 0 4307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17680
[startup+1.502 s]
/proc/loadavg: 0.92 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1686536/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=79632 CPUtime=1.49
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 13530 0 0 0 143 6 0 0 25 0 1 0 286228947 81543168 13514 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134612771 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 19908 13515 51 110 0 19795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79632
[startup+3.10119 s]
/proc/loadavg: 0.92 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1648200/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=3.09
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 17594 0 0 0 302 7 0 0 25 0 1 0 286228947 84549632 14876 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 14876 52 110 0 20529 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82568
[startup+6.30257 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1647688/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=6.29
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 17704 0 0 0 622 7 0 0 25 0 1 0 286228947 84549632 14986 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134515361 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 14986 52 110 0 20529 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82568
[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1647312/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=12.68
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 17804 0 0 0 1261 7 0 0 25 0 1 0 286228947 84549632 15086 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519821 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 15086 52 110 0 20529 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82568
[startup+25.5018 s]
/proc/loadavg: 0.95 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1646800/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=25.49
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 17975 0 0 0 2541 8 0 0 25 0 1 0 286228947 84549632 15257 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 15257 52 110 0 20529 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82568
[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1645712/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=51.06
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 18256 0 0 0 5098 8 0 0 25 0 1 0 286228947 84549632 15538 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 15538 52 110 0 20529 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 82568
[startup+102.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1642320/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=102.25
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 19110 0 0 0 10216 9 0 0 25 0 1 0 286228947 84549632 16392 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 16392 52 110 0 20529 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 82568
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1412
/proc/meminfo: memFree=1638864/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=162.22
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 19964 0 0 0 16212 10 0 0 25 0 1 0 286228947 84549632 17246 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134517013 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 17246 52 110 0 20529 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 82568
[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1635728/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=222.21
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 20750 0 0 0 22210 11 0 0 25 0 1 0 286228947 84549632 18032 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 18032 52 110 0 20529 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 82568
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1633040/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=282.19
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 21417 0 0 0 28207 12 0 0 25 0 1 0 286228947 84549632 18699 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134517013 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 18699 52 110 0 20529 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 82568
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1629904/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=342.17
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 22186 0 0 0 34204 13 0 0 25 0 1 0 286228947 84549632 19468 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519657 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 19468 52 110 0 20529 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 82568
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1626448/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=82568 CPUtime=402.15
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 23049 0 0 0 40202 13 0 0 25 0 1 0 286228947 84549632 20331 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519606 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 20642 20331 52 110 0 20529 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 82568
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1623696/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=462.14
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 23728 0 0 0 46199 15 0 0 25 0 1 0 286228947 139853824 21010 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 21010 52 110 0 34031 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 136576
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1620304/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=522.12
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 24572 0 0 0 52197 15 0 0 25 0 1 0 286228947 139853824 21854 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 21854 52 110 0 34031 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 136576
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1616976/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=582.1
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 25401 0 0 0 58194 16 0 0 25 0 1 0 286228947 139853824 22683 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 22683 52 110 0 34031 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 136576
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1613072/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=642.09
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 26385 0 0 0 64191 18 0 0 25 0 1 0 286228947 139853824 23667 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 23667 52 110 0 34031 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 136576
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1609680/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=702.07
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 27207 0 0 0 70188 19 0 0 25 0 1 0 286228947 139853824 24489 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 24489 52 110 0 34031 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 136576
[startup+762.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1606672/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=762.06
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 27938 0 0 0 76186 20 0 0 25 0 1 0 286228947 139853824 25220 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 25220 52 110 0 34031 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 136576
Solver just ended. Dumping a history of the last processes samples
[startup+768.002 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1606480/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=767.75
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 27989 0 0 0 76755 20 0 0 25 0 1 0 286228947 139853824 25271 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519841 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 25271 52 110 0 34031 0
Current children cumulated CPU time (s) 767.75
Current children cumulated vsize (KiB) 136576
[startup+771.205 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1606288/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=770.95
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 28032 0 0 0 77075 20 0 0 25 0 1 0 286228947 139853824 25314 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 25314 52 110 0 34031 0
Current children cumulated CPU time (s) 770.95
Current children cumulated vsize (KiB) 136576
[startup+774.401 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 1414
/proc/meminfo: memFree=1606160/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=774.15
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 28063 0 0 0 77395 20 0 0 25 0 1 0 286228947 139853824 25345 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 25345 52 110 0 34031 0
Current children cumulated CPU time (s) 774.15
Current children cumulated vsize (KiB) 136576
[startup+776.003 s]
/proc/loadavg: 1.07 0.99 0.98 2/65 1414
/proc/meminfo: memFree=1606096/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=775.75
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 28080 0 0 0 77555 20 0 0 25 0 1 0 286228947 139853824 25362 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 25362 52 110 0 34031 0
Current children cumulated CPU time (s) 775.75
Current children cumulated vsize (KiB) 136576
[startup+776.802 s]
/proc/loadavg: 1.07 0.99 0.98 2/65 1414
/proc/meminfo: memFree=1606096/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=136576 CPUtime=776.54
/proc/1411/stat : 1411 (tinisat) R 1409 1411 1308 0 -1 4194304 28087 0 0 0 77634 20 0 0 25 0 1 0 286228947 139853824 25369 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/1411/statm: 34144 25369 52 110 0 34031 0
Current children cumulated CPU time (s) 776.54
Current children cumulated vsize (KiB) 136576
[startup+777.002 s]
/proc/loadavg: 1.07 0.99 0.98 2/65 1414
/proc/meminfo: memFree=1606096/2055920 swapFree=4183136/4192956
[pid=1411] ppid=1409 vsize=0 CPUtime=776.71
/proc/1411/stat : 1411 (tinisat) D 1409 1411 1308 0 -1 4194308 28095 0 0 0 77650 21 0 0 25 0 1 0 286228947 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100125374 0 0 17 0 0 0
/proc/1411/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 776.71
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 777.057
CPU time (s): 776.721
CPU user time (s): 776.502
CPU system time (s): 0.218966
CPU usage (%): 99.9567
Max. virtual memory (cumulated for all children) (KiB): 136576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 776.502
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28095
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= 7
involuntary context switches= 1256
runsolver used 0.501923 second user time and 1.63175 second system time
The end
Begin job on node75 on Wed Feb 28 11:37:11 UTC 2007
IDJOB= 315976
IDBENCH= 20430
IDSOLVER= 100
FILE ID= node75/315976-1172662631
PBS_JOBID= 3981215
Free space on /tmp= 66503 MiB
SOLVER NAME= tinisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/medium/blocks-4-ipc5-h22-unknown.cnf
COMMAND LINE= /tmp/evaluation/315976-1172662631/tinisat /tmp/evaluation/315976-1172662631/instance-315976-1172662631.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-315976-1172662631 -o ROOT/results/node75/solver-315976-1172662631 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315976-1172662631/tinisat /tmp/evaluation/315976-1172662631/instance-315976-1172662631.cnf
META MD5SUM SOLVER= 15788d06198cf45d0201cced774790cd
MD5SUM BENCH= 8c6ad18be635cee0d986377c4d06ab11
RANDOM SEED= 986259570
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node75.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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1708072 kB
Buffers: 7568 kB
Cached: 291596 kB
SwapCached: 3572 kB
Active: 93268 kB
Inactive: 215116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1708072 kB
SwapTotal: 4192956 kB
SwapFree: 4183136 kB
Dirty: 17676 kB
Writeback: 0 kB
Mapped: 15244 kB
Slab: 25388 kB
Committed_AS: 802744 kB
PageTables: 1432 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= 66503 MiB
End job on node75 on Wed Feb 28 11:50:08 UTC 2007