0.05 c # Sugar v0-40 (/tmp/evaluation/209502-1170097573/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/209502-1170097573/unknown.xml [Mon Jan 29 20:06:14 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/209502-1170097573/unknown.xml /tmp/evaluation/209502-1170097573/sugar17970.csp [Mon Jan 29 20:06:14 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209502-1170097573/sugar-v0-40.jar -convert /tmp/evaluation/209502-1170097573/unknown.xml /tmp/evaluation/209502-1170097573/sugar17970.csp
0.17 c BEGIN convert /tmp/evaluation/209502-1170097573/unknown.xml
10.09 c END convert (9.923821 seconds)
10.12 c # CONVERT_XML END : /tmp/evaluation/209502-1170097573/sugar17970.csp 78042606 bytes (10 seconds) [Mon Jan 29 20:06:24 2007]
10.12 c # CONVERT_XML CPU : 9.95 = 0 + 0 + 9.41 + 0.54
10.12
10.12 c # GENERATE_SAT BEGIN : /tmp/evaluation/209502-1170097573/sugar17970.bcnf [Mon Jan 29 20:06:24 2007]
10.12 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209502-1170097573/sugar-v0-40.jar -bcnf -map /tmp/evaluation/209502-1170097573/sugar17970.map /tmp/evaluation/209502-1170097573/sugar17970.csp /tmp/evaluation/209502-1170097573/sugar17970.bcnf
10.29 c BEGIN parse /tmp/evaluation/209502-1170097573/sugar17970.csp
342.09 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
342.22 s UNKNOWN
342.22 c # ERROR /tmp/evaluation/209502-1170097573/sugar17970.bcnf is not generated, at /tmp/evaluation/209502-1170097573/sugar line 310.
342.22
342.22 c # MAIN END : (342 seconds) [Mon Jan 29 20:11:56 2007]
342.22 c # MAIN CPU : 9.95 = 0 + 0 + 9.41 + 0.54
342.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-209502-1170097573 -o ROOT/results/node61/solver-209502-1170097573 -C 1800 -M 900 /tmp/evaluation/209502-1170097573/solver /tmp/evaluation/209502-1170097573 /tmp/evaluation/209502-1170097573/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.27 1.10 1.35 5/81 17971
/proc/meminfo: memFree=1387992/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=4708 CPUtime=0
/proc/17970/stat : 17970 (sugar) R 17968 17970 17389 0 -1 4194304 307 0 0 0 0 0 0 0 20 0 1 0 29714317 4820992 43 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246403888521 0 0 4096 0 0 0 0 17 1 0 0
/proc/17970/statm: 1177 43 33 3 0 8 0
[startup+0.104853 s]
/proc/loadavg: 1.27 1.10 1.35 5/81 17971
/proc/meminfo: memFree=1387992/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=0.04
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29714317 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.512893 s]
/proc/loadavg: 1.27 1.10 1.35 5/81 17971
/proc/meminfo: memFree=1387992/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=0.04
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29714317 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33397 s]
/proc/loadavg: 1.49 1.15 1.36 4/89 17987
/proc/meminfo: memFree=1462552/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=0.04
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29714317 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 805 368 3 0 531 0
[pid=17972] ppid=17970 vsize=807288 CPUtime=1.25
/proc/17972/stat : 17972 (java) R 17970 17970 17389 0 -1 0 18639 0 1 0 116 9 0 0 18 0 8 0 29714322 826662912 18383 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17972/statm: 201822 18390 1658 14 0 189100 0
[pid=17972/tid=17973] ppid=17970 vsize=807288 CPUtime=0.22
/proc/17972/task/17973/stat : 17973 (java) R 17970 17970 17389 0 -1 64 12186 0 0 0 18 4 0 0 16 0 8 0 29714326 826662912 18395 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17972/tid=17974] ppid=17970 vsize=807288 CPUtime=0
/proc/17972/task/17974/stat : 17974 (java) S 17970 17970 17389 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29714326 826662912 18403 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17975] ppid=17970 vsize=807288 CPUtime=0
/proc/17972/task/17975/stat : 17975 (java) S 17970 17970 17389 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29714326 826662912 18407 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17976] ppid=17970 vsize=807288 CPUtime=0
/proc/17972/task/17976/stat : 17976 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29714329 826662912 18407 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17977] ppid=17970 vsize=807288 CPUtime=0.08
/proc/17972/task/17977/stat : 17977 (java) S 17970 17970 17389 0 -1 64 370 0 0 0 8 0 0 0 16 0 8 0 29714329 826662912 18407 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17972/tid=17978] ppid=17970 vsize=807288 CPUtime=0
/proc/17972/task/17978/stat : 17978 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29714329 826662912 18407 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17979] ppid=17970 vsize=807288 CPUtime=0
/proc/17972/task/17979/stat : 17979 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29714329 826662912 18407 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 821012
[startup+2.98313 s]
/proc/loadavg: 1.49 1.15 1.36 4/89 17987
/proc/meminfo: memFree=1374424/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=0.04
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29714317 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 805 368 3 0 531 0
[pid=17972] ppid=17970 vsize=807420 CPUtime=2.9
/proc/17972/stat : 17972 (java) R 17970 17970 17389 0 -1 0 32627 0 1 0 274 16 0 0 25 0 8 0 29714322 826798080 32367 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17972/statm: 201855 32368 1690 14 0 189133 0
[pid=17972/tid=17973] ppid=17970 vsize=807420 CPUtime=0.73
/proc/17972/task/17973/stat : 17973 (java) R 17970 17970 17389 0 -1 64 26045 0 0 0 62 11 0 0 16 0 8 0 29714326 826798080 32369 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17972/tid=17974] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17974/stat : 17974 (java) S 17970 17970 17389 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29714326 826798080 32370 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17975] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17975/stat : 17975 (java) S 17970 17970 17389 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29714326 826798080 32372 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17976] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17976/stat : 17976 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29714329 826798080 32373 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17977] ppid=17970 vsize=807420 CPUtime=0.14
/proc/17972/task/17977/stat : 17977 (java) S 17970 17970 17389 0 -1 64 411 0 0 0 14 0 0 0 16 0 8 0 29714329 826798080 32374 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17972/tid=17978] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17978/stat : 17978 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29714329 826798080 32376 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17979] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17979/stat : 17979 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29714329 826798080 32377 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 821144
[startup+6.19144 s]
/proc/loadavg: 1.53 1.16 1.36 4/89 17987
/proc/meminfo: memFree=1265176/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=0.04
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29714317 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 805 368 3 0 531 0
[pid=17972] ppid=17970 vsize=807420 CPUtime=6.07
/proc/17972/stat : 17972 (java) R 17970 17970 17389 0 -1 0 35374 0 1 0 575 32 0 0 25 0 8 0 29714322 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17972/statm: 201855 35042 1692 14 0 189133 0
[pid=17972/tid=17973] ppid=17970 vsize=807420 CPUtime=0.94
/proc/17972/task/17973/stat : 17973 (java) S 17970 17970 17389 0 -1 64 28698 0 0 0 82 12 0 0 16 0 8 0 29714326 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17972/tid=17974] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17974/stat : 17974 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29714326 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17972/tid=17975] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17975/stat : 17975 (java) S 17970 17970 17389 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29714326 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17976] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17976/stat : 17976 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29714329 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17977] ppid=17970 vsize=807420 CPUtime=0.16
/proc/17972/task/17977/stat : 17977 (java) S 17970 17970 17389 0 -1 64 423 0 0 0 16 0 0 0 15 0 8 0 29714329 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17972/tid=17978] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17978/stat : 17978 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29714329 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17972/tid=17979] ppid=17970 vsize=807420 CPUtime=0
/proc/17972/task/17979/stat : 17979 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29714329 826798080 35042 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821144
[startup+12.6801 s]
/proc/loadavg: 1.80 1.22 1.38 4/89 17995
/proc/meminfo: memFree=1190120/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=9.99
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1190 35481 0 1 3 1 941 54 16 0 1 0 29714317 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 809 371 3 0 531 0
[pid=17988] ppid=17970 vsize=807064 CPUtime=2.48
/proc/17988/stat : 17988 (java) R 17970 17970 17389 0 -1 0 15420 0 1 0 241 7 0 0 25 0 8 0 29715330 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073482407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17988/statm: 201766 15152 1494 14 0 189044 0
[pid=17988/tid=17989] ppid=17970 vsize=807064 CPUtime=0.68
/proc/17988/task/17989/stat : 17989 (java) S 17970 17970 17389 0 -1 64 9351 0 0 0 65 3 0 0 16 0 8 0 29715337 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17990] ppid=17970 vsize=807064 CPUtime=0
/proc/17988/task/17990/stat : 17990 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29715338 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17991] ppid=17970 vsize=807064 CPUtime=0
/proc/17988/task/17991/stat : 17991 (java) S 17970 17970 17389 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29715338 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17992] ppid=17970 vsize=807064 CPUtime=0
/proc/17988/task/17992/stat : 17992 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29715342 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17993] ppid=17970 vsize=807064 CPUtime=0.05
/proc/17988/task/17993/stat : 17993 (java) S 17970 17970 17389 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29715342 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17994] ppid=17970 vsize=807064 CPUtime=0
/proc/17988/task/17994/stat : 17994 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29715342 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17995] ppid=17970 vsize=807064 CPUtime=0
/proc/17988/task/17995/stat : 17995 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29715342 826433536 15152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 820788
[startup+25.5503 s]
/proc/loadavg: 1.99 1.28 1.40 3/89 17995
/proc/meminfo: memFree=812328/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=9.99
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1190 35481 0 1 3 1 941 54 16 0 1 0 29714317 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 809 371 3 0 531 0
[pid=17988] ppid=17970 vsize=807092 CPUtime=15.29
/proc/17988/stat : 17988 (java) R 17970 17970 17389 0 -1 0 65236 0 1 0 1495 34 0 0 25 0 8 0 29715330 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17988/statm: 201773 64122 1495 14 0 189051 0
[pid=17988/tid=17989] ppid=17970 vsize=807092 CPUtime=5.56
/proc/17988/task/17989/stat : 17989 (java) R 17970 17970 17389 0 -1 64 57711 0 0 0 529 27 0 0 16 0 8 0 29715337 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023768 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17990] ppid=17970 vsize=807092 CPUtime=0
/proc/17988/task/17990/stat : 17990 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29715338 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17991] ppid=17970 vsize=807092 CPUtime=0
/proc/17988/task/17991/stat : 17991 (java) S 17970 17970 17389 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29715338 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17992] ppid=17970 vsize=807092 CPUtime=0
/proc/17988/task/17992/stat : 17992 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29715342 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17993] ppid=17970 vsize=807092 CPUtime=0.05
/proc/17988/task/17993/stat : 17993 (java) S 17970 17970 17389 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29715342 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17994] ppid=17970 vsize=807092 CPUtime=0
/proc/17988/task/17994/stat : 17994 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29715342 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17995] ppid=17970 vsize=807092 CPUtime=0
/proc/17988/task/17995/stat : 17995 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29715342 826462208 64122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 820816
[startup+51.1578 s]
/proc/loadavg: 2.32 1.43 1.44 4/89 17995
/proc/meminfo: memFree=250024/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=9.99
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1190 35481 0 1 3 1 941 54 16 0 1 0 29714317 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 809 371 3 0 531 0
[pid=17988] ppid=17970 vsize=811096 CPUtime=40.75
/proc/17988/stat : 17988 (java) R 17970 17970 17389 0 -1 0 152985 0 1 0 3990 85 0 0 25 0 8 0 29715330 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17988/statm: 202774 147568 1495 14 0 190052 0
[pid=17988/tid=17989] ppid=17970 vsize=811096 CPUtime=16.88
/proc/17988/task/17989/stat : 17989 (java) R 17970 17970 17389 0 -1 64 143144 0 0 0 1616 72 0 0 16 0 8 0 29715337 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134566 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17990] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17990/stat : 17990 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29715338 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17991] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17991/stat : 17991 (java) S 17970 17970 17389 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29715338 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17992] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17992/stat : 17992 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29715342 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17993] ppid=17970 vsize=811096 CPUtime=0.06
/proc/17988/task/17993/stat : 17993 (java) S 17970 17970 17389 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29715342 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17994] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17994/stat : 17994 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29715342 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17995] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17995/stat : 17995 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29715342 830562304 147568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 824820
[startup+102.367 s]
/proc/loadavg: 2.31 1.56 1.49 3/89 17995
/proc/meminfo: memFree=195496/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=9.99
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1190 35481 0 1 3 1 941 54 16 0 1 0 29714317 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 809 371 3 0 531 0
[pid=17988] ppid=17970 vsize=811096 CPUtime=91.86
/proc/17988/stat : 17988 (java) S 17970 17970 17389 0 -1 0 192624 0 1 0 9079 107 0 0 18 0 8 0 29715330 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17988/statm: 202774 156983 1495 14 0 190052 0
[pid=17988/tid=17989] ppid=17970 vsize=811096 CPUtime=64.4
/proc/17988/task/17989/stat : 17989 (java) R 17970 17970 17389 0 -1 64 182768 0 0 0 6347 93 0 0 25 0 8 0 29715337 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035692 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17990] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17990/stat : 17990 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29715338 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17991] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17991/stat : 17991 (java) S 17970 17970 17389 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29715338 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17992] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17992/stat : 17992 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29715342 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17993] ppid=17970 vsize=811096 CPUtime=0.06
/proc/17988/task/17993/stat : 17993 (java) S 17970 17970 17389 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29715342 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17994] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17994/stat : 17994 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29715342 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17995] ppid=17970 vsize=811096 CPUtime=0
/proc/17988/task/17995/stat : 17995 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29715342 830562304 156983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 824820
[startup+162.432 s]
/proc/loadavg: 2.16 1.65 1.52 3/89 17995
/proc/meminfo: memFree=194664/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=9.99
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1190 35481 0 1 3 1 941 54 16 0 1 0 29714317 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 809 371 3 0 531 0
[pid=17988] ppid=17970 vsize=815096 CPUtime=151.92
/proc/17988/stat : 17988 (java) S 17970 17970 17389 0 -1 0 246547 0 1 0 15054 138 0 0 17 0 8 0 29715330 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17988/statm: 203774 157000 1495 14 0 191052 0
[pid=17988/tid=17989] ppid=17970 vsize=815096 CPUtime=122.69
/proc/17988/task/17989/stat : 17989 (java) R 17970 17970 17389 0 -1 64 236671 0 0 0 12145 124 0 0 25 0 8 0 29715337 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035673 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17990] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17990/stat : 17990 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29715338 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17991] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17991/stat : 17991 (java) S 17970 17970 17389 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29715338 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17992] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17992/stat : 17992 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29715342 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17993] ppid=17970 vsize=815096 CPUtime=0.06
/proc/17988/task/17993/stat : 17993 (java) S 17970 17970 17389 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29715342 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17994] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17994/stat : 17994 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29715342 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17995] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17995/stat : 17995 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29715342 834658304 157000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.91
Current children cumulated vsize (KiB) 828820
[startup+222.485 s]
/proc/loadavg: 2.06 1.71 1.55 3/89 17995
/proc/meminfo: memFree=194536/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=9.99
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1190 35481 0 1 3 1 941 54 16 0 1 0 29714317 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 809 371 3 0 531 0
[pid=17988] ppid=17970 vsize=815096 CPUtime=211.95
/proc/17988/stat : 17988 (java) S 17970 17970 17389 0 -1 0 308531 0 1 0 21023 172 0 0 17 0 8 0 29715330 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17988/statm: 203774 157001 1495 14 0 191052 0
[pid=17988/tid=17989] ppid=17970 vsize=815096 CPUtime=182.61
/proc/17988/task/17989/stat : 17989 (java) R 17970 17970 17389 0 -1 64 298634 0 0 0 18103 158 0 0 25 0 8 0 29715337 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215760 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17990] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17990/stat : 17990 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29715338 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17991] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17991/stat : 17991 (java) S 17970 17970 17389 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29715338 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17992] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17992/stat : 17992 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17993] ppid=17970 vsize=815096 CPUtime=0.06
/proc/17988/task/17993/stat : 17993 (java) S 17970 17970 17389 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17994] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17994/stat : 17994 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17995] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17995/stat : 17995 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 828820
[startup+282.552 s]
/proc/loadavg: 2.02 1.76 1.57 3/89 17995
/proc/meminfo: memFree=194536/2055920 swapFree=4192956/4192956
[pid=17970] ppid=17968 vsize=13724 CPUtime=9.99
/proc/17970/stat : 17970 (sugar) S 17968 17970 17389 0 -1 4194304 1190 35481 0 1 3 1 941 54 16 0 1 0 29714317 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17970/statm: 3431 809 371 3 0 531 0
[pid=17988] ppid=17970 vsize=815096 CPUtime=272
/proc/17988/stat : 17988 (java) S 17970 17970 17389 0 -1 0 367571 0 1 0 26996 204 0 0 16 0 8 0 29715330 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17988/statm: 203774 157001 1495 14 0 191052 0
[pid=17988/tid=17989] ppid=17970 vsize=815096 CPUtime=242.66
/proc/17988/task/17989/stat : 17989 (java) R 17970 17970 17389 0 -1 64 357654 0 0 0 24077 189 0 0 25 0 8 0 29715337 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222420 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17990] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17990/stat : 17990 (java) S 17970 17970 17389 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29715338 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17991] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17991/stat : 17991 (java) S 17970 17970 17389 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29715338 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17992] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17992/stat : 17992 (java) S 17970 17970 17389 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17993] ppid=17970 vsize=815096 CPUtime=0.06
/proc/17988/task/17993/stat : 17993 (java) S 17970 17970 17389 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17994] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17994/stat : 17994 (java) S 17970 17970 17389 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17988/tid=17995] ppid=17970 vsize=815096 CPUtime=0
/proc/17988/task/17995/stat : 17995 (java) S 17970 17970 17389 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29715342 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 828820
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 17970 and gives childrusage.ru_utime.tv_sec=9 childrusage.ru_utime.tv_usec=453562 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=597909
CPU time returned by wait4() is 10.0515
while last known CPU time is 341.5
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 342.255
CPU time (s): 341.5
CPU user time (s): 338.48
CPU system time (s): 3.02
CPU usage (%): 99.7793
Max. virtual memory (cumulated for all children) (KiB): 832824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.45356
system time used= 0.597909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36749
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= 2112
involuntary context switches= 2021
runsolver used 0.400939 s user time and 1.11583 s system time
The end
Begin job on node61 on Mon Jan 29 19:06:14 UTC 2007
IDJOB= 209502
IDBENCH= 4520
IDSOLVER= 86
FILE ID= node61/209502-1170097573
PBS_JOBID= 3689698
Free space on /tmp= 66474 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
COMMAND LINE= /tmp/evaluation/209502-1170097573/solver /tmp/evaluation/209502-1170097573 /tmp/evaluation/209502-1170097573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-209502-1170097573 -o ROOT/results/node61/solver-209502-1170097573 -C 1800 -M 900 /tmp/evaluation/209502-1170097573/solver /tmp/evaluation/209502-1170097573 /tmp/evaluation/209502-1170097573/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 2b4ef9677f52263fa3f34f9b296a1bd2
RANDOM SEED= 243015616
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: 1388472 kB
Buffers: 43692 kB
Cached: 413744 kB
SwapCached: 0 kB
Active: 309564 kB
Inactive: 303808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1388472 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 92804 kB
Writeback: 0 kB
Mapped: 173492 kB
Slab: 39268 kB
Committed_AS: 395576 kB
PageTables: 2104 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= 66554 MiB
End job on node61 on Mon Jan 29 19:11:57 UTC 2007