0.04 c # Sugar v0-40 (/tmp/evaluation/202489-1170095679/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/202489-1170095679/unknown.xml [Mon Jan 29 19:34:40 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/202489-1170095679/unknown.xml /tmp/evaluation/202489-1170095679/sugar25018.csp [Mon Jan 29 19:34:40 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202489-1170095679/sugar-v0-40.jar -convert /tmp/evaluation/202489-1170095679/unknown.xml /tmp/evaluation/202489-1170095679/sugar25018.csp
0.16 c BEGIN convert /tmp/evaluation/202489-1170095679/unknown.xml
0.65 c END convert (0.48389 seconds)
0.70 c # CONVERT_XML END : /tmp/evaluation/202489-1170095679/sugar25018.csp 1096892 bytes (0 seconds) [Mon Jan 29 19:34:40 2007]
0.70 c # CONVERT_XML CPU : 0.59 = 0 + 0 + 0.54 + 0.05
0.70
0.70 c # GENERATE_SAT BEGIN : /tmp/evaluation/202489-1170095679/sugar25018.bcnf [Mon Jan 29 19:34:40 2007]
0.70 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202489-1170095679/sugar-v0-40.jar -bcnf -map /tmp/evaluation/202489-1170095679/sugar25018.map /tmp/evaluation/202489-1170095679/sugar25018.csp /tmp/evaluation/202489-1170095679/sugar25018.bcnf
0.81 c BEGIN parse /tmp/evaluation/202489-1170095679/sugar25018.csp
12.06 c END parse (11.246971 seconds)
12.06 c BEGIN simplify
12.12 c END simplify (0.058967 seconds)
12.12 c BEGIN encode /tmp/evaluation/202489-1170095679/sugar25018.bcnf
12.61 c END encode (0.499053 seconds)
12.72 c # GENERATE_SAT END : 5148 variables 43020 clauses 4137552 bytes (12 seconds) [Mon Jan 29 19:34:52 2007]
12.72 c # GENERATE_SAT CPU : 11.92 = 0.03 + 0.01 + 11.53 + 0.35
12.72
12.72 c # SOLVE_SAT BEGIN : /tmp/evaluation/202489-1170095679/sugar25018.bcnf [Mon Jan 29 19:34:52 2007]
12.72 c # CMD : /tmp/evaluation/202489-1170095679/minisat /tmp/evaluation/202489-1170095679/sugar25018.bcnf /tmp/evaluation/202489-1170095679/sugar25018.out
12.82 c ==================================[MINISAT]===================================
12.82 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.82 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
12.82 c ==============================================================================
12.82 c | 0 | 43020 991362 | 14340 0 0 nan | 0.000 % |
12.84 c | 101 | 43020 991362 | 15774 101 2454 24.3 | 0.000 % |
12.87 c | 251 | 43022 991362 | 17351 249 4346 17.5 | 0.000 % |
12.91 c | 476 | 43023 991362 | 19086 473 7556 16.0 | 0.000 % |
12.99 c | 813 | 43023 991362 | 20995 810 13788 17.0 | 0.000 % |
13.09 c | 1319 | 43023 991362 | 23094 1316 21735 16.5 | 0.001 % |
13.26 c | 2078 | 43023 991362 | 25404 2075 36511 17.6 | 0.000 % |
13.52 c | 3217 | 43023 991362 | 27944 3214 52344 16.3 | 0.000 % |
13.90 c | 4925 | 43025 991362 | 30739 4920 74164 15.1 | 0.000 % |
14.54 c | 7487 | 43028 991362 | 33812 7479 119851 16.0 | 0.000 % |
15.65 c | 11332 | 43032 991362 | 37194 11320 186532 16.5 | 0.000 % |
17.71 c | 17099 | 43033 991362 | 40913 17086 279528 16.4 | 0.000 % |
20.84 c | 25748 | 43036 991362 | 45005 25732 399774 15.5 | 0.000 % |
26.22 c | 38722 | 43040 991362 | 49505 38702 626283 16.2 | 0.000 % |
36.36 c | 58183 | 43042 991362 | 54456 22732 390934 17.2 | 0.000 % |
54.07 c | 87375 | 43046 991362 | 59901 51920 955581 18.4 | 0.000 % |
78.70 c | 131164 | 43053 991362 | 65891 49707 877697 17.7 | 0.000 % |
123.70 c | 196848 | 43066 991362 | 72481 65580 1409473 21.5 | 0.000 % |
192.02 c | 295375 | 43073 991362 | 79729 54366 1208686 22.2 | 0.000 % |
311.77 c | 443165 | 43080 991362 | 87702 20342 461442 22.7 | 0.001 % |
471.88 c | 664848 | 42983 991044 | 96472 39344 896740 22.8 | 0.019 % |
761.10 c | 997374 | 43027 991044 | 106119 59640 1987986 33.3 | 0.019 % |
1234.14 c | 1496163 | 43061 991044 | 116731 45999 1494173 32.5 | 0.020 % |
1808.67
1808.67 s UNKNOWN
1808.67 c # INTERRUPTED
1808.67 c # MAIN END : (1808 seconds) [Mon Jan 29 20:04:48 2007]
1808.67 c # MAIN CPU : 12.52 = 0.04 + 0.01 + 12.07 + 0.4
1808.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-202489-1170095679 -o ROOT/results/node76/solver-202489-1170095679 -C 1800 -M 900 /tmp/evaluation/202489-1170095679/solver /tmp/evaluation/202489-1170095679 /tmp/evaluation/202489-1170095679/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: 2.00 2.00 2.02 4/79 25019
/proc/meminfo: memFree=1860448/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=13728 CPUtime=0.03
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1091 0 0 0 3 0 0 0 18 0 1 0 29526266 14057472 801 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 3432 801 365 3 0 531 0
[pid=25020] ppid=25018 vsize=13728 CPUtime=0
/proc/25020/stat : 25020 (sugar) R 25018 25018 24676 0 -1 4194368 14 0 0 0 0 0 0 0 19 0 1 0 29526270 14057472 803 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206843737111 0 2147483391 4096 16386 0 0 0 17 0 0 0
/proc/25020/statm: 3432 803 367 3 0 531 0
[startup+0.148899 s]
/proc/loadavg: 2.00 2.00 2.02 4/79 25019
/proc/meminfo: memFree=1860448/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=13728 CPUtime=0.03
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1106 0 0 0 3 0 0 0 18 0 1 0 29526266 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 3432 802 365 3 0 531 0
[pid=25020] ppid=25018 vsize=807008 CPUtime=0.09
/proc/25020/stat : 25020 (java) R 25018 25018 24676 0 -1 0 2709 0 1 0 8 1 0 0 24 0 8 0 29526270 826376192 2460 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155473010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25020/statm: 201752 2460 1413 14 0 189029 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 820736
[startup+0.560947 s]
/proc/loadavg: 2.00 2.00 2.02 4/79 25019
/proc/meminfo: memFree=1860448/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=13728 CPUtime=0.03
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1115 0 0 0 3 0 0 0 15 0 1 0 29526266 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 3432 802 365 3 0 531 0
[pid=25020] ppid=25018 vsize=807144 CPUtime=0.5
/proc/25020/stat : 25020 (java) R 25018 25018 24676 0 -1 0 7104 0 1 0 46 4 0 0 25 0 8 0 29526270 826515456 6854 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073698469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25020/statm: 201786 6854 1696 14 0 189063 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 820872
[startup+1.39204 s]
/proc/loadavg: 2.00 2.00 2.02 3/87 25035
/proc/meminfo: memFree=1834904/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=13728 CPUtime=0.62
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1186 7501 0 1 3 0 54 5 15 0 1 0 29526266 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 3432 808 370 3 0 531 0
[pid=25028] ppid=25018 vsize=807068 CPUtime=0.67
/proc/25028/stat : 25028 (java) R 25018 25018 24676 0 -1 0 8166 0 1 0 62 5 0 0 25 0 8 0 29526336 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073483099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25028/statm: 201767 7914 1495 14 0 189044 0
[pid=25028/tid=25029] ppid=25018 vsize=807068 CPUtime=0.12
/proc/25028/task/25029/stat : 25029 (java) S 25018 25018 24676 0 -1 64 2113 0 0 0 11 1 0 0 16 0 8 0 29526339 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25030] ppid=25018 vsize=807068 CPUtime=0
/proc/25028/task/25030/stat : 25030 (java) S 25018 25018 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29526340 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25031] ppid=25018 vsize=807068 CPUtime=0
/proc/25028/task/25031/stat : 25031 (java) S 25018 25018 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29526340 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25032] ppid=25018 vsize=807068 CPUtime=0
/proc/25028/task/25032/stat : 25032 (java) S 25018 25018 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29526343 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25033] ppid=25018 vsize=807068 CPUtime=0.05
/proc/25028/task/25033/stat : 25033 (java) S 25018 25018 24676 0 -1 64 293 0 0 0 5 0 0 0 18 0 8 0 29526343 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25034] ppid=25018 vsize=807068 CPUtime=0
/proc/25028/task/25034/stat : 25034 (java) S 25018 25018 24676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 29526343 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25035] ppid=25018 vsize=807068 CPUtime=0
/proc/25028/task/25035/stat : 25035 (java) S 25018 25018 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29526343 826437632 7914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820796
[startup+3.03348 s]
/proc/loadavg: 2.00 2.00 2.02 4/87 25035
/proc/meminfo: memFree=1818584/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=13728 CPUtime=0.62
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1186 7501 0 1 3 0 54 5 15 0 1 0 29526266 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 3432 808 370 3 0 531 0
[pid=25028] ppid=25018 vsize=807340 CPUtime=2.3
/proc/25028/stat : 25028 (java) R 25018 25018 24676 0 -1 0 16104 0 1 0 220 10 0 0 25 0 8 0 29526336 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25028/statm: 201835 15826 1507 14 0 189112 0
[pid=25028/tid=25029] ppid=25018 vsize=807340 CPUtime=0.58
/proc/25028/task/25029/stat : 25029 (java) R 25018 25018 24676 0 -1 64 9880 0 0 0 53 5 0 0 16 0 8 0 29526339 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823205 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25030] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25030/stat : 25030 (java) S 25018 25018 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29526340 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25031] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25031/stat : 25031 (java) S 25018 25018 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29526340 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25032] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25032/stat : 25032 (java) S 25018 25018 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29526343 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25033] ppid=25018 vsize=807340 CPUtime=0.13
/proc/25028/task/25033/stat : 25033 (java) S 25018 25018 24676 0 -1 64 401 0 0 0 12 1 0 0 16 0 8 0 29526343 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25034] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25034/stat : 25034 (java) S 25018 25018 24676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 29526343 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25035] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25035/stat : 25035 (java) S 25018 25018 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29526343 826716160 15826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 821068
[startup+6.32277 s]
/proc/loadavg: 2.00 2.00 2.02 2/81 25048
/proc/meminfo: memFree=1791944/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=13728 CPUtime=0.62
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1186 7501 0 1 3 0 54 5 15 0 1 0 29526266 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 3432 808 370 3 0 531 0
[pid=25028] ppid=25018 vsize=807340 CPUtime=5.58
/proc/25028/stat : 25028 (java) R 25018 25018 24676 0 -1 0 38503 0 1 0 536 22 0 0 16 0 8 0 29526336 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25028/statm: 201835 38126 1507 14 0 189112 0
[pid=25028/tid=25029] ppid=25018 vsize=807340 CPUtime=1.53
/proc/25028/task/25029/stat : 25029 (java) S 25018 25018 24676 0 -1 64 32176 0 0 0 137 16 0 0 15 0 8 0 29526339 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25030] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25030/stat : 25030 (java) S 25018 25018 24676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29526340 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25031] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25031/stat : 25031 (java) S 25018 25018 24676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29526340 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25032] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25032/stat : 25032 (java) S 25018 25018 24676 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29526343 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25033] ppid=25018 vsize=807340 CPUtime=0.14
/proc/25028/task/25033/stat : 25033 (java) S 25018 25018 24676 0 -1 64 404 0 0 0 13 1 0 0 16 0 8 0 29526343 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25034] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25034/stat : 25034 (java) S 25018 25018 24676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 29526343 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25028/tid=25035] ppid=25018 vsize=807340 CPUtime=0
/proc/25028/task/25035/stat : 25035 (java) S 25018 25018 24676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29526343 826716160 38126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 821068
[startup+12.7425 s]
/proc/loadavg: 2.31 2.07 2.04 3/94 25099
/proc/meminfo: memFree=1576352/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.54
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1908 62454 0 2 6 1 1207 40 18 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 16316
[startup+25.5799 s]
/proc/loadavg: 2.34 2.08 2.04 3/80 25101
/proc/meminfo: memFree=1885400/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.54
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 6 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=10672 CPUtime=12.79
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 3336 0 0 0 1275 4 0 0 25 0 1 0 29527539 10928128 2310 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 2668 2310 52 112 0 2552 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 26988
[startup+51.2388 s]
/proc/loadavg: 2.22 2.07 2.04 3/80 25103
/proc/meminfo: memFree=1879000/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.54
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 6 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=12728 CPUtime=38.31
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 3814 0 0 0 3826 5 0 0 25 0 1 0 29527539 13033472 2788 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 3182 2788 52 112 0 3066 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 29044
[startup+102.453 s]
/proc/loadavg: 2.09 2.06 2.04 3/80 25103
/proc/meminfo: memFree=1874200/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.54
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 6 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=15288 CPUtime=89.3
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 4429 0 0 0 8925 5 0 0 25 0 1 0 29527539 15654912 3403 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 3822 3403 52 112 0 3706 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 31604
[startup+162.498 s]
/proc/loadavg: 2.03 2.04 2.03 3/80 25103
/proc/meminfo: memFree=1868952/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.54
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 6 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=17584 CPUtime=149.08
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 4997 0 0 0 14902 6 0 0 25 0 1 0 29527539 18006016 3971 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 4396 3971 52 112 0 4280 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 33900
[startup+222.543 s]
/proc/loadavg: 2.01 2.03 2.02 3/80 25103
/proc/meminfo: memFree=1867672/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.54
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 6 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=18536 CPUtime=208.86
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 5271 0 0 0 20879 7 0 0 25 0 1 0 29527539 18980864 4245 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 4634 4245 52 112 0 4518 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 34852
[startup+282.59 s]
/proc/loadavg: 2.00 2.03 2.02 3/80 25103
/proc/meminfo: memFree=1864856/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.54
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 6 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=19612 CPUtime=268.61
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 5532 0 0 0 26854 7 0 0 25 0 1 0 29527539 20082688 4506 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 4903 4506 52 112 0 4787 0
Current children cumulated CPU time (s) 281.15
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/80 25103
/proc/meminfo: memFree=1844440/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=30976 CPUtime=1105.39
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 8250 0 0 0 110528 11 0 0 25 0 1 0 29527539 31719424 7224 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 7744 7224 52 112 0 7628 0
Current children cumulated CPU time (s) 1117.94
Current children cumulated vsize (KiB) 47292
[startup+1183.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 25103
/proc/meminfo: memFree=1844120/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=31260 CPUtime=1165.13
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 8330 0 0 0 116502 11 0 0 25 0 1 0 29527539 32010240 7304 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 7815 7304 52 112 0 7699 0
Current children cumulated CPU time (s) 1177.68
Current children cumulated vsize (KiB) 47576
[startup+1243.27 s]
/proc/loadavg: 2.04 2.01 2.00 3/80 25103
/proc/meminfo: memFree=1839896/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=35308 CPUtime=1224.93
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9348 0 0 0 122480 13 0 0 25 0 1 0 29527539 36155392 8322 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 8827 8322 52 112 0 8711 0
Current children cumulated CPU time (s) 1237.48
Current children cumulated vsize (KiB) 51624
[startup+1303.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 25103
/proc/meminfo: memFree=1838936/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=35600 CPUtime=1284.71
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9410 0 0 0 128458 13 0 0 25 0 1 0 29527539 36454400 8384 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 8900 8384 52 112 0 8784 0
Current children cumulated CPU time (s) 1297.26
Current children cumulated vsize (KiB) 51916
[startup+1363.36 s]
/proc/loadavg: 2.08 2.02 2.01 3/80 25103
/proc/meminfo: memFree=1837720/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=35600 CPUtime=1344.46
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9417 0 0 0 134433 13 0 0 25 0 1 0 29527539 36454400 8391 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 8900 8391 52 112 0 8784 0
Current children cumulated CPU time (s) 1357.01
Current children cumulated vsize (KiB) 51916
[startup+1423.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/80 25103
/proc/meminfo: memFree=1837336/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=35748 CPUtime=1404.24
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9453 0 0 0 140411 13 0 0 25 0 1 0 29527539 36605952 8427 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528556 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 8937 8427 52 112 0 8821 0
Current children cumulated CPU time (s) 1416.79
Current children cumulated vsize (KiB) 52064
[startup+1483.44 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 25103
/proc/meminfo: memFree=1837208/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=35748 CPUtime=1464.02
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9472 0 0 0 146388 14 0 0 25 0 1 0 29527539 36605952 8446 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 8937 8446 52 112 0 8821 0
Current children cumulated CPU time (s) 1476.57
Current children cumulated vsize (KiB) 52064
[startup+1543.49 s]
/proc/loadavg: 2.01 2.02 2.00 3/80 25103
/proc/meminfo: memFree=1836888/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=35940 CPUtime=1523.79
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9487 0 0 0 152365 14 0 0 25 0 1 0 29527539 36802560 8461 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528537 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 8985 8461 52 112 0 8869 0
Current children cumulated CPU time (s) 1536.34
Current children cumulated vsize (KiB) 52256
[startup+1603.55 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 25187
/proc/meminfo: memFree=1835096/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=36128 CPUtime=1583.49
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9530 0 0 0 158330 19 0 0 25 0 1 0 29527539 36995072 8504 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 9032 8504 52 112 0 8916 0
Current children cumulated CPU time (s) 1596.04
Current children cumulated vsize (KiB) 52444
[startup+1663.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 25275
/proc/meminfo: memFree=1834912/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=36128 CPUtime=1643.2
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9530 0 0 0 164293 27 0 0 25 0 1 0 29527539 36995072 8504 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 9032 8504 52 112 0 8916 0
Current children cumulated CPU time (s) 1655.75
Current children cumulated vsize (KiB) 52444
[startup+1723.67 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 25301
/proc/meminfo: memFree=1835864/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=36128 CPUtime=1702.93
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9531 0 0 0 170264 29 0 0 25 0 1 0 29527539 36995072 8505 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 9032 8505 52 112 0 8916 0
Current children cumulated CPU time (s) 1715.48
Current children cumulated vsize (KiB) 52444
[startup+1783.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 25301
/proc/meminfo: memFree=1835608/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=36128 CPUtime=1762.7
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9531 0 0 0 176241 29 0 0 25 0 1 0 29527539 36995072 8505 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 9032 8505 52 112 0 8916 0
Current children cumulated CPU time (s) 1775.25
Current children cumulated vsize (KiB) 52444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.66 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 25301
/proc/meminfo: memFree=1835608/2055888 swapFree=4096564/4096564
[pid=25018] ppid=25016 vsize=16316 CPUtime=12.55
/proc/25018/stat : 25018 (sugar) S 25016 25018 24676 0 -1 4194304 1918 62454 0 2 7 1 1207 40 16 0 1 0 29526266 16707584 1432 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/25018/statm: 4079 1432 373 3 0 1178 0
[pid=25100] ppid=25018 vsize=36128 CPUtime=1787.52
/proc/25100/stat : 25100 (minisat) R 25018 25018 24676 0 -1 0 9533 0 0 0 178723 29 0 0 25 0 1 0 29527539 36995072 8507 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25100/statm: 9032 8507 52 112 0 8916 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 52444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25018 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=150152 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=426935
CPU time returned by wait4() is 12.5771
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.68
CPU time (s): 1800.09
CPU user time (s): 1799.38
CPU system time (s): 0.71
CPU usage (%): 99.4702
Max. virtual memory (cumulated for all children) (KiB): 821320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1502
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64457
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3139
involuntary context switches= 2800
runsolver used 1.87071 s user time and 4.65329 s system time
The end
Begin job on node76 on Mon Jan 29 18:34:40 UTC 2007
IDJOB= 202489
IDBENCH= 3860
IDSOLVER= 86
FILE ID= node76/202489-1170095679
PBS_JOBID= 3689638
Free space on /tmp= 66649 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
COMMAND LINE= /tmp/evaluation/202489-1170095679/solver /tmp/evaluation/202489-1170095679 /tmp/evaluation/202489-1170095679/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-202489-1170095679 -o ROOT/results/node76/solver-202489-1170095679 -C 1800 -M 900 /tmp/evaluation/202489-1170095679/solver /tmp/evaluation/202489-1170095679 /tmp/evaluation/202489-1170095679/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 88f7b2436b540d3b866e9a5fd2fd8d7c
RANDOM SEED= 724747696
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.219
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 : 6006.18
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.219
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 : 5999.41
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1860928 kB
Buffers: 12736 kB
Cached: 57236 kB
SwapCached: 0 kB
Active: 112680 kB
Inactive: 38604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1860928 kB
SwapTotal: 4096564 kB
SwapFree: 4096564 kB
Dirty: 964 kB
Writeback: 0 kB
Mapped: 92500 kB
Slab: 29340 kB
Committed_AS: 481048 kB
PageTables: 1908 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66645 MiB
End job on node76 on Mon Jan 29 19:04:49 UTC 2007