0.05 c # Sugar v0-40 (/tmp/evaluation/209694-1170097759/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/209694-1170097759/unknown.xml [Mon Jan 29 20:09:20 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/209694-1170097759/unknown.xml /tmp/evaluation/209694-1170097759/sugar26945.csp [Mon Jan 29 20:09:20 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209694-1170097759/sugar-v0-40.jar -convert /tmp/evaluation/209694-1170097759/unknown.xml /tmp/evaluation/209694-1170097759/sugar26945.csp
0.18 c BEGIN convert /tmp/evaluation/209694-1170097759/unknown.xml
8.53 c END convert (8.347839 seconds)
8.58 c # CONVERT_XML END : /tmp/evaluation/209694-1170097759/sugar26945.csp 81083407 bytes (8 seconds) [Mon Jan 29 20:09:28 2007]
8.58 c # CONVERT_XML CPU : 8.37 = 0 + 0.01 + 7.85 + 0.51
8.58
8.58 c # GENERATE_SAT BEGIN : /tmp/evaluation/209694-1170097759/sugar26945.bcnf [Mon Jan 29 20:09:28 2007]
8.58 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209694-1170097759/sugar-v0-40.jar -bcnf -map /tmp/evaluation/209694-1170097759/sugar26945.map /tmp/evaluation/209694-1170097759/sugar26945.csp /tmp/evaluation/209694-1170097759/sugar26945.bcnf
8.70 c BEGIN parse /tmp/evaluation/209694-1170097759/sugar26945.csp
317.53 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
317.63 s UNKNOWN
317.63 c # ERROR /tmp/evaluation/209694-1170097759/sugar26945.bcnf is not generated, at /tmp/evaluation/209694-1170097759/sugar line 310.
317.63
317.63 c # MAIN END : (317 seconds) [Mon Jan 29 20:14:37 2007]
317.63 c # MAIN CPU : 8.37 = 0 + 0.01 + 7.85 + 0.51
317.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-209694-1170097759 -o ROOT/results/node12/solver-209694-1170097759 -C 1800 -M 900 /tmp/evaluation/209694-1170097759/solver /tmp/evaluation/209694-1170097759 /tmp/evaluation/209694-1170097759/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.02 2.01 2.00 5/94 26946
/proc/meminfo: memFree=1117776/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=12128 CPUtime=0
/proc/26945/stat : 26945 (sugar) R 26943 26945 25282 0 -1 4194304 500 0 0 0 0 0 0 0 20 0 1 0 29730392 12419072 219 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252449591408 0 0 4224 0 0 0 0 17 1 0 0
/proc/26945/statm: 3032 219 165 3 0 132 0
[startup+0.106049 s]
/proc/loadavg: 2.02 2.01 2.00 5/94 26946
/proc/meminfo: memFree=1117776/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=0.03
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29730392 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.518123 s]
/proc/loadavg: 2.02 2.01 2.00 5/94 26946
/proc/meminfo: memFree=1117776/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=0.03
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29730392 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34428 s]
/proc/loadavg: 2.01 2.01 2.00 4/102 26954
/proc/meminfo: memFree=1067856/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=0.03
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29730392 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 805 368 3 0 531 0
[pid=26947] ppid=26945 vsize=807420 CPUtime=1.25
/proc/26947/stat : 26947 (java) R 26945 26945 25282 0 -1 0 15147 0 1 0 115 10 0 0 24 0 8 0 29730397 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073776839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26947/statm: 201855 14893 1690 14 0 189133 0
[pid=26947/tid=26948] ppid=26945 vsize=807420 CPUtime=0.21
/proc/26947/task/26948/stat : 26948 (java) S 26945 26945 25282 0 -1 64 8570 0 0 0 17 4 0 0 16 0 8 0 29730401 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26949] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26949/stat : 26949 (java) S 26945 26945 25282 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 29730401 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26950] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26950/stat : 26950 (java) S 26945 26945 25282 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 29730401 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26951] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26951/stat : 26951 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29730405 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26952] ppid=26945 vsize=807420 CPUtime=0.15
/proc/26947/task/26952/stat : 26952 (java) S 26945 26945 25282 0 -1 64 408 0 0 0 15 0 0 0 16 0 8 0 29730405 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26953] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26953/stat : 26953 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29730405 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26954] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26954/stat : 26954 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29730405 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 821144
[startup+2.98458 s]
/proc/loadavg: 2.01 2.01 2.00 3/102 26954
/proc/meminfo: memFree=1047376/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=0.03
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29730392 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 805 368 3 0 531 0
[pid=26947] ppid=26945 vsize=807420 CPUtime=2.88
/proc/26947/stat : 26947 (java) R 26945 26945 25282 0 -1 0 17627 0 1 0 270 18 0 0 25 0 8 0 29730397 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26947/statm: 201855 17345 1692 14 0 189133 0
[pid=26947/tid=26948] ppid=26945 vsize=807420 CPUtime=0.41
/proc/26947/task/26948/stat : 26948 (java) S 26945 26945 25282 0 -1 64 11002 0 0 0 36 5 0 0 16 0 8 0 29730401 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26949] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26949/stat : 26949 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29730401 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26950] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26950/stat : 26950 (java) S 26945 26945 25282 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 29730401 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26951] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26951/stat : 26951 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29730405 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26952] ppid=26945 vsize=807420 CPUtime=0.17
/proc/26947/task/26952/stat : 26952 (java) S 26945 26945 25282 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 29730405 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26953] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26953/stat : 26953 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29730405 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26954] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26954/stat : 26954 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29730405 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821144
[startup+6.19016 s]
/proc/loadavg: 2.01 2.01 2.00 3/102 26954
/proc/meminfo: memFree=1002064/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=0.03
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29730392 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 805 368 3 0 531 0
[pid=26947] ppid=26945 vsize=807420 CPUtime=6.05
/proc/26947/stat : 26947 (java) R 26945 26945 25282 0 -1 0 17706 0 1 0 566 39 0 0 25 0 8 0 29730397 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073801136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26947/statm: 201855 17346 1692 14 0 189133 0
[pid=26947/tid=26948] ppid=26945 vsize=807420 CPUtime=0.45
/proc/26947/task/26948/stat : 26948 (java) S 26945 26945 25282 0 -1 64 11002 0 0 0 40 5 0 0 16 0 8 0 29730401 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26949] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26949/stat : 26949 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29730401 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26950] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26950/stat : 26950 (java) S 26945 26945 25282 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 29730401 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26951] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26951/stat : 26951 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29730405 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26952] ppid=26945 vsize=807420 CPUtime=0.18
/proc/26947/task/26952/stat : 26952 (java) S 26945 26945 25282 0 -1 64 421 0 0 0 18 0 0 0 15 0 8 0 29730405 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26953] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26953/stat : 26953 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29730405 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26947/tid=26954] ppid=26945 vsize=807420 CPUtime=0
/proc/26947/task/26954/stat : 26954 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29730405 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821144
[startup+12.6783 s]
/proc/loadavg: 2.09 2.03 2.01 4/102 26962
/proc/meminfo: memFree=959376/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=8.4
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1190 17779 0 1 3 1 785 51 16 0 1 0 29730392 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 809 371 3 0 531 0
[pid=26955] ppid=26945 vsize=807064 CPUtime=4.04
/proc/26955/stat : 26955 (java) R 26945 26945 25282 0 -1 0 21020 0 1 0 391 13 0 0 25 0 8 0 29731250 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073505152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26955/statm: 201766 20740 1494 14 0 189044 0
[pid=26955/tid=26956] ppid=26945 vsize=807064 CPUtime=1.22
/proc/26955/task/26956/stat : 26956 (java) S 26945 26945 25282 0 -1 64 14938 0 0 0 114 8 0 0 16 0 8 0 29731253 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26957] ppid=26945 vsize=807064 CPUtime=0
/proc/26955/task/26957/stat : 26957 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29731254 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26958] ppid=26945 vsize=807064 CPUtime=0
/proc/26955/task/26958/stat : 26958 (java) S 26945 26945 25282 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29731254 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26959] ppid=26945 vsize=807064 CPUtime=0
/proc/26955/task/26959/stat : 26959 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29731257 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26960] ppid=26945 vsize=807064 CPUtime=0.05
/proc/26955/task/26960/stat : 26960 (java) S 26945 26945 25282 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29731257 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26961] ppid=26945 vsize=807064 CPUtime=0
/proc/26955/task/26961/stat : 26961 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29731257 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26962] ppid=26945 vsize=807064 CPUtime=0
/proc/26955/task/26962/stat : 26962 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29731257 826433536 20740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 820788
[startup+25.5326 s]
/proc/loadavg: 2.15 2.04 2.01 3/102 26962
/proc/meminfo: memFree=777296/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=8.4
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1190 17779 0 1 3 1 785 51 16 0 1 0 29730392 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 809 371 3 0 531 0
[pid=26955] ppid=26945 vsize=807092 CPUtime=16.78
/proc/26955/stat : 26955 (java) R 26945 26945 25282 0 -1 0 68381 0 1 0 1636 42 0 0 25 0 8 0 29731250 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26955/statm: 201773 67262 1495 14 0 189051 0
[pid=26955/tid=26956] ppid=26945 vsize=807092 CPUtime=6.19
/proc/26955/task/26956/stat : 26956 (java) R 26945 26945 25282 0 -1 64 60850 0 0 0 585 34 0 0 16 0 8 0 29731253 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26957] ppid=26945 vsize=807092 CPUtime=0
/proc/26955/task/26957/stat : 26957 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29731254 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26958] ppid=26945 vsize=807092 CPUtime=0
/proc/26955/task/26958/stat : 26958 (java) S 26945 26945 25282 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29731254 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26959] ppid=26945 vsize=807092 CPUtime=0
/proc/26955/task/26959/stat : 26959 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29731257 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26960] ppid=26945 vsize=807092 CPUtime=0.06
/proc/26955/task/26960/stat : 26960 (java) S 26945 26945 25282 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29731257 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26961] ppid=26945 vsize=807092 CPUtime=0
/proc/26955/task/26961/stat : 26961 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29731257 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26962] ppid=26945 vsize=807092 CPUtime=0
/proc/26955/task/26962/stat : 26962 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29731257 826462208 67262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 820816
[startup+51.1851 s]
/proc/loadavg: 2.30 2.08 2.02 4/102 26962
/proc/meminfo: memFree=449040/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=8.4
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1190 17779 0 1 3 1 785 51 16 0 1 0 29730392 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 809 371 3 0 531 0
[pid=26955] ppid=26945 vsize=811096 CPUtime=42.3
/proc/26955/stat : 26955 (java) R 26945 26945 25282 0 -1 0 153049 0 1 0 4140 90 0 0 25 0 8 0 29731250 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26955/statm: 202774 147640 1495 14 0 190052 0
[pid=26955/tid=26956] ppid=26945 vsize=811096 CPUtime=18.39
/proc/26955/task/26956/stat : 26956 (java) R 26945 26945 25282 0 -1 64 143208 0 0 0 1761 78 0 0 17 0 8 0 29731253 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155135564 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26957] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26957/stat : 26957 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29731254 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26958] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26958/stat : 26958 (java) S 26945 26945 25282 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29731254 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26959] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26959/stat : 26959 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29731257 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26960] ppid=26945 vsize=811096 CPUtime=0.06
/proc/26955/task/26960/stat : 26960 (java) S 26945 26945 25282 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29731257 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26961] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26961/stat : 26961 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29731257 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26962] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26962/stat : 26962 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29731257 830562304 147640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 824820
[startup+102.404 s]
/proc/loadavg: 2.18 2.08 2.02 3/102 26962
/proc/meminfo: memFree=411472/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=8.4
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1190 17779 0 1 3 1 785 51 16 0 1 0 29730392 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 809 371 3 0 531 0
[pid=26955] ppid=26945 vsize=811096 CPUtime=93.26
/proc/26955/stat : 26955 (java) S 26945 26945 25282 0 -1 0 192555 0 1 0 9212 114 0 0 17 0 8 0 29731250 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26955/statm: 202774 156983 1495 14 0 190052 0
[pid=26955/tid=26956] ppid=26945 vsize=811096 CPUtime=65.45
/proc/26955/task/26956/stat : 26956 (java) R 26945 26945 25282 0 -1 64 182699 0 0 0 6444 101 0 0 25 0 8 0 29731253 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035725 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26957] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26957/stat : 26957 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29731254 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26958] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26958/stat : 26958 (java) S 26945 26945 25282 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29731254 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26959] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26959/stat : 26959 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29731257 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26960] ppid=26945 vsize=811096 CPUtime=0.06
/proc/26955/task/26960/stat : 26960 (java) S 26945 26945 25282 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29731257 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26961] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26961/stat : 26961 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29731257 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26962] ppid=26945 vsize=811096 CPUtime=0
/proc/26955/task/26962/stat : 26962 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29731257 830562304 156983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 824820
[startup+162.464 s]
/proc/loadavg: 2.12 2.08 2.02 3/95 27060
/proc/meminfo: memFree=1104272/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=8.4
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1190 17779 0 1 3 1 785 51 16 0 1 0 29730392 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 809 371 3 0 531 0
[pid=26955] ppid=26945 vsize=815096 CPUtime=153
/proc/26955/stat : 26955 (java) S 26945 26945 25282 0 -1 0 249427 0 1 0 15154 146 0 0 17 0 8 0 29731250 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26955/statm: 203774 157001 1495 14 0 191052 0
[pid=26955/tid=26956] ppid=26945 vsize=815096 CPUtime=123.4
/proc/26955/task/26956/stat : 26956 (java) R 26945 26945 25282 0 -1 64 239550 0 0 0 12208 132 0 0 25 0 8 0 29731253 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525102 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26955/tid=26957] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26957/stat : 26957 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29731254 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26958] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26958/stat : 26958 (java) S 26945 26945 25282 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29731254 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26959] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26959/stat : 26959 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29731257 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26960] ppid=26945 vsize=815096 CPUtime=0.06
/proc/26955/task/26960/stat : 26960 (java) S 26945 26945 25282 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29731257 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26961] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26961/stat : 26961 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29731257 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26962] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26962/stat : 26962 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29731257 834658304 157001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.4
Current children cumulated vsize (KiB) 828820
[startup+222.509 s]
/proc/loadavg: 2.10 2.08 2.02 3/95 27060
/proc/meminfo: memFree=1101072/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=8.4
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1190 17779 0 1 3 1 785 51 16 0 1 0 29730392 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 809 371 3 0 531 0
[pid=26955] ppid=26945 vsize=815096 CPUtime=212.72
/proc/26955/stat : 26955 (java) S 26945 26945 25282 0 -1 0 317302 0 1 0 21096 176 0 0 17 0 8 0 29731250 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26955/statm: 203774 157002 1495 14 0 191052 0
[pid=26955/tid=26956] ppid=26945 vsize=815096 CPUtime=183.04
/proc/26955/task/26956/stat : 26956 (java) R 26945 26945 25282 0 -1 64 307402 0 0 0 18141 163 0 0 25 0 8 0 29731253 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022607 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26955/tid=26957] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26957/stat : 26957 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29731254 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26958] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26958/stat : 26958 (java) S 26945 26945 25282 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29731254 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26959] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26959/stat : 26959 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26960] ppid=26945 vsize=815096 CPUtime=0.06
/proc/26955/task/26960/stat : 26960 (java) S 26945 26945 25282 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26961] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26961/stat : 26961 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26962] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26962/stat : 26962 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 828820
[startup+282.56 s]
/proc/loadavg: 2.04 2.06 2.02 3/95 27060
/proc/meminfo: memFree=1099024/2055920 swapFree=4192812/4192956
[pid=26945] ppid=26943 vsize=13724 CPUtime=8.4
/proc/26945/stat : 26945 (sugar) S 26943 26945 25282 0 -1 4194304 1190 17779 0 1 3 1 785 51 16 0 1 0 29730392 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26945/statm: 3431 809 371 3 0 531 0
[pid=26955] ppid=26945 vsize=815096 CPUtime=272.44
/proc/26955/stat : 26955 (java) S 26945 26945 25282 0 -1 0 382246 0 1 0 27033 211 0 0 17 0 8 0 29731250 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26955/statm: 203774 157002 1495 14 0 191052 0
[pid=26955/tid=26956] ppid=26945 vsize=815096 CPUtime=242.75
/proc/26955/task/26956/stat : 26956 (java) R 26945 26945 25282 0 -1 64 372324 0 0 0 24078 197 0 0 25 0 8 0 29731253 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035749 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26955/tid=26957] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26957/stat : 26957 (java) S 26945 26945 25282 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29731254 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26958] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26958/stat : 26958 (java) S 26945 26945 25282 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29731254 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26959] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26959/stat : 26959 (java) S 26945 26945 25282 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26960] ppid=26945 vsize=815096 CPUtime=0.06
/proc/26955/task/26960/stat : 26960 (java) S 26945 26945 25282 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26961] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26961/stat : 26961 (java) S 26945 26945 25282 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26955/tid=26962] ppid=26945 vsize=815096 CPUtime=0
/proc/26955/task/26962/stat : 26962 (java) S 26945 26945 25282 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29731257 834658304 157002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.84
Current children cumulated vsize (KiB) 828820
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26945 and gives childrusage.ru_utime.tv_sec=7 childrusage.ru_utime.tv_usec=889800 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=570913
CPU time returned by wait4() is 8.46071
while last known CPU time is 315.66
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 317.672
CPU time (s): 315.66
CPU user time (s): 312.77
CPU system time (s): 2.89
CPU usage (%): 99.3665
Max. virtual memory (cumulated for all children) (KiB): 832824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.8898
system time used= 0.570913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19047
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= 2150
involuntary context switches= 2215
runsolver used 0.365944 s user time and 1.05084 s system time
The end
Begin job on node12 on Mon Jan 29 19:09:19 UTC 2007
IDJOB= 209694
IDBENCH= 4554
IDSOLVER= 86
FILE ID= node12/209694-1170097759
PBS_JOBID= 3689420
Free space on /tmp= 66475 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp28/fapp28-2800-6.xml
COMMAND LINE= /tmp/evaluation/209694-1170097759/solver /tmp/evaluation/209694-1170097759 /tmp/evaluation/209694-1170097759/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-209694-1170097759 -o ROOT/results/node12/solver-209694-1170097759 -C 1800 -M 900 /tmp/evaluation/209694-1170097759/solver /tmp/evaluation/209694-1170097759 /tmp/evaluation/209694-1170097759/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5d642f198e16aecc13dcb273d56311fe
RANDOM SEED= 396105864
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.285
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.285
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: 1118192 kB
Buffers: 38772 kB
Cached: 168084 kB
SwapCached: 0 kB
Active: 764476 kB
Inactive: 115896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1118192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3972 kB
Writeback: 0 kB
Mapped: 699060 kB
Slab: 40600 kB
Committed_AS: 950724 kB
PageTables: 3588 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= 66557 MiB
End job on node12 on Mon Jan 29 19:14:37 UTC 2007