0.08 c # Sugar v0-40 (/tmp/evaluation/247473-1170109573/sugar-v0-40.jar)
0.08
0.08 c # MAIN BEGIN : /tmp/evaluation/247473-1170109573/unknown.xml [Mon Jan 29 23:26:16 2007]
0.08 c # CONVERT_XML BEGIN : /tmp/evaluation/247473-1170109573/unknown.xml /tmp/evaluation/247473-1170109573/sugar29855.csp [Mon Jan 29 23:26:16 2007]
0.08 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247473-1170109573/sugar-v0-40.jar -convert /tmp/evaluation/247473-1170109573/unknown.xml /tmp/evaluation/247473-1170109573/sugar29855.csp
0.27 c BEGIN convert /tmp/evaluation/247473-1170109573/unknown.xml
31.77 c END convert (31.504894 seconds)
31.85 c # CONVERT_XML END : /tmp/evaluation/247473-1170109573/sugar29855.csp 154505232 bytes (31 seconds) [Mon Jan 29 23:26:47 2007]
31.85 c # CONVERT_XML CPU : 31.51 = 0 + 0 + 30.19 + 1.32
31.85
31.85 c # GENERATE_SAT BEGIN : /tmp/evaluation/247473-1170109573/sugar29855.bcnf [Mon Jan 29 23:26:47 2007]
31.85 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247473-1170109573/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247473-1170109573/sugar29855.map /tmp/evaluation/247473-1170109573/sugar29855.csp /tmp/evaluation/247473-1170109573/sugar29855.bcnf
32.02 c BEGIN parse /tmp/evaluation/247473-1170109573/sugar29855.csp
323.27 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
323.42 s UNKNOWN
323.42 c # ERROR /tmp/evaluation/247473-1170109573/sugar29855.bcnf is not generated, at /tmp/evaluation/247473-1170109573/sugar line 310.
323.42
323.42 c # MAIN END : (323 seconds) [Mon Jan 29 23:31:39 2007]
323.42 c # MAIN CPU : 31.51 = 0 + 0 + 30.19 + 1.32
323.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-247473-1170109573 -o ROOT/results/node4/solver-247473-1170109573 -C 1800 -M 900 /tmp/evaluation/247473-1170109573/solver /tmp/evaluation/247473-1170109573 /tmp/evaluation/247473-1170109573/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.53 2.81 2.68 5/87 29856
/proc/meminfo: memFree=1756048/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=12268 CPUtime=0
/proc/29855/stat : 29855 (sugar) R 29853 29855 29790 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 30912412 12562432 316 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259913382501 0 0 4224 0 0 0 0 17 1 0 0
/proc/29855/statm: 3067 316 241 3 0 167 0
[startup+0.105683 s]
/proc/loadavg: 2.53 2.81 2.68 5/87 29856
/proc/meminfo: memFree=1756048/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=0.04
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30912412 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29855/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513729 s]
/proc/loadavg: 2.53 2.81 2.68 5/87 29856
/proc/meminfo: memFree=1756048/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=0.04
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30912412 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29855/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33682 s]
/proc/loadavg: 2.53 2.81 2.68 3/95 29864
/proc/meminfo: memFree=1670872/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=0.04
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30912412 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29855/statm: 3431 805 368 3 0 531 0
[pid=29857] ppid=29855 vsize=807120 CPUtime=1.14
/proc/29857/stat : 29857 (java) R 29855 29855 29790 0 -1 0 22465 0 32 0 97 17 0 0 23 0 8 0 30912421 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073525079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29857/statm: 201780 22238 1691 14 0 189058 0
[pid=29857/tid=29858] ppid=29855 vsize=807120 CPUtime=0.17
/proc/29857/task/29858/stat : 29858 (java) S 29855 29855 29790 0 -1 64 16043 0 0 0 9 8 0 0 16 0 8 0 30912430 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29859] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29859/stat : 29859 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30912431 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29860] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29860/stat : 29860 (java) S 29855 29855 29790 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30912431 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29861] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29861/stat : 29861 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30912434 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29862] ppid=29855 vsize=807120 CPUtime=0.04
/proc/29857/task/29862/stat : 29862 (java) S 29855 29855 29790 0 -1 64 287 0 0 0 4 0 0 0 16 0 8 0 30912434 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29863] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29863/stat : 29863 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30912434 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29864] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29864/stat : 29864 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30912434 826490880 22238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 820844
[startup+2.98996 s]
/proc/loadavg: 2.53 2.81 2.68 3/95 29864
/proc/meminfo: memFree=1640792/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=0.04
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30912412 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29855/statm: 3431 805 368 3 0 531 0
[pid=29857] ppid=29855 vsize=807120 CPUtime=2.77
/proc/29857/stat : 29857 (java) R 29855 29855 29790 0 -1 0 33711 0 32 0 254 23 0 0 25 0 8 0 30912421 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073445387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29857/statm: 201780 33472 1691 14 0 189058 0
[pid=29857/tid=29858] ppid=29855 vsize=807120 CPUtime=0.37
/proc/29857/task/29858/stat : 29858 (java) S 29855 29855 29790 0 -1 64 27274 0 0 0 23 14 0 0 16 0 8 0 30912430 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29859] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29859/stat : 29859 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30912431 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29860] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29860/stat : 29860 (java) S 29855 29855 29790 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30912431 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29861] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29861/stat : 29861 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30912434 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29862] ppid=29855 vsize=807120 CPUtime=0.05
/proc/29857/task/29862/stat : 29862 (java) S 29855 29855 29790 0 -1 64 290 0 0 0 5 0 0 0 16 0 8 0 30912434 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29863] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29863/stat : 29863 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30912434 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29864] ppid=29855 vsize=807120 CPUtime=0
/proc/29857/task/29864/stat : 29864 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30912434 826490880 33472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 820844
[startup+6.19028 s]
/proc/loadavg: 2.49 2.80 2.68 3/95 29864
/proc/meminfo: memFree=1548888/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=0.04
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30912412 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29855/statm: 3431 805 368 3 0 531 0
[pid=29857] ppid=29855 vsize=807660 CPUtime=5.96
/proc/29857/stat : 29857 (java) S 29855 29855 29790 0 -1 0 56573 0 34 0 561 35 0 0 25 0 8 0 30912421 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29857/statm: 201915 56238 1696 14 0 189193 0
[pid=29857/tid=29858] ppid=29855 vsize=807660 CPUtime=0.95
/proc/29857/task/29858/stat : 29858 (java) R 29855 29855 29790 0 -1 64 50083 0 1 0 70 25 0 0 16 0 8 0 30912430 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29859] ppid=29855 vsize=807660 CPUtime=0
/proc/29857/task/29859/stat : 29859 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30912431 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29860] ppid=29855 vsize=807660 CPUtime=0
/proc/29857/task/29860/stat : 29860 (java) S 29855 29855 29790 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30912431 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29861] ppid=29855 vsize=807660 CPUtime=0
/proc/29857/task/29861/stat : 29861 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30912434 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29862] ppid=29855 vsize=807660 CPUtime=0.06
/proc/29857/task/29862/stat : 29862 (java) S 29855 29855 29790 0 -1 64 296 0 0 0 6 0 0 0 16 0 8 0 30912434 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29863] ppid=29855 vsize=807660 CPUtime=0
/proc/29857/task/29863/stat : 29863 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30912434 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29864] ppid=29855 vsize=807660 CPUtime=0
/proc/29857/task/29864/stat : 29864 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30912434 827043840 56238 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 821384
[startup+12.6129 s]
/proc/loadavg: 2.45 2.78 2.68 3/95 29864
/proc/meminfo: memFree=1340760/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=0.04
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30912412 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29855/statm: 3431 805 368 3 0 531 0
[pid=29857] ppid=29855 vsize=807156 CPUtime=12.33
/proc/29857/stat : 29857 (java) R 29855 29855 29790 0 -1 0 99734 0 34 0 1162 71 0 0 25 0 8 0 30912421 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29857/statm: 201789 98188 1697 14 0 189067 0
[pid=29857/tid=29858] ppid=29855 vsize=807156 CPUtime=2.78
/proc/29857/task/29858/stat : 29858 (java) R 29855 29855 29790 0 -1 64 75605 0 1 0 240 38 0 0 16 0 8 0 30912430 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29859] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29859/stat : 29859 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30912431 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29860] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29860/stat : 29860 (java) S 29855 29855 29790 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30912431 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29861] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29861/stat : 29861 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30912434 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29862] ppid=29855 vsize=807156 CPUtime=0.07
/proc/29857/task/29862/stat : 29862 (java) S 29855 29855 29790 0 -1 64 304 0 0 0 7 0 0 0 17 0 8 0 30912434 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29863] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29863/stat : 29863 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30912434 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29864] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29864/stat : 29864 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30912434 826527744 98188 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 820880
[startup+25.4949 s]
/proc/loadavg: 2.35 2.74 2.67 3/95 29864
/proc/meminfo: memFree=1239448/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=0.04
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30912412 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29855/statm: 3431 805 368 3 0 531 0
[pid=29857] ppid=29855 vsize=807156 CPUtime=25.19
/proc/29857/stat : 29857 (java) R 29855 29855 29790 0 -1 0 105630 0 34 0 2413 106 0 0 25 0 8 0 30912421 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073595164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29857/statm: 201789 100734 1697 14 0 189067 0
[pid=29857/tid=29858] ppid=29855 vsize=807156 CPUtime=6.31
/proc/29857/task/29858/stat : 29858 (java) S 29855 29855 29790 0 -1 64 81381 0 1 0 589 42 0 0 16 0 8 0 30912430 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29859] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29859/stat : 29859 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30912431 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29860] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29860/stat : 29860 (java) S 29855 29855 29790 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30912431 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29861] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29861/stat : 29861 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30912434 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29862] ppid=29855 vsize=807156 CPUtime=0.07
/proc/29857/task/29862/stat : 29862 (java) S 29855 29855 29790 0 -1 64 304 0 0 0 7 0 0 0 17 0 8 0 30912434 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29863] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29863/stat : 29863 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30912434 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29857/tid=29864] ppid=29855 vsize=807156 CPUtime=0
/proc/29857/task/29864/stat : 29864 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30912434 826527744 100734 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 820880
[startup+51.1744 s]
/proc/loadavg: 2.35 2.71 2.66 4/95 29872
/proc/meminfo: memFree=1241368/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=31.55
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1190 106108 0 34 3 1 3019 132 15 0 1 0 30912412 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29855/statm: 3431 809 371 3 0 531 0
[pid=29865] ppid=29855 vsize=807064 CPUtime=19.08
/proc/29865/stat : 29865 (java) R 29855 29855 29790 0 -1 0 89884 0 1 0 1859 49 0 0 25 0 8 0 30915598 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29865/statm: 201766 89500 1495 14 0 189044 0
[pid=29865/tid=29866] ppid=29855 vsize=807064 CPUtime=7.82
/proc/29865/task/29866/stat : 29866 (java) R 29855 29855 29790 0 -1 64 82321 0 0 0 741 41 0 0 17 0 8 0 30915606 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035696 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29867] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29867/stat : 29867 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30915607 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29868] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29868/stat : 29868 (java) S 29855 29855 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30915607 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29869] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29869/stat : 29869 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30915610 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29870] ppid=29855 vsize=807064 CPUtime=0.05
/proc/29865/task/29870/stat : 29870 (java) S 29855 29855 29790 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 30915610 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29871] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29871/stat : 29871 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30915610 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29872] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29872/stat : 29872 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30915610 826433536 89500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 820788
[startup+102.396 s]
/proc/loadavg: 2.29 2.65 2.63 3/95 29872
/proc/meminfo: memFree=974616/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=31.55
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1190 106108 0 34 3 1 3019 132 15 0 1 0 30912412 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29855/statm: 3431 809 371 3 0 531 0
[pid=29865] ppid=29855 vsize=807064 CPUtime=69.75
/proc/29865/stat : 29865 (java) S 29855 29855 29790 0 -1 0 156475 0 1 0 6892 83 0 0 18 0 8 0 30915598 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29865/statm: 201766 156040 1495 14 0 189044 0
[pid=29865/tid=29866] ppid=29855 vsize=807064 CPUtime=48.52
/proc/29865/task/29866/stat : 29866 (java) R 29855 29855 29790 0 -1 64 146573 0 0 0 4780 72 0 0 25 0 8 0 30915606 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134305 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29867] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29867/stat : 29867 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29868] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29868/stat : 29868 (java) S 29855 29855 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29869] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29869/stat : 29869 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29870] ppid=29855 vsize=807064 CPUtime=0.05
/proc/29865/task/29870/stat : 29870 (java) S 29855 29855 29790 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29871] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29871/stat : 29871 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29872] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29872/stat : 29872 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 820788
[startup+162.44 s]
/proc/loadavg: 2.14 2.54 2.60 3/95 29872
/proc/meminfo: memFree=967576/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=31.55
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1190 106108 0 34 3 1 3019 132 15 0 1 0 30912412 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29855/statm: 3431 809 371 3 0 531 0
[pid=29865] ppid=29855 vsize=807064 CPUtime=129.21
/proc/29865/stat : 29865 (java) S 29855 29855 29790 0 -1 0 156494 0 1 0 12837 84 0 0 17 0 8 0 30915598 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29865/statm: 201766 156040 1495 14 0 189044 0
[pid=29865/tid=29866] ppid=29855 vsize=807064 CPUtime=106.42
/proc/29865/task/29866/stat : 29866 (java) R 29855 29855 29790 0 -1 64 146573 0 0 0 10570 72 0 0 25 0 8 0 30915606 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525244 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29867] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29867/stat : 29867 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29868] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29868/stat : 29868 (java) S 29855 29855 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29869] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29869/stat : 29869 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29870] ppid=29855 vsize=807064 CPUtime=0.05
/proc/29865/task/29870/stat : 29870 (java) S 29855 29855 29790 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29871] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29871/stat : 29871 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29872] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29872/stat : 29872 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 820788
[startup+222.512 s]
/proc/loadavg: 2.05 2.44 2.56 3/95 29872
/proc/meminfo: memFree=961048/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=31.55
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1190 106108 0 34 3 1 3019 132 15 0 1 0 30912412 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29855/statm: 3431 809 371 3 0 531 0
[pid=29865] ppid=29855 vsize=807064 CPUtime=188.7
/proc/29865/stat : 29865 (java) S 29855 29855 29790 0 -1 0 156514 0 1 0 18786 84 0 0 17 0 8 0 30915598 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29865/statm: 201766 156040 1495 14 0 189044 0
[pid=29865/tid=29866] ppid=29855 vsize=807064 CPUtime=165.84
/proc/29865/task/29866/stat : 29866 (java) R 29855 29855 29790 0 -1 64 146573 0 0 0 16512 72 0 0 25 0 8 0 30915606 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134381 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29867] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29867/stat : 29867 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29868] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29868/stat : 29868 (java) S 29855 29855 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29869] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29869/stat : 29869 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29870] ppid=29855 vsize=807064 CPUtime=0.05
/proc/29865/task/29870/stat : 29870 (java) S 29855 29855 29790 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29871] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29871/stat : 29871 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29872] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29872/stat : 29872 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.25
Current children cumulated vsize (KiB) 820788
[startup+282.578 s]
/proc/loadavg: 2.02 2.36 2.52 3/95 29872
/proc/meminfo: memFree=957208/2055920 swapFree=4192812/4192956
[pid=29855] ppid=29853 vsize=13724 CPUtime=31.55
/proc/29855/stat : 29855 (sugar) S 29853 29855 29790 0 -1 4194304 1190 106108 0 34 3 1 3019 132 15 0 1 0 30912412 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29855/statm: 3431 809 371 3 0 531 0
[pid=29865] ppid=29855 vsize=807064 CPUtime=248.17
/proc/29865/stat : 29865 (java) S 29855 29855 29790 0 -1 0 156533 0 1 0 24732 85 0 0 17 0 8 0 30915598 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29865/statm: 201766 156040 1495 14 0 189044 0
[pid=29865/tid=29866] ppid=29855 vsize=807064 CPUtime=225.3
/proc/29865/task/29866/stat : 29866 (java) R 29855 29855 29790 0 -1 64 146573 0 0 0 22457 73 0 0 25 0 8 0 30915606 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525196 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29867] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29867/stat : 29867 (java) S 29855 29855 29790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29868] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29868/stat : 29868 (java) S 29855 29855 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30915607 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29869] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29869/stat : 29869 (java) S 29855 29855 29790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29870] ppid=29855 vsize=807064 CPUtime=0.05
/proc/29865/task/29870/stat : 29870 (java) S 29855 29855 29790 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29871] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29871/stat : 29871 (java) S 29855 29855 29790 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29865/tid=29872] ppid=29855 vsize=807064 CPUtime=0
/proc/29865/task/29872/stat : 29872 (java) S 29855 29855 29790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30915610 826433536 156040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.72
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29855 and gives childrusage.ru_utime.tv_sec=30 childrusage.ru_utime.tv_usec=233403 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=406786
CPU time returned by wait4() is 31.6402
while last known CPU time is 320.18
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 323.488
CPU time (s): 320.18
CPU user time (s): 317.83
CPU system time (s): 2.35
CPU usage (%): 98.9773
Max. virtual memory (cumulated for all children) (KiB): 821384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2334
system time used= 1.40679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107376
page faults= 34
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3153
involuntary context switches= 3242
runsolver used 0.358945 s user time and 1.08083 s system time
The end
Begin job on node4 on Mon Jan 29 22:26:16 UTC 2007
IDJOB= 247473
IDBENCH= 11129
IDSOLVER= 86
FILE ID= node4/247473-1170109573
PBS_JOBID= 3690024
Free space on /tmp= 66512 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml
COMMAND LINE= /tmp/evaluation/247473-1170109573/solver /tmp/evaluation/247473-1170109573 /tmp/evaluation/247473-1170109573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-247473-1170109573 -o ROOT/results/node4/solver-247473-1170109573 -C 1800 -M 900 /tmp/evaluation/247473-1170109573/solver /tmp/evaluation/247473-1170109573 /tmp/evaluation/247473-1170109573/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 2edb97a8e449f03344d9a881313e99a5
RANDOM SEED= 661296217
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.231
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.231
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: 1756720 kB
Buffers: 20116 kB
Cached: 82224 kB
SwapCached: 0 kB
Active: 200732 kB
Inactive: 46636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 23272 kB
Writeback: 0 kB
Mapped: 164704 kB
Slab: 36696 kB
Committed_AS: 715036 kB
PageTables: 2328 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= 66512 MiB
End job on node4 on Mon Jan 29 22:31:39 UTC 2007