0.05 c # Sugar v0-40 (/tmp/evaluation/205812-1170096225/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/205812-1170096225/unknown.xml [Mon Jan 29 19:43:50 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/205812-1170096225/unknown.xml /tmp/evaluation/205812-1170096225/sugar25355.csp [Mon Jan 29 19:43:50 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205812-1170096225/sugar-v0-40.jar -convert /tmp/evaluation/205812-1170096225/unknown.xml /tmp/evaluation/205812-1170096225/sugar25355.csp
0.17 c BEGIN convert /tmp/evaluation/205812-1170096225/unknown.xml
8.73 c END convert (8.563536 seconds)
8.79 c # CONVERT_XML END : /tmp/evaluation/205812-1170096225/sugar25355.csp 59325411 bytes (9 seconds) [Mon Jan 29 19:43:59 2007]
8.79 c # CONVERT_XML CPU : 8.55 = 0 + 0 + 8.12 + 0.43
8.79
8.79 c # GENERATE_SAT BEGIN : /tmp/evaluation/205812-1170096225/sugar25355.bcnf [Mon Jan 29 19:43:59 2007]
8.79 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205812-1170096225/sugar-v0-40.jar -bcnf -map /tmp/evaluation/205812-1170096225/sugar25355.map /tmp/evaluation/205812-1170096225/sugar25355.csp /tmp/evaluation/205812-1170096225/sugar25355.bcnf
8.91 c BEGIN parse /tmp/evaluation/205812-1170096225/sugar25355.csp
331.88 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
332.00 s UNKNOWN
332.00 c # ERROR /tmp/evaluation/205812-1170096225/sugar25355.bcnf is not generated, at /tmp/evaluation/205812-1170096225/sugar line 310.
332.00
332.00 c # MAIN END : (332 seconds) [Mon Jan 29 19:49:22 2007]
332.00 c # MAIN CPU : 8.55 = 0 + 0 + 8.12 + 0.43
332.00
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-205812-1170096225 -o ROOT/results/node24/solver-205812-1170096225 -C 1800 -M 900 /tmp/evaluation/205812-1170096225/solver /tmp/evaluation/205812-1170096225 /tmp/evaluation/205812-1170096225/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.20 2.06 2.57 4/83 25356
/proc/meminfo: memFree=1877712/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=12268 CPUtime=0
/proc/25355/stat : 25355 (sugar) D 25352 25355 25226 0 -1 4194304 597 0 0 0 0 0 0 0 18 0 1 0 29577316 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237788428901 0 2147483391 4224 0 18446744072099855350 0 0 17 1 0 0
/proc/25355/statm: 3067 316 241 3 0 167 0
[startup+0.10707 s]
/proc/loadavg: 1.20 2.06 2.57 4/83 25356
/proc/meminfo: memFree=1877712/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=0.04
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25355/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515155 s]
/proc/loadavg: 1.20 2.06 2.57 4/83 25356
/proc/meminfo: memFree=1877712/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=0.04
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34196 s]
/proc/loadavg: 1.20 2.06 2.57 5/102 25375
/proc/meminfo: memFree=1761080/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=0.04
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 805 368 3 0 531 0
[pid=25360] ppid=25355 vsize=807288 CPUtime=1.26
/proc/25360/stat : 25360 (java) R 25355 25355 25226 0 -1 0 20018 0 1 0 116 10 0 0 25 0 8 0 29577321 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25360/statm: 201822 19762 1658 14 0 189100 0
[pid=25360/tid=25363] ppid=25355 vsize=807288 CPUtime=0.27
/proc/25360/task/25363/stat : 25363 (java) R 25355 25355 25226 0 -1 64 13552 0 0 0 22 5 0 0 16 0 8 0 29577325 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154023939 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25360/tid=25366] ppid=25355 vsize=807288 CPUtime=0
/proc/25360/task/25366/stat : 25366 (java) S 25355 25355 25226 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 29577325 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25367] ppid=25355 vsize=807288 CPUtime=0
/proc/25360/task/25367/stat : 25367 (java) S 25355 25355 25226 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29577325 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25372] ppid=25355 vsize=807288 CPUtime=0
/proc/25360/task/25372/stat : 25372 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29577328 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25373] ppid=25355 vsize=807288 CPUtime=0.08
/proc/25360/task/25373/stat : 25373 (java) S 25355 25355 25226 0 -1 64 370 0 0 0 8 0 0 0 16 0 8 0 29577328 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25360/tid=25374] ppid=25355 vsize=807288 CPUtime=0
/proc/25360/task/25374/stat : 25374 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29577328 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25375] ppid=25355 vsize=807288 CPUtime=0
/proc/25360/task/25375/stat : 25375 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29577328 826662912 19762 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 821012
[startup+2.99614 s]
/proc/loadavg: 1.20 2.06 2.57 3/102 25375
/proc/meminfo: memFree=1653688/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=0.04
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 805 368 3 0 531 0
[pid=25360] ppid=25355 vsize=807420 CPUtime=2.89
/proc/25360/stat : 25360 (java) R 25355 25355 25226 0 -1 0 32974 0 1 0 273 16 0 0 25 0 8 0 29577321 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073334935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25360/statm: 201855 32713 1690 14 0 189133 0
[pid=25360/tid=25363] ppid=25355 vsize=807420 CPUtime=0.74
/proc/25360/task/25363/stat : 25363 (java) S 25355 25355 25226 0 -1 64 26388 0 0 0 64 10 0 0 17 0 8 0 29577325 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25360/tid=25366] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25366/stat : 25366 (java) S 25355 25355 25226 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 29577325 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25367] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25367/stat : 25367 (java) S 25355 25355 25226 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29577325 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25372] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25372/stat : 25372 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29577328 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25373] ppid=25355 vsize=807420 CPUtime=0.14
/proc/25360/task/25373/stat : 25373 (java) S 25355 25355 25226 0 -1 64 410 0 0 0 14 0 0 0 16 0 8 0 29577328 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25360/tid=25374] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25374/stat : 25374 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29577328 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25375] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25375/stat : 25375 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29577328 826798080 32713 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 821144
[startup+6.2905 s]
/proc/loadavg: 1.27 2.06 2.57 3/102 25375
/proc/meminfo: memFree=1549368/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=0.04
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 805 368 3 0 531 0
[pid=25360] ppid=25355 vsize=807420 CPUtime=6.15
/proc/25360/stat : 25360 (java) R 25355 25355 25226 0 -1 0 34813 0 1 0 582 33 0 0 25 0 8 0 29577321 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073799654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25360/statm: 201855 34475 1691 14 0 189133 0
[pid=25360/tid=25363] ppid=25355 vsize=807420 CPUtime=0.9
/proc/25360/task/25363/stat : 25363 (java) S 25355 25355 25226 0 -1 64 28131 0 0 0 79 11 0 0 16 0 8 0 29577325 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25360/tid=25366] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25366/stat : 25366 (java) S 25355 25355 25226 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 29577325 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25367] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25367/stat : 25367 (java) S 25355 25355 25226 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29577325 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25372] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25372/stat : 25372 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29577328 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25373] ppid=25355 vsize=807420 CPUtime=0.17
/proc/25360/task/25373/stat : 25373 (java) S 25355 25355 25226 0 -1 64 422 0 0 0 17 0 0 0 15 0 8 0 29577328 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25360/tid=25374] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25374/stat : 25374 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29577328 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25360/tid=25375] ppid=25355 vsize=807420 CPUtime=0
/proc/25360/task/25375/stat : 25375 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29577328 826798080 34475 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 821144
[startup+12.7902 s]
/proc/loadavg: 1.41 2.07 2.57 4/102 25391
/proc/meminfo: memFree=1614584/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=8.59
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1190 34878 0 1 3 1 812 43 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 809 371 3 0 531 0
[pid=25376] ppid=25355 vsize=807064 CPUtime=3.93
/proc/25376/stat : 25376 (java) R 25355 25355 25226 0 -1 0 21890 0 1 0 381 12 0 0 25 0 8 0 29578195 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552349 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25376/statm: 201766 21608 1494 14 0 189044 0
[pid=25376/tid=25377] ppid=25355 vsize=807064 CPUtime=1.15
/proc/25376/task/25377/stat : 25377 (java) S 25355 25355 25226 0 -1 64 15806 0 0 0 108 7 0 0 16 0 8 0 29578198 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25378] ppid=25355 vsize=807064 CPUtime=0
/proc/25376/task/25378/stat : 25378 (java) S 25355 25355 25226 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29578199 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25379] ppid=25355 vsize=807064 CPUtime=0
/proc/25376/task/25379/stat : 25379 (java) S 25355 25355 25226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578199 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25380] ppid=25355 vsize=807064 CPUtime=0
/proc/25376/task/25380/stat : 25380 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29578202 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25381] ppid=25355 vsize=807064 CPUtime=0.05
/proc/25376/task/25381/stat : 25381 (java) S 25355 25355 25226 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29578202 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25382] ppid=25355 vsize=807064 CPUtime=0
/proc/25376/task/25382/stat : 25382 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29578202 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25383] ppid=25355 vsize=807064 CPUtime=0
/proc/25376/task/25383/stat : 25383 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578202 826433536 21608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 820788
[startup+25.6084 s]
/proc/loadavg: 1.61 2.09 2.56 4/102 25391
/proc/meminfo: memFree=1225336/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=8.59
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1190 34878 0 1 3 1 812 43 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 809 371 3 0 531 0
[pid=25376] ppid=25355 vsize=807092 CPUtime=16.61
/proc/25376/stat : 25376 (java) R 25355 25355 25226 0 -1 0 73624 0 1 0 1624 37 0 0 25 0 8 0 29578195 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073455163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25376/statm: 201773 72499 1495 14 0 189051 0
[pid=25376/tid=25377] ppid=25355 vsize=807092 CPUtime=5.94
/proc/25376/task/25377/stat : 25377 (java) S 25355 25355 25226 0 -1 64 66087 0 0 0 565 29 0 0 16 0 8 0 29578198 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25378] ppid=25355 vsize=807092 CPUtime=0
/proc/25376/task/25378/stat : 25378 (java) S 25355 25355 25226 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29578199 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25379] ppid=25355 vsize=807092 CPUtime=0
/proc/25376/task/25379/stat : 25379 (java) S 25355 25355 25226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578199 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25380] ppid=25355 vsize=807092 CPUtime=0
/proc/25376/task/25380/stat : 25380 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29578202 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25381] ppid=25355 vsize=807092 CPUtime=0.05
/proc/25376/task/25381/stat : 25381 (java) S 25355 25355 25226 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 29578202 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25382] ppid=25355 vsize=807092 CPUtime=0
/proc/25376/task/25382/stat : 25382 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29578202 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25383] ppid=25355 vsize=807092 CPUtime=0
/proc/25376/task/25383/stat : 25383 (java) R 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578202 826462208 72499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 820816
[startup+51.3114 s]
/proc/loadavg: 2.09 2.16 2.57 4/102 25391
/proc/meminfo: memFree=582968/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=8.59
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1190 34878 0 1 3 1 812 43 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 809 371 3 0 531 0
[pid=25376] ppid=25355 vsize=811096 CPUtime=41.99
/proc/25376/stat : 25376 (java) S 25355 25355 25226 0 -1 0 155865 0 1 0 4119 80 0 0 18 0 8 0 29578195 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25376/statm: 202774 148622 1495 14 0 190052 0
[pid=25376/tid=25377] ppid=25355 vsize=811096 CPUtime=19.17
/proc/25376/task/25377/stat : 25377 (java) R 25355 25355 25226 0 -1 64 146039 0 0 0 1851 66 0 0 21 0 8 0 29578198 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134574 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25378] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25378/stat : 25378 (java) S 25355 25355 25226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29578199 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25379] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25379/stat : 25379 (java) S 25355 25355 25226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578199 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25380] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25380/stat : 25380 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29578202 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25381] ppid=25355 vsize=811096 CPUtime=0.05
/proc/25376/task/25381/stat : 25381 (java) S 25355 25355 25226 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 29578202 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25382] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25382/stat : 25382 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29578202 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25383] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25383/stat : 25383 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578202 830562304 148622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 824820
[startup+102.537 s]
/proc/loadavg: 2.10 2.15 2.54 3/102 25391
/proc/meminfo: memFree=511608/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=8.59
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1190 34878 0 1 3 1 812 43 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 809 371 3 0 531 0
[pid=25376] ppid=25355 vsize=811096 CPUtime=92.71
/proc/25376/stat : 25376 (java) S 25355 25355 25226 0 -1 0 196479 0 1 0 9171 100 0 0 18 0 8 0 29578195 830562304 156973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25376/statm: 202774 156973 1495 14 0 190052 0
[pid=25376/tid=25377] ppid=25355 vsize=811096 CPUtime=66.35
/proc/25376/task/25377/stat : 25377 (java) R 25355 25355 25226 0 -1 64 186636 0 0 0 6549 86 0 0 25 0 8 0 29578198 830562304 156973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134292 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25378] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25378/stat : 25378 (java) S 25355 25355 25226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29578199 830562304 156973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25379] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25379/stat : 25379 (java) S 25355 25355 25226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578199 830562304 156973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25380] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25380/stat : 25380 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29578202 830562304 156973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25381] ppid=25355 vsize=811096 CPUtime=0.05
/proc/25376/task/25381/stat : 25381 (java) S 25355 25355 25226 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 29578202 830562304 156973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25382] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25382/stat : 25382 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29578202 830562304 156973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25383] ppid=25355 vsize=811096 CPUtime=0
/proc/25376/task/25383/stat : 25383 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578202 830562304 156973 18446744073709551615 134512640 134570532 4294956480 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) 824820
[startup+162.618 s]
/proc/loadavg: 2.03 2.12 2.51 3/102 25391
/proc/meminfo: memFree=510776/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=8.59
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1190 34878 0 1 3 1 812 43 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 809 371 3 0 531 0
[pid=25376] ppid=25355 vsize=815096 CPUtime=152.19
/proc/25376/stat : 25376 (java) S 25355 25355 25226 0 -1 0 256394 0 1 0 15085 134 0 0 17 0 8 0 29578195 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25376/statm: 203774 156986 1495 14 0 191052 0
[pid=25376/tid=25377] ppid=25355 vsize=815096 CPUtime=124.43
/proc/25376/task/25377/stat : 25377 (java) R 25355 25355 25226 0 -1 64 246530 0 0 0 12324 119 0 0 25 0 8 0 29578198 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215729 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25378] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25378/stat : 25378 (java) S 25355 25355 25226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29578199 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25379] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25379/stat : 25379 (java) S 25355 25355 25226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578199 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25380] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25380/stat : 25380 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25381] ppid=25355 vsize=815096 CPUtime=0.05
/proc/25376/task/25381/stat : 25381 (java) S 25355 25355 25226 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25382] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25382/stat : 25382 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25383] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25383/stat : 25383 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 828820
[startup+222.712 s]
/proc/loadavg: 2.01 2.09 2.47 4/102 25391
/proc/meminfo: memFree=510648/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=8.59
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1190 34878 0 1 3 1 812 43 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 809 371 3 0 531 0
[pid=25376] ppid=25355 vsize=815096 CPUtime=211.67
/proc/25376/stat : 25376 (java) S 25355 25355 25226 0 -1 0 318386 0 1 0 20998 169 0 0 17 0 8 0 29578195 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25376/statm: 203774 156986 1495 14 0 191052 0
[pid=25376/tid=25377] ppid=25355 vsize=815096 CPUtime=183.85
/proc/25376/task/25377/stat : 25377 (java) R 25355 25355 25226 0 -1 64 308501 0 0 0 18231 154 0 0 25 0 8 0 29578198 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525098 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25378] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25378/stat : 25378 (java) S 25355 25355 25226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29578199 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25379] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25379/stat : 25379 (java) S 25355 25355 25226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578199 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25380] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25380/stat : 25380 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25381] ppid=25355 vsize=815096 CPUtime=0.05
/proc/25376/task/25381/stat : 25381 (java) S 25355 25355 25226 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25382] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25382/stat : 25382 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25383] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25383/stat : 25383 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.26
Current children cumulated vsize (KiB) 828820
[startup+282.798 s]
/proc/loadavg: 2.00 2.07 2.44 4/102 25391
/proc/meminfo: memFree=513400/2055920 swapFree=4145204/4192956
[pid=25355] ppid=25352 vsize=13724 CPUtime=8.59
/proc/25355/stat : 25355 (sugar) S 25352 25355 25226 0 -1 4194304 1190 34878 0 1 3 1 812 43 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25355/statm: 3431 809 371 3 0 531 0
[pid=25376] ppid=25355 vsize=815096 CPUtime=271.14
/proc/25376/stat : 25376 (java) S 25355 25355 25226 0 -1 0 380378 0 1 0 26908 206 0 0 17 0 8 0 29578195 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25376/statm: 203774 156986 1495 14 0 191052 0
[pid=25376/tid=25377] ppid=25355 vsize=815096 CPUtime=243.31
/proc/25376/task/25377/stat : 25377 (java) R 25355 25355 25226 0 -1 64 370472 0 0 0 24140 191 0 0 25 0 8 0 29578198 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035702 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25378] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25378/stat : 25378 (java) S 25355 25355 25226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29578199 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25379] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25379/stat : 25379 (java) S 25355 25355 25226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578199 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25376/tid=25380] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25380/stat : 25380 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25381] ppid=25355 vsize=815096 CPUtime=0.05
/proc/25376/task/25381/stat : 25381 (java) S 25355 25355 25226 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25382] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25382/stat : 25382 (java) S 25355 25355 25226 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25376/tid=25383] ppid=25355 vsize=815096 CPUtime=0
/proc/25376/task/25383/stat : 25383 (java) S 25355 25355 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578202 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.73
Current children cumulated vsize (KiB) 828820
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25355 and gives childrusage.ru_utime.tv_sec=8 childrusage.ru_utime.tv_usec=155760 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=482926
CPU time returned by wait4() is 8.63869
while last known CPU time is 328.39
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 332.025
CPU time (s): 328.39
CPU user time (s): 325.55
CPU system time (s): 2.84
CPU usage (%): 98.9052
Max. virtual memory (cumulated for all children) (KiB): 832824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.15576
system time used= 0.482926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36146
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= 1933
involuntary context switches= 2026
runsolver used 0.460929 s user time and 1.13883 s system time
The end
Begin job on node24 on Mon Jan 29 18:43:50 UTC 2007
IDJOB= 205812
IDBENCH= 4169
IDSOLVER= 86
FILE ID= node24/205812-1170096225
PBS_JOBID= 3689662
Free space on /tmp= 66547 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-0.xml
COMMAND LINE= /tmp/evaluation/205812-1170096225/solver /tmp/evaluation/205812-1170096225 /tmp/evaluation/205812-1170096225/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-205812-1170096225 -o ROOT/results/node24/solver-205812-1170096225 -C 1800 -M 900 /tmp/evaluation/205812-1170096225/solver /tmp/evaluation/205812-1170096225 /tmp/evaluation/205812-1170096225/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 00688de2264349cb35c485d1a6fd29a5
RANDOM SEED= 454154571
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.232
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.232
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: 1879544 kB
Buffers: 29296 kB
Cached: 81996 kB
SwapCached: 4580 kB
Active: 55656 kB
Inactive: 71840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879544 kB
SwapTotal: 4192956 kB
SwapFree: 4145204 kB
Dirty: 17856 kB
Writeback: 0 kB
Mapped: 22988 kB
Slab: 34096 kB
Committed_AS: 277368 kB
PageTables: 1988 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= 66490 MiB
End job on node24 on Mon Jan 29 18:49:22 UTC 2007