0.05 c # Sugar v0-40 (/tmp/evaluation/216535-1170100742/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/216535-1170100742/unknown.xml [Mon Jan 29 20:59:02 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/216535-1170100742/unknown.xml /tmp/evaluation/216535-1170100742/sugar22512.csp [Mon Jan 29 20:59:02 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216535-1170100742/sugar-v0-40.jar -convert /tmp/evaluation/216535-1170100742/unknown.xml /tmp/evaluation/216535-1170100742/sugar22512.csp
0.24 c BEGIN convert /tmp/evaluation/216535-1170100742/unknown.xml
0.71 c END convert (0.476623 seconds)
0.77 c # CONVERT_XML END : /tmp/evaluation/216535-1170100742/sugar22512.csp 144998 bytes (1 seconds) [Mon Jan 29 20:59:03 2007]
0.77 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.77
0.77 c # GENERATE_SAT BEGIN : /tmp/evaluation/216535-1170100742/sugar22512.bcnf [Mon Jan 29 20:59:03 2007]
0.77 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216535-1170100742/sugar-v0-40.jar -bcnf -map /tmp/evaluation/216535-1170100742/sugar22512.map /tmp/evaluation/216535-1170100742/sugar22512.csp /tmp/evaluation/216535-1170100742/sugar22512.bcnf
0.89 c BEGIN parse /tmp/evaluation/216535-1170100742/sugar22512.csp
3.25 c END parse (2.359614 seconds)
3.25 c BEGIN simplify
3.26 c END simplify (0.008024 seconds)
3.26 c BEGIN encode /tmp/evaluation/216535-1170100742/sugar22512.bcnf
3.55 c END encode (0.290982 seconds)
3.73 c # GENERATE_SAT END : 28304 variables 157672 clauses 2243904 bytes (3 seconds) [Mon Jan 29 20:59:06 2007]
3.73 c # GENERATE_SAT CPU : 2.86 = 0.12 + 0 + 2.64 + 0.1
3.73
3.73 c # SOLVE_SAT BEGIN : /tmp/evaluation/216535-1170100742/sugar22512.bcnf [Mon Jan 29 20:59:06 2007]
3.73 c # CMD : /tmp/evaluation/216535-1170100742/minisat /tmp/evaluation/216535-1170100742/sugar22512.bcnf /tmp/evaluation/216535-1170100742/sugar22512.out
3.84 c ==================================[MINISAT]===================================
3.84 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.84 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.84 c ==============================================================================
3.84 c | 0 | 109912 293138 | 36637 0 0 nan | 0.000 % |
3.89 c | 103 | 109912 293138 | 40300 103 3277 31.8 | 33.635 % |
3.92 c | 253 | 109912 293138 | 44330 253 7525 29.7 | 33.635 % |
3.95 c | 480 | 109912 293138 | 48763 480 11982 25.0 | 33.635 % |
3.99 c | 818 | 109912 293138 | 53640 818 16614 20.3 | 33.635 % |
4.05 c | 1325 | 109912 293138 | 59004 1325 41911 31.6 | 33.635 % |
4.13 c | 2084 | 109912 293138 | 64904 2084 63724 30.6 | 33.635 % |
4.25 c | 3223 | 109912 293138 | 71395 3223 91129 28.3 | 33.635 % |
4.48 c | 4931 | 109912 293138 | 78534 4931 164544 33.4 | 33.635 % |
4.76 c | 7493 | 109912 293138 | 86388 7493 233603 31.2 | 33.635 % |
5.44 c | 11337 | 109912 293138 | 95026 11337 470744 41.5 | 33.635 % |
6.54 c | 17106 | 109912 293138 | 104529 17106 821522 48.0 | 33.635 % |
9.15 c | 25756 | 109912 293138 | 114982 25756 1791380 69.6 | 33.635 % |
11.33 c | 38730 | 109912 293138 | 126480 38730 2289805 59.1 | 33.635 % |
23.13 c | 58191 | 109912 293138 | 139128 58191 4417049 75.9 | 33.635 % |
36.55 c | 87384 | 109912 293138 | 153041 87384 6597399 75.5 | 33.635 % |
80.87 c | 131173 | 109912 293138 | 168346 131173 10030688 76.5 | 33.635 % |
171.50 c | 196857 | 109912 293138 | 185180 27966 3345097 119.6 | 33.635 % |
256.43 c | 295383 | 109912 293138 | 203698 126492 9244913 73.1 | 33.635 % |
439.35 c | 443174 | 109912 293138 | 224068 71399 8483355 118.8 | 33.635 % |
699.58 c | 664858 | 109912 293138 | 246475 69864 5107229 73.1 | 33.635 % |
1286.04 c | 997383 | 109912 293138 | 271122 157058 13954884 88.9 | 33.635 % |
1816.13
1816.13 s UNKNOWN
1816.13 c # INTERRUPTED
1816.13 c # MAIN END : (1816 seconds) [Mon Jan 29 21:29:18 2007]
1816.13 c # MAIN CPU : 2.86 = 0.12 + 0 + 2.64 + 0.1
1816.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-216535-1170100742 -o ROOT/results/node29/solver-216535-1170100742 -C 1800 -M 900 /tmp/evaluation/216535-1170100742/solver /tmp/evaluation/216535-1170100742 /tmp/evaluation/216535-1170100742/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.57 2.79 2.72 5/87 22513
/proc/meminfo: memFree=1742256/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=18540 CPUtime=0
/proc/22512/stat : 22512 (runsolver) R 22510 22512 21641 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 3838470 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22512/statm: 4635 279 244 17 0 2626 0
[startup+0.113108 s]
/proc/loadavg: 2.57 2.79 2.72 5/87 22513
/proc/meminfo: memFree=1742256/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=13724 CPUtime=0.04
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 3838470 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.521131 s]
/proc/loadavg: 2.57 2.79 2.72 5/87 22513
/proc/meminfo: memFree=1742256/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=13724 CPUtime=0.04
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 3838470 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34418 s]
/proc/loadavg: 2.57 2.79 2.72 4/96 22529
/proc/meminfo: memFree=1720552/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=13724 CPUtime=0.04
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 3838470 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 3431 808 370 3 0 531 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22522] ppid=22512 vsize=807384 CPUtime=0.55
/proc/22522/stat : 22522 (java) R 22512 22512 21641 0 -1 0 6738 0 1 0 50 5 0 0 17 0 8 0 3838547 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073616104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22522/statm: 201846 6488 1506 14 0 189124 0
[pid=22522/tid=22523] ppid=22512 vsize=807384 CPUtime=0.02
/proc/22522/task/22523/stat : 22523 (java) S 22512 22512 21641 0 -1 64 554 0 0 0 2 0 0 0 16 0 8 0 3838550 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22524] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22524/stat : 22524 (java) S 22512 22512 21641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3838551 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22525] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22525/stat : 22525 (java) S 22512 22512 21641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3838551 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22526] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22526/stat : 22526 (java) S 22512 22512 21641 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3838554 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22527] ppid=22512 vsize=807384 CPUtime=0.12
/proc/22522/task/22527/stat : 22527 (java) R 22512 22512 21641 0 -1 64 394 0 0 0 12 0 0 0 20 0 8 0 3838554 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22528] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22528/stat : 22528 (java) S 22512 22512 21641 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3838554 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22529] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22529/stat : 22529 (java) S 22512 22512 21641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3838554 826761216 6488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 821108
[startup+2.9973 s]
/proc/loadavg: 2.57 2.79 2.72 3/96 22529
/proc/meminfo: memFree=1711656/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=13724 CPUtime=0.04
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 3838470 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 3431 808 370 3 0 531 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22522] ppid=22512 vsize=807384 CPUtime=2.19
/proc/22522/stat : 22522 (java) R 22512 22512 21641 0 -1 0 9725 0 1 0 212 7 0 0 25 0 8 0 3838547 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073616012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22522/statm: 201846 9462 1506 14 0 189124 0
[pid=22522/tid=22523] ppid=22512 vsize=807384 CPUtime=0.22
/proc/22522/task/22523/stat : 22523 (java) S 22512 22512 21641 0 -1 64 3503 0 0 0 20 2 0 0 16 0 8 0 3838550 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22524] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22524/stat : 22524 (java) S 22512 22512 21641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3838551 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22525] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22525/stat : 22525 (java) S 22512 22512 21641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3838551 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22526] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22526/stat : 22526 (java) S 22512 22512 21641 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3838554 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22527] ppid=22512 vsize=807384 CPUtime=0.15
/proc/22522/task/22527/stat : 22527 (java) S 22512 22512 21641 0 -1 64 419 0 0 0 14 1 0 0 20 0 8 0 3838554 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22528] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22528/stat : 22528 (java) S 22512 22512 21641 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3838554 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22522/tid=22529] ppid=22512 vsize=807384 CPUtime=0
/proc/22522/task/22529/stat : 22529 (java) S 22512 22512 21641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3838554 826761216 9462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 821108
[startup+6.20149 s]
/proc/loadavg: 2.52 2.77 2.72 3/89 22530
/proc/meminfo: memFree=1720800/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 15 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=10196 CPUtime=2.42
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 2662 0 0 0 241 1 0 0 25 0 1 0 3838843 10440704 2099 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528532 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 2549 2099 52 112 0 2433 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 31648
[startup+12.6639 s]
/proc/loadavg: 2.48 2.76 2.72 3/89 22530
/proc/meminfo: memFree=1709536/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=19168 CPUtime=8.83
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 4894 0 0 0 880 3 0 0 25 0 1 0 3838843 19628032 4331 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 4792 4331 52 112 0 4676 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 40620
[startup+25.5127 s]
/proc/loadavg: 2.37 2.72 2.70 3/89 22530
/proc/meminfo: memFree=1695520/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=29552 CPUtime=21.56
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 7485 0 0 0 2150 6 0 0 25 0 1 0 3838843 30261248 6922 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525573 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 7388 6922 52 112 0 7272 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 51004
[startup+51.1993 s]
/proc/loadavg: 2.25 2.66 2.68 3/89 22530
/proc/meminfo: memFree=1674016/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=43520 CPUtime=47.02
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 10964 0 0 0 4691 11 0 0 25 0 1 0 3838843 44564480 10401 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 10880 10401 52 112 0 10764 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 64972
[startup+102.475 s]
/proc/loadavg: 2.10 2.56 2.64 3/89 22530
/proc/meminfo: memFree=1654112/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=63768 CPUtime=97.82
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 15967 0 0 0 9767 15 0 0 25 0 1 0 3838843 65298432 15404 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 15942 15404 52 112 0 15826 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 85220
[startup+162.509 s]
/proc/loadavg: 2.04 2.45 2.60 3/95 22640
/proc/meminfo: memFree=1633480/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=82140 CPUtime=157.18
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 20584 0 0 0 15697 21 0 0 25 0 1 0 3838843 84111360 20021 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 20535 20021 52 112 0 20419 0
Current children cumulated CPU time (s) 160.66
Current children cumulated vsize (KiB) 103592
[startup+222.549 s]
/proc/loadavg: 2.01 2.37 2.56 3/89 22728
/proc/meminfo: memFree=1632448/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=82304 CPUtime=216.57
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 20614 0 0 0 21635 22 0 0 25 0 1 0 3838843 84279296 20051 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527286 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 20576 20051 52 112 0 20460 0
Current children cumulated CPU time (s) 220.05
Current children cumulated vsize (KiB) 103756
[startup+282.65 s]
/proc/loadavg: 2.00 2.30 2.52 3/89 22728
/proc/meminfo: memFree=1615584/2055920 swapFree=4192812/4192956
################
# More data... #
################
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 29736 0 0 0 122729 39 0 0 25 0 1 0 3838843 122605568 29173 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 29933 29173 52 112 0 29817 0
Current children cumulated CPU time (s) 1231.16
Current children cumulated vsize (KiB) 141184
[startup+1302.94 s]
/proc/loadavg: 2.00 2.01 2.16 3/89 22730
/proc/meminfo: memFree=1498784/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=119852 CPUtime=1287.15
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 29749 0 0 0 128676 39 0 0 25 0 1 0 3838843 122728448 29186 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 29963 29186 52 112 0 29847 0
Current children cumulated CPU time (s) 1290.63
Current children cumulated vsize (KiB) 141304
[startup+1362.96 s]
/proc/loadavg: 2.00 2.00 2.15 3/89 22730
/proc/meminfo: memFree=1489312/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=124964 CPUtime=1346.63
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 30993 0 0 0 134621 42 0 0 25 0 1 0 3838843 127963136 30430 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 31241 30430 52 112 0 31125 0
Current children cumulated CPU time (s) 1350.11
Current children cumulated vsize (KiB) 146416
[startup+1422.98 s]
/proc/loadavg: 2.07 2.02 2.14 3/89 22730
/proc/meminfo: memFree=1473056/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=140724 CPUtime=1406.11
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 34893 0 0 0 140563 48 0 0 25 0 1 0 3838843 144101376 34330 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 35181 34330 52 112 0 35065 0
Current children cumulated CPU time (s) 1409.59
Current children cumulated vsize (KiB) 162176
[startup+1483 s]
/proc/loadavg: 2.02 2.01 2.13 3/89 22730
/proc/meminfo: memFree=1459680/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=152464 CPUtime=1465.59
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 37833 0 0 0 146507 52 0 0 25 0 1 0 3838843 156123136 37270 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 38116 37270 52 112 0 38000 0
Current children cumulated CPU time (s) 1469.07
Current children cumulated vsize (KiB) 173916
[startup+1543.02 s]
/proc/loadavg: 2.01 2.00 2.12 3/89 22730
/proc/meminfo: memFree=1455136/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=156028 CPUtime=1525.07
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 38757 0 0 0 152454 53 0 0 25 0 1 0 3838843 159772672 38194 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 39007 38194 52 112 0 38891 0
Current children cumulated CPU time (s) 1528.55
Current children cumulated vsize (KiB) 177480
[startup+1603.05 s]
/proc/loadavg: 2.00 2.00 2.11 3/89 22730
/proc/meminfo: memFree=1453728/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=156028 CPUtime=1584.55
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 38760 0 0 0 158401 54 0 0 25 0 1 0 3838843 159772672 38197 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 39007 38197 52 112 0 38891 0
Current children cumulated CPU time (s) 1588.03
Current children cumulated vsize (KiB) 177480
[startup+1663.07 s]
/proc/loadavg: 2.00 2.00 2.09 3/89 22730
/proc/meminfo: memFree=1443808/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=156028 CPUtime=1644.02
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 38760 0 0 0 164348 54 0 0 25 0 1 0 3838843 159772672 38197 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/22530/statm: 39007 38197 52 112 0 38891 0
Current children cumulated CPU time (s) 1647.5
Current children cumulated vsize (KiB) 177480
[startup+1723.07 s]
/proc/loadavg: 1.99 2.00 2.09 2/80 22745
/proc/meminfo: memFree=1651824/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=156028 CPUtime=1703.56
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 38763 0 0 0 170301 55 0 0 25 0 1 0 3838843 159772672 38200 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22530/statm: 39007 38200 52 112 0 38891 0
Current children cumulated CPU time (s) 1707.04
Current children cumulated vsize (KiB) 177480
[startup+1783.09 s]
/proc/loadavg: 1.36 1.81 2.02 2/80 22745
/proc/meminfo: memFree=1652144/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=156028 CPUtime=1763.57
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 38769 0 0 0 176301 56 0 0 25 0 1 0 3838843 159772672 38206 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22530/statm: 39007 38206 52 112 0 38891 0
Current children cumulated CPU time (s) 1767.05
Current children cumulated vsize (KiB) 177480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.13 s]
/proc/loadavg: 1.20 1.72 1.98 2/80 22745
/proc/meminfo: memFree=1652144/2055920 swapFree=4192812/4192956
[pid=22512] ppid=22510 vsize=21452 CPUtime=2.9
/proc/22512/stat : 22512 (sugar) S 22510 22512 21641 0 -1 4194304 3167 11507 0 1 15 1 264 10 16 0 1 0 3838470 21966848 2680 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22512/statm: 5363 2680 373 3 0 2463 0
[pid=22514] ppid=22512 vsize=0 CPUtime=0.58
/proc/22514/stat : 22514 (java) Z 22512 22512 21641 0 -1 1036 7330 0 1 0 52 6 0 0 16 0 1 0 3838475 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22514/statm: 0 0 0 0 0 0 0
[pid=22530] ppid=22512 vsize=156028 CPUtime=1796.6
/proc/22530/stat : 22530 (minisat) R 22512 22512 21641 0 -1 0 38770 0 0 0 179604 56 0 0 25 0 1 0 3838843 159772672 38207 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22530/statm: 39007 38207 52 112 0 38891 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 177480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22512 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=797574 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=132979
CPU time returned by wait4() is 2.93055
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): 1817.14
CPU time (s): 1800.1
CPU user time (s): 1799.35
CPU system time (s): 0.75
CPU usage (%): 99.0621
Max. virtual memory (cumulated for all children) (KiB): 821108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.79757
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14759
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= 743
involuntary context switches= 708
runsolver used 2.05569 s user time and 5.9131 s system time
The end
Begin job on node29 on Mon Jan 29 19:59:02 UTC 2007
IDJOB= 216535
IDBENCH= 5085
IDSOLVER= 86
FILE ID= node29/216535-1170100742
PBS_JOBID= 3689676
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/chnl/chnl-40-41.xml
COMMAND LINE= /tmp/evaluation/216535-1170100742/solver /tmp/evaluation/216535-1170100742 /tmp/evaluation/216535-1170100742/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-216535-1170100742 -o ROOT/results/node29/solver-216535-1170100742 -C 1800 -M 900 /tmp/evaluation/216535-1170100742/solver /tmp/evaluation/216535-1170100742 /tmp/evaluation/216535-1170100742/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3c3d475cbc94841eacd99d35156ae3a4
RANDOM SEED= 873380386
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: 1742672 kB
Buffers: 32368 kB
Cached: 49436 kB
SwapCached: 0 kB
Active: 213544 kB
Inactive: 45424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 196848 kB
Slab: 38912 kB
Committed_AS: 393280 kB
PageTables: 2408 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= 66564 MiB
End job on node29 on Mon Jan 29 20:29:20 UTC 2007