0.38 c # Sugar v0-40 (/tmp/evaluation/247499-1170109725/sugar-v0-40.jar)
0.38
0.39 c # MAIN BEGIN : /tmp/evaluation/247499-1170109725/unknown.xml [Mon Jan 29 23:28:48 2007]
0.39 c # CONVERT_XML BEGIN : /tmp/evaluation/247499-1170109725/unknown.xml /tmp/evaluation/247499-1170109725/sugar28536.csp [Mon Jan 29 23:28:48 2007]
0.39 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247499-1170109725/sugar-v0-40.jar -convert /tmp/evaluation/247499-1170109725/unknown.xml /tmp/evaluation/247499-1170109725/sugar28536.csp
0.67 c BEGIN convert /tmp/evaluation/247499-1170109725/unknown.xml
31.23 c END convert (30.563437 seconds)
31.35 c # CONVERT_XML END : /tmp/evaluation/247499-1170109725/sugar28536.csp 154669692 bytes (31 seconds) [Mon Jan 29 23:29:19 2007]
31.35 c # CONVERT_XML CPU : 30.35 = 0 + 0.01 + 29.08 + 1.26
31.35
31.35 c # GENERATE_SAT BEGIN : /tmp/evaluation/247499-1170109725/sugar28536.bcnf [Mon Jan 29 23:29:19 2007]
31.35 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247499-1170109725/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247499-1170109725/sugar28536.map /tmp/evaluation/247499-1170109725/sugar28536.csp /tmp/evaluation/247499-1170109725/sugar28536.bcnf
31.54 c BEGIN parse /tmp/evaluation/247499-1170109725/sugar28536.csp
327.84 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
327.98 s UNKNOWN
327.98 c # ERROR /tmp/evaluation/247499-1170109725/sugar28536.bcnf is not generated, at /tmp/evaluation/247499-1170109725/sugar line 310.
327.98
327.98 c # MAIN END : (327 seconds) [Mon Jan 29 23:34:15 2007]
327.98 c # MAIN CPU : 30.35 = 0 + 0.01 + 29.08 + 1.26
327.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-247499-1170109725 -o ROOT/results/node14/solver-247499-1170109725 -C 1800 -M 900 /tmp/evaluation/247499-1170109725/solver /tmp/evaluation/247499-1170109725 /tmp/evaluation/247499-1170109725/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.14 2.44 3/87 28537
/proc/meminfo: memFree=1763608/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=5352 CPUtime=0
/proc/28536/stat : 28536 (solver) R 28534 28536 28471 0 -1 4194304 233 0 0 0 0 0 0 0 20 0 1 0 30927158 5480448 200 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 4569847 0 0 4100 65536 0 0 0 17 1 0 0
/proc/28536/statm: 1338 200 166 169 0 49 0
[startup+0.104057 s]
/proc/loadavg: 2.00 2.14 2.44 3/87 28537
/proc/meminfo: memFree=1763608/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=12268 CPUtime=0
/proc/28536/stat : 28536 (sugar) D 28534 28536 28471 0 -1 4194304 601 0 0 0 0 0 0 0 18 0 1 0 30927158 12562432 320 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/28536/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.513095 s]
/proc/loadavg: 2.00 2.14 2.44 3/87 28537
/proc/meminfo: memFree=1763608/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=0.04
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30927158 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28536/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33918 s]
/proc/loadavg: 2.00 2.14 2.44 3/95 28545
/proc/meminfo: memFree=1711896/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=0.04
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30927158 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28536/statm: 3431 805 368 3 0 531 0
[pid=28538] ppid=28536 vsize=807120 CPUtime=0.74
/proc/28538/stat : 28538 (java) R 28536 28536 28471 0 -1 0 18470 0 30 0 58 16 0 0 21 0 8 0 30927197 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28538/statm: 201780 18244 1691 14 0 189058 0
[pid=28538/tid=28539] ppid=28536 vsize=807120 CPUtime=0.1
/proc/28538/task/28539/stat : 28539 (java) S 28536 28536 28471 0 -1 64 12061 0 0 0 5 5 0 0 16 0 8 0 30927216 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28540] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28540/stat : 28540 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30927216 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28541/stat : 28541 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 30927217 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28542] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28542/stat : 28542 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30927220 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28543] ppid=28536 vsize=807120 CPUtime=0.03
/proc/28538/task/28543/stat : 28543 (java) R 28536 28536 28471 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 30927220 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28544/stat : 28544 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30927220 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28545] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28545/stat : 28545 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30927220 826490880 18244 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 820844
[startup+2.98533 s]
/proc/loadavg: 2.08 2.16 2.44 3/95 28545
/proc/meminfo: memFree=1657752/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=0.04
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30927158 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28536/statm: 3431 805 368 3 0 531 0
[pid=28538] ppid=28536 vsize=807120 CPUtime=2.38
/proc/28538/stat : 28538 (java) R 28536 28536 28471 0 -1 0 32112 0 30 0 216 22 0 0 25 0 8 0 30927197 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073529617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28538/statm: 201780 31873 1691 14 0 189058 0
[pid=28538/tid=28539] ppid=28536 vsize=807120 CPUtime=0.32
/proc/28538/task/28539/stat : 28539 (java) S 28536 28536 28471 0 -1 64 25675 0 0 0 21 11 0 0 16 0 8 0 30927216 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28540] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28540/stat : 28540 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30927216 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28541/stat : 28541 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 30927217 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28542] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28542/stat : 28542 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30927220 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28543] ppid=28536 vsize=807120 CPUtime=0.04
/proc/28538/task/28543/stat : 28543 (java) S 28536 28536 28471 0 -1 64 290 0 0 0 4 0 0 0 16 0 8 0 30927220 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28544/stat : 28544 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30927220 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28545] ppid=28536 vsize=807120 CPUtime=0
/proc/28538/task/28545/stat : 28545 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30927220 826490880 31873 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 820844
[startup+6.26866 s]
/proc/loadavg: 2.08 2.16 2.44 3/95 28545
/proc/meminfo: memFree=1558808/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=0.04
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30927158 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28536/statm: 3431 805 368 3 0 531 0
[pid=28538] ppid=28536 vsize=807660 CPUtime=5.64
/proc/28538/stat : 28538 (java) S 28536 28536 28471 0 -1 0 56569 0 32 0 530 34 0 0 25 0 8 0 30927197 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28538/statm: 201915 56232 1696 14 0 189193 0
[pid=28538/tid=28539] ppid=28536 vsize=807660 CPUtime=0.94
/proc/28538/task/28539/stat : 28539 (java) R 28536 28536 28471 0 -1 64 50077 0 1 0 72 22 0 0 16 0 8 0 30927216 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155525226 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28540] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28540/stat : 28540 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30927216 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28541/stat : 28541 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 30927217 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28542] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28542/stat : 28542 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30927220 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28543] ppid=28536 vsize=807660 CPUtime=0.05
/proc/28538/task/28543/stat : 28543 (java) S 28536 28536 28471 0 -1 64 296 0 0 0 5 0 0 0 16 0 8 0 30927220 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28544/stat : 28544 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30927220 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28545] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28545/stat : 28545 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30927220 827043840 56232 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 821384
[startup+12.6861 s]
/proc/loadavg: 2.22 2.19 2.45 4/95 28545
/proc/meminfo: memFree=1331992/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=0.04
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30927158 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28536/statm: 3431 805 368 3 0 531 0
[pid=28538] ppid=28536 vsize=807660 CPUtime=11.98
/proc/28538/stat : 28538 (java) R 28536 28536 28471 0 -1 0 99996 0 32 0 1128 70 0 0 25 0 8 0 30927197 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28538/statm: 201915 98604 1697 14 0 189193 0
[pid=28538/tid=28539] ppid=28536 vsize=807660 CPUtime=2.95
/proc/28538/task/28539/stat : 28539 (java) R 28536 28536 28471 0 -1 64 75991 0 1 0 259 36 0 0 16 0 8 0 30927216 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154035692 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28540] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28540/stat : 28540 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30927216 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28541/stat : 28541 (java) S 28536 28536 28471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30927217 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28542] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28542/stat : 28542 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30927220 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28543] ppid=28536 vsize=807660 CPUtime=0.07
/proc/28538/task/28543/stat : 28543 (java) S 28536 28536 28471 0 -1 64 304 0 0 0 7 0 0 0 17 0 8 0 30927220 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28544/stat : 28544 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30927220 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28545] ppid=28536 vsize=807660 CPUtime=0
/proc/28538/task/28545/stat : 28545 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30927220 827043840 98604 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 821384
[startup+25.5213 s]
/proc/loadavg: 2.26 2.20 2.45 3/95 28545
/proc/meminfo: memFree=1248024/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=0.04
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30927158 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28536/statm: 3431 805 368 3 0 531 0
[pid=28538] ppid=28536 vsize=807156 CPUtime=24.64
/proc/28538/stat : 28538 (java) R 28536 28536 28471 0 -1 0 105487 0 32 0 2362 102 0 0 25 0 8 0 30927197 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28538/statm: 201789 100768 1697 14 0 189067 0
[pid=28538/tid=28539] ppid=28536 vsize=807156 CPUtime=6.38
/proc/28538/task/28539/stat : 28539 (java) S 28536 28536 28471 0 -1 64 81356 0 1 0 597 41 0 0 16 0 8 0 30927216 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28540] ppid=28536 vsize=807156 CPUtime=0
/proc/28538/task/28540/stat : 28540 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30927216 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=807156 CPUtime=0
/proc/28538/task/28541/stat : 28541 (java) S 28536 28536 28471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30927217 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28542] ppid=28536 vsize=807156 CPUtime=0
/proc/28538/task/28542/stat : 28542 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30927220 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28543] ppid=28536 vsize=807156 CPUtime=0.07
/proc/28538/task/28543/stat : 28543 (java) S 28536 28536 28471 0 -1 64 304 0 0 0 7 0 0 0 17 0 8 0 30927220 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=807156 CPUtime=0
/proc/28538/task/28544/stat : 28544 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30927220 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28538/tid=28545] ppid=28536 vsize=807156 CPUtime=0
/proc/28538/task/28545/stat : 28545 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30927220 826527744 100768 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 820880
[startup+51.1627 s]
/proc/loadavg: 2.23 2.19 2.44 4/95 28553
/proc/meminfo: memFree=1250648/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=30.38
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1190 106315 0 32 3 1 2908 126 15 0 1 0 30927158 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28536/statm: 3431 809 371 3 0 531 0
[pid=28546] ppid=28536 vsize=807064 CPUtime=19.52
/proc/28546/stat : 28546 (java) R 28536 28536 28471 0 -1 0 91623 0 1 0 1902 50 0 0 25 0 8 0 30930293 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073484186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28546/statm: 201766 91239 1495 14 0 189044 0
[pid=28546/tid=28547] ppid=28536 vsize=807064 CPUtime=8.21
/proc/28546/task/28547/stat : 28547 (java) S 28536 28536 28471 0 -1 64 82382 0 0 0 781 40 0 0 17 0 8 0 30930304 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28548] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28548/stat : 28548 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30930305 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28549] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28549/stat : 28549 (java) S 28536 28536 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30930305 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28550] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28550/stat : 28550 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30930308 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28551] ppid=28536 vsize=807064 CPUtime=0.05
/proc/28546/task/28551/stat : 28551 (java) S 28536 28536 28471 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 30930308 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28552] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28552/stat : 28552 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30930308 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28553] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28553/stat : 28553 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30930308 826433536 91239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (KiB) 820788
[startup+102.405 s]
/proc/loadavg: 2.24 2.20 2.43 3/95 28553
/proc/meminfo: memFree=983960/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=30.38
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1190 106315 0 32 3 1 2908 126 15 0 1 0 30927158 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28536/statm: 3431 809 371 3 0 531 0
[pid=28546] ppid=28536 vsize=807064 CPUtime=70.24
/proc/28546/stat : 28546 (java) S 28536 28536 28471 0 -1 0 156476 0 1 0 6936 88 0 0 18 0 8 0 30930293 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28546/statm: 201766 156041 1495 14 0 189044 0
[pid=28546/tid=28547] ppid=28536 vsize=807064 CPUtime=49.2
/proc/28546/task/28547/stat : 28547 (java) R 28536 28536 28471 0 -1 64 146573 0 0 0 4845 75 0 0 25 0 8 0 30930304 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28548] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28548/stat : 28548 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28549] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28549/stat : 28549 (java) S 28536 28536 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28550] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28550/stat : 28550 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28551] ppid=28536 vsize=807064 CPUtime=0.05
/proc/28546/task/28551/stat : 28551 (java) S 28536 28536 28471 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28552] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28552/stat : 28552 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28553] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28553/stat : 28553 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.62
Current children cumulated vsize (KiB) 820788
[startup+162.468 s]
/proc/loadavg: 2.20 2.20 2.41 3/95 28553
/proc/meminfo: memFree=983768/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=30.38
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1190 106315 0 32 3 1 2908 126 15 0 1 0 30927158 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28536/statm: 3431 809 371 3 0 531 0
[pid=28546] ppid=28536 vsize=807064 CPUtime=129.68
/proc/28546/stat : 28546 (java) S 28536 28536 28471 0 -1 0 156495 0 1 0 12880 88 0 0 17 0 8 0 30930293 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28546/statm: 201766 156041 1495 14 0 189044 0
[pid=28546/tid=28547] ppid=28536 vsize=807064 CPUtime=107.09
/proc/28546/task/28547/stat : 28547 (java) R 28536 28536 28471 0 -1 64 146573 0 0 0 10634 75 0 0 25 0 8 0 30930304 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134242 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28548] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28548/stat : 28548 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28549] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28549/stat : 28549 (java) S 28536 28536 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28550] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28550/stat : 28550 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28551] ppid=28536 vsize=807064 CPUtime=0.05
/proc/28546/task/28551/stat : 28551 (java) S 28536 28536 28471 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28552] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28552/stat : 28552 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28553] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28553/stat : 28553 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.06
Current children cumulated vsize (KiB) 820788
[startup+222.542 s]
/proc/loadavg: 2.10 2.17 2.39 3/95 28553
/proc/meminfo: memFree=983448/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=30.38
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1190 106315 0 32 3 1 2908 126 15 0 1 0 30927158 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28536/statm: 3431 809 371 3 0 531 0
[pid=28546] ppid=28536 vsize=807064 CPUtime=189.18
/proc/28546/stat : 28546 (java) S 28536 28536 28471 0 -1 0 156514 0 1 0 18829 89 0 0 17 0 8 0 30930293 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28546/statm: 201766 156041 1495 14 0 189044 0
[pid=28546/tid=28547] ppid=28536 vsize=807064 CPUtime=166.51
/proc/28546/task/28547/stat : 28547 (java) R 28536 28536 28471 0 -1 64 146573 0 0 0 16575 76 0 0 25 0 8 0 30930304 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155222454 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28548] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28548/stat : 28548 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28549] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28549/stat : 28549 (java) S 28536 28536 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28550] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28550/stat : 28550 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28551] ppid=28536 vsize=807064 CPUtime=0.05
/proc/28546/task/28551/stat : 28551 (java) S 28536 28536 28471 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28552] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28552/stat : 28552 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28553] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28553/stat : 28553 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 219.56
Current children cumulated vsize (KiB) 820788
[startup+282.606 s]
/proc/loadavg: 2.04 2.14 2.36 3/95 28553
/proc/meminfo: memFree=983256/2055920 swapFree=4192812/4192956
[pid=28536] ppid=28534 vsize=13724 CPUtime=30.38
/proc/28536/stat : 28536 (sugar) S 28534 28536 28471 0 -1 4194304 1190 106315 0 32 3 1 2908 126 15 0 1 0 30927158 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28536/statm: 3431 809 371 3 0 531 0
[pid=28546] ppid=28536 vsize=807064 CPUtime=248.66
/proc/28546/stat : 28546 (java) S 28536 28536 28471 0 -1 0 156534 0 1 0 24777 89 0 0 17 0 8 0 30930293 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28546/statm: 201766 156041 1495 14 0 189044 0
[pid=28546/tid=28547] ppid=28536 vsize=807064 CPUtime=225.98
/proc/28546/task/28547/stat : 28547 (java) R 28536 28536 28471 0 -1 64 146573 0 0 0 22522 76 0 0 25 0 8 0 30930304 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28548] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28548/stat : 28548 (java) S 28536 28536 28471 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28549] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28549/stat : 28549 (java) S 28536 28536 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30930305 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28550] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28550/stat : 28550 (java) S 28536 28536 28471 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28551] ppid=28536 vsize=807064 CPUtime=0.05
/proc/28546/task/28551/stat : 28551 (java) S 28536 28536 28471 0 -1 64 295 0 0 0 5 0 0 0 17 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28552] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28552/stat : 28552 (java) S 28536 28536 28471 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28546/tid=28553] ppid=28536 vsize=807064 CPUtime=0
/proc/28546/task/28553/stat : 28553 (java) S 28536 28536 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30930308 826433536 156041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.04
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 28536 and gives childrusage.ru_utime.tv_sec=29 childrusage.ru_utime.tv_usec=126572 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=352794
CPU time returned by wait4() is 30.4794
while last known CPU time is 324
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 328.055
CPU time (s): 324
CPU user time (s): 321.67
CPU system time (s): 2.33
CPU usage (%): 98.7638
Max. virtual memory (cumulated for all children) (KiB): 821384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.1266
system time used= 1.35279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107583
page faults= 32
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3145
involuntary context switches= 3199
runsolver used 0.376942 s user time and 1.08783 s system time
The end
Begin job on node14 on Mon Jan 29 22:28:47 UTC 2007
IDJOB= 247499
IDBENCH= 11137
IDSOLVER= 86
FILE ID= node14/247499-1170109725
PBS_JOBID= 3690025
Free space on /tmp= 66511 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-11_ext.xml
COMMAND LINE= /tmp/evaluation/247499-1170109725/solver /tmp/evaluation/247499-1170109725 /tmp/evaluation/247499-1170109725/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-247499-1170109725 -o ROOT/results/node14/solver-247499-1170109725 -C 1800 -M 900 /tmp/evaluation/247499-1170109725/solver /tmp/evaluation/247499-1170109725 /tmp/evaluation/247499-1170109725/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 45d8a09f61b353ccfcec45ac81b8b919
RANDOM SEED= 597288403
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.216
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.216
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: 1764280 kB
Buffers: 14824 kB
Cached: 82076 kB
SwapCached: 0 kB
Active: 212964 kB
Inactive: 40088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1764280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 23644 kB
Writeback: 0 kB
Mapped: 175832 kB
Slab: 23308 kB
Committed_AS: 561456 kB
PageTables: 2312 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= 66511 MiB
End job on node14 on Mon Jan 29 22:34:16 UTC 2007