0.13 c # Sugar v0-40 (/tmp/evaluation/221711-1170102699/sugar-v0-40.jar)
0.13
0.13 c # MAIN BEGIN : /tmp/evaluation/221711-1170102699/unknown.xml [Mon Jan 29 21:31:40 2007]
0.13 c # CONVERT_XML BEGIN : /tmp/evaluation/221711-1170102699/unknown.xml /tmp/evaluation/221711-1170102699/sugar23356.csp [Mon Jan 29 21:31:40 2007]
0.13 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/221711-1170102699/sugar-v0-40.jar -convert /tmp/evaluation/221711-1170102699/unknown.xml /tmp/evaluation/221711-1170102699/sugar23356.csp
0.26 c BEGIN convert /tmp/evaluation/221711-1170102699/unknown.xml
0.77 c END convert (0.51617 seconds)
0.79 c # CONVERT_XML END : /tmp/evaluation/221711-1170102699/sugar23356.csp 1240839 bytes (0 seconds) [Mon Jan 29 21:31:40 2007]
0.79 c # CONVERT_XML CPU : 0.01 = 0 + 0.01 + 0 + 0
0.79
0.79 c # GENERATE_SAT BEGIN : /tmp/evaluation/221711-1170102699/sugar23356.bcnf [Mon Jan 29 21:31:40 2007]
0.79 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/221711-1170102699/sugar-v0-40.jar -bcnf -map /tmp/evaluation/221711-1170102699/sugar23356.map /tmp/evaluation/221711-1170102699/sugar23356.csp /tmp/evaluation/221711-1170102699/sugar23356.bcnf
0.91 c BEGIN parse /tmp/evaluation/221711-1170102699/sugar23356.csp
5.61 c END parse (4.695433 seconds)
5.61 c BEGIN simplify
5.63 c END simplify (0.020563 seconds)
5.63 c BEGIN encode /tmp/evaluation/221711-1170102699/sugar23356.bcnf
5.84 c END encode (0.209515 seconds)
5.88 c # GENERATE_SAT END : 552 variables 38892 clauses 747396 bytes (5 seconds) [Mon Jan 29 21:31:45 2007]
5.88 c # GENERATE_SAT CPU : 5.04 = 0 + 0 + 4.92 + 0.12
5.88
5.88 c # SOLVE_SAT BEGIN : /tmp/evaluation/221711-1170102699/sugar23356.bcnf [Mon Jan 29 21:31:45 2007]
5.88 c # CMD : /tmp/evaluation/221711-1170102699/minisat /tmp/evaluation/221711-1170102699/sugar23356.bcnf /tmp/evaluation/221711-1170102699/sugar23356.out
5.90 c ==================================[MINISAT]===================================
5.90 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.90 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
5.90 c ==============================================================================
5.90 c | 0 | 38892 147951 | 12964 0 0 nan | 0.000 % |
5.92 c | 101 | 38892 147951 | 14260 101 846 8.4 | 0.000 % |
5.94 c | 251 | 38892 147951 | 15686 251 2110 8.4 | 0.011 % |
5.98 c | 477 | 38892 147951 | 17255 477 3950 8.3 | 0.013 % |
6.04 c | 814 | 38892 147951 | 18980 814 7284 8.9 | 0.013 % |
6.12 c | 1320 | 38892 147951 | 20878 1320 12099 9.2 | 0.013 % |
6.25 c | 2081 | 38892 147951 | 22966 2081 19311 9.3 | 0.007 % |
6.44 c | 3221 | 38894 147951 | 25263 3219 30124 9.4 | 0.013 % |
6.75 c | 4929 | 38894 147951 | 27789 4927 47155 9.6 | 0.013 % |
7.25 c | 7492 | 38894 147951 | 30568 7490 72986 9.7 | 0.015 % |
8.04 c | 11336 | 38895 147951 | 33625 11333 114279 10.1 | 0.015 % |
9.30 c | 17102 | 38895 147951 | 36987 17099 185294 10.8 | 0.007 % |
11.67 c | 25751 | 38895 147951 | 40686 25748 297946 11.6 | 0.015 % |
16.63 c | 38726 | 38896 147951 | 44755 38722 462350 11.9 | 0.008 % |
24.14 c | 58187 | 38898 147951 | 49230 26936 307558 11.4 | 0.012 % |
34.97 c | 87379 | 38902 147951 | 54153 19670 254330 12.9 | 0.012 % |
51.12 c | 131168 | 38910 147951 | 59569 22819 317657 13.9 | 0.013 % |
79.75 c | 196853 | 38916 147951 | 65526 43872 644321 14.7 | 0.013 % |
128.30 c | 295379 | 38918 147951 | 72078 43549 656939 15.1 | 0.013 % |
212.17 c | 443170 | 38920 147951 | 79286 25571 333378 13.0 | 0.013 % |
334.76 c | 664853 | 38923 147951 | 87215 59679 787894 13.2 | 0.021 % |
514.51 c | 997378 | 38812 147576 | 95936 16568 237419 14.3 | 0.182 % |
805.17 c | 1496166 | 38836 147576 | 105530 33306 484298 14.5 | 0.189 % |
1298.81 c | 2244349 | 38725 147195 | 116083 57009 857009 15.0 | 0.363 % |
1802.12
1802.12 s UNKNOWN
1802.12 c # INTERRUPTED
1802.12 c # MAIN END : (1802 seconds) [Mon Jan 29 22:01:42 2007]
1802.12 c # MAIN CPU : 5.05 = 0 + 0.01 + 4.92 + 0.12
1802.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-221711-1170102699 -o ROOT/results/node29/solver-221711-1170102699 -C 1800 -M 900 /tmp/evaluation/221711-1170102699/solver /tmp/evaluation/221711-1170102699 /tmp/evaluation/221711-1170102699/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.84 1.78 1.96 5/94 23357
/proc/meminfo: memFree=1412984/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=12268 CPUtime=0
/proc/23356/stat : 23356 (sugar) R 23354 23356 22761 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 4034187 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221780867685 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/23356/statm: 3067 316 241 3 0 167 0
[startup+0.109162 s]
/proc/loadavg: 1.84 1.78 1.96 5/94 23357
/proc/meminfo: memFree=1412984/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=12536 CPUtime=0.01
/proc/23356/stat : 23356 (sugar) R 23354 23356 22761 0 -1 4194304 765 0 0 0 1 0 0 0 18 0 1 0 4034187 12836864 484 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221794157896 0 0 4224 0 0 0 0 17 1 0 0
/proc/23356/statm: 3134 484 314 3 0 234 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12536
[startup+0.517235 s]
/proc/loadavg: 1.84 1.78 1.96 5/94 23357
/proc/meminfo: memFree=1412984/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=0.04
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 4034187 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23356/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34022 s]
/proc/loadavg: 1.94 1.80 1.97 5/103 23373
/proc/meminfo: memFree=1377584/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=0.04
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 4034187 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23356/statm: 3431 809 371 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23366] ppid=23356 vsize=807064 CPUtime=0.52
/proc/23366/stat : 23366 (java) R 23356 23356 22761 0 -1 0 7331 0 1 0 48 4 0 0 18 0 8 0 4034267 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23366/statm: 201766 7079 1494 14 0 189044 0
[pid=23366/tid=23367] ppid=23356 vsize=807064 CPUtime=0.07
/proc/23366/task/23367/stat : 23367 (java) R 23356 23356 22761 0 -1 64 1277 0 0 0 7 0 0 0 16 0 8 0 4034270 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23368] ppid=23356 vsize=807064 CPUtime=0
/proc/23366/task/23368/stat : 23368 (java) S 23356 23356 22761 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4034271 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23369] ppid=23356 vsize=807064 CPUtime=0
/proc/23366/task/23369/stat : 23369 (java) S 23356 23356 22761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4034271 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23370] ppid=23356 vsize=807064 CPUtime=0
/proc/23366/task/23370/stat : 23370 (java) S 23356 23356 22761 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4034274 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23371] ppid=23356 vsize=807064 CPUtime=0.05
/proc/23366/task/23371/stat : 23371 (java) R 23356 23356 22761 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 4034274 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23372] ppid=23356 vsize=807064 CPUtime=0
/proc/23366/task/23372/stat : 23372 (java) S 23356 23356 22761 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4034274 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23373] ppid=23356 vsize=807064 CPUtime=0
/proc/23366/task/23373/stat : 23373 (java) S 23356 23356 22761 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 4034274 826433536 7079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 820788
[startup+2.98532 s]
/proc/loadavg: 1.94 1.80 1.97 4/103 23373
/proc/meminfo: memFree=1340400/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=0.04
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 4034187 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23356/statm: 3431 809 371 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23366] ppid=23356 vsize=807336 CPUtime=2.16
/proc/23366/stat : 23366 (java) R 23356 23356 22761 0 -1 0 12950 0 1 0 210 6 0 0 17 0 8 0 4034267 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23366/statm: 201834 12685 1506 14 0 189112 0
[pid=23366/tid=23367] ppid=23356 vsize=807336 CPUtime=0.48
/proc/23366/task/23367/stat : 23367 (java) S 23356 23356 22761 0 -1 64 6751 0 0 0 46 2 0 0 16 0 8 0 4034270 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23368] ppid=23356 vsize=807336 CPUtime=0
/proc/23366/task/23368/stat : 23368 (java) S 23356 23356 22761 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4034271 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23369] ppid=23356 vsize=807336 CPUtime=0
/proc/23366/task/23369/stat : 23369 (java) S 23356 23356 22761 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4034271 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23370] ppid=23356 vsize=807336 CPUtime=0
/proc/23366/task/23370/stat : 23370 (java) S 23356 23356 22761 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4034274 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23371] ppid=23356 vsize=807336 CPUtime=0.12
/proc/23366/task/23371/stat : 23371 (java) S 23356 23356 22761 0 -1 64 399 0 0 0 12 0 0 0 16 0 8 0 4034274 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23372] ppid=23356 vsize=807336 CPUtime=0
/proc/23366/task/23372/stat : 23372 (java) S 23356 23356 22761 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4034274 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23366/tid=23373] ppid=23356 vsize=807336 CPUtime=0
/proc/23366/task/23373/stat : 23373 (java) S 23356 23356 22761 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 4034274 826712064 12685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 821060
[startup+6.19152 s]
/proc/loadavg: 1.94 1.80 1.97 4/103 23428
/proc/meminfo: memFree=1718448/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 15 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 13724
[startup+12.6669 s]
/proc/loadavg: 1.95 1.81 1.97 3/89 23438
/proc/meminfo: memFree=1789728/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=5672 CPUtime=6.76
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 1255 0 0 0 675 1 0 0 25 0 1 0 4034776 5808128 1058 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 1418 1058 51 112 0 1302 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 19396
[startup+25.5257 s]
/proc/loadavg: 1.95 1.81 1.97 3/89 23438
/proc/meminfo: memFree=1785184/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=7200 CPUtime=19.61
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 1642 0 0 0 1959 2 0 0 25 0 1 0 4034776 7372800 1445 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 1800 1445 51 112 0 1684 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 20924
[startup+51.2183 s]
/proc/loadavg: 1.97 1.83 1.97 3/89 23438
/proc/meminfo: memFree=1782304/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=8932 CPUtime=45.27
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 2080 0 0 0 4524 3 0 0 25 0 1 0 4034776 9146368 1883 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528461 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 2233 1883 51 112 0 2117 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 22656
[startup+102.502 s]
/proc/loadavg: 2.02 1.87 1.97 3/89 23438
/proc/meminfo: memFree=1778336/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=11080 CPUtime=96.51
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 2562 0 0 0 9647 4 0 0 25 0 1 0 4034776 11345920 2365 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 2770 2365 51 112 0 2654 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 24804
[startup+162.522 s]
/proc/loadavg: 2.06 1.91 1.98 3/89 23438
/proc/meminfo: memFree=1774688/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=12696 CPUtime=156.47
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 2973 0 0 0 15642 5 0 0 25 0 1 0 4034776 13000704 2776 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 3174 2776 51 112 0 3058 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 26420
[startup+222.544 s]
/proc/loadavg: 2.02 1.92 1.98 3/89 23438
/proc/meminfo: memFree=1773152/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=13728 CPUtime=216.42
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 3218 0 0 0 21636 6 0 0 25 0 1 0 4034776 14057472 3021 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 3432 3021 51 112 0 3316 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 27452
[startup+282.564 s]
/proc/loadavg: 2.00 1.93 1.98 3/89 23438
/proc/meminfo: memFree=1771168/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
################
# More data... #
################
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 5706 0 0 0 123559 13 0 0 25 0 1 0 4034776 24834048 5509 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6063 5509 51 112 0 5947 0
Current children cumulated CPU time (s) 1241.43
Current children cumulated vsize (KiB) 37976
[startup+1302.89 s]
/proc/loadavg: 2.02 2.00 2.00 3/89 23438
/proc/meminfo: memFree=1749856/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=25128 CPUtime=1295.66
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 5926 0 0 0 129553 13 0 0 25 0 1 0 4034776 25731072 5729 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6282 5729 51 112 0 6166 0
Current children cumulated CPU time (s) 1301.37
Current children cumulated vsize (KiB) 38852
[startup+1362.92 s]
/proc/loadavg: 2.08 2.03 2.00 3/89 23438
/proc/meminfo: memFree=1748704/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=25704 CPUtime=1355.64
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6051 0 0 0 135550 14 0 0 25 0 1 0 4034776 26320896 5854 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6426 5854 51 112 0 6310 0
Current children cumulated CPU time (s) 1361.35
Current children cumulated vsize (KiB) 39428
[startup+1422.94 s]
/proc/loadavg: 2.03 2.02 2.00 3/89 23438
/proc/meminfo: memFree=1747424/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=26308 CPUtime=1415.62
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6169 0 0 0 141548 14 0 0 25 0 1 0 4034776 26939392 5972 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6577 5972 51 112 0 6461 0
Current children cumulated CPU time (s) 1421.33
Current children cumulated vsize (KiB) 40032
[startup+1482.96 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 23438
/proc/meminfo: memFree=1746528/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=26700 CPUtime=1475.57
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6293 0 0 0 147543 14 0 0 25 0 1 0 4034776 27340800 6096 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6675 6096 51 112 0 6559 0
Current children cumulated CPU time (s) 1481.28
Current children cumulated vsize (KiB) 40424
[startup+1542.99 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 23438
/proc/meminfo: memFree=1745696/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=27220 CPUtime=1535.53
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6390 0 0 0 153539 14 0 0 25 0 1 0 4034776 27873280 6193 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6805 6193 51 112 0 6689 0
Current children cumulated CPU time (s) 1541.24
Current children cumulated vsize (KiB) 40944
[startup+1603.02 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 23438
/proc/meminfo: memFree=1744928/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=27548 CPUtime=1595.51
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6486 0 0 0 159536 15 0 0 25 0 1 0 4034776 28209152 6289 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6887 6289 51 112 0 6771 0
Current children cumulated CPU time (s) 1601.22
Current children cumulated vsize (KiB) 41272
[startup+1663.04 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 23438
/proc/meminfo: memFree=1744800/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=27712 CPUtime=1655.47
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6501 0 0 0 165532 15 0 0 25 0 1 0 4034776 28377088 6304 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6928 6304 51 112 0 6812 0
Current children cumulated CPU time (s) 1661.18
Current children cumulated vsize (KiB) 41436
[startup+1723.07 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 23438
/proc/meminfo: memFree=1744352/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=27868 CPUtime=1715.43
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6535 0 0 0 171528 15 0 0 25 0 1 0 4034776 28536832 6338 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 6967 6338 51 112 0 6851 0
Current children cumulated CPU time (s) 1721.14
Current children cumulated vsize (KiB) 41592
[startup+1783.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 23520
/proc/meminfo: memFree=1742224/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=28008 CPUtime=1775.4
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6567 0 0 0 177519 21 0 0 25 0 1 0 4034776 28680192 6370 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 7002 6370 51 112 0 6886 0
Current children cumulated CPU time (s) 1781.11
Current children cumulated vsize (KiB) 41732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.11 s]
/proc/loadavg: 2.07 2.02 2.00 3/95 23548
/proc/meminfo: memFree=1742112/2055920 swapFree=4192812/4192956
[pid=23356] ppid=23354 vsize=13724 CPUtime=5.08
/proc/23356/stat : 23356 (sugar) S 23354 23356 22761 0 -1 4194304 1276 20209 0 1 3 1 492 12 16 0 1 0 4034187 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23356/statm: 3431 815 373 3 0 531 0
[pid=23358] ppid=23356 vsize=0 CPUtime=0.63
/proc/23358/stat : 23358 (java) Z 23356 23356 22761 0 -1 1036 7519 0 1 0 58 5 0 0 18 0 1 0 4034201 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23358/statm: 0 0 0 0 0 0 0
[pid=23429] ppid=23356 vsize=28152 CPUtime=1794.39
/proc/23429/stat : 23429 (minisat) R 23356 23356 22761 0 -1 0 6601 0 0 0 179413 26 0 0 25 0 1 0 4034776 28827648 6404 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23429/statm: 7038 6404 51 112 0 6922 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 41876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23356 and gives childrusage.ru_utime.tv_sec=4 childrusage.ru_utime.tv_usec=958246 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=134979
CPU time returned by wait4() is 5.09323
while last known CPU time is 1800.1
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1803.13
CPU time (s): 1800.1
CPU user time (s): 1799.66
CPU system time (s): 0.44
CPU usage (%): 99.8317
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.95825
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21568
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 849
involuntary context switches= 819
runsolver used 2.11068 s user time and 5.88211 s system time
The end
Begin job on node29 on Mon Jan 29 20:31:39 UTC 2007
IDJOB= 221711
IDBENCH= 5464
IDSOLVER= 86
FILE ID= node29/221711-1170102699
PBS_JOBID= 3689764
Free space on /tmp= 66550 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-50021_ext.xml
COMMAND LINE= /tmp/evaluation/221711-1170102699/solver /tmp/evaluation/221711-1170102699 /tmp/evaluation/221711-1170102699/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-221711-1170102699 -o ROOT/results/node29/solver-221711-1170102699 -C 1800 -M 900 /tmp/evaluation/221711-1170102699/solver /tmp/evaluation/221711-1170102699 /tmp/evaluation/221711-1170102699/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 094103c37843dc2a4de224366d3c3050
RANDOM SEED= 546427870
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.209
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.209
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: 1428376 kB
Buffers: 35852 kB
Cached: 66828 kB
SwapCached: 0 kB
Active: 523760 kB
Inactive: 49396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1428376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 15348 kB
Writeback: 0 kB
Mapped: 496084 kB
Slab: 38448 kB
Committed_AS: 968748 kB
PageTables: 3052 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= 66561 MiB
End job on node29 on Mon Jan 29 21:01:43 UTC 2007