0.05 c # Sugar v0-40 (/tmp/evaluation/205970-1170096238/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/205970-1170096238/unknown.xml [Mon Jan 29 19:44:02 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/205970-1170096238/unknown.xml /tmp/evaluation/205970-1170096238/sugar21143.csp [Mon Jan 29 19:44:02 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205970-1170096238/sugar-v0-40.jar -convert /tmp/evaluation/205970-1170096238/unknown.xml /tmp/evaluation/205970-1170096238/sugar21143.csp
0.16 c BEGIN convert /tmp/evaluation/205970-1170096238/unknown.xml
8.61 c END convert (8.457213 seconds)
8.67 c # CONVERT_XML END : /tmp/evaluation/205970-1170096238/sugar21143.csp 59323753 bytes (8 seconds) [Mon Jan 29 19:44:10 2007]
8.67 c # CONVERT_XML CPU : 8.47 = 0 + 0 + 8.02 + 0.45
8.67
8.67 c # GENERATE_SAT BEGIN : /tmp/evaluation/205970-1170096238/sugar21143.bcnf [Mon Jan 29 19:44:10 2007]
8.67 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205970-1170096238/sugar-v0-40.jar -bcnf -map /tmp/evaluation/205970-1170096238/sugar21143.map /tmp/evaluation/205970-1170096238/sugar21143.csp /tmp/evaluation/205970-1170096238/sugar21143.bcnf
8.79 c BEGIN parse /tmp/evaluation/205970-1170096238/sugar21143.csp
328.14 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
328.25 s UNKNOWN
328.25 c # ERROR /tmp/evaluation/205970-1170096238/sugar21143.bcnf is not generated, at /tmp/evaluation/205970-1170096238/sugar line 310.
328.25
328.25 c # MAIN END : (328 seconds) [Mon Jan 29 19:49:30 2007]
328.25 c # MAIN CPU : 8.47 = 0 + 0 + 8.02 + 0.45
328.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-205970-1170096238 -o ROOT/results/node58/solver-205970-1170096238 -C 1800 -M 900 /tmp/evaluation/205970-1170096238/solver /tmp/evaluation/205970-1170096238 /tmp/evaluation/205970-1170096238/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.44 1.95 2.26 5/81 21144
/proc/meminfo: memFree=1461472/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=18540 CPUtime=0
/proc/21143/stat : 21143 (runsolver) R 21141 21143 20894 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29580843 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 226238197031 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21143/statm: 4635 279 244 17 0 2626 0
[startup+0.103629 s]
/proc/loadavg: 1.44 1.95 2.26 5/81 21144
/proc/meminfo: memFree=1461472/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=0.03
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 29580843 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.511663 s]
/proc/loadavg: 1.44 1.95 2.26 5/81 21144
/proc/meminfo: memFree=1461472/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=0.03
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29580843 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33274 s]
/proc/loadavg: 1.44 1.95 2.26 4/89 21152
/proc/meminfo: memFree=1384544/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=0.03
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29580843 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 805 368 3 0 531 0
[pid=21145] ppid=21143 vsize=807288 CPUtime=1.25
/proc/21145/stat : 21145 (java) R 21143 21143 20894 0 -1 0 19889 0 1 0 114 11 0 0 25 0 8 0 29580848 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21145/statm: 201822 19633 1658 14 0 189100 0
[pid=21145/tid=21146] ppid=21143 vsize=807288 CPUtime=0.27
/proc/21145/task/21146/stat : 21146 (java) R 21143 21143 20894 0 -1 64 13425 0 0 0 21 6 0 0 16 0 8 0 29580851 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154023955 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21147] ppid=21143 vsize=807288 CPUtime=0
/proc/21145/task/21147/stat : 21147 (java) S 21143 21143 20894 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 29580851 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21148] ppid=21143 vsize=807288 CPUtime=0
/proc/21145/task/21148/stat : 21148 (java) S 21143 21143 20894 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 29580852 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21149] ppid=21143 vsize=807288 CPUtime=0
/proc/21145/task/21149/stat : 21149 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29580855 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21150] ppid=21143 vsize=807288 CPUtime=0.08
/proc/21145/task/21150/stat : 21150 (java) S 21143 21143 20894 0 -1 64 370 0 0 0 8 0 0 0 16 0 8 0 29580855 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21151] ppid=21143 vsize=807288 CPUtime=0
/proc/21145/task/21151/stat : 21151 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29580855 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21152] ppid=21143 vsize=807288 CPUtime=0
/proc/21145/task/21152/stat : 21152 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29580855 826662912 19633 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 821012
[startup+2.97988 s]
/proc/loadavg: 1.44 1.95 2.26 3/89 21152
/proc/meminfo: memFree=1331936/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=0.03
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29580843 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 805 368 3 0 531 0
[pid=21145] ppid=21143 vsize=807420 CPUtime=2.89
/proc/21145/stat : 21145 (java) R 21143 21143 20894 0 -1 0 32966 0 1 0 272 17 0 0 19 0 8 0 29580848 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073660246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21145/statm: 201855 32705 1690 14 0 189133 0
[pid=21145/tid=21146] ppid=21143 vsize=807420 CPUtime=0.74
/proc/21145/task/21146/stat : 21146 (java) S 21143 21143 20894 0 -1 64 26381 0 0 0 63 11 0 0 16 0 8 0 29580851 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21147] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21147/stat : 21147 (java) S 21143 21143 20894 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 29580851 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21148] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21148/stat : 21148 (java) S 21143 21143 20894 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 29580852 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21149] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21149/stat : 21149 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29580855 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21150] ppid=21143 vsize=807420 CPUtime=0.15
/proc/21145/task/21150/stat : 21150 (java) S 21143 21143 20894 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 29580855 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21151] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21151/stat : 21151 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29580855 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21152] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21152/stat : 21152 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29580855 826798080 32705 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 821144
[startup+6.18717 s]
/proc/loadavg: 1.49 1.95 2.26 3/89 21160
/proc/meminfo: memFree=1344288/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=0.03
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29580843 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 805 368 3 0 531 0
[pid=21145] ppid=21143 vsize=807420 CPUtime=6.03
/proc/21145/stat : 21145 (java) R 21143 21143 20894 0 -1 0 34812 0 1 0 567 36 0 0 25 0 8 0 29580848 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073807998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21145/statm: 201855 34476 1691 14 0 189133 0
[pid=21145/tid=21146] ppid=21143 vsize=807420 CPUtime=0.89
/proc/21145/task/21146/stat : 21146 (java) S 21143 21143 20894 0 -1 64 28134 0 0 0 77 12 0 0 16 0 8 0 29580851 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21147] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21147/stat : 21147 (java) S 21143 21143 20894 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 29580851 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21148] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21148/stat : 21148 (java) S 21143 21143 20894 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 29580852 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21149] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21149/stat : 21149 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29580855 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21150] ppid=21143 vsize=807420 CPUtime=0.17
/proc/21145/task/21150/stat : 21150 (java) S 21143 21143 20894 0 -1 64 423 0 0 0 17 0 0 0 15 0 8 0 29580855 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21151] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21151/stat : 21151 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29580855 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21145/tid=21152] ppid=21143 vsize=807420 CPUtime=0
/proc/21145/task/21152/stat : 21152 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29580855 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 821144
[startup+12.6747 s]
/proc/loadavg: 1.61 1.97 2.27 4/89 21168
/proc/meminfo: memFree=1264544/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=8.5
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1190 34880 0 1 3 0 802 45 15 0 1 0 29580843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 809 371 3 0 531 0
[pid=21161] ppid=21143 vsize=807064 CPUtime=3.95
/proc/21161/stat : 21161 (java) R 21143 21143 20894 0 -1 0 22344 0 1 0 383 12 0 0 25 0 8 0 29581711 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154163497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21161/statm: 201766 22061 1494 14 0 189044 0
[pid=21161/tid=21162] ppid=21143 vsize=807064 CPUtime=1.17
/proc/21161/task/21162/stat : 21162 (java) S 21143 21143 20894 0 -1 64 16261 0 0 0 110 7 0 0 16 0 8 0 29581714 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21163] ppid=21143 vsize=807064 CPUtime=0
/proc/21161/task/21163/stat : 21163 (java) S 21143 21143 20894 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29581715 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21164] ppid=21143 vsize=807064 CPUtime=0
/proc/21161/task/21164/stat : 21164 (java) S 21143 21143 20894 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29581715 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21165] ppid=21143 vsize=807064 CPUtime=0
/proc/21161/task/21165/stat : 21165 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29581718 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21166] ppid=21143 vsize=807064 CPUtime=0.05
/proc/21161/task/21166/stat : 21166 (java) S 21143 21143 20894 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29581718 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21167] ppid=21143 vsize=807064 CPUtime=0
/proc/21161/task/21167/stat : 21167 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29581718 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21168] ppid=21143 vsize=807064 CPUtime=0
/proc/21161/task/21168/stat : 21168 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29581718 826433536 22061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 820788
[startup+25.5319 s]
/proc/loadavg: 1.78 1.99 2.27 4/89 21168
/proc/meminfo: memFree=882272/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=8.5
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1190 34880 0 1 3 0 802 45 15 0 1 0 29580843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 809 371 3 0 531 0
[pid=21161] ppid=21143 vsize=807092 CPUtime=16.76
/proc/21161/stat : 21161 (java) R 21143 21143 20894 0 -1 0 74381 0 1 0 1636 40 0 0 25 0 8 0 29581711 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073499987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21161/statm: 201773 73255 1495 14 0 189051 0
[pid=21161/tid=21162] ppid=21143 vsize=807092 CPUtime=5.99
/proc/21161/task/21162/stat : 21162 (java) S 21143 21143 20894 0 -1 64 66845 0 0 0 567 32 0 0 16 0 8 0 29581714 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21163] ppid=21143 vsize=807092 CPUtime=0
/proc/21161/task/21163/stat : 21163 (java) S 21143 21143 20894 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29581715 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21164] ppid=21143 vsize=807092 CPUtime=0
/proc/21161/task/21164/stat : 21164 (java) S 21143 21143 20894 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29581715 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21165] ppid=21143 vsize=807092 CPUtime=0
/proc/21161/task/21165/stat : 21165 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29581718 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21166] ppid=21143 vsize=807092 CPUtime=0.05
/proc/21161/task/21166/stat : 21166 (java) S 21143 21143 20894 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 29581718 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21167] ppid=21143 vsize=807092 CPUtime=0
/proc/21161/task/21167/stat : 21167 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29581718 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21168] ppid=21143 vsize=807092 CPUtime=0
/proc/21161/task/21168/stat : 21168 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29581718 826462208 73255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 820816
[startup+51.1443 s]
/proc/loadavg: 2.24 2.08 2.29 3/89 21168
/proc/meminfo: memFree=326496/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=8.5
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1190 34880 0 1 3 0 802 45 15 0 1 0 29580843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 809 371 3 0 531 0
[pid=21161] ppid=21143 vsize=811096 CPUtime=42.2
/proc/21161/stat : 21161 (java) S 21143 21143 20894 0 -1 0 155864 0 1 0 4135 85 0 0 18 0 8 0 29581711 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21161/statm: 202774 148621 1495 14 0 190052 0
[pid=21161/tid=21162] ppid=21143 vsize=811096 CPUtime=19.4
/proc/21161/task/21162/stat : 21162 (java) R 21143 21143 20894 0 -1 64 146040 0 0 0 1866 74 0 0 21 0 8 0 29581714 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022732 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21163] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21163/stat : 21163 (java) S 21143 21143 20894 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29581715 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21164] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21164/stat : 21164 (java) S 21143 21143 20894 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29581715 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21165] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21165/stat : 21165 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29581718 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21166] ppid=21143 vsize=811096 CPUtime=0.05
/proc/21161/task/21166/stat : 21166 (java) S 21143 21143 20894 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 29581718 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21167] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21167/stat : 21167 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29581718 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21168] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21168/stat : 21168 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29581718 830562304 148621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 824820
[startup+102.375 s]
/proc/loadavg: 2.14 2.08 2.28 3/89 21168
/proc/meminfo: memFree=267424/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=8.5
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1190 34880 0 1 3 0 802 45 15 0 1 0 29580843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 809 371 3 0 531 0
[pid=21161] ppid=21143 vsize=811096 CPUtime=93.15
/proc/21161/stat : 21161 (java) S 21143 21143 20894 0 -1 0 196478 0 1 0 9208 107 0 0 18 0 8 0 29581711 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21161/statm: 202774 156972 1495 14 0 190052 0
[pid=21161/tid=21162] ppid=21143 vsize=811096 CPUtime=66.83
/proc/21161/task/21162/stat : 21162 (java) R 21143 21143 20894 0 -1 64 186637 0 0 0 6587 96 0 0 25 0 8 0 29581714 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525850 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21163] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21163/stat : 21163 (java) S 21143 21143 20894 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29581715 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21164] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21164/stat : 21164 (java) S 21143 21143 20894 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29581715 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21165] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21165/stat : 21165 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29581718 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21166] ppid=21143 vsize=811096 CPUtime=0.05
/proc/21161/task/21166/stat : 21166 (java) S 21143 21143 20894 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29581718 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21167] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21167/stat : 21167 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29581718 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21168] ppid=21143 vsize=811096 CPUtime=0
/proc/21161/task/21168/stat : 21168 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29581718 830562304 156972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 824820
[startup+162.386 s]
/proc/loadavg: 2.08 2.08 2.26 3/89 21168
/proc/meminfo: memFree=266592/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=8.5
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1190 34880 0 1 3 0 802 45 15 0 1 0 29580843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 809 371 3 0 531 0
[pid=21161] ppid=21143 vsize=815096 CPUtime=152.85
/proc/21161/stat : 21161 (java) S 21143 21143 20894 0 -1 0 256393 0 1 0 15144 141 0 0 17 0 8 0 29581711 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21161/statm: 203774 156985 1495 14 0 191052 0
[pid=21161/tid=21162] ppid=21143 vsize=815096 CPUtime=125.14
/proc/21161/task/21162/stat : 21162 (java) R 21143 21143 20894 0 -1 64 246531 0 0 0 12385 129 0 0 25 0 8 0 29581714 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035612 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21163] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21163/stat : 21163 (java) S 21143 21143 20894 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29581715 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21164] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21164/stat : 21164 (java) S 21143 21143 20894 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29581715 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21165] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21165/stat : 21165 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21166] ppid=21143 vsize=815096 CPUtime=0.05
/proc/21161/task/21166/stat : 21166 (java) S 21143 21143 20894 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21167] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21167/stat : 21167 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21168] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21168/stat : 21168 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.35
Current children cumulated vsize (KiB) 828820
[startup+222.489 s]
/proc/loadavg: 2.06 2.08 2.25 3/89 21168
/proc/meminfo: memFree=266976/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=8.5
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1190 34880 0 1 3 0 802 45 15 0 1 0 29580843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 809 371 3 0 531 0
[pid=21161] ppid=21143 vsize=815096 CPUtime=212.61
/proc/21161/stat : 21161 (java) S 21143 21143 20894 0 -1 0 321337 0 1 0 21084 177 0 0 17 0 8 0 29581711 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21161/statm: 203774 156985 1495 14 0 191052 0
[pid=21161/tid=21162] ppid=21143 vsize=815096 CPUtime=184.83
/proc/21161/task/21162/stat : 21162 (java) R 21143 21143 20894 0 -1 64 311453 0 0 0 18318 165 0 0 25 0 8 0 29581714 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21163] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21163/stat : 21163 (java) S 21143 21143 20894 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29581715 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21164] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21164/stat : 21164 (java) S 21143 21143 20894 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29581715 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21165] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21165/stat : 21165 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21166] ppid=21143 vsize=815096 CPUtime=0.05
/proc/21161/task/21166/stat : 21166 (java) S 21143 21143 20894 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21167] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21167/stat : 21167 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21168] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21168/stat : 21168 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.11
Current children cumulated vsize (KiB) 828820
[startup+282.589 s]
/proc/loadavg: 2.02 2.06 2.23 3/89 21168
/proc/meminfo: memFree=266464/2055920 swapFree=4192956/4192956
[pid=21143] ppid=21141 vsize=13724 CPUtime=8.5
/proc/21143/stat : 21143 (sugar) S 21141 21143 20894 0 -1 4194304 1190 34880 0 1 3 0 802 45 15 0 1 0 29580843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21143/statm: 3431 809 371 3 0 531 0
[pid=21161] ppid=21143 vsize=815096 CPUtime=272.39
/proc/21161/stat : 21161 (java) S 21143 21143 20894 0 -1 0 383329 0 1 0 27028 211 0 0 17 0 8 0 29581711 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21161/statm: 203774 156985 1495 14 0 191052 0
[pid=21161/tid=21162] ppid=21143 vsize=815096 CPUtime=244.61
/proc/21161/task/21162/stat : 21162 (java) R 21143 21143 20894 0 -1 64 373424 0 0 0 24262 199 0 0 25 0 8 0 29581714 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155772454 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21163] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21163/stat : 21163 (java) S 21143 21143 20894 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29581715 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21164] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21164/stat : 21164 (java) S 21143 21143 20894 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29581715 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21165] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21165/stat : 21165 (java) S 21143 21143 20894 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21166] ppid=21143 vsize=815096 CPUtime=0.05
/proc/21161/task/21166/stat : 21166 (java) S 21143 21143 20894 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21167] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21167/stat : 21167 (java) S 21143 21143 20894 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21161/tid=21168] ppid=21143 vsize=815096 CPUtime=0
/proc/21161/task/21168/stat : 21168 (java) S 21143 21143 20894 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29581718 834658304 156985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.89
Current children cumulated vsize (KiB) 828820
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21143 and gives childrusage.ru_utime.tv_sec=8 childrusage.ru_utime.tv_usec=61774 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=488925
CPU time returned by wait4() is 8.5507
while last known CPU time is 326.32
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 328.277
CPU time (s): 326.32
CPU user time (s): 323.39
CPU system time (s): 2.93
CPU usage (%): 99.4037
Max. virtual memory (cumulated for all children) (KiB): 832824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.06177
system time used= 0.488925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36148
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= 1904
involuntary context switches= 2037
runsolver used 0.365944 s user time and 1.09183 s system time
The end
Begin job on node58 on Mon Jan 29 18:44:00 UTC 2007
IDJOB= 205970
IDBENCH= 4178
IDSOLVER= 86
FILE ID= node58/205970-1170096238
PBS_JOBID= 3689661
Free space on /tmp= 66529 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
COMMAND LINE= /tmp/evaluation/205970-1170096238/solver /tmp/evaluation/205970-1170096238 /tmp/evaluation/205970-1170096238/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-205970-1170096238 -o ROOT/results/node58/solver-205970-1170096238 -C 1800 -M 900 /tmp/evaluation/205970-1170096238/solver /tmp/evaluation/205970-1170096238 /tmp/evaluation/205970-1170096238/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 568e195d7b5f5d37beb7376911d1f641
RANDOM SEED= 883922138
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.234
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.234
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: 1484224 kB
Buffers: 33848 kB
Cached: 313156 kB
SwapCached: 0 kB
Active: 211880 kB
Inactive: 288776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1484224 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 36984 kB
Writeback: 0 kB
Mapped: 171172 kB
Slab: 56188 kB
Committed_AS: 372428 kB
PageTables: 2076 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 node58 on Mon Jan 29 18:49:31 UTC 2007