0.05 c # Sugar v0-40 (/tmp/evaluation/213945-1170099813/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/213945-1170099813/unknown.xml [Mon Jan 29 20:43:36 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/213945-1170099813/unknown.xml /tmp/evaluation/213945-1170099813/sugar25634.csp [Mon Jan 29 20:43:36 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/213945-1170099813/sugar-v0-40.jar -convert /tmp/evaluation/213945-1170099813/unknown.xml /tmp/evaluation/213945-1170099813/sugar25634.csp
0.17 c BEGIN convert /tmp/evaluation/213945-1170099813/unknown.xml
1.51 c END convert (1.334903 seconds)
1.54 c # CONVERT_XML END : /tmp/evaluation/213945-1170099813/sugar25634.csp 546864 bytes (2 seconds) [Mon Jan 29 20:43:38 2007]
1.54 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.54
1.54 c # GENERATE_SAT BEGIN : /tmp/evaluation/213945-1170099813/sugar25634.bcnf [Mon Jan 29 20:43:38 2007]
1.54 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/213945-1170099813/sugar-v0-40.jar -bcnf -map /tmp/evaluation/213945-1170099813/sugar25634.map /tmp/evaluation/213945-1170099813/sugar25634.csp /tmp/evaluation/213945-1170099813/sugar25634.bcnf
1.67 c BEGIN parse /tmp/evaluation/213945-1170099813/sugar25634.csp
3.13 c END parse (1.4541 seconds)
3.13 c BEGIN simplify
3.14 c END simplify (0.008269 seconds)
3.14 c BEGIN encode /tmp/evaluation/213945-1170099813/sugar25634.bcnf
3.28 c END encode (0.143991 seconds)
3.37 c # GENERATE_SAT END : 6211 variables 12916 clauses 181836 bytes (2 seconds) [Mon Jan 29 20:43:40 2007]
3.37 c # GENERATE_SAT CPU : 1.78 = 0.07 + 0.01 + 1.64 + 0.06
3.37
3.37 c # SOLVE_SAT BEGIN : /tmp/evaluation/213945-1170099813/sugar25634.bcnf [Mon Jan 29 20:43:40 2007]
3.37 c # CMD : /tmp/evaluation/213945-1170099813/minisat /tmp/evaluation/213945-1170099813/sugar25634.bcnf /tmp/evaluation/213945-1170099813/sugar25634.out
3.39 c ==================================[MINISAT]===================================
3.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.39 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.39 c ==============================================================================
3.39 c | 0 | 11100 28941 | 3700 0 0 nan | 0.000 % |
3.40 c | 100 | 11100 28941 | 4070 100 1110 11.1 | 22.138 % |
3.44 c | 251 | 11101 28941 | 4477 250 4780 19.1 | 22.138 % |
3.47 c | 477 | 11103 28941 | 4924 474 8202 17.3 | 22.138 % |
3.53 c | 814 | 11104 28941 | 5417 810 15446 19.1 | 22.138 % |
3.60 c | 1320 | 11107 28941 | 5958 1313 22667 17.3 | 22.138 % |
3.72 c | 2080 | 11112 28941 | 6554 2068 38738 18.7 | 22.138 % |
3.92 c | 3220 | 11115 28941 | 7210 3205 59421 18.5 | 22.138 % |
4.21 c | 4929 | 11121 28941 | 7931 4908 87173 17.8 | 22.138 % |
4.67 c | 7491 | 11122 28941 | 8724 7469 141670 19.0 | 22.138 % |
5.54 c | 11336 | 11124 28941 | 9596 11312 225806 20.0 | 22.138 % |
7.00 c | 17102 | 11128 28941 | 10556 11418 283247 24.8 | 22.138 % |
10.97 c | 25752 | 11133 28941 | 11612 7943 208067 26.2 | 22.138 % |
15.85 c | 38726 | 11165 28941 | 12773 7808 192213 24.6 | 22.138 % |
23.79 c | 58189 | 11186 28941 | 14050 13016 344011 26.4 | 22.138 % |
36.38 c | 87382 | 11198 28941 | 15455 11160 278658 25.0 | 22.138 % |
54.87 c | 131171 | 11201 28926 | 17001 12560 303144 24.1 | 22.203 % |
80.66 c | 196857 | 11204 28926 | 18701 13255 320741 24.2 | 22.203 % |
126.52 c | 295383 | 11210 28926 | 20571 10945 244641 22.4 | 22.203 % |
201.27 c | 443172 | 11220 28926 | 22628 15536 353564 22.8 | 22.203 % |
316.29 c | 664858 | 11230 28926 | 24891 20466 454737 22.2 | 22.203 % |
488.80 c | 997383 | 11239 28926 | 27380 22614 528194 23.4 | 22.203 % |
767.80 c | 1496172 | 11253 28926 | 30119 25900 563134 21.7 | 22.203 % |
1221.05 c | 2244355 | 11273 28926 | 33130 22695 486277 21.4 | 22.203 % |
1805.35 s UNKNOWN
1805.35 c # ERROR No such file or directory /tmp/evaluation/213945-1170099813/sugar25634.out, at /tmp/evaluation/213945-1170099813/sugar line 393.
1805.35
1805.35 c # MAIN END : (1806 seconds) [Mon Jan 29 21:13:42 2007]
1805.35 c # MAIN CPU : 1798.62 = 0.07 + 0.01 + 1796.42 + 2.12
1805.35
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-213945-1170099813 -o ROOT/results/node1/solver-213945-1170099813 -C 1800 -M 900 /tmp/evaluation/213945-1170099813/solver /tmp/evaluation/213945-1170099813 /tmp/evaluation/213945-1170099813/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.74 2.27 3.28 5/94 25635
/proc/meminfo: memFree=16216/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18540 CPUtime=0
/proc/25634/stat : 25634 (runsolver) R 25632 25634 24550 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29936690 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25634/statm: 4635 279 244 17 0 2626 0
[startup+0.109232 s]
/proc/loadavg: 1.74 2.27 3.28 5/94 25635
/proc/meminfo: memFree=16216/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=13724 CPUtime=0.04
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 1112 0 0 0 4 0 0 0 20 0 1 0 29936690 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517281 s]
/proc/loadavg: 1.74 2.27 3.28 5/94 25635
/proc/meminfo: memFree=16216/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=13724 CPUtime=0.04
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 1121 0 0 0 4 0 0 0 15 0 1 0 29936690 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34438 s]
/proc/loadavg: 1.74 2.27 3.28 4/102 25643
/proc/meminfo: memFree=15768/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=13724 CPUtime=0.04
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 1121 0 0 0 4 0 0 0 15 0 1 0 29936690 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 3431 805 368 3 0 531 0
[pid=25636] ppid=25634 vsize=807412 CPUtime=1.24
/proc/25636/stat : 25636 (java) R 25634 25634 24550 0 -1 0 13533 0 1 0 115 9 0 0 16 0 8 0 29936696 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073442143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25636/statm: 201853 13279 1694 14 0 189131 0
[pid=25636/tid=25637] ppid=25634 vsize=807412 CPUtime=0.19
/proc/25636/task/25637/stat : 25637 (java) S 25634 25634 24550 0 -1 64 6927 0 0 0 17 2 0 0 16 0 8 0 29936699 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25636/tid=25638] ppid=25634 vsize=807412 CPUtime=0
/proc/25636/task/25638/stat : 25638 (java) S 25634 25634 24550 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29936699 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25636/tid=25639] ppid=25634 vsize=807412 CPUtime=0
/proc/25636/task/25639/stat : 25639 (java) S 25634 25634 24550 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29936699 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25636/tid=25640] ppid=25634 vsize=807412 CPUtime=0
/proc/25636/task/25640/stat : 25640 (java) S 25634 25634 24550 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29936703 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25636/tid=25641] ppid=25634 vsize=807412 CPUtime=0.18
/proc/25636/task/25641/stat : 25641 (java) R 25634 25634 24550 0 -1 64 425 0 0 0 17 1 0 0 20 0 8 0 29936703 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25636/tid=25642] ppid=25634 vsize=807412 CPUtime=0
/proc/25636/task/25642/stat : 25642 (java) S 25634 25634 24550 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29936703 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25636/tid=25643] ppid=25634 vsize=807412 CPUtime=0
/proc/25636/task/25643/stat : 25643 (java) S 25634 25634 24550 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29936703 826789888 13279 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 821136
[startup+2.99057 s]
/proc/loadavg: 1.74 2.27 3.28 4/103 25651
/proc/meminfo: memFree=33560/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=13724 CPUtime=0.04
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 1188 0 0 0 4 0 0 0 15 0 1 0 29936690 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 3431 808 370 3 0 531 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25644] ppid=25634 vsize=807376 CPUtime=1.4
/proc/25644/stat : 25644 (java) R 25634 25634 24550 0 -1 0 10289 0 1 0 135 5 0 0 25 0 8 0 29936845 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25644/statm: 201844 10032 1506 14 0 189122 0
[pid=25644/tid=25645] ppid=25634 vsize=807376 CPUtime=0.23
/proc/25644/task/25645/stat : 25645 (java) S 25634 25634 24550 0 -1 64 4087 0 0 0 23 0 0 0 16 0 8 0 29936848 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25644/tid=25646] ppid=25634 vsize=807376 CPUtime=0
/proc/25644/task/25646/stat : 25646 (java) S 25634 25634 24550 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29936849 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25644/tid=25647] ppid=25634 vsize=807376 CPUtime=0
/proc/25644/task/25647/stat : 25647 (java) S 25634 25634 24550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29936849 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25644/tid=25648] ppid=25634 vsize=807376 CPUtime=0
/proc/25644/task/25648/stat : 25648 (java) S 25634 25634 24550 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29936852 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25644/tid=25649] ppid=25634 vsize=807376 CPUtime=0.13
/proc/25644/task/25649/stat : 25649 (java) S 25634 25634 24550 0 -1 64 412 0 0 0 13 0 0 0 16 0 8 0 29936852 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25644/tid=25650] ppid=25634 vsize=807376 CPUtime=0
/proc/25644/task/25650/stat : 25650 (java) S 25634 25634 24550 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29936852 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25644/tid=25651] ppid=25634 vsize=807376 CPUtime=0
/proc/25644/task/25651/stat : 25651 (java) S 25634 25634 24550 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29936852 826753024 10032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821100
[startup+6.19094 s]
/proc/loadavg: 1.76 2.26 3.27 3/96 25652
/proc/meminfo: memFree=38032/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=3784 CPUtime=2.77
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 646 0 0 0 277 0 0 0 25 0 1 0 29937028 3874816 586 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 1 0 0
/proc/25652/statm: 946 586 52 112 0 830 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 22472
[startup+12.6537 s]
/proc/loadavg: 1.78 2.26 3.27 3/96 25652
/proc/meminfo: memFree=16272/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=4592 CPUtime=9.17
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 828 0 0 0 916 1 0 0 25 0 1 0 29937028 4702208 768 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525932 0 0 4096 3 0 0 0 17 1 0 0
/proc/25652/statm: 1148 768 52 112 0 1032 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 23280
[startup+25.5002 s]
/proc/loadavg: 1.91 2.26 3.25 3/96 25652
/proc/meminfo: memFree=15120/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=5240 CPUtime=21.9
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 1002 0 0 0 2187 3 0 0 25 0 1 0 29937028 5365760 942 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25652/statm: 1310 942 52 112 0 1194 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 23928
[startup+51.1022 s]
/proc/loadavg: 1.94 2.24 3.22 3/96 25652
/proc/meminfo: memFree=15568/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=5648 CPUtime=47.26
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 1097 0 0 0 4718 8 0 0 25 0 1 0 29937028 5783552 1037 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25652/statm: 1412 1037 52 112 0 1296 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 24336
[startup+102.392 s]
/proc/loadavg: 2.06 2.23 3.16 3/96 25652
/proc/meminfo: memFree=15824/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=6512 CPUtime=98.05
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 1307 0 0 0 9792 13 0 0 25 0 1 0 29937028 6668288 1247 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525628 0 0 4096 3 0 0 0 17 1 0 0
/proc/25652/statm: 1628 1247 52 112 0 1512 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 25200
[startup+162.41 s]
/proc/loadavg: 2.05 2.20 3.09 3/96 25652
/proc/meminfo: memFree=14992/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=6932 CPUtime=157.49
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 1419 0 0 0 15730 19 0 0 25 0 1 0 29937028 7098368 1359 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25652/statm: 1733 1359 52 112 0 1617 0
Current children cumulated CPU time (s) 160.72
Current children cumulated vsize (KiB) 25620
[startup+222.441 s]
/proc/loadavg: 2.08 2.18 3.03 3/96 25652
/proc/meminfo: memFree=15312/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=7364 CPUtime=216.95
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 1504 0 0 0 21669 26 0 0 25 0 1 0 29937028 7540736 1444 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/25652/statm: 1841 1444 52 112 0 1725 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 26052
[startup+282.535 s]
/proc/loadavg: 2.24 2.19 2.97 2/89 25655
/proc/meminfo: memFree=1868368/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
################
# More data... #
################
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2181 0 0 0 123314 203 0 0 25 0 1 0 29937028 10539008 2121 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2573 2121 52 112 0 2457 0
Current children cumulated CPU time (s) 1238.4
Current children cumulated vsize (KiB) 28980
[startup+1303.1 s]
/proc/loadavg: 2.00 2.12 2.52 3/89 26087
/proc/meminfo: memFree=1797008/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=10292 CPUtime=1295.11
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2196 0 0 0 129308 203 0 0 25 0 1 0 29937028 10539008 2136 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2573 2136 52 112 0 2457 0
Current children cumulated CPU time (s) 1298.34
Current children cumulated vsize (KiB) 28980
[startup+1363.12 s]
/proc/loadavg: 2.00 2.09 2.49 3/89 26087
/proc/meminfo: memFree=1796496/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=10436 CPUtime=1355.06
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2219 0 0 0 135303 203 0 0 25 0 1 0 29937028 10686464 2159 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134524989 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2609 2159 52 112 0 2493 0
Current children cumulated CPU time (s) 1358.29
Current children cumulated vsize (KiB) 29124
[startup+1423.15 s]
/proc/loadavg: 2.06 2.09 2.46 3/89 26087
/proc/meminfo: memFree=1795728/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=10576 CPUtime=1415.03
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2240 0 0 0 141300 203 0 0 25 0 1 0 29937028 10829824 2180 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2644 2180 52 112 0 2528 0
Current children cumulated CPU time (s) 1418.26
Current children cumulated vsize (KiB) 29264
[startup+1483.16 s]
/proc/loadavg: 2.02 2.07 2.43 3/89 26087
/proc/meminfo: memFree=1795024/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=10792 CPUtime=1474.98
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2281 0 0 0 147294 204 0 0 25 0 1 0 29937028 11051008 2221 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528068 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2698 2221 52 112 0 2582 0
Current children cumulated CPU time (s) 1478.21
Current children cumulated vsize (KiB) 29480
[startup+1543.18 s]
/proc/loadavg: 2.07 2.07 2.40 3/89 26087
/proc/meminfo: memFree=1791888/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=10792 CPUtime=1534.93
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2302 0 0 0 153289 204 0 0 25 0 1 0 29937028 11051008 2242 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2698 2242 52 112 0 2582 0
Current children cumulated CPU time (s) 1538.16
Current children cumulated vsize (KiB) 29480
[startup+1603.2 s]
/proc/loadavg: 2.02 2.05 2.37 3/89 26087
/proc/meminfo: memFree=1787728/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=11004 CPUtime=1594.89
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2322 0 0 0 159285 204 0 0 25 0 1 0 29937028 11268096 2262 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2751 2262 52 112 0 2635 0
Current children cumulated CPU time (s) 1598.12
Current children cumulated vsize (KiB) 29692
[startup+1663.21 s]
/proc/loadavg: 2.01 2.04 2.35 3/89 26087
/proc/meminfo: memFree=1787664/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=11004 CPUtime=1654.83
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2322 0 0 0 165279 204 0 0 25 0 1 0 29937028 11268096 2262 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525022 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2751 2262 52 112 0 2635 0
Current children cumulated CPU time (s) 1658.06
Current children cumulated vsize (KiB) 29692
[startup+1723.23 s]
/proc/loadavg: 2.00 2.03 2.32 3/89 26087
/proc/meminfo: memFree=1787536/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=11004 CPUtime=1714.78
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2342 0 0 0 171274 204 0 0 25 0 1 0 29937028 11268096 2282 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2751 2282 52 112 0 2635 0
Current children cumulated CPU time (s) 1718.01
Current children cumulated vsize (KiB) 29692
[startup+1783.24 s]
/proc/loadavg: 2.00 2.02 2.30 3/89 26087
/proc/meminfo: memFree=1786512/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=11004 CPUtime=1774.75
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2342 0 0 0 177271 204 0 0 25 0 1 0 29937028 11268096 2282 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2751 2282 52 112 0 2635 0
Current children cumulated CPU time (s) 1777.98
Current children cumulated vsize (KiB) 29692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.34 s]
/proc/loadavg: 2.07 2.04 2.30 3/89 26087
/proc/meminfo: memFree=1785552/2055920 swapFree=4192812/4192956
[pid=25634] ppid=25632 vsize=18688 CPUtime=1.82
/proc/25634/stat : 25634 (sugar) S 25632 25634 24550 0 -1 4194304 2536 12045 0 1 11 1 164 6 16 0 1 0 29936690 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25634/statm: 4672 2049 373 3 0 1772 0
[pid=25636] ppid=25634 vsize=0 CPUtime=1.41
/proc/25636/stat : 25636 (java) Z 25634 25634 24550 0 -1 1036 13929 0 1 0 131 10 0 0 17 0 1 0 29936696 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25636/statm: 0 0 0 0 0 0 0
[pid=25652] ppid=25634 vsize=11004 CPUtime=1796.82
/proc/25652/stat : 25652 (minisat) R 25634 25634 24550 0 -1 0 2342 0 0 0 179478 204 0 0 25 0 1 0 29937028 11268096 2282 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 0 0 0
/proc/25652/statm: 2751 2282 52 112 0 2635 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 29692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25634 and gives childrusage.ru_utime.tv_sec=1796 childrusage.ru_utime.tv_usec=542883 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=134675
CPU time returned by wait4() is 1798.68
while last known CPU time is 1800.05
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1805.39
CPU time (s): 1800.05
CPU user time (s): 1797.84
CPU system time (s): 2.21
CPU usage (%): 99.7043
Max. virtual memory (cumulated for all children) (KiB): 821136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 2.13468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17013
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= 735
involuntary context switches= 29483
runsolver used 2.16967 s user time and 6.02308 s system time
The end
Begin job on node1 on Mon Jan 29 19:43:36 UTC 2007
IDJOB= 213945
IDBENCH= 4886
IDSOLVER= 86
FILE ID= node1/213945-1170099813
PBS_JOBID= 3689444
Free space on /tmp= 45988 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-1.xml
COMMAND LINE= /tmp/evaluation/213945-1170099813/solver /tmp/evaluation/213945-1170099813 /tmp/evaluation/213945-1170099813/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-213945-1170099813 -o ROOT/results/node1/solver-213945-1170099813 -C 1800 -M 900 /tmp/evaluation/213945-1170099813/solver /tmp/evaluation/213945-1170099813 /tmp/evaluation/213945-1170099813/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 559a881d23ac5e57080f700e0bfd9298
RANDOM SEED= 233433274
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.230
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.230
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: 16824 kB
Buffers: 6188 kB
Cached: 1767184 kB
SwapCached: 0 kB
Active: 209116 kB
Inactive: 1736668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 16824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 784280 kB
Writeback: 0 kB
Mapped: 197984 kB
Slab: 77888 kB
Committed_AS: 524324 kB
PageTables: 2440 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= 66557 MiB
End job on node1 on Mon Jan 29 20:13:42 UTC 2007