0.04 c # Sugar v0-40 (/tmp/evaluation/209806-1170097775/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/209806-1170097775/unknown.xml [Mon Jan 29 20:09:36 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/209806-1170097775/unknown.xml /tmp/evaluation/209806-1170097775/sugar22601.csp [Mon Jan 29 20:09:36 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209806-1170097775/sugar-v0-40.jar -convert /tmp/evaluation/209806-1170097775/unknown.xml /tmp/evaluation/209806-1170097775/sugar22601.csp
0.16 c BEGIN convert /tmp/evaluation/209806-1170097775/unknown.xml
3.94 c END convert (3.777918 seconds)
3.98 c # CONVERT_XML END : /tmp/evaluation/209806-1170097775/sugar22601.csp 25569119 bytes (4 seconds) [Mon Jan 29 20:09:40 2007]
3.98 c # CONVERT_XML CPU : 3.86 = 0 + 0 + 3.66 + 0.2
3.98
3.98 c # GENERATE_SAT BEGIN : /tmp/evaluation/209806-1170097775/sugar22601.bcnf [Mon Jan 29 20:09:40 2007]
3.98 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/209806-1170097775/sugar-v0-40.jar -bcnf -map /tmp/evaluation/209806-1170097775/sugar22601.map /tmp/evaluation/209806-1170097775/sugar22601.csp /tmp/evaluation/209806-1170097775/sugar22601.bcnf
4.09 c BEGIN parse /tmp/evaluation/209806-1170097775/sugar22601.csp
325.21 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
325.34 s UNKNOWN
325.34 c # ERROR /tmp/evaluation/209806-1170097775/sugar22601.bcnf is not generated, at /tmp/evaluation/209806-1170097775/sugar line 310.
325.34
325.34 c # MAIN END : (326 seconds) [Mon Jan 29 20:15:02 2007]
325.34 c # MAIN CPU : 3.87 = 0 + 0.01 + 3.66 + 0.2
325.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-209806-1170097775 -o ROOT/results/node43/solver-209806-1170097775 -C 1800 -M 900 /tmp/evaluation/209806-1170097775/solver /tmp/evaluation/209806-1170097775 /tmp/evaluation/209806-1170097775/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: 0.92 1.00 1.36 2/65 22602
/proc/meminfo: memFree=1506176/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=12132 CPUtime=0
/proc/22601/stat : 22601 (sugar) R 22599 22601 21547 0 -1 4194304 536 0 0 0 0 0 0 0 18 0 1 0 29733643 12423168 255 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216849093345 0 0 4224 0 0 0 0 17 1 0 0
/proc/22601/statm: 3033 256 189 3 0 133 0
[startup+0.102621 s]
/proc/loadavg: 0.92 1.00 1.36 2/65 22602
/proc/meminfo: memFree=1506176/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=0.03
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29733643 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22601/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.514691 s]
/proc/loadavg: 0.92 1.00 1.36 2/65 22602
/proc/meminfo: memFree=1506176/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=0.03
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29733643 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22601/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33883 s]
/proc/loadavg: 0.92 1.00 1.36 2/73 22610
/proc/meminfo: memFree=1451328/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=0.03
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29733643 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22601/statm: 3431 805 368 3 0 531 0
[pid=22603] ppid=22601 vsize=808444 CPUtime=1.27
/proc/22603/stat : 22603 (java) R 22601 22601 21547 0 -1 0 15144 0 1 0 119 8 0 0 17 0 8 0 29733648 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073704852 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22603/statm: 202111 14890 1690 14 0 189389 0
[pid=22603/tid=22604] ppid=22601 vsize=808444 CPUtime=0.19
/proc/22603/task/22604/stat : 22604 (java) S 22601 22601 21547 0 -1 64 8567 0 0 0 16 3 0 0 17 0 8 0 29733651 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22603/tid=22605] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22605/stat : 22605 (java) S 22601 22601 21547 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29733652 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22606/stat : 22606 (java) S 22601 22601 21547 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29733652 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22607/stat : 22607 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29733655 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=808444 CPUtime=0.14
/proc/22603/task/22608/stat : 22608 (java) S 22601 22601 21547 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 29733655 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22603/tid=22609] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22609/stat : 22609 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29733655 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22610/stat : 22610 (java) S 22601 22601 21547 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29733655 827846656 14890 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 822168
[startup+2.97509 s]
/proc/loadavg: 0.92 1.00 1.36 2/73 22610
/proc/meminfo: memFree=1429888/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=0.03
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29733643 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22601/statm: 3431 805 368 3 0 531 0
[pid=22603] ppid=22601 vsize=808444 CPUtime=2.9
/proc/22603/stat : 22603 (java) R 22601 22601 21547 0 -1 0 18289 0 1 0 274 16 0 0 24 0 8 0 29733648 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22603/statm: 202111 18000 1692 14 0 189389 0
[pid=22603/tid=22604] ppid=22601 vsize=808444 CPUtime=0.36
/proc/22603/task/22604/stat : 22604 (java) S 22601 22601 21547 0 -1 64 11656 0 0 0 32 4 0 0 16 0 8 0 29733651 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22603/tid=22605] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22605/stat : 22605 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29733652 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22603/tid=22606] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22606/stat : 22606 (java) S 22601 22601 21547 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29733652 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22607/stat : 22607 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29733655 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=808444 CPUtime=0.16
/proc/22603/task/22608/stat : 22608 (java) S 22601 22601 21547 0 -1 64 420 0 0 0 16 0 0 0 15 0 8 0 29733655 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22603/tid=22609] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22609/stat : 22609 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29733655 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=808444 CPUtime=0
/proc/22603/task/22610/stat : 22610 (java) S 22601 22601 21547 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29733655 827846656 18000 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 822168
[startup+6.27264 s]
/proc/loadavg: 0.93 1.00 1.36 2/73 22618
/proc/meminfo: memFree=1435136/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=807064 CPUtime=2.27
/proc/22611/stat : 22611 (java) R 22601 22601 21547 0 -1 0 15262 0 1 0 221 6 0 0 17 0 8 0 29734041 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154015922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22611/statm: 201766 14994 1494 14 0 189044 0
[pid=22611/tid=22612] ppid=22601 vsize=807064 CPUtime=0.64
/proc/22611/task/22612/stat : 22612 (java) S 22601 22601 21547 0 -1 64 9193 0 0 0 61 3 0 0 17 0 8 0 29734044 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22613] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29734045 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22614] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22615] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=807064 CPUtime=0.05
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29734048 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22617] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 826433536 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 820788
[startup+12.7517 s]
/proc/loadavg: 0.93 1.00 1.35 2/73 22618
/proc/meminfo: memFree=1320192/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=807064 CPUtime=8.73
/proc/22611/stat : 22611 (java) S 22601 22601 21547 0 -1 0 42685 0 1 0 855 18 0 0 17 0 8 0 29734041 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22611/statm: 201766 42359 1494 14 0 189044 0
[pid=22611/tid=22612] ppid=22601 vsize=807064 CPUtime=2.68
/proc/22611/task/22612/stat : 22612 (java) S 22601 22601 21547 0 -1 64 36558 0 0 0 254 14 0 0 16 0 8 0 29734044 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22613] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29734045 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22614] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22615] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=807064 CPUtime=0.05
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29734048 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22617] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=807064 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 826433536 42359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 820788
[startup+25.636 s]
/proc/loadavg: 0.95 1.00 1.35 2/73 22618
/proc/meminfo: memFree=1126528/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=811096 CPUtime=21.59
/proc/22611/stat : 22611 (java) S 22601 22601 21547 0 -1 0 91487 0 1 0 2117 42 0 0 17 0 8 0 29734041 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22611/statm: 202774 89401 1495 14 0 190052 0
[pid=22611/tid=22612] ppid=22601 vsize=811096 CPUtime=8.24
/proc/22611/task/22612/stat : 22612 (java) R 22601 22601 21547 0 -1 64 83961 0 0 0 789 35 0 0 17 0 8 0 29734044 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035667 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22613] ppid=22601 vsize=811096 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29734045 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22614] ppid=22601 vsize=811096 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22615] ppid=22601 vsize=811096 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=811096 CPUtime=0.05
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 295 0 0 0 5 0 0 0 16 0 8 0 29734048 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22617] ppid=22601 vsize=811096 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=811096 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 830562304 89401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 824820
[startup+51.2623 s]
/proc/loadavg: 0.96 1.00 1.34 2/73 22618
/proc/meminfo: memFree=888256/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=811416 CPUtime=47.16
/proc/22611/stat : 22611 (java) S 22601 22601 21547 0 -1 0 157276 0 1 0 4648 68 0 0 17 0 8 0 29734041 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 202854 148909 1507 14 0 190132 0
[pid=22611/tid=22612] ppid=22601 vsize=811416 CPUtime=20.57
/proc/22611/task/22612/stat : 22612 (java) R 22601 22601 21547 0 -1 64 147317 0 0 0 1997 60 0 0 17 0 8 0 29734044 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523688 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22613] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22614] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22615] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=811416 CPUtime=0.12
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 396 0 0 0 12 0 0 0 15 0 8 0 29734048 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22617] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 830889984 148909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 825140
[startup+102.481 s]
/proc/loadavg: 0.98 1.00 1.32 2/73 22618
/proc/meminfo: memFree=856128/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=811416 CPUtime=98.35
/proc/22611/stat : 22611 (java) S 22601 22601 21547 0 -1 0 198779 0 1 0 9747 88 0 0 17 0 8 0 29734041 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 202854 156927 1507 14 0 190132 0
[pid=22611/tid=22612] ppid=22601 vsize=811416 CPUtime=66.37
/proc/22611/task/22612/stat : 22612 (java) R 22601 22601 21547 0 -1 64 188801 0 0 0 6558 79 0 0 17 0 8 0 29734044 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215746 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22613] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22614] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22615] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=811416 CPUtime=0.12
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 29734048 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22617] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 830889984 156927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 825140
[startup+162.555 s]
/proc/loadavg: 0.99 1.00 1.29 2/73 22618
/proc/meminfo: memFree=855744/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=811416 CPUtime=158.37
/proc/22611/stat : 22611 (java) S 22601 22601 21547 0 -1 0 243408 0 1 0 15730 107 0 0 16 0 8 0 29734041 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22611/statm: 202854 156955 1507 14 0 190132 0
[pid=22611/tid=22612] ppid=22601 vsize=811416 CPUtime=124.83
/proc/22611/task/22612/stat : 22612 (java) R 22601 22601 21547 0 -1 64 233404 0 0 0 12385 98 0 0 17 0 8 0 29734044 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022755 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22613] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22614] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22615] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=811416 CPUtime=0.12
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 397 0 0 0 12 0 0 0 16 0 8 0 29734048 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22617] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 830889984 156955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 825140
[startup+222.571 s]
/proc/loadavg: 0.99 1.00 1.27 2/73 22618
/proc/meminfo: memFree=855680/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=811416 CPUtime=218.35
/proc/22611/stat : 22611 (java) S 22601 22601 21547 0 -1 0 286434 0 1 0 21708 127 0 0 16 0 8 0 29734041 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 202854 156956 1507 14 0 190132 0
[pid=22611/tid=22612] ppid=22601 vsize=811416 CPUtime=184.76
/proc/22611/task/22612/stat : 22612 (java) R 22601 22601 21547 0 -1 64 276406 0 0 0 18358 118 0 0 25 0 8 0 29734044 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134292 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22613] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22614] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22615] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=811416 CPUtime=0.12
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 397 0 0 0 12 0 0 0 16 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22617] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 825140
[startup+282.59 s]
/proc/loadavg: 0.99 1.00 1.25 2/73 22618
/proc/meminfo: memFree=855680/2055920 swapFree=4192956/4192956
[pid=22601] ppid=22599 vsize=13724 CPUtime=3.9
/proc/22601/stat : 22601 (sugar) S 22599 22601 21547 0 -1 4194304 1190 18332 0 1 3 1 366 20 15 0 1 0 29733643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22601/statm: 3431 809 371 3 0 531 0
[pid=22611] ppid=22601 vsize=811416 CPUtime=278.35
/proc/22611/stat : 22611 (java) S 22601 22601 21547 0 -1 0 329466 0 1 0 27687 148 0 0 16 0 8 0 29734041 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 202854 156956 1507 14 0 190132 0
[pid=22611/tid=22612] ppid=22601 vsize=811416 CPUtime=244.75
/proc/22611/task/22612/stat : 22612 (java) R 22601 22601 21547 0 -1 64 319414 0 0 0 24336 139 0 0 25 0 8 0 29734044 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134566 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22613] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22613/stat : 22613 (java) S 22601 22601 21547 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22614] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22601 22601 21547 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29734045 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22615] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22601 22601 21547 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22616] ppid=22601 vsize=811416 CPUtime=0.12
/proc/22611/task/22616/stat : 22616 (java) S 22601 22601 21547 0 -1 64 397 0 0 0 12 0 0 0 16 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22617] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22617/stat : 22617 (java) S 22601 22601 21547 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22611/tid=22618] ppid=22601 vsize=811416 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22601 22601 21547 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29734048 830889984 156956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 825140
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22601 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=704436 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=233964
CPU time returned by wait4() is 3.9384
while last known CPU time is 324.95
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 325.357
CPU time (s): 324.95
CPU user time (s): 323.05
CPU system time (s): 1.9
CPU usage (%): 99.8749
Max. virtual memory (cumulated for all children) (KiB): 827144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.70444
system time used= 0.233964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19600
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= 1016
involuntary context switches= 398
runsolver used 0.351946 s user time and 0.823874 s system time
The end
Begin job on node43 on Mon Jan 29 19:09:36 UTC 2007
IDJOB= 209806
IDBENCH= 4561
IDSOLVER= 86
FILE ID= node43/209806-1170097775
PBS_JOBID= 3689589
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp26/fapp26-2300-7.xml
COMMAND LINE= /tmp/evaluation/209806-1170097775/solver /tmp/evaluation/209806-1170097775 /tmp/evaluation/209806-1170097775/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-209806-1170097775 -o ROOT/results/node43/solver-209806-1170097775 -C 1800 -M 900 /tmp/evaluation/209806-1170097775/solver /tmp/evaluation/209806-1170097775 /tmp/evaluation/209806-1170097775/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 39fd319fe26c856a24205927bfd025f7
RANDOM SEED= 929676653
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.281
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.281
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: 1506656 kB
Buffers: 50428 kB
Cached: 412516 kB
SwapCached: 0 kB
Active: 162552 kB
Inactive: 316248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1506656 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4120 kB
Writeback: 0 kB
Mapped: 26016 kB
Slab: 56568 kB
Committed_AS: 99064 kB
PageTables: 1396 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 node43 on Mon Jan 29 19:15:02 UTC 2007