0.05 c # Sugar v0-40 (/tmp/evaluation/205695-1170096212/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/205695-1170096212/unknown.xml [Mon Jan 29 19:43:33 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/205695-1170096212/unknown.xml /tmp/evaluation/205695-1170096212/sugar26383.csp [Mon Jan 29 19:43:33 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205695-1170096212/sugar-v0-40.jar -convert /tmp/evaluation/205695-1170096212/unknown.xml /tmp/evaluation/205695-1170096212/sugar26383.csp
0.17 c BEGIN convert /tmp/evaluation/205695-1170096212/unknown.xml
9.93 c END convert (9.765332 seconds)
9.98 c # CONVERT_XML END : /tmp/evaluation/205695-1170096212/sugar26383.csp 74841162 bytes (10 seconds) [Mon Jan 29 19:43:43 2007]
9.98 c # CONVERT_XML CPU : 9.79 = 0 + 0.01 + 9.22 + 0.56
9.98
9.98 c # GENERATE_SAT BEGIN : /tmp/evaluation/205695-1170096212/sugar26383.bcnf [Mon Jan 29 19:43:43 2007]
9.98 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205695-1170096212/sugar-v0-40.jar -bcnf -map /tmp/evaluation/205695-1170096212/sugar26383.map /tmp/evaluation/205695-1170096212/sugar26383.csp /tmp/evaluation/205695-1170096212/sugar26383.bcnf
10.10 c BEGIN parse /tmp/evaluation/205695-1170096212/sugar26383.csp
341.38 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
341.49 s UNKNOWN
341.49 c # ERROR /tmp/evaluation/205695-1170096212/sugar26383.bcnf is not generated, at /tmp/evaluation/205695-1170096212/sugar line 310.
341.49
341.49 c # MAIN END : (342 seconds) [Mon Jan 29 19:49:15 2007]
341.49 c # MAIN CPU : 9.79 = 0 + 0.01 + 9.22 + 0.56
341.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-205695-1170096212 -o ROOT/results/node35/solver-205695-1170096212 -C 1800 -M 900 /tmp/evaluation/205695-1170096212/solver /tmp/evaluation/205695-1170096212 /tmp/evaluation/205695-1170096212/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.00 2.69 2.88 5/81 26384
/proc/meminfo: memFree=1361016/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=7504 CPUtime=0
/proc/26383/stat : 26383 (sugar) R 26381 26383 25544 0 -1 4194304 315 0 0 0 0 0 0 0 20 0 1 0 3385039 7684096 51 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266131797385 0 0 4096 0 0 0 0 17 1 0 0
/proc/26383/statm: 1876 51 38 3 0 55 0
[startup+0.104606 s]
/proc/loadavg: 2.00 2.69 2.88 5/81 26384
/proc/meminfo: memFree=1361016/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.04
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 3385039 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.51269 s]
/proc/loadavg: 2.00 2.69 2.88 5/81 26384
/proc/meminfo: memFree=1361016/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.04
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 3385039 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33586 s]
/proc/loadavg: 2.00 2.69 2.88 4/89 26392
/proc/meminfo: memFree=1286264/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.04
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 3385039 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 805 368 3 0 531 0
[pid=26385] ppid=26383 vsize=807288 CPUtime=1.27
/proc/26385/stat : 26385 (java) R 26383 26383 25544 0 -1 0 17406 0 1 0 116 11 0 0 18 0 8 0 3385044 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073491105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26385/statm: 201822 17151 1658 14 0 189100 0
[pid=26385/tid=26386] ppid=26383 vsize=807288 CPUtime=0.22
/proc/26385/task/26386/stat : 26386 (java) S 26383 26383 25544 0 -1 64 10942 0 0 0 17 5 0 0 16 0 8 0 3385047 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26387] ppid=26383 vsize=807288 CPUtime=0
/proc/26385/task/26387/stat : 26387 (java) S 26383 26383 25544 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 3385048 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26388] ppid=26383 vsize=807288 CPUtime=0
/proc/26385/task/26388/stat : 26388 (java) S 26383 26383 25544 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3385048 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26389] ppid=26383 vsize=807288 CPUtime=0
/proc/26385/task/26389/stat : 26389 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3385051 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26390] ppid=26383 vsize=807288 CPUtime=0.08
/proc/26385/task/26390/stat : 26390 (java) R 26383 26383 25544 0 -1 64 370 0 0 0 8 0 0 0 19 0 8 0 3385051 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26391] ppid=26383 vsize=807288 CPUtime=0
/proc/26385/task/26391/stat : 26391 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3385051 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26392] ppid=26383 vsize=807288 CPUtime=0
/proc/26385/task/26392/stat : 26392 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3385051 826662912 17151 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 821012
[startup+2.9842 s]
/proc/loadavg: 2.00 2.69 2.88 4/89 26392
/proc/meminfo: memFree=1223544/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.04
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 3385039 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 805 368 3 0 531 0
[pid=26385] ppid=26383 vsize=807420 CPUtime=2.91
/proc/26385/stat : 26385 (java) R 26383 26383 25544 0 -1 0 30081 0 1 0 273 18 0 0 22 0 8 0 3385044 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073712686 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26385/statm: 201855 29821 1690 14 0 189133 0
[pid=26385/tid=26386] ppid=26383 vsize=807420 CPUtime=0.73
/proc/26385/task/26386/stat : 26386 (java) S 26383 26383 25544 0 -1 64 23497 0 0 0 61 12 0 0 16 0 8 0 3385047 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26387] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26387/stat : 26387 (java) S 26383 26383 25544 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 3385048 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26388] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26388/stat : 26388 (java) S 26383 26383 25544 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3385048 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26389] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26389/stat : 26389 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3385051 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26390] ppid=26383 vsize=807420 CPUtime=0.14
/proc/26385/task/26390/stat : 26390 (java) S 26383 26383 25544 0 -1 64 410 0 0 0 14 0 0 0 16 0 8 0 3385051 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26391] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26391/stat : 26391 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3385051 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26392] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26392/stat : 26392 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3385051 826798080 29821 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 821144
[startup+6.28086 s]
/proc/loadavg: 2.00 2.68 2.87 3/89 26392
/proc/meminfo: memFree=1124728/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.04
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 3385039 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 805 368 3 0 531 0
[pid=26385] ppid=26383 vsize=807420 CPUtime=6.17
/proc/26385/stat : 26385 (java) R 26383 26383 25544 0 -1 0 31223 0 1 0 583 34 0 0 25 0 8 0 3385044 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26385/statm: 201855 30888 1691 14 0 189133 0
[pid=26385/tid=26386] ppid=26383 vsize=807420 CPUtime=0.85
/proc/26385/task/26386/stat : 26386 (java) S 26383 26383 25544 0 -1 64 24546 0 0 0 72 13 0 0 16 0 8 0 3385047 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26387] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26387/stat : 26387 (java) S 26383 26383 25544 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 3385048 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26388] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26388/stat : 26388 (java) S 26383 26383 25544 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3385048 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26389] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26389/stat : 26389 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3385051 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26390] ppid=26383 vsize=807420 CPUtime=0.16
/proc/26385/task/26390/stat : 26390 (java) S 26383 26383 25544 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 3385051 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26391] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26391/stat : 26391 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3385051 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26385/tid=26392] ppid=26383 vsize=807420 CPUtime=0
/proc/26385/task/26392/stat : 26392 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3385051 826798080 30888 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 821144
[startup+12.7812 s]
/proc/loadavg: 2.08 2.68 2.87 4/89 26408
/proc/meminfo: memFree=1149112/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=9.82
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1190 31320 0 1 3 1 922 56 16 0 1 0 3385039 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26401] ppid=26383 vsize=807064 CPUtime=2.75
/proc/26401/stat : 26401 (java) R 26383 26383 25544 0 -1 0 17253 0 1 0 266 9 0 0 25 0 8 0 3386038 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073514540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26401/statm: 201766 16981 1494 14 0 189044 0
[pid=26401/tid=26402] ppid=26383 vsize=807064 CPUtime=0.79
/proc/26401/task/26402/stat : 26402 (java) S 26383 26383 25544 0 -1 64 11180 0 0 0 74 5 0 0 16 0 8 0 3386041 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26403] ppid=26383 vsize=807064 CPUtime=0
/proc/26401/task/26403/stat : 26403 (java) S 26383 26383 25544 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 3386042 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26404] ppid=26383 vsize=807064 CPUtime=0
/proc/26401/task/26404/stat : 26404 (java) S 26383 26383 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3386042 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26405] ppid=26383 vsize=807064 CPUtime=0
/proc/26401/task/26405/stat : 26405 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 3386045 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26406] ppid=26383 vsize=807064 CPUtime=0.05
/proc/26401/task/26406/stat : 26406 (java) S 26383 26383 25544 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 3386045 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26407] ppid=26383 vsize=807064 CPUtime=0
/proc/26401/task/26407/stat : 26407 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 3386045 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26408] ppid=26383 vsize=807064 CPUtime=0
/proc/26401/task/26408/stat : 26408 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3386045 826433536 16981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 820788
[startup+25.5918 s]
/proc/loadavg: 2.35 2.71 2.88 3/89 26408
/proc/meminfo: memFree=761208/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=9.82
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1190 31320 0 1 3 1 922 56 16 0 1 0 3385039 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26401] ppid=26383 vsize=807092 CPUtime=15.49
/proc/26401/stat : 26401 (java) R 26383 26383 25544 0 -1 0 69089 0 1 0 1513 36 0 0 25 0 8 0 3386038 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073482398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26401/statm: 201773 67970 1495 14 0 189051 0
[pid=26401/tid=26402] ppid=26383 vsize=807092 CPUtime=5.51
/proc/26401/task/26402/stat : 26402 (java) S 26383 26383 25544 0 -1 64 61559 0 0 0 523 28 0 0 16 0 8 0 3386041 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26403] ppid=26383 vsize=807092 CPUtime=0
/proc/26401/task/26403/stat : 26403 (java) S 26383 26383 25544 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 3386042 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26404] ppid=26383 vsize=807092 CPUtime=0
/proc/26401/task/26404/stat : 26404 (java) S 26383 26383 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3386042 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26405] ppid=26383 vsize=807092 CPUtime=0
/proc/26401/task/26405/stat : 26405 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 3386045 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26406] ppid=26383 vsize=807092 CPUtime=0.05
/proc/26401/task/26406/stat : 26406 (java) S 26383 26383 25544 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 3386045 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26407] ppid=26383 vsize=807092 CPUtime=0
/proc/26401/task/26407/stat : 26407 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 3386045 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26408] ppid=26383 vsize=807092 CPUtime=0
/proc/26401/task/26408/stat : 26408 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3386045 826462208 67970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 820816
[startup+51.202 s]
/proc/loadavg: 2.44 2.70 2.87 4/89 26408
/proc/meminfo: memFree=143160/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=9.82
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1190 31320 0 1 3 1 922 56 16 0 1 0 3385039 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26401] ppid=26383 vsize=811096 CPUtime=40.96
/proc/26401/stat : 26401 (java) S 26383 26383 25544 0 -1 0 152988 0 1 0 4020 76 0 0 25 0 8 0 3386038 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26401/statm: 202774 147571 1495 14 0 190052 0
[pid=26401/tid=26402] ppid=26383 vsize=811096 CPUtime=18.38
/proc/26401/task/26402/stat : 26402 (java) R 26383 26383 25544 0 -1 64 143147 0 0 0 1775 63 0 0 19 0 8 0 3386041 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526115 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26403] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26403/stat : 26403 (java) S 26383 26383 25544 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 3386042 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26404] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26404/stat : 26404 (java) S 26383 26383 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3386042 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26405] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26405/stat : 26405 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 3386045 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26406] ppid=26383 vsize=811096 CPUtime=0.05
/proc/26401/task/26406/stat : 26406 (java) S 26383 26383 25544 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 3386045 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26407] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26407/stat : 26407 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 3386045 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26408] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26408/stat : 26408 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3386045 830562304 147571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 824820
[startup+102.411 s]
/proc/loadavg: 2.23 2.61 2.83 4/89 26408
/proc/meminfo: memFree=73016/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=9.82
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1190 31320 0 1 3 1 922 56 16 0 1 0 3385039 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26401] ppid=26383 vsize=811096 CPUtime=91.67
/proc/26401/stat : 26401 (java) S 26383 26383 25544 0 -1 0 196497 0 1 0 9069 98 0 0 18 0 8 0 3386038 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26401/statm: 202774 156987 1495 14 0 190052 0
[pid=26401/tid=26402] ppid=26383 vsize=811096 CPUtime=65.33
/proc/26401/task/26402/stat : 26402 (java) R 26383 26383 25544 0 -1 64 186639 0 0 0 6450 83 0 0 25 0 8 0 3386041 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022758 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26403] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26403/stat : 26403 (java) S 26383 26383 25544 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 3386042 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26404] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26404/stat : 26404 (java) S 26383 26383 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3386042 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26405] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26405/stat : 26405 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 3386045 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26406] ppid=26383 vsize=811096 CPUtime=0.05
/proc/26401/task/26406/stat : 26406 (java) S 26383 26383 25544 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 3386045 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26407] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26407/stat : 26407 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 3386045 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26408] ppid=26383 vsize=811096 CPUtime=0
/proc/26401/task/26408/stat : 26408 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3386045 830562304 156987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 824820
[startup+162.478 s]
/proc/loadavg: 2.08 2.49 2.78 3/89 26408
/proc/meminfo: memFree=68408/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=9.82
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1190 31320 0 1 3 1 922 56 16 0 1 0 3385039 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26401] ppid=26383 vsize=815096 CPUtime=151.14
/proc/26401/stat : 26401 (java) S 26383 26383 25544 0 -1 0 252450 0 1 0 14986 128 0 0 17 0 8 0 3386038 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26401/statm: 203774 157000 1495 14 0 191052 0
[pid=26401/tid=26402] ppid=26383 vsize=815096 CPUtime=123.44
/proc/26401/task/26402/stat : 26402 (java) R 26383 26383 25544 0 -1 64 242572 0 0 0 12230 114 0 0 25 0 8 0 3386041 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035631 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26403] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26403/stat : 26403 (java) S 26383 26383 25544 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 3386042 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26404] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26404/stat : 26404 (java) S 26383 26383 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3386042 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26405] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26405/stat : 26405 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 3386045 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26406] ppid=26383 vsize=815096 CPUtime=0.05
/proc/26401/task/26406/stat : 26406 (java) S 26383 26383 25544 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 3386045 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26407] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26407/stat : 26407 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 3386045 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26408] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26408/stat : 26408 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3386045 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.96
Current children cumulated vsize (KiB) 828820
[startup+222.546 s]
/proc/loadavg: 2.07 2.41 2.73 3/89 26408
/proc/meminfo: memFree=64952/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=9.82
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1190 31320 0 1 3 1 922 56 16 0 1 0 3385039 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26401] ppid=26383 vsize=815096 CPUtime=210.62
/proc/26401/stat : 26401 (java) S 26383 26383 25544 0 -1 0 317389 0 1 0 20896 166 0 0 17 0 8 0 3386038 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26401/statm: 203774 157001 1495 14 0 191052 0
[pid=26401/tid=26402] ppid=26383 vsize=815096 CPUtime=182.85
/proc/26401/task/26402/stat : 26402 (java) R 26383 26383 25544 0 -1 64 307489 0 0 0 18133 152 0 0 25 0 8 0 3386041 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022747 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26403] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26403/stat : 26403 (java) S 26383 26383 25544 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 3386042 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26404] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26404/stat : 26404 (java) S 26383 26383 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3386042 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26405] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26405/stat : 26405 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26406] ppid=26383 vsize=815096 CPUtime=0.05
/proc/26401/task/26406/stat : 26406 (java) S 26383 26383 25544 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26407] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26407/stat : 26407 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26408] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26408/stat : 26408 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 828820
[startup+282.625 s]
/proc/loadavg: 2.14 2.37 2.69 3/89 26408
/proc/meminfo: memFree=68280/2055920 swapFree=4192956/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=9.82
/proc/26383/stat : 26383 (sugar) S 26381 26383 25544 0 -1 4194304 1190 31320 0 1 3 1 922 56 16 0 1 0 3385039 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26401] ppid=26383 vsize=815096 CPUtime=270.1
/proc/26401/stat : 26401 (java) S 26383 26383 25544 0 -1 0 379381 0 1 0 26811 199 0 0 17 0 8 0 3386038 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26401/statm: 203774 157001 1495 14 0 191052 0
[pid=26401/tid=26402] ppid=26383 vsize=815096 CPUtime=242.31
/proc/26401/task/26402/stat : 26402 (java) R 26383 26383 25544 0 -1 64 369460 0 0 0 24047 184 0 0 25 0 8 0 3386041 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022694 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26403] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26403/stat : 26403 (java) S 26383 26383 25544 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 3386042 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26404] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26404/stat : 26404 (java) S 26383 26383 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3386042 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26405] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26405/stat : 26405 (java) S 26383 26383 25544 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26406] ppid=26383 vsize=815096 CPUtime=0.05
/proc/26401/task/26406/stat : 26406 (java) S 26383 26383 25544 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26407] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26407/stat : 26407 (java) S 26383 26383 25544 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26401/tid=26408] ppid=26383 vsize=815096 CPUtime=0
/proc/26401/task/26408/stat : 26408 (java) S 26383 26383 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3386045 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 828820
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26383 and gives childrusage.ru_utime.tv_sec=9 childrusage.ru_utime.tv_usec=256592 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=612906
CPU time returned by wait4() is 9.8695
while last known CPU time is 338.13
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 341.527
CPU time (s): 338.13
CPU user time (s): 335.2
CPU system time (s): 2.93
CPU usage (%): 99.0052
Max. virtual memory (cumulated for all children) (KiB): 832824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.25659
system time used= 0.612906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32588
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= 1955
involuntary context switches= 2119
runsolver used 0.409937 s user time and 1.10783 s system time
The end
Begin job on node35 on Mon Jan 29 18:43:33 UTC 2007
IDJOB= 205695
IDBENCH= 4163
IDSOLVER= 86
FILE ID= node35/205695-1170096212
PBS_JOBID= 3689617
Free space on /tmp= 66549 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
COMMAND LINE= /tmp/evaluation/205695-1170096212/solver /tmp/evaluation/205695-1170096212 /tmp/evaluation/205695-1170096212/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-205695-1170096212 -o ROOT/results/node35/solver-205695-1170096212 -C 1800 -M 900 /tmp/evaluation/205695-1170096212/solver /tmp/evaluation/205695-1170096212 /tmp/evaluation/205695-1170096212/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 7914318078e2e6bda68bc227b451eb9e
RANDOM SEED= 957216581
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.263
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.263
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: 1361560 kB
Buffers: 34480 kB
Cached: 458860 kB
SwapCached: 0 kB
Active: 270912 kB
Inactive: 351944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1361560 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 16496 kB
Writeback: 0 kB
Mapped: 147016 kB
Slab: 56636 kB
Committed_AS: 353436 kB
PageTables: 2092 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= 66477 MiB
End job on node35 on Mon Jan 29 18:49:15 UTC 2007