0.05 c # Sugar v0-40 (/tmp/evaluation/209566-1170097605/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/209566-1170097605/unknown.xml [Mon Jan 29 20:06:46 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/209566-1170097605/unknown.xml /tmp/evaluation/209566-1170097605/sugar19805.csp [Mon Jan 29 20:06:46 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209566-1170097605/sugar-v0-40.jar -convert /tmp/evaluation/209566-1170097605/unknown.xml /tmp/evaluation/209566-1170097605/sugar19805.csp
0.18 c BEGIN convert /tmp/evaluation/209566-1170097605/unknown.xml
8.55 c END convert (8.370403 seconds)
8.59 c # CONVERT_XML END : /tmp/evaluation/209566-1170097605/sugar19805.csp 81083444 bytes (8 seconds) [Mon Jan 29 20:06:54 2007]
8.59 c # CONVERT_XML CPU : 8.38 = 0 + 0 + 7.91 + 0.47
8.59
8.59 c # GENERATE_SAT BEGIN : /tmp/evaluation/209566-1170097605/sugar19805.bcnf [Mon Jan 29 20:06:54 2007]
8.59 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209566-1170097605/sugar-v0-40.jar -bcnf -map /tmp/evaluation/209566-1170097605/sugar19805.map /tmp/evaluation/209566-1170097605/sugar19805.csp /tmp/evaluation/209566-1170097605/sugar19805.bcnf
8.71 c BEGIN parse /tmp/evaluation/209566-1170097605/sugar19805.csp
321.85 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
321.95 s UNKNOWN
321.95 c # ERROR /tmp/evaluation/209566-1170097605/sugar19805.bcnf is not generated, at /tmp/evaluation/209566-1170097605/sugar line 310.
321.95
321.95 c # MAIN END : (322 seconds) [Mon Jan 29 20:12:08 2007]
321.95 c # MAIN CPU : 8.39 = 0 + 0.01 + 7.91 + 0.47
321.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-209566-1170097605 -o ROOT/results/node69/solver-209566-1170097605 -C 1800 -M 900 /tmp/evaluation/209566-1170097605/solver /tmp/evaluation/209566-1170097605 /tmp/evaluation/209566-1170097605/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.92 1.98 1.99 5/74 19806
/proc/meminfo: memFree=1439288/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=5352 CPUtime=0
/proc/19805/stat : 19805 (solver) R 19803 19805 18779 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29718292 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 237947645223 0 0 4096 0 0 0 0 17 1 0 0
/proc/19805/statm: 1338 231 193 169 0 49 0
[startup+0.105113 s]
/proc/loadavg: 1.92 1.98 1.99 5/74 19806
/proc/meminfo: memFree=1439288/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=0.03
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29718292 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51418 s]
/proc/loadavg: 1.92 1.98 1.99 5/74 19806
/proc/meminfo: memFree=1439288/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=0.03
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29718292 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33532 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 19814
/proc/meminfo: memFree=1390200/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=0.03
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29718292 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 805 368 3 0 531 0
[pid=19807] ppid=19805 vsize=807420 CPUtime=1.25
/proc/19807/stat : 19807 (java) R 19805 19805 18779 0 -1 0 15147 0 1 0 116 9 0 0 17 0 8 0 29718297 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073445361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19807/statm: 201855 14893 1690 14 0 189133 0
[pid=19807/tid=19808] ppid=19805 vsize=807420 CPUtime=0.2
/proc/19807/task/19808/stat : 19808 (java) S 19805 19805 18779 0 -1 64 8570 0 0 0 16 4 0 0 16 0 8 0 29718301 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19809] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19809/stat : 19809 (java) S 19805 19805 18779 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29718301 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19810] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19810/stat : 19810 (java) S 19805 19805 18779 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29718301 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19811] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19811/stat : 19811 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29718305 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19812] ppid=19805 vsize=807420 CPUtime=0.15
/proc/19807/task/19812/stat : 19812 (java) R 19805 19805 18779 0 -1 64 408 0 0 0 15 0 0 0 20 0 8 0 29718305 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19813] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19813/stat : 19813 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29718305 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19814] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19814/stat : 19814 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29718305 826798080 14893 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 821144
[startup+2.98159 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 19814
/proc/meminfo: memFree=1369016/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=0.03
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29718292 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 805 368 3 0 531 0
[pid=19807] ppid=19805 vsize=807420 CPUtime=2.87
/proc/19807/stat : 19807 (java) R 19805 19805 18779 0 -1 0 17626 0 1 0 270 17 0 0 25 0 8 0 29718297 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073811949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19807/statm: 201855 17345 1692 14 0 189133 0
[pid=19807/tid=19808] ppid=19805 vsize=807420 CPUtime=0.41
/proc/19807/task/19808/stat : 19808 (java) S 19805 19805 18779 0 -1 64 11002 0 0 0 36 5 0 0 16 0 8 0 29718301 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19809] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19809/stat : 19809 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29718301 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19810] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19810/stat : 19810 (java) S 19805 19805 18779 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29718301 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19811] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19811/stat : 19811 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29718305 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19812] ppid=19805 vsize=807420 CPUtime=0.18
/proc/19807/task/19812/stat : 19812 (java) S 19805 19805 18779 0 -1 64 421 0 0 0 18 0 0 0 16 0 8 0 29718305 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19813] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19813/stat : 19813 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29718305 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19814] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19814/stat : 19814 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29718305 826798080 17345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821144
[startup+6.28313 s]
/proc/loadavg: 2.01 2.00 2.00 4/82 19814
/proc/meminfo: memFree=1323576/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=0.03
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29718292 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 805 368 3 0 531 0
[pid=19807] ppid=19805 vsize=807420 CPUtime=6.14
/proc/19807/stat : 19807 (java) R 19805 19805 18779 0 -1 0 17708 0 1 0 578 36 0 0 25 0 8 0 29718297 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19807/statm: 201855 17346 1692 14 0 189133 0
[pid=19807/tid=19808] ppid=19805 vsize=807420 CPUtime=0.44
/proc/19807/task/19808/stat : 19808 (java) S 19805 19805 18779 0 -1 64 11002 0 0 0 39 5 0 0 16 0 8 0 29718301 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19809] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19809/stat : 19809 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29718301 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19810] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19810/stat : 19810 (java) S 19805 19805 18779 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29718301 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19811] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19811/stat : 19811 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29718305 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19812] ppid=19805 vsize=807420 CPUtime=0.18
/proc/19807/task/19812/stat : 19812 (java) S 19805 19805 18779 0 -1 64 422 0 0 0 18 0 0 0 16 0 8 0 29718305 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19813] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19813/stat : 19813 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29718305 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19807/tid=19814] ppid=19805 vsize=807420 CPUtime=0
/proc/19807/task/19814/stat : 19814 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29718305 826798080 17346 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 821144
[startup+12.7662 s]
/proc/loadavg: 2.09 2.02 2.01 3/82 19822
/proc/meminfo: memFree=1280184/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=8.42
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1190 17779 0 1 3 1 791 47 15 0 1 0 29718292 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 809 371 3 0 531 0
[pid=19815] ppid=19805 vsize=807064 CPUtime=4.11
/proc/19815/stat : 19815 (java) R 19805 19805 18779 0 -1 0 21508 0 1 0 399 12 0 0 25 0 8 0 29719151 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19815/statm: 201766 21226 1494 14 0 189044 0
[pid=19815/tid=19816] ppid=19805 vsize=807064 CPUtime=1.23
/proc/19815/task/19816/stat : 19816 (java) R 19805 19805 18779 0 -1 64 15424 0 0 0 115 8 0 0 16 0 8 0 29719155 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152891590 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19817] ppid=19805 vsize=807064 CPUtime=0
/proc/19815/task/19817/stat : 19817 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29719155 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19818] ppid=19805 vsize=807064 CPUtime=0
/proc/19815/task/19818/stat : 19818 (java) S 19805 19805 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29719155 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19819] ppid=19805 vsize=807064 CPUtime=0
/proc/19815/task/19819/stat : 19819 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29719158 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19820] ppid=19805 vsize=807064 CPUtime=0.05
/proc/19815/task/19820/stat : 19820 (java) S 19805 19805 18779 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29719158 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19821] ppid=19805 vsize=807064 CPUtime=0
/proc/19815/task/19821/stat : 19821 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29719158 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19822] ppid=19805 vsize=807064 CPUtime=0
/proc/19815/task/19822/stat : 19822 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29719159 826433536 21226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 820788
[startup+25.6103 s]
/proc/loadavg: 2.15 2.03 2.01 3/82 19822
/proc/meminfo: memFree=1095480/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=8.42
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1190 17779 0 1 3 1 791 47 15 0 1 0 29718292 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 809 371 3 0 531 0
[pid=19815] ppid=19805 vsize=807092 CPUtime=16.84
/proc/19815/stat : 19815 (java) R 19805 19805 18779 0 -1 0 69868 0 1 0 1646 38 0 0 25 0 8 0 29719151 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19815/statm: 201773 68748 1495 14 0 189051 0
[pid=19815/tid=19816] ppid=19805 vsize=807092 CPUtime=6.14
/proc/19815/task/19816/stat : 19816 (java) S 19805 19805 18779 0 -1 64 62336 0 0 0 583 31 0 0 16 0 8 0 29719155 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19817] ppid=19805 vsize=807092 CPUtime=0
/proc/19815/task/19817/stat : 19817 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29719155 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19818] ppid=19805 vsize=807092 CPUtime=0
/proc/19815/task/19818/stat : 19818 (java) S 19805 19805 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29719155 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19819] ppid=19805 vsize=807092 CPUtime=0
/proc/19815/task/19819/stat : 19819 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29719158 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19820] ppid=19805 vsize=807092 CPUtime=0.05
/proc/19815/task/19820/stat : 19820 (java) S 19805 19805 18779 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29719158 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19821] ppid=19805 vsize=807092 CPUtime=0
/proc/19815/task/19821/stat : 19821 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29719158 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19822] ppid=19805 vsize=807092 CPUtime=0
/proc/19815/task/19822/stat : 19822 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29719159 826462208 68748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 820816
[startup+51.2235 s]
/proc/loadavg: 2.36 2.09 2.03 5/82 19822
/proc/meminfo: memFree=770104/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=8.42
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1190 17779 0 1 3 1 791 47 15 0 1 0 29718292 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 809 371 3 0 531 0
[pid=19815] ppid=19805 vsize=811096 CPUtime=42.15
/proc/19815/stat : 19815 (java) R 19805 19805 18779 0 -1 0 153049 0 1 0 4127 88 0 0 25 0 8 0 29719151 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19815/statm: 202774 147640 1495 14 0 190052 0
[pid=19815/tid=19816] ppid=19805 vsize=811096 CPUtime=18.22
/proc/19815/task/19816/stat : 19816 (java) R 19805 19805 18779 0 -1 64 143208 0 0 0 1747 75 0 0 17 0 8 0 29719155 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525086 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19817] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19817/stat : 19817 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29719155 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19818] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19818/stat : 19818 (java) S 19805 19805 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29719155 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19819] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19819/stat : 19819 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29719158 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19820] ppid=19805 vsize=811096 CPUtime=0.05
/proc/19815/task/19820/stat : 19820 (java) S 19805 19805 18779 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29719158 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19821] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19821/stat : 19821 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29719158 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19822] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19822/stat : 19822 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29719159 830562304 147640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 824820
[startup+102.506 s]
/proc/loadavg: 2.18 2.09 2.03 4/82 19822
/proc/meminfo: memFree=733176/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=8.42
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1190 17779 0 1 3 1 791 47 15 0 1 0 29718292 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 809 371 3 0 531 0
[pid=19815] ppid=19805 vsize=811096 CPUtime=93.2
/proc/19815/stat : 19815 (java) S 19805 19805 18779 0 -1 0 194490 0 1 0 9208 112 0 0 18 0 8 0 29719151 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19815/statm: 202774 156986 1495 14 0 190052 0
[pid=19815/tid=19816] ppid=19805 vsize=811096 CPUtime=65.18
/proc/19815/task/19816/stat : 19816 (java) R 19805 19805 18779 0 -1 64 184633 0 0 0 6420 98 0 0 25 0 8 0 29719155 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022592 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19817] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19817/stat : 19817 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29719155 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19818] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19818/stat : 19818 (java) S 19805 19805 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29719155 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19819] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19819/stat : 19819 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29719158 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19820] ppid=19805 vsize=811096 CPUtime=0.05
/proc/19815/task/19820/stat : 19820 (java) S 19805 19805 18779 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29719158 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19821] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19821/stat : 19821 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29719158 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19822] ppid=19805 vsize=811096 CPUtime=0
/proc/19815/task/19822/stat : 19822 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29719159 830562304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 824820
[startup+162.537 s]
/proc/loadavg: 2.10 2.08 2.03 2/83 19823
/proc/meminfo: memFree=785840/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=8.42
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1190 17779 0 1 3 1 791 47 15 0 1 0 29718292 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 809 371 3 0 531 0
[pid=19815] ppid=19805 vsize=815096 CPUtime=152.94
/proc/19815/stat : 19815 (java) S 19805 19805 18779 0 -1 0 249427 0 1 0 15153 141 0 0 17 0 8 0 29719151 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19815/statm: 203774 157001 1495 14 0 191052 0
[pid=19815/tid=19816] ppid=19805 vsize=815096 CPUtime=123.28
/proc/19815/task/19816/stat : 19816 (java) R 19805 19805 18779 0 -1 64 239550 0 0 0 12201 127 0 0 25 0 8 0 29719155 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134289 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19817] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19817/stat : 19817 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29719155 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19818] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19818/stat : 19818 (java) S 19805 19805 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29719155 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19819] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19819/stat : 19819 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29719158 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19820] ppid=19805 vsize=815096 CPUtime=0.05
/proc/19815/task/19820/stat : 19820 (java) S 19805 19805 18779 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29719158 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19821] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19821/stat : 19821 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29719158 834658304 157001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19822] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19822/stat : 19822 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29719159 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) 161.36
Current children cumulated vsize (KiB) 828820
[startup+222.551 s]
/proc/loadavg: 1.40 1.88 1.96 2/73 19837
/proc/meminfo: memFree=813648/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=8.42
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1190 17779 0 1 3 1 791 47 15 0 1 0 29718292 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 809 371 3 0 531 0
[pid=19815] ppid=19805 vsize=815096 CPUtime=212.89
/proc/19815/stat : 19815 (java) S 19805 19805 18779 0 -1 0 314350 0 1 0 21117 172 0 0 17 0 8 0 29719151 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19815/statm: 203774 157002 1495 14 0 191052 0
[pid=19815/tid=19816] ppid=19805 vsize=815096 CPUtime=183.14
/proc/19815/task/19816/stat : 19816 (java) R 19805 19805 18779 0 -1 64 304451 0 0 0 18156 158 0 0 25 0 8 0 29719155 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525117 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19817] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19817/stat : 19817 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29719155 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19818] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19818/stat : 19818 (java) S 19805 19805 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29719155 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19819] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19819/stat : 19819 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29719158 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19820] ppid=19805 vsize=815096 CPUtime=0.05
/proc/19815/task/19820/stat : 19820 (java) S 19805 19805 18779 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29719158 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19821] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19821/stat : 19821 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29719158 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19822] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19822/stat : 19822 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29719159 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.31
Current children cumulated vsize (KiB) 828820
[startup+282.571 s]
/proc/loadavg: 1.15 1.72 1.90 2/73 19837
/proc/meminfo: memFree=813712/2055920 swapFree=4192956/4192956
[pid=19805] ppid=19803 vsize=13724 CPUtime=8.42
/proc/19805/stat : 19805 (sugar) S 19803 19805 18779 0 -1 4194304 1190 17779 0 1 3 1 791 47 15 0 1 0 29718292 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19805/statm: 3431 809 371 3 0 531 0
[pid=19815] ppid=19805 vsize=815096 CPUtime=272.89
/proc/19815/stat : 19815 (java) S 19805 19805 18779 0 -1 0 379294 0 1 0 27088 201 0 0 17 0 8 0 29719151 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19815/statm: 203774 157002 1495 14 0 191052 0
[pid=19815/tid=19816] ppid=19805 vsize=815096 CPUtime=243.13
/proc/19815/task/19816/stat : 19816 (java) R 19805 19805 18779 0 -1 64 369373 0 0 0 24126 187 0 0 25 0 8 0 29719155 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19817] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19817/stat : 19817 (java) S 19805 19805 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29719155 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19818] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19818/stat : 19818 (java) S 19805 19805 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29719155 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19819] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19819/stat : 19819 (java) S 19805 19805 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29719158 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19820] ppid=19805 vsize=815096 CPUtime=0.05
/proc/19815/task/19820/stat : 19820 (java) S 19805 19805 18779 0 -1 64 294 0 0 0 5 0 0 0 16 0 8 0 29719158 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19821] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19821/stat : 19821 (java) S 19805 19805 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29719158 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19815/tid=19822] ppid=19805 vsize=815096 CPUtime=0
/proc/19815/task/19822/stat : 19822 (java) S 19805 19805 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29719159 834658304 157002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.31
Current children cumulated vsize (KiB) 828820
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 19805 and gives childrusage.ru_utime.tv_sec=7 childrusage.ru_utime.tv_usec=951791 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=529919
CPU time returned by wait4() is 8.48171
while last known CPU time is 320.66
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 321.997
CPU time (s): 320.66
CPU user time (s): 317.89
CPU system time (s): 2.77
CPU usage (%): 99.5847
Max. virtual memory (cumulated for all children) (KiB): 832824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.95179
system time used= 0.529919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19047
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1973
involuntary context switches= 2029
runsolver used 0.369943 s user time and 0.922859 s system time
The end
Begin job on node69 on Mon Jan 29 19:06:46 UTC 2007
IDJOB= 209566
IDBENCH= 4546
IDSOLVER= 86
FILE ID= node69/209566-1170097605
PBS_JOBID= 3689602
Free space on /tmp= 66547 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp28/fapp28-2800-5.xml
COMMAND LINE= /tmp/evaluation/209566-1170097605/solver /tmp/evaluation/209566-1170097605 /tmp/evaluation/209566-1170097605/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-209566-1170097605 -o ROOT/results/node69/solver-209566-1170097605 -C 1800 -M 900 /tmp/evaluation/209566-1170097605/solver /tmp/evaluation/209566-1170097605 /tmp/evaluation/209566-1170097605/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 1622e43408abfebe7d73b81f4cb1344c
RANDOM SEED= 417599167
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.261
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.261
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: 1439768 kB
Buffers: 51012 kB
Cached: 411320 kB
SwapCached: 0 kB
Active: 253772 kB
Inactive: 290044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1439768 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3944 kB
Writeback: 0 kB
Mapped: 92412 kB
Slab: 57576 kB
Committed_AS: 192820 kB
PageTables: 1988 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= 66561 MiB
End job on node69 on Mon Jan 29 19:12:08 UTC 2007