0.05 c # Sugar v0-40 (/tmp/evaluation/238464-1170108622/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/238464-1170108622/unknown.xml [Mon Jan 29 23:10:26 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/238464-1170108622/unknown.xml /tmp/evaluation/238464-1170108622/sugar26864.csp [Mon Jan 29 23:10:26 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238464-1170108622/sugar-v0-40.jar -convert /tmp/evaluation/238464-1170108622/unknown.xml /tmp/evaluation/238464-1170108622/sugar26864.csp
0.17 c BEGIN convert /tmp/evaluation/238464-1170108622/unknown.xml
0.49 c END convert (0.328378 seconds)
0.54 c # CONVERT_XML END : /tmp/evaluation/238464-1170108622/sugar26864.csp 324167 bytes (0 seconds) [Mon Jan 29 23:10:26 2007]
0.54 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.54
0.54 c # GENERATE_SAT BEGIN : /tmp/evaluation/238464-1170108622/sugar26864.bcnf [Mon Jan 29 23:10:26 2007]
0.54 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238464-1170108622/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238464-1170108622/sugar26864.map /tmp/evaluation/238464-1170108622/sugar26864.csp /tmp/evaluation/238464-1170108622/sugar26864.bcnf
0.66 c BEGIN parse /tmp/evaluation/238464-1170108622/sugar26864.csp
4.08 c END parse (3.422897 seconds)
4.08 c BEGIN simplify
4.11 c END simplify (0.027863 seconds)
4.11 c BEGIN encode /tmp/evaluation/238464-1170108622/sugar26864.bcnf
4.33 c END encode (0.218236 seconds)
4.40 c # GENERATE_SAT END : 3860 variables 16739 clauses 1640068 bytes (4 seconds) [Mon Jan 29 23:10:30 2007]
4.40 c # GENERATE_SAT CPU : 3.74 = 0.02 + 0 + 3.57 + 0.15
4.40
4.40 c # SOLVE_SAT BEGIN : /tmp/evaluation/238464-1170108622/sugar26864.bcnf [Mon Jan 29 23:10:30 2007]
4.40 c # CMD : /tmp/evaluation/238464-1170108622/minisat /tmp/evaluation/238464-1170108622/sugar26864.bcnf /tmp/evaluation/238464-1170108622/sugar26864.out
4.44 c ==================================[MINISAT]===================================
4.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.44 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
4.44 c ==============================================================================
4.44 c | 0 | 15926 371895 | 5308 0 0 nan | 0.000 % |
4.46 c | 100 | 15933 371895 | 5838 91 1026 11.3 | 1.684 % |
4.66 c | 250 | 15934 371895 | 6422 239 2782 11.6 | 1.813 % |
4.66 c | 475 | 15935 371895 | 7064 463 4672 10.1 | 1.814 % |
4.66 c | 812 | 15938 371895 | 7771 797 7800 9.8 | 1.814 % |
4.66 c | 1318 | 15940 371895 | 8548 1301 12735 9.8 | 1.813 % |
4.66 c | 2078 | 15946 371895 | 9403 2055 20982 10.2 | 1.814 % |
4.66 c | 3217 | 15946 371895 | 10343 3194 33405 10.5 | 1.814 % |
4.66 c | 4925 | 15947 371895 | 11378 4901 51265 10.5 | 1.814 % |
4.67 c | 7487 | 15947 371895 | 12515 7463 79416 10.6 | 1.814 % |
4.84 c | 11332 | 15947 371895 | 13767 11308 141122 12.5 | 1.814 % |
5.19 c | 17098 | 15947 371895 | 15144 10063 149506 14.9 | 1.814 % |
5.83 c | 25747 | 15662 370472 | 16658 10972 200656 18.3 | 1.814 % |
6.76 c | 38721 | 15650 370460 | 18324 15481 223714 14.5 | 1.839 % |
8.65 c | 58183 | 15652 370460 | 20157 16306 296042 18.2 | 1.839 % |
11.44 c | 87375 | 15666 370460 | 22172 14838 208322 14.0 | 1.839 % |
16.31 c | 131165 | 15653 370445 | 24390 13636 201547 14.8 | 1.865 % |
24.02 c | 196849 | 15670 370445 | 26829 17215 296265 17.2 | 1.865 % |
35.72 c | 295375 | 15682 370445 | 29512 18436 320345 17.4 | 1.865 % |
58.18 c | 443164 | 15700 370445 | 32463 21656 428548 19.8 | 1.865 % |
94.72 c | 664847 | 15692 370368 | 35709 18209 327392 18.0 | 2.202 % |
154.56 c | 997372 | 15718 370368 | 39280 23296 402359 17.3 | 2.202 % |
253.65 c | 1496160 | 15750 370368 | 43208 18187 361375 19.9 | 2.202 % |
451.10 c | 2244342 | 15787 370368 | 47529 21220 891799 42.0 | 2.202 % |
775.41 c | 3366616 | 15794 370368 | 52282 16858 597852 35.5 | 2.202 % |
1312.57 c | 5050027 | 15832 370368 | 57510 31502 1392200 44.2 | 2.202 % |
1801.92
1801.92 s UNKNOWN
1801.92 c # INTERRUPTED
1801.92 c # MAIN END : (1802 seconds) [Mon Jan 29 23:40:28 2007]
1801.92 c # MAIN CPU : 3.74 = 0.02 + 0 + 3.57 + 0.15
1801.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-238464-1170108622 -o ROOT/results/node59/solver-238464-1170108622 -C 1800 -M 900 /tmp/evaluation/238464-1170108622/solver /tmp/evaluation/238464-1170108622 /tmp/evaluation/238464-1170108622/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: 4.83 5.49 4.18 5/81 26865
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=12268 CPUtime=0
/proc/26864/stat : 26864 (sugar) D 26862 26864 26736 0 -1 4194304 597 0 0 0 0 0 0 0 18 0 1 0 30819316 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217051789925 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/26864/statm: 3067 316 241 3 0 167 0
[startup+0.102753 s]
/proc/loadavg: 4.83 5.49 4.18 5/81 26865
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=13724 CPUtime=0.04
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30819316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.5148 s]
/proc/loadavg: 4.83 5.49 4.18 5/81 26865
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=13724 CPUtime=0.04
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30819316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3419 s]
/proc/loadavg: 4.83 5.49 4.18 3/90 26881
/proc/meminfo: memFree=15808/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=13724 CPUtime=0.04
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30819316 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26864/statm: 3431 808 370 3 0 531 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26874] ppid=26864 vsize=807336 CPUtime=0.77
/proc/26874/stat : 26874 (java) R 26864 26864 26736 0 -1 0 8278 0 1 0 72 5 0 0 25 0 8 0 30819371 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153639424 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26874/statm: 201834 8025 1506 14 0 189112 0
[pid=26874/tid=26875] ppid=26864 vsize=807336 CPUtime=0.11
/proc/26874/task/26875/stat : 26875 (java) S 26864 26864 26736 0 -1 64 2089 0 0 0 10 1 0 0 16 0 8 0 30819374 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26876] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26876/stat : 26876 (java) S 26864 26864 26736 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30819374 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26877] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26877/stat : 26877 (java) S 26864 26864 26736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30819374 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26878] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26864 26864 26736 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30819377 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26879] ppid=26864 vsize=807336 CPUtime=0.11
/proc/26874/task/26879/stat : 26879 (java) S 26864 26864 26736 0 -1 64 392 0 0 0 11 0 0 0 16 0 8 0 30819377 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26880] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26864 26864 26736 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30819377 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26881] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26881/stat : 26881 (java) S 26864 26864 26736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30819377 826712064 8025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 821060
[startup+2.98308 s]
/proc/loadavg: 4.83 5.49 4.18 3/90 26881
/proc/meminfo: memFree=15424/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=13724 CPUtime=0.04
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30819316 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26864/statm: 3431 808 370 3 0 531 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26874] ppid=26864 vsize=807336 CPUtime=2.38
/proc/26874/stat : 26874 (java) R 26864 26864 26736 0 -1 0 18776 0 1 0 228 10 0 0 25 0 8 0 30819371 826712064 18471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26874/statm: 201834 18471 1506 14 0 189112 0
[pid=26874/tid=26875] ppid=26864 vsize=807336 CPUtime=0.55
/proc/26874/task/26875/stat : 26875 (java) R 26864 26864 26736 0 -1 64 12528 0 0 0 50 5 0 0 15 0 8 0 30819374 826712064 18471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26876] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26876/stat : 26876 (java) S 26864 26864 26736 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30819374 826712064 18471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26877] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26877/stat : 26877 (java) S 26864 26864 26736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30819374 826712064 18471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26878] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26864 26864 26736 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30819377 826712064 18471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26879] ppid=26864 vsize=807336 CPUtime=0.13
/proc/26874/task/26879/stat : 26879 (java) S 26864 26864 26736 0 -1 64 399 0 0 0 13 0 0 0 16 0 8 0 30819377 826712064 18471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26880] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26864 26864 26736 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30819377 826712064 18471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26874/tid=26881] ppid=26864 vsize=807336 CPUtime=0
/proc/26874/task/26881/stat : 26881 (java) S 26864 26864 26736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30819377 826712064 18471 18446744073709551615 134512640 134570532 4294956480 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) 821060
[startup+6.18642 s]
/proc/loadavg: 4.84 5.48 4.18 3/83 26882
/proc/meminfo: memFree=84216/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 15 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=5616 CPUtime=1.77
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 1491 0 0 0 177 0 0 0 25 0 1 0 30819756 5750784 1076 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 1404 1076 52 112 0 1288 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 21156
[startup+12.6641 s]
/proc/loadavg: 4.77 5.45 4.18 3/83 26883
/proc/meminfo: memFree=15032/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=6500 CPUtime=8.24
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 1682 0 0 0 824 0 0 0 25 0 1 0 30819756 6656000 1267 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 1625 1267 52 112 0 1509 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 22040
[startup+25.5006 s]
/proc/loadavg: 4.69 5.40 4.18 2/83 26883
/proc/meminfo: memFree=15032/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=7564 CPUtime=20.73
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 1968 0 0 0 2070 3 0 0 25 0 1 0 30819756 7745536 1553 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 1891 1553 52 112 0 1775 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 23104
[startup+51.1044 s]
/proc/loadavg: 4.85 5.38 4.21 2/83 26883
/proc/meminfo: memFree=15672/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=8940 CPUtime=46.33
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 2290 0 0 0 4627 6 0 0 25 0 1 0 30819756 9154560 1875 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 2235 1875 52 112 0 2119 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 24480
[startup+102.405 s]
/proc/loadavg: 4.98 5.34 4.25 2/83 26883
/proc/meminfo: memFree=15992/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=10732 CPUtime=97.61
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 2725 0 0 0 9746 15 0 0 25 0 1 0 30819756 10989568 2310 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527294 0 0 4096 3 0 0 0 17 0 0 0
/proc/26882/statm: 2683 2310 52 112 0 2567 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 26272
[startup+162.477 s]
/proc/loadavg: 4.64 5.19 4.27 2/83 26884
/proc/meminfo: memFree=16760/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=12236 CPUtime=157.61
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 3109 0 0 0 15739 22 0 0 25 0 1 0 30819756 12529664 2694 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 3059 2694 52 112 0 2943 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 27776
[startup+265.086 s]
/proc/loadavg: 4.64 5.19 4.27 2/83 26884
/proc/meminfo: memFree=16760/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=14232 CPUtime=260.19
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 3564 0 0 0 25988 31 0 0 25 0 1 0 30819756 14573568 3149 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 3558 3149 52 112 0 3442 0
Current children cumulated CPU time (s) 264.4
Current children cumulated vsize (KiB) 29772
[startup+325.152 s]
/proc/loadavg: 5.14 5.48 4.54 3/83 26888
/proc/meminfo: memFree=15104/2055920 swapFree=4192812/4192956
################
# More data... #
################
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 6064 0 0 0 124128 91 0 0 25 0 1 0 30819756 25194496 5649 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 6151 5649 52 112 0 6035 0
Current children cumulated CPU time (s) 1246.4
Current children cumulated vsize (KiB) 40144
[startup+1308.16 s]
/proc/loadavg: 1.00 1.52 2.88 2/67 27167
/proc/meminfo: memFree=1937176/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=25036 CPUtime=1302.26
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 6151 0 0 0 130135 91 0 0 25 0 1 0 30819756 25636864 5736 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527235 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 6259 5736 52 112 0 6143 0
Current children cumulated CPU time (s) 1306.47
Current children cumulated vsize (KiB) 40576
[startup+1368.25 s]
/proc/loadavg: 1.00 1.42 2.76 2/67 27167
/proc/meminfo: memFree=1934616/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=27484 CPUtime=1362.33
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 6749 0 0 0 136141 92 0 0 25 0 1 0 30819756 28143616 6334 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 6871 6334 52 112 0 6755 0
Current children cumulated CPU time (s) 1366.54
Current children cumulated vsize (KiB) 43024
[startup+1428.34 s]
/proc/loadavg: 1.00 1.34 2.65 2/67 27167
/proc/meminfo: memFree=1933912/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=28192 CPUtime=1422.4
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 6924 0 0 0 142148 92 0 0 25 0 1 0 30819756 28868608 6509 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7048 6509 52 112 0 6932 0
Current children cumulated CPU time (s) 1426.61
Current children cumulated vsize (KiB) 43732
[startup+1488.43 s]
/proc/loadavg: 1.00 1.28 2.54 2/67 27167
/proc/meminfo: memFree=1933592/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=28476 CPUtime=1482.48
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 6983 0 0 0 148156 92 0 0 25 0 1 0 30819756 29159424 6568 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527303 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7119 6568 52 112 0 7003 0
Current children cumulated CPU time (s) 1486.69
Current children cumulated vsize (KiB) 44016
[startup+1548.52 s]
/proc/loadavg: 1.00 1.22 2.44 2/67 27169
/proc/meminfo: memFree=1932184/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=29600 CPUtime=1542.55
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 7248 0 0 0 154163 92 0 0 25 0 1 0 30819756 30310400 6833 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7400 6833 52 112 0 7284 0
Current children cumulated CPU time (s) 1546.76
Current children cumulated vsize (KiB) 45140
[startup+1608.61 s]
/proc/loadavg: 1.06 1.20 2.35 2/67 27169
/proc/meminfo: memFree=1932120/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=29600 CPUtime=1602.63
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 7264 0 0 0 160171 92 0 0 25 0 1 0 30819756 30310400 6849 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637234 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7400 6849 52 112 0 7284 0
Current children cumulated CPU time (s) 1606.84
Current children cumulated vsize (KiB) 45140
[startup+1668.71 s]
/proc/loadavg: 1.02 1.16 2.27 2/67 27169
/proc/meminfo: memFree=1931544/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=30220 CPUtime=1662.7
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 7405 0 0 0 166178 92 0 0 25 0 1 0 30819756 30945280 6990 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7555 6990 52 112 0 7439 0
Current children cumulated CPU time (s) 1666.91
Current children cumulated vsize (KiB) 45760
[startup+1728.8 s]
/proc/loadavg: 1.01 1.13 2.18 2/67 27169
/proc/meminfo: memFree=1931352/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=30404 CPUtime=1722.78
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 7442 0 0 0 172186 92 0 0 25 0 1 0 30819756 31133696 7027 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7601 7027 52 112 0 7485 0
Current children cumulated CPU time (s) 1726.99
Current children cumulated vsize (KiB) 45944
[startup+1788.89 s]
/proc/loadavg: 1.00 1.10 2.11 2/67 27169
/proc/meminfo: memFree=1931096/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=30580 CPUtime=1782.85
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 7492 0 0 0 178192 93 0 0 25 0 1 0 30819756 31313920 7077 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7645 7077 52 112 0 7529 0
Current children cumulated CPU time (s) 1787.06
Current children cumulated vsize (KiB) 46120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.91 s]
/proc/loadavg: 1.00 1.10 2.09 2/67 27169
/proc/meminfo: memFree=1931096/2055920 swapFree=4192812/4192956
[pid=26864] ppid=26862 vsize=15540 CPUtime=3.78
/proc/26864/stat : 26864 (sugar) S 26862 26864 26736 0 -1 4194304 1745 25980 0 1 5 1 357 15 16 0 1 0 30819316 15912960 1256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26864/statm: 3885 1256 373 3 0 985 0
[pid=26866] ppid=26864 vsize=0 CPUtime=0.43
/proc/26866/stat : 26866 (java) Z 26864 26864 26736 0 -1 1036 6728 0 1 0 39 4 0 0 16 0 1 0 30819321 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26866/statm: 0 0 0 0 0 0 0
[pid=26882] ppid=26864 vsize=30580 CPUtime=1795.88
/proc/26882/stat : 26882 (minisat) R 26864 26864 26736 0 -1 0 7494 0 0 0 179495 93 0 0 25 0 1 0 30819756 31313920 7079 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 1 0 0
/proc/26882/statm: 7645 7079 52 112 0 7529 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 46120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26864 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=632447 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=172973
CPU time returned by wait4() is 3.80542
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1802.97
CPU time (s): 1800.09
CPU user time (s): 1798.96
CPU system time (s): 1.13
CPU usage (%): 99.84
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.63245
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27809
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= 1380
involuntary context switches= 1376
runsolver used 1.82172 s user time and 3.9674 s system time
The end
Begin job on node59 on Mon Jan 29 22:10:24 UTC 2007
IDJOB= 238464
IDBENCH= 7003
IDSOLVER= 86
FILE ID= node59/238464-1170108622
PBS_JOBID= 3689954
Free space on /tmp= 62638 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-0_ext.xml
COMMAND LINE= /tmp/evaluation/238464-1170108622/solver /tmp/evaluation/238464-1170108622 /tmp/evaluation/238464-1170108622/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-238464-1170108622 -o ROOT/results/node59/solver-238464-1170108622 -C 1800 -M 900 /tmp/evaluation/238464-1170108622/solver /tmp/evaluation/238464-1170108622 /tmp/evaluation/238464-1170108622/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= e8260dccac0daac18019f8de3a6a2a87
RANDOM SEED= 984956078
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.225
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.225
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: 15784 kB
Buffers: 3596 kB
Cached: 1857972 kB
SwapCached: 0 kB
Active: 98556 kB
Inactive: 1839052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 787372 kB
Writeback: 0 kB
Mapped: 92764 kB
Slab: 87544 kB
Committed_AS: 450512 kB
PageTables: 2052 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 node59 on Mon Jan 29 22:40:29 UTC 2007