0.05 c # Sugar v0-40 (/tmp/evaluation/233259-1170106674/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/233259-1170106674/unknown.xml [Mon Jan 29 22:37:54 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/233259-1170106674/unknown.xml /tmp/evaluation/233259-1170106674/sugar19636.csp [Mon Jan 29 22:37:54 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233259-1170106674/sugar-v0-40.jar -convert /tmp/evaluation/233259-1170106674/unknown.xml /tmp/evaluation/233259-1170106674/sugar19636.csp
0.17 c BEGIN convert /tmp/evaluation/233259-1170106674/unknown.xml
1.15 c END convert (0.977386 seconds)
1.18 c # CONVERT_XML END : /tmp/evaluation/233259-1170106674/sugar19636.csp 378352 bytes (2 seconds) [Mon Jan 29 22:37:56 2007]
1.18 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.18
1.18 c # GENERATE_SAT BEGIN : /tmp/evaluation/233259-1170106674/sugar19636.bcnf [Mon Jan 29 22:37:56 2007]
1.18 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233259-1170106674/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233259-1170106674/sugar19636.map /tmp/evaluation/233259-1170106674/sugar19636.csp /tmp/evaluation/233259-1170106674/sugar19636.bcnf
1.30 c BEGIN parse /tmp/evaluation/233259-1170106674/sugar19636.csp
2.39 c END parse (1.090388 seconds)
2.39 c BEGIN simplify
2.47 c END simplify (0.080834 seconds)
2.47 c BEGIN encode /tmp/evaluation/233259-1170106674/sugar19636.bcnf
19.34 c END encode (16.87156 seconds)
19.54 c # GENERATE_SAT END : 489272 variables 17753944 clauses 282016976 bytes (18 seconds) [Mon Jan 29 22:38:14 2007]
19.54 c # GENERATE_SAT CPU : 18.09 = 0.14 + 0.02 + 16.67 + 1.26
19.54
19.54 c # SOLVE_SAT BEGIN : /tmp/evaluation/233259-1170106674/sugar19636.bcnf [Mon Jan 29 22:38:14 2007]
19.54 c # CMD : /tmp/evaluation/233259-1170106674/minisat /tmp/evaluation/233259-1170106674/sugar19636.bcnf /tmp/evaluation/233259-1170106674/sugar19636.out
30.33 c ==================================[MINISAT]===================================
30.33 c | Conflicts | ORIGINAL | LEARNT | Progress |
30.33 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
30.33 c ==============================================================================
30.33 c | 0 | 17753944 52750160 | 5917981 0 0 nan | 0.000 % |
34.84 c | 100 | 17753944 52750160 | 6509779 100 1765 17.6 | 0.000 % |
39.14 c | 250 | 17753944 52750160 | 7160757 250 4834 19.3 | 0.000 % |
40.56 c | 475 | 17753944 52750160 | 7876832 475 10647 22.4 | 0.000 % |
41.17 c | 812 | 17753944 52750160 | 8664515 812 16743 20.6 | 0.000 % |
41.62 c | 1318 | 17753944 52750160 | 9530967 1318 22662 17.2 | 0.000 % |
42.33 c | 2077 | 17753944 52750160 | 10484064 2077 31719 15.3 | 0.000 % |
43.21 c | 3216 | 17753944 52750160 | 11532470 3216 47440 14.8 | 0.000 % |
45.14 c | 4924 | 17753944 52750160 | 12685717 4924 75109 15.3 | 0.000 % |
47.75 c | 7486 | 17753944 52750160 | 13954289 7486 111757 14.9 | 0.000 % |
50.65 c | 11331 | 17753944 52750160 | 15349718 11331 176763 15.6 | 0.000 % |
55.77 c | 17097 | 17753944 52750160 | 16884690 17097 273473 16.0 | 0.000 % |
63.53 c | 25747 | 17753944 52750160 | 18573159 25747 396838 15.4 | 0.000 % |
76.67 c | 38721 | 17753944 52750160 | 20430475 38721 589236 15.2 | 0.000 % |
99.09 c | 58182 | 17753944 52750160 | 22473522 58182 1023070 17.6 | 0.000 % |
141.04 c | 87376 | 17753944 52750160 | 24720875 87376 1964452 22.5 | 0.000 % |
220.21 c | 131165 | 17753944 52750160 | 27192962 131165 4166074 31.8 | 0.000 % |
385.50 c | 196850 | 17753944 52750160 | 29912259 196850 6005664 30.5 | 0.000 % |
685.55 c | 295376 | 17753944 52750160 | 32903485 295376 8213818 27.8 | 0.000 % |
1176.34 c | 443165 | 17753944 52750160 | 36193833 443165 11812884 26.7 | 0.000 % |
1809.06
1809.06 s UNKNOWN
1809.06 c # INTERRUPTED
1809.06 c # MAIN END : (1809 seconds) [Mon Jan 29 23:08:03 2007]
1809.06 c # MAIN CPU : 18.09 = 0.14 + 0.02 + 16.67 + 1.26
1809.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-233259-1170106674 -o ROOT/results/node38/solver-233259-1170106674 -C 1800 -M 900 /tmp/evaluation/233259-1170106674/solver /tmp/evaluation/233259-1170106674 /tmp/evaluation/233259-1170106674/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.07 2.45 2.71 5/74 19637
/proc/meminfo: memFree=1160600/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=12268 CPUtime=0
/proc/19636/stat : 19636 (sugar) R 19634 19636 19279 0 -1 4194304 596 0 0 0 0 0 0 0 20 0 1 0 30623262 12562432 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266910846836 0 0 4224 0 0 0 0 17 1 0 0
/proc/19636/statm: 3067 315 241 3 0 167 0
[startup+0.105773 s]
/proc/loadavg: 2.07 2.45 2.71 5/74 19637
/proc/meminfo: memFree=1160600/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=13724 CPUtime=0.03
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30623262 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.516817 s]
/proc/loadavg: 2.07 2.45 2.71 5/74 19637
/proc/meminfo: memFree=1160600/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=13724 CPUtime=0.03
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30623262 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34591 s]
/proc/loadavg: 2.07 2.45 2.71 4/82 19645
/proc/meminfo: memFree=1120856/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=13724 CPUtime=0.03
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 30623262 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 3431 808 370 3 0 531 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 13724
[startup+2.9891 s]
/proc/loadavg: 2.14 2.46 2.71 3/83 19653
/proc/meminfo: memFree=1129944/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=13724 CPUtime=0.03
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30623262 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 3431 808 370 3 0 531 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19646] ppid=19636 vsize=807332 CPUtime=1.78
/proc/19646/stat : 19646 (java) R 19636 19636 19279 0 -1 0 9815 0 1 0 167 11 0 0 25 0 8 0 30623380 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19646/statm: 201833 9559 1510 14 0 189111 0
[pid=19646/tid=19647] ppid=19636 vsize=807332 CPUtime=0.21
/proc/19646/task/19647/stat : 19647 (java) S 19636 19636 19279 0 -1 64 3583 0 0 0 20 1 0 0 16 0 8 0 30623383 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19648] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19648/stat : 19648 (java) S 19636 19636 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30623384 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19649] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19636 19636 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30623384 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19650] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19636 19636 19279 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30623387 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19651] ppid=19636 vsize=807332 CPUtime=0.15
/proc/19646/task/19651/stat : 19651 (java) S 19636 19636 19279 0 -1 64 418 0 0 0 15 0 0 0 16 0 8 0 30623387 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19652] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19652/stat : 19652 (java) S 19636 19636 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30623387 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19653] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19636 19636 19279 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30623387 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821056
[startup+6.28448 s]
/proc/loadavg: 2.14 2.46 2.71 3/83 19653
/proc/meminfo: memFree=1070872/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=13724 CPUtime=0.03
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30623262 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 3431 808 370 3 0 531 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19646] ppid=19636 vsize=807332 CPUtime=5.05
/proc/19646/stat : 19646 (java) R 19636 19636 19279 0 -1 0 9819 0 1 0 473 32 0 0 25 0 8 0 30623380 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19646/statm: 201833 9562 1510 14 0 189111 0
[pid=19646/tid=19647] ppid=19636 vsize=807332 CPUtime=0.21
/proc/19646/task/19647/stat : 19647 (java) S 19636 19636 19279 0 -1 64 3583 0 0 0 20 1 0 0 16 0 8 0 30623383 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19648] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19648/stat : 19648 (java) S 19636 19636 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30623384 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19649] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19636 19636 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30623384 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19650] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19636 19636 19279 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30623387 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19651] ppid=19636 vsize=807332 CPUtime=0.16
/proc/19646/task/19651/stat : 19651 (java) S 19636 19636 19279 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30623387 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19652] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19652/stat : 19652 (java) S 19636 19636 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30623387 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19653] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19636 19636 19279 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30623387 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 821056
[startup+12.6862 s]
/proc/loadavg: 2.35 2.49 2.72 3/83 19653
/proc/meminfo: memFree=946584/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=13724 CPUtime=0.03
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30623262 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 3431 808 370 3 0 531 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19646] ppid=19636 vsize=807332 CPUtime=11.38
/proc/19646/stat : 19646 (java) R 19636 19636 19279 0 -1 0 11761 0 1 0 1065 73 0 0 25 0 8 0 30623380 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19646/statm: 201833 11503 1510 14 0 189111 0
[pid=19646/tid=19647] ppid=19636 vsize=807332 CPUtime=0.27
/proc/19646/task/19647/stat : 19647 (java) S 19636 19636 19279 0 -1 64 5524 0 0 0 25 2 0 0 16 0 8 0 30623383 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19648] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19648/stat : 19648 (java) S 19636 19636 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30623384 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19649] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19636 19636 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30623384 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19650] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19636 19636 19279 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30623387 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19651] ppid=19636 vsize=807332 CPUtime=0.16
/proc/19646/task/19651/stat : 19651 (java) S 19636 19636 19279 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30623387 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19652] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19652/stat : 19652 (java) S 19636 19636 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30623387 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19646/tid=19653] ppid=19636 vsize=807332 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19636 19636 19279 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30623387 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 821056
[startup+25.5627 s]
/proc/loadavg: 2.52 2.52 2.73 3/76 19656
/proc/meminfo: memFree=516120/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3371 11779 0 1 17 2 1667 126 19 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=406576 CPUtime=5.93
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 97304 0 0 0 515 78 0 0 25 0 1 0 30625217 416333824 97099 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134638432 0 0 4096 0 0 0 0 17 1 0 0
/proc/19656/statm: 101644 97099 35 112 0 101528 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 428772
[startup+51.2637 s]
/proc/loadavg: 2.34 2.48 2.71 3/76 19656
/proc/meminfo: memFree=108248/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=769308 CPUtime=31.51
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 190905 0 0 0 3008 143 0 0 25 0 1 0 30625217 787771392 189674 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 192327 189674 52 112 0 192211 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 791504
[startup+102.555 s]
/proc/loadavg: 2.13 2.40 2.67 3/76 19656
/proc/meminfo: memFree=99928/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=778004 CPUtime=82.39
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 193088 0 0 0 8094 145 0 0 25 0 1 0 30625217 796676096 191857 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 194501 191857 52 112 0 194385 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 800200
[startup+162.582 s]
/proc/loadavg: 2.05 2.32 2.62 3/76 19656
/proc/meminfo: memFree=96536/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=781532 CPUtime=142.13
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 193920 0 0 0 14068 145 0 0 25 0 1 0 30625217 800288768 192689 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 195383 192689 52 112 0 195267 0
Current children cumulated CPU time (s) 161.34
Current children cumulated vsize (KiB) 803728
[startup+222.605 s]
/proc/loadavg: 2.02 2.26 2.58 3/76 19656
/proc/meminfo: memFree=88864/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
################
# More data... #
################
Current children cumulated CPU time (s) 1236.67
Current children cumulated vsize (KiB) 855416
[startup+1303 s]
/proc/loadavg: 2.00 2.00 2.16 3/76 19656
/proc/meminfo: memFree=42848/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=835600 CPUtime=1277.2
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 207091 0 0 0 127556 164 0 0 25 0 1 0 30625217 855654400 205860 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 208900 205860 52 112 0 208784 0
Current children cumulated CPU time (s) 1296.41
Current children cumulated vsize (KiB) 857796
[startup+1363.02 s]
/proc/loadavg: 2.05 2.01 2.15 3/76 19656
/proc/meminfo: memFree=41504/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=836820 CPUtime=1336.94
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 207419 0 0 0 133530 164 0 0 25 0 1 0 30625217 856903680 206188 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 209205 206188 52 112 0 209089 0
Current children cumulated CPU time (s) 1356.15
Current children cumulated vsize (KiB) 859016
[startup+1423.05 s]
/proc/loadavg: 2.20 2.07 2.16 3/82 19762
/proc/meminfo: memFree=38496/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=838392 CPUtime=1396.59
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 207800 0 0 0 139494 165 0 0 25 0 1 0 30625217 858513408 206569 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 209598 206569 52 112 0 209482 0
Current children cumulated CPU time (s) 1415.8
Current children cumulated vsize (KiB) 860588
[startup+1483.09 s]
/proc/loadavg: 2.10 2.07 2.16 3/76 19854
/proc/meminfo: memFree=38008/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=839784 CPUtime=1456.23
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 208142 0 0 0 145458 165 0 0 25 0 1 0 30625217 859938816 206911 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 209946 206911 52 112 0 209830 0
Current children cumulated CPU time (s) 1475.44
Current children cumulated vsize (KiB) 861980
[startup+1543.11 s]
/proc/loadavg: 2.04 2.05 2.15 3/76 19854
/proc/meminfo: memFree=36768/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=841004 CPUtime=1515.97
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 208483 0 0 0 151431 166 0 0 25 0 1 0 30625217 861188096 207252 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 210251 207252 52 112 0 210135 0
Current children cumulated CPU time (s) 1535.18
Current children cumulated vsize (KiB) 863200
[startup+1603.13 s]
/proc/loadavg: 2.01 2.04 2.13 3/76 19854
/proc/meminfo: memFree=35424/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=842328 CPUtime=1575.71
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 208818 0 0 0 157404 167 0 0 25 0 1 0 30625217 862543872 207587 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19656/statm: 210582 207587 52 112 0 210466 0
Current children cumulated CPU time (s) 1594.92
Current children cumulated vsize (KiB) 864524
[startup+1663.15 s]
/proc/loadavg: 1.93 2.01 2.12 3/83 19918
/proc/meminfo: memFree=605352/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=843676 CPUtime=1635.47
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 209151 0 0 0 163379 168 0 0 25 0 1 0 30625217 863924224 207920 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19656/statm: 210919 207920 52 112 0 210803 0
Current children cumulated CPU time (s) 1654.68
Current children cumulated vsize (KiB) 865872
[startup+1723.21 s]
/proc/loadavg: 3.82 2.54 2.29 3/83 19924
/proc/meminfo: memFree=14888/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=845864 CPUtime=1695.35
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 209710 0 0 0 169343 192 0 0 25 0 1 0 30625217 866164736 208479 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528804 0 0 4096 3 0 0 0 17 0 0 0
/proc/19656/statm: 211466 208479 52 112 0 211350 0
Current children cumulated CPU time (s) 1714.56
Current children cumulated vsize (KiB) 868060
[startup+1783.29 s]
/proc/loadavg: 4.31 2.92 2.44 3/83 19928
/proc/meminfo: memFree=15528/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=847988 CPUtime=1755.14
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 210253 0 0 0 175299 215 0 0 25 0 1 0 30625217 868339712 209022 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19656/statm: 211997 209022 52 112 0 211881 0
Current children cumulated CPU time (s) 1774.35
Current children cumulated vsize (KiB) 870184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.05 s]
/proc/loadavg: 4.54 3.09 2.50 3/83 19930
/proc/meminfo: memFree=15848/2055920 swapFree=4192812/4192956
[pid=19636] ppid=19634 vsize=22196 CPUtime=18.12
/proc/19636/stat : 19636 (sugar) S 19634 19636 19279 0 -1 4194304 3381 11779 0 1 17 2 1667 126 16 0 1 0 30623262 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19636/statm: 5549 2891 373 3 0 2649 0
[pid=19638] ppid=19636 vsize=0 CPUtime=1.09
/proc/19638/stat : 19638 (java) Z 19636 19636 19279 0 -1 1036 11260 0 1 0 101 8 0 0 17 0 1 0 30623267 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19638/statm: 0 0 0 0 0 0 0
[pid=19656] ppid=19636 vsize=849024 CPUtime=1780.88
/proc/19656/stat : 19656 (minisat) R 19636 19636 19279 0 -1 0 210487 0 0 0 177863 225 0 0 25 0 1 0 30625217 869400576 209256 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19656/statm: 212256 209256 52 112 0 212140 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 871220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 19636 and gives childrusage.ru_utime.tv_sec=16 childrusage.ru_utime.tv_usec=849438 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=305801
CPU time returned by wait4() is 18.1552
while last known CPU time is 1800.22
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1819.19
CPU time (s): 1800.22
CPU user time (s): 1796.48
CPU system time (s): 3.74
CPU usage (%): 98.9574
Max. virtual memory (cumulated for all children) (KiB): 871220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8494
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15184
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= 1173
involuntary context switches= 1283
runsolver used 2.01769 s user time and 6.04408 s system time
The end
Begin job on node38 on Mon Jan 29 21:37:54 UTC 2007
IDJOB= 233259
IDBENCH= 6589
IDSOLVER= 86
FILE ID= node38/233259-1170106674
PBS_JOBID= 3689883
Free space on /tmp= 66365 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-4.xml
COMMAND LINE= /tmp/evaluation/233259-1170106674/solver /tmp/evaluation/233259-1170106674 /tmp/evaluation/233259-1170106674/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-233259-1170106674 -o ROOT/results/node38/solver-233259-1170106674 -C 1800 -M 900 /tmp/evaluation/233259-1170106674/solver /tmp/evaluation/233259-1170106674 /tmp/evaluation/233259-1170106674/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d4c3a845b4dc0f6fc0933440fcd2ee32
RANDOM SEED= 904467444
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.233
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.233
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: 1161080 kB
Buffers: 25156 kB
Cached: 248136 kB
SwapCached: 0 kB
Active: 805612 kB
Inactive: 34728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1161080 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 14368 kB
Writeback: 0 kB
Mapped: 578028 kB
Slab: 38752 kB
Committed_AS: 778084 kB
PageTables: 3060 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= 63626 MiB
End job on node38 on Mon Jan 29 22:08:16 UTC 2007