0.05 c # Sugar v0-40 (/tmp/evaluation/247408-1170109514/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/247408-1170109514/unknown.xml [Mon Jan 29 23:25:17 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/247408-1170109514/unknown.xml /tmp/evaluation/247408-1170109514/sugar31356.csp [Mon Jan 29 23:25:17 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247408-1170109514/sugar-v0-40.jar -convert /tmp/evaluation/247408-1170109514/unknown.xml /tmp/evaluation/247408-1170109514/sugar31356.csp
0.22 c BEGIN convert /tmp/evaluation/247408-1170109514/unknown.xml
29.04 c END convert (28.82212 seconds)
29.12 c # CONVERT_XML END : /tmp/evaluation/247408-1170109514/sugar31356.csp 154834404 bytes (29 seconds) [Mon Jan 29 23:25:46 2007]
29.12 c # CONVERT_XML CPU : 28.78 = 0 + 0 + 27.56 + 1.22
29.12
29.12 c # GENERATE_SAT BEGIN : /tmp/evaluation/247408-1170109514/sugar31356.bcnf [Mon Jan 29 23:25:46 2007]
29.12 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247408-1170109514/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247408-1170109514/sugar31356.map /tmp/evaluation/247408-1170109514/sugar31356.csp /tmp/evaluation/247408-1170109514/sugar31356.bcnf
29.24 c BEGIN parse /tmp/evaluation/247408-1170109514/sugar31356.csp
319.78 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
319.90 s UNKNOWN
319.90 c # ERROR /tmp/evaluation/247408-1170109514/sugar31356.bcnf is not generated, at /tmp/evaluation/247408-1170109514/sugar line 310.
319.90
319.90 c # MAIN END : (320 seconds) [Mon Jan 29 23:30:37 2007]
319.90 c # MAIN CPU : 28.78 = 0 + 0 + 27.56 + 1.22
319.90
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-247408-1170109514 -o ROOT/results/node16/solver-247408-1170109514 -C 1800 -M 900 /tmp/evaluation/247408-1170109514/solver /tmp/evaluation/247408-1170109514 /tmp/evaluation/247408-1170109514/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.43 3.10 4.07 5/87 31357
/proc/meminfo: memFree=1825904/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=12268 CPUtime=0
/proc/31356/stat : 31356 (sugar) R 31354 31356 31291 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 30905999 12562432 316 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231980686928 0 0 4224 0 0 0 0 17 1 0 0
/proc/31356/statm: 3067 316 241 3 0 167 0
[startup+0.10576 s]
/proc/loadavg: 2.43 3.10 4.07 5/87 31357
/proc/meminfo: memFree=1825904/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=0.03
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30905999 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.513719 s]
/proc/loadavg: 2.43 3.10 4.07 5/87 31357
/proc/meminfo: memFree=1825904/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=0.03
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905999 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34263 s]
/proc/loadavg: 2.39 3.08 4.06 3/95 31365
/proc/meminfo: memFree=1746352/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=0.03
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905999 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 805 368 3 0 531 0
[pid=31358] ppid=31356 vsize=807120 CPUtime=1.21
/proc/31358/stat : 31358 (java) R 31356 31356 31291 0 -1 0 23580 0 1 0 108 13 0 0 25 0 8 0 30906004 826490880 23321 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073445685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31358/statm: 201780 23321 1691 14 0 189058 0
[pid=31358/tid=31359] ppid=31356 vsize=807120 CPUtime=0.15
/proc/31358/task/31359/stat : 31359 (java) S 31356 31356 31291 0 -1 64 17122 0 0 0 8 7 0 0 16 0 8 0 30906007 826490880 23321 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31360] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31360/stat : 31360 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 23321 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31361] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31361/stat : 31361 (java) S 31356 31356 31291 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30906008 826490880 23321 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31362] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31362/stat : 31362 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30906011 826490880 23321 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31363] ppid=31356 vsize=807120 CPUtime=0.05
/proc/31358/task/31363/stat : 31363 (java) S 31356 31356 31291 0 -1 64 290 0 0 0 5 0 0 0 16 0 8 0 30906011 826490880 23321 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31364] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31364/stat : 31364 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30906011 826490880 23321 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31365] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31365/stat : 31365 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906011 826490880 23321 18446744073709551615 134512640 134570532 4294956528 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) 820844
[startup+2.98044 s]
/proc/loadavg: 2.39 3.08 4.06 4/95 31365
/proc/meminfo: memFree=1709232/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=0.03
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905999 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 805 368 3 0 531 0
[pid=31358] ppid=31356 vsize=807120 CPUtime=2.84
/proc/31358/stat : 31358 (java) R 31356 31356 31291 0 -1 0 35391 0 1 0 265 19 0 0 25 0 8 0 30906004 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073529617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31358/statm: 201780 35120 1691 14 0 189058 0
[pid=31358/tid=31359] ppid=31356 vsize=807120 CPUtime=0.33
/proc/31358/task/31359/stat : 31359 (java) S 31356 31356 31291 0 -1 64 28921 0 0 0 21 12 0 0 16 0 8 0 30906007 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31360] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31360/stat : 31360 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31361] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31361/stat : 31361 (java) S 31356 31356 31291 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30906008 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31362] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31362/stat : 31362 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30906011 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31363] ppid=31356 vsize=807120 CPUtime=0.05
/proc/31358/task/31363/stat : 31363 (java) S 31356 31356 31291 0 -1 64 290 0 0 0 5 0 0 0 16 0 8 0 30906011 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31364] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31364/stat : 31364 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30906011 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31365] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31365/stat : 31365 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906011 826490880 35120 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 820844
[startup+6.18909 s]
/proc/loadavg: 2.44 3.08 4.05 3/95 31365
/proc/meminfo: memFree=1618608/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=0.03
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905999 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 805 368 3 0 531 0
[pid=31358] ppid=31356 vsize=807120 CPUtime=6.03
/proc/31358/stat : 31358 (java) R 31356 31356 31291 0 -1 0 73912 0 2 0 567 36 0 0 25 0 8 0 30906004 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073417727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31358/statm: 201780 73465 1697 14 0 189058 0
[pid=31358/tid=31359] ppid=31356 vsize=807120 CPUtime=0.99
/proc/31358/task/31359/stat : 31359 (java) S 31356 31356 31291 0 -1 64 58385 0 1 0 75 24 0 0 16 0 8 0 30906007 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31360] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31360/stat : 31360 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31361] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31361/stat : 31361 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31362] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31362/stat : 31362 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30906011 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31363] ppid=31356 vsize=807120 CPUtime=0.06
/proc/31358/task/31363/stat : 31363 (java) S 31356 31356 31291 0 -1 64 296 0 0 0 6 0 0 0 16 0 8 0 30906011 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31364] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31364/stat : 31364 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30906011 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31365] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31365/stat : 31365 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906011 826490880 73465 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 820844
[startup+12.5934 s]
/proc/loadavg: 2.49 3.08 4.04 3/95 31365
/proc/meminfo: memFree=1391416/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=0.03
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905999 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 805 368 3 0 531 0
[pid=31358] ppid=31356 vsize=807120 CPUtime=12.4
/proc/31358/stat : 31358 (java) R 31356 31356 31291 0 -1 0 101056 0 2 0 1178 62 0 0 25 0 8 0 30906004 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380212 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31358/statm: 201780 99071 1697 14 0 189058 0
[pid=31358/tid=31359] ppid=31356 vsize=807120 CPUtime=2.81
/proc/31358/task/31359/stat : 31359 (java) S 31356 31356 31291 0 -1 64 76952 0 1 0 249 32 0 0 16 0 8 0 30906007 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31360] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31360/stat : 31360 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31361] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31361/stat : 31361 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31362] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31362/stat : 31362 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30906011 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31363] ppid=31356 vsize=807120 CPUtime=0.08
/proc/31358/task/31363/stat : 31363 (java) S 31356 31356 31291 0 -1 64 304 0 0 0 8 0 0 0 17 0 8 0 30906011 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31364] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31364/stat : 31364 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30906011 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31365] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31365/stat : 31365 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906011 826490880 99071 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 820844
[startup+25.443 s]
/proc/loadavg: 2.41 3.04 4.02 4/95 31365
/proc/meminfo: memFree=1307448/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=0.03
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905999 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 805 368 3 0 531 0
[pid=31358] ppid=31356 vsize=807120 CPUtime=25.14
/proc/31358/stat : 31358 (java) R 31356 31356 31291 0 -1 0 106983 0 2 0 2410 104 0 0 25 0 8 0 30906004 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073558014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31358/statm: 201780 100744 1697 14 0 189058 0
[pid=31358/tid=31359] ppid=31356 vsize=807120 CPUtime=5.81
/proc/31358/task/31359/stat : 31359 (java) S 31356 31356 31291 0 -1 64 82741 0 1 0 545 36 0 0 16 0 8 0 30906007 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31360] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31360/stat : 31360 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31361] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31361/stat : 31361 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30906008 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31362] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31362/stat : 31362 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30906011 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31363] ppid=31356 vsize=807120 CPUtime=0.08
/proc/31358/task/31363/stat : 31363 (java) S 31356 31356 31291 0 -1 64 304 0 0 0 8 0 0 0 17 0 8 0 30906011 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31364] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31364/stat : 31364 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30906011 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31358/tid=31365] ppid=31356 vsize=807120 CPUtime=0
/proc/31358/task/31365/stat : 31365 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906011 826490880 100744 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 820844
[startup+51.0472 s]
/proc/loadavg: 2.42 2.99 3.98 3/95 31373
/proc/meminfo: memFree=1300280/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=28.81
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1190 107158 0 2 3 0 2756 122 15 0 1 0 30905999 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 809 371 3 0 531 0
[pid=31366] ppid=31356 vsize=807064 CPUtime=21.79
/proc/31366/stat : 31366 (java) R 31356 31356 31291 0 -1 0 100779 0 1 0 2131 48 0 0 25 0 8 0 30908911 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31366/statm: 201766 100390 1495 14 0 189044 0
[pid=31366/tid=31367] ppid=31356 vsize=807064 CPUtime=9.06
/proc/31366/task/31367/stat : 31367 (java) R 31356 31356 31291 0 -1 64 90922 0 0 0 867 39 0 0 16 0 8 0 30908915 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31368] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31368/stat : 31368 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30908915 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31369] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31369/stat : 31369 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30908915 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31370] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31370/stat : 31370 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30908919 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31371] ppid=31356 vsize=807064 CPUtime=0.05
/proc/31366/task/31371/stat : 31371 (java) S 31356 31356 31291 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 30908919 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31372] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31372/stat : 31372 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30908919 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31373] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31373/stat : 31373 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30908919 826433536 100390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 820788
[startup+102.272 s]
/proc/loadavg: 2.29 2.85 3.87 3/95 31373
/proc/meminfo: memFree=1050936/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=28.81
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1190 107158 0 2 3 0 2756 122 15 0 1 0 30905999 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 809 371 3 0 531 0
[pid=31366] ppid=31356 vsize=807064 CPUtime=72.65
/proc/31366/stat : 31366 (java) S 31356 31356 31291 0 -1 0 156476 0 1 0 7193 72 0 0 18 0 8 0 30908911 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31366/statm: 201766 156041 1495 14 0 189044 0
[pid=31366/tid=31367] ppid=31356 vsize=807064 CPUtime=50.53
/proc/31366/task/31367/stat : 31367 (java) R 31356 31356 31291 0 -1 64 146573 0 0 0 4991 62 0 0 25 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155523701 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31368] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31368/stat : 31368 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31369] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31369/stat : 31369 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31370] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31370/stat : 31370 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31371] ppid=31356 vsize=807064 CPUtime=0.05
/proc/31366/task/31371/stat : 31371 (java) S 31356 31356 31291 0 -1 64 295 0 0 0 5 0 0 0 16 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31372] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31372/stat : 31372 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31373] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31373/stat : 31373 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 820788
[startup+162.326 s]
/proc/loadavg: 2.11 2.69 3.75 3/95 31373
/proc/meminfo: memFree=1050296/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=28.81
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1190 107158 0 2 3 0 2756 122 15 0 1 0 30905999 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 809 371 3 0 531 0
[pid=31366] ppid=31356 vsize=807064 CPUtime=132.44
/proc/31366/stat : 31366 (java) S 31356 31356 31291 0 -1 0 156495 0 1 0 13171 73 0 0 17 0 8 0 30908911 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31366/statm: 201766 156041 1495 14 0 189044 0
[pid=31366/tid=31367] ppid=31356 vsize=807064 CPUtime=108.67
/proc/31366/task/31367/stat : 31367 (java) R 31356 31356 31291 0 -1 64 146573 0 0 0 10805 62 0 0 25 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155523556 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31368] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31368/stat : 31368 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31369] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31369/stat : 31369 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31370] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31370/stat : 31370 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31371] ppid=31356 vsize=807064 CPUtime=0.05
/proc/31366/task/31371/stat : 31371 (java) S 31356 31356 31291 0 -1 64 295 0 0 0 5 0 0 0 16 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31372] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31372/stat : 31372 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31373] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31373/stat : 31373 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.25
Current children cumulated vsize (KiB) 820788
[startup+222.379 s]
/proc/loadavg: 2.04 2.57 3.64 3/95 31373
/proc/meminfo: memFree=1049528/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=28.81
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1190 107158 0 2 3 0 2756 122 15 0 1 0 30905999 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 809 371 3 0 531 0
[pid=31366] ppid=31356 vsize=807064 CPUtime=192.23
/proc/31366/stat : 31366 (java) S 31356 31356 31291 0 -1 0 156514 0 1 0 19149 74 0 0 17 0 8 0 30908911 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31366/statm: 201766 156041 1495 14 0 189044 0
[pid=31366/tid=31367] ppid=31356 vsize=807064 CPUtime=168.38
/proc/31366/task/31367/stat : 31367 (java) R 31356 31356 31291 0 -1 64 146573 0 0 0 16775 63 0 0 25 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035600 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31368] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31368/stat : 31368 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31369] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31369/stat : 31369 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31370] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31370/stat : 31370 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31371] ppid=31356 vsize=807064 CPUtime=0.05
/proc/31366/task/31371/stat : 31371 (java) S 31356 31356 31291 0 -1 64 295 0 0 0 5 0 0 0 16 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31372] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31372/stat : 31372 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31373] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31373/stat : 31373 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.04
Current children cumulated vsize (KiB) 820788
[startup+282.437 s]
/proc/loadavg: 2.07 2.48 3.54 3/95 31373
/proc/meminfo: memFree=1048824/2055920 swapFree=4192812/4192956
[pid=31356] ppid=31354 vsize=13724 CPUtime=28.81
/proc/31356/stat : 31356 (sugar) S 31354 31356 31291 0 -1 4194304 1190 107158 0 2 3 0 2756 122 15 0 1 0 30905999 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31356/statm: 3431 809 371 3 0 531 0
[pid=31366] ppid=31356 vsize=807064 CPUtime=252.01
/proc/31366/stat : 31366 (java) S 31356 31356 31291 0 -1 0 156534 0 1 0 25127 74 0 0 17 0 8 0 30908911 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31366/statm: 201766 156041 1495 14 0 189044 0
[pid=31366/tid=31367] ppid=31356 vsize=807064 CPUtime=228.16
/proc/31366/task/31367/stat : 31367 (java) R 31356 31356 31291 0 -1 64 146573 0 0 0 22753 63 0 0 25 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31368] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31368/stat : 31368 (java) S 31356 31356 31291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31369] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31369/stat : 31369 (java) S 31356 31356 31291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30908915 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31370] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31370/stat : 31370 (java) S 31356 31356 31291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31371] ppid=31356 vsize=807064 CPUtime=0.05
/proc/31366/task/31371/stat : 31371 (java) S 31356 31356 31291 0 -1 64 295 0 0 0 5 0 0 0 16 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31372] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31372/stat : 31372 (java) S 31356 31356 31291 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31366/tid=31373] ppid=31356 vsize=807064 CPUtime=0
/proc/31366/task/31373/stat : 31373 (java) S 31356 31356 31291 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30908919 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.82
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 31356 and gives childrusage.ru_utime.tv_sec=27 childrusage.ru_utime.tv_usec=604803 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=312800
CPU time returned by wait4() is 28.9176
while last known CPU time is 318.14
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 319.98
CPU time (s): 318.14
CPU user time (s): 316.04
CPU system time (s): 2.1
CPU usage (%): 99.425
Max. virtual memory (cumulated for all children) (KiB): 821348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6048
system time used= 1.3128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108426
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3017
involuntary context switches= 3497
runsolver used 0.303953 s user time and 1.12683 s system time
The end
Begin job on node16 on Mon Jan 29 22:25:17 UTC 2007
IDJOB= 247408
IDBENCH= 11123
IDSOLVER= 86
FILE ID= node16/247408-1170109514
PBS_JOBID= 3690023
Free space on /tmp= 66530 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml
COMMAND LINE= /tmp/evaluation/247408-1170109514/solver /tmp/evaluation/247408-1170109514 /tmp/evaluation/247408-1170109514/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-247408-1170109514 -o ROOT/results/node16/solver-247408-1170109514 -C 1800 -M 900 /tmp/evaluation/247408-1170109514/solver /tmp/evaluation/247408-1170109514 /tmp/evaluation/247408-1170109514/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= a89165accfc02d89a8e045a0f4b7d6c6
RANDOM SEED= 282052029
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.281
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.281
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: 1826384 kB
Buffers: 29100 kB
Cached: 85072 kB
SwapCached: 0 kB
Active: 128940 kB
Inactive: 51568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1826384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 23048 kB
Writeback: 0 kB
Mapped: 86012 kB
Slab: 34012 kB
Committed_AS: 742788 kB
PageTables: 2128 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= 66530 MiB
End job on node16 on Mon Jan 29 22:30:37 UTC 2007