0.05 c # Sugar v0-40 (/tmp/evaluation/233385-1170106718/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/233385-1170106718/unknown.xml [Mon Jan 29 22:38:38 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/233385-1170106718/unknown.xml /tmp/evaluation/233385-1170106718/sugar26914.csp [Mon Jan 29 22:38:38 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233385-1170106718/sugar-v0-40.jar -convert /tmp/evaluation/233385-1170106718/unknown.xml /tmp/evaluation/233385-1170106718/sugar26914.csp
0.17 c BEGIN convert /tmp/evaluation/233385-1170106718/unknown.xml
0.77 c END convert (0.607198 seconds)
0.81 c # CONVERT_XML END : /tmp/evaluation/233385-1170106718/sugar26914.csp 155253 bytes (1 seconds) [Mon Jan 29 22:38:39 2007]
0.81 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.81
0.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/233385-1170106718/sugar26914.bcnf [Mon Jan 29 22:38:39 2007]
0.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233385-1170106718/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233385-1170106718/sugar26914.map /tmp/evaluation/233385-1170106718/sugar26914.csp /tmp/evaluation/233385-1170106718/sugar26914.bcnf
0.93 c BEGIN parse /tmp/evaluation/233385-1170106718/sugar26914.csp
1.54 c END parse (0.61425 seconds)
1.54 c BEGIN simplify
1.61 c END simplify (0.066251 seconds)
1.61 c BEGIN encode /tmp/evaluation/233385-1170106718/sugar26914.bcnf
6.83 c END encode (5.224841 seconds)
6.94 c # GENERATE_SAT END : 206307 variables 5481324 clauses 86839240 bytes (6 seconds) [Mon Jan 29 22:38:45 2007]
6.94 c # GENERATE_SAT CPU : 6 = 0.06 + 0.01 + 5.6 + 0.33
6.94
6.94 c # SOLVE_SAT BEGIN : /tmp/evaluation/233385-1170106718/sugar26914.bcnf [Mon Jan 29 22:38:45 2007]
6.94 c # CMD : /tmp/evaluation/233385-1170106718/minisat /tmp/evaluation/233385-1170106718/sugar26914.bcnf /tmp/evaluation/233385-1170106718/sugar26914.out
10.27 c ==================================[MINISAT]===================================
10.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.27 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
10.27 c ==============================================================================
10.27 c | 0 | 5481324 16228440 | 1827108 0 0 nan | 0.000 % |
11.62 c | 100 | 5481324 16228440 | 2009818 100 1860 18.6 | 0.000 % |
12.13 c | 252 | 5481324 16228440 | 2210800 252 3959 15.7 | 0.000 % |
12.33 c | 477 | 5481324 16228440 | 2431880 477 5888 12.3 | 0.000 % |
12.53 c | 814 | 5481324 16228440 | 2675068 814 8842 10.9 | 0.000 % |
12.80 c | 1321 | 5481324 16228440 | 2942575 1321 13157 10.0 | 0.000 % |
13.15 c | 2081 | 5481324 16228440 | 3236833 2081 21450 10.3 | 0.000 % |
13.93 c | 3220 | 5481324 16228440 | 3560516 3220 37634 11.7 | 0.000 % |
15.63 c | 4928 | 5481324 16228440 | 3916568 4928 58784 11.9 | 0.000 % |
18.35 c | 7490 | 5481324 16228440 | 4308225 7490 94481 12.6 | 0.000 % |
21.97 c | 11334 | 5481324 16228440 | 4739047 11334 142886 12.6 | 0.000 % |
27.36 c | 17101 | 5481324 16228440 | 5212952 17101 234941 13.7 | 0.000 % |
35.69 c | 25752 | 5481324 16228440 | 5734247 25752 385572 15.0 | 0.000 % |
49.11 c | 38727 | 5481324 16228440 | 6307672 38727 588942 15.2 | 0.000 % |
73.85 c | 58188 | 5481324 16228440 | 6938439 58188 936267 16.1 | 0.000 % |
114.26 c | 87381 | 5481324 16228440 | 7632283 87381 1470226 16.8 | 0.000 % |
187.46 c | 131170 | 5481324 16228440 | 8395511 131170 2248588 17.1 | 0.000 % |
329.26 c | 196854 | 5481324 16228440 | 9235063 196854 3509448 17.8 | 0.000 % |
627.74 c | 295380 | 5481324 16228440 | 10158569 295380 5355311 18.1 | 0.000 % |
1129.88 c | 443170 | 5481324 16228440 | 11174426 443170 8447026 19.1 | 0.000 % |
1810.52
1810.52 s UNKNOWN
1810.52 c # INTERRUPTED
1810.52 c # MAIN END : (1810 seconds) [Mon Jan 29 23:08:48 2007]
1810.52 c # MAIN CPU : 6 = 0.06 + 0.01 + 5.6 + 0.33
1810.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-233385-1170106718 -o ROOT/results/node11/solver-233385-1170106718 -C 1800 -M 900 /tmp/evaluation/233385-1170106718/solver /tmp/evaluation/233385-1170106718 /tmp/evaluation/233385-1170106718/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: 3.00 3.14 3.07 5/94 26915
/proc/meminfo: memFree=1310056/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=12128 CPUtime=0
/proc/26914/stat : 26914 (sugar) R 26912 26914 26438 0 -1 4194304 506 0 0 0 0 0 0 0 20 0 1 0 30626336 12419072 225 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262909889954 0 0 4224 0 0 0 0 17 1 0 0
/proc/26914/statm: 3032 225 170 3 0 132 0
[startup+0.104698 s]
/proc/loadavg: 3.00 3.14 3.07 5/94 26915
/proc/meminfo: memFree=1310056/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=13724 CPUtime=0.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30626336 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.512742 s]
/proc/loadavg: 3.00 3.14 3.07 5/94 26915
/proc/meminfo: memFree=1310056/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=13724 CPUtime=0.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30626336 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33584 s]
/proc/loadavg: 3.00 3.14 3.07 3/103 26931
/proc/meminfo: memFree=1291104/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=13724 CPUtime=0.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 30626336 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 3431 808 370 3 0 531 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26924] ppid=26914 vsize=807332 CPUtime=0.5
/proc/26924/stat : 26924 (java) R 26914 26914 26438 0 -1 0 6645 0 1 0 47 3 0 0 22 0 8 0 30626417 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073579198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26924/statm: 201833 6395 1506 14 0 189111 0
[pid=26924/tid=26925] ppid=26914 vsize=807332 CPUtime=0.02
/proc/26924/task/26925/stat : 26925 (java) S 26914 26914 26438 0 -1 64 489 0 0 0 2 0 0 0 16 0 8 0 30626420 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26926] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26926/stat : 26926 (java) S 26914 26914 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30626421 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26927] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26927/stat : 26927 (java) S 26914 26914 26438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30626421 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26928] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26928/stat : 26928 (java) S 26914 26914 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30626424 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26929] ppid=26914 vsize=807332 CPUtime=0.1
/proc/26924/task/26929/stat : 26929 (java) S 26914 26914 26438 0 -1 64 373 0 0 0 10 0 0 0 16 0 8 0 30626424 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26930] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26930/stat : 26930 (java) S 26914 26914 26438 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30626424 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26931] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26931/stat : 26931 (java) S 26914 26914 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30626424 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 821056
[startup+2.98903 s]
/proc/loadavg: 2.92 3.13 3.07 3/103 26931
/proc/meminfo: memFree=1273312/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=13724 CPUtime=0.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30626336 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 3431 808 370 3 0 531 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26924] ppid=26914 vsize=807332 CPUtime=2.14
/proc/26924/stat : 26924 (java) R 26914 26914 26438 0 -1 0 8141 0 1 0 203 11 0 0 25 0 8 0 30626417 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26924/statm: 201833 7888 1510 14 0 189111 0
[pid=26924/tid=26925] ppid=26914 vsize=807332 CPUtime=0.09
/proc/26924/task/26925/stat : 26925 (java) S 26914 26914 26438 0 -1 64 1910 0 0 0 8 1 0 0 16 0 8 0 30626420 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26926] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26926/stat : 26926 (java) S 26914 26914 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30626421 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26927] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26927/stat : 26927 (java) S 26914 26914 26438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30626421 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26928] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26928/stat : 26928 (java) S 26914 26914 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26929] ppid=26914 vsize=807332 CPUtime=0.17
/proc/26924/task/26929/stat : 26929 (java) S 26914 26914 26438 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26930] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26930/stat : 26930 (java) S 26914 26914 26438 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26931] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26931/stat : 26931 (java) S 26914 26914 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821056
[startup+6.19741 s]
/proc/loadavg: 2.92 3.13 3.07 3/103 26931
/proc/meminfo: memFree=1213600/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=13724 CPUtime=0.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30626336 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 3431 808 370 3 0 531 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26924] ppid=26914 vsize=807332 CPUtime=5.3
/proc/26924/stat : 26924 (java) R 26914 26914 26438 0 -1 0 8141 0 1 0 503 27 0 0 25 0 8 0 30626417 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26924/statm: 201833 7888 1510 14 0 189111 0
[pid=26924/tid=26925] ppid=26914 vsize=807332 CPUtime=0.09
/proc/26924/task/26925/stat : 26925 (java) S 26914 26914 26438 0 -1 64 1910 0 0 0 8 1 0 0 16 0 8 0 30626420 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26926] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26926/stat : 26926 (java) S 26914 26914 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30626421 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26927] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26927/stat : 26927 (java) S 26914 26914 26438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30626421 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26928] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26928/stat : 26928 (java) S 26914 26914 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26929] ppid=26914 vsize=807332 CPUtime=0.17
/proc/26924/task/26929/stat : 26929 (java) S 26914 26914 26438 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26930] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26930/stat : 26930 (java) S 26914 26914 26438 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26924/tid=26931] ppid=26914 vsize=807332 CPUtime=0
/proc/26924/task/26931/stat : 26931 (java) S 26914 26914 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30626424 826707968 7888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 821056
[startup+12.6632 s]
/proc/loadavg: 2.85 3.10 3.06 3/96 26932
/proc/meminfo: memFree=973464/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 15 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=247656 CPUtime=5.63
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 62405 0 0 0 522 41 0 0 25 0 1 0 30627030 253599744 61350 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26932/statm: 61914 61350 52 112 0 61798 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 264972
[startup+25.5208 s]
/proc/loadavg: 2.80 3.08 3.05 3/96 26932
/proc/meminfo: memFree=967960/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=252292 CPUtime=18.37
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 63564 0 0 0 1796 41 0 0 25 0 1 0 30627030 258347008 62509 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26932/statm: 63073 62509 52 112 0 62957 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 269608
[startup+51.2127 s]
/proc/loadavg: 2.53 3.00 3.02 3/96 26932
/proc/meminfo: memFree=964120/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=254872 CPUtime=43.76
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 64196 0 0 0 4334 42 0 0 25 0 1 0 30627030 260988928 63141 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26932/statm: 63718 63141 52 112 0 63602 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 272188
[startup+102.513 s]
/proc/loadavg: 2.28 2.86 2.97 3/96 26932
/proc/meminfo: memFree=959064/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=259172 CPUtime=94.59
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 65265 0 0 0 9416 43 0 0 25 0 1 0 30627030 265392128 64210 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26932/statm: 64793 64210 52 112 0 64677 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 276488
[startup+162.545 s]
/proc/loadavg: 2.10 2.70 2.91 3/97 26998
/proc/meminfo: memFree=1522120/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=263372 CPUtime=154.13
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 66287 0 0 0 15367 46 0 0 25 0 1 0 30627030 269692928 65232 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 65843 65232 52 112 0 65727 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 280688
[startup+222.582 s]
/proc/loadavg: 2.04 2.57 2.85 3/90 26999
/proc/meminfo: memFree=1340480/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
################
# More data... #
################
Current children cumulated CPU time (s) 1236.12
Current children cumulated vsize (KiB) 322528
[startup+1303.4 s]
/proc/loadavg: 4.31 3.92 3.32 3/96 27346
/proc/meminfo: memFree=15936/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=306912 CPUtime=1288.83
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 76822 0 0 0 128518 365 0 0 25 0 1 0 30627030 314277888 75767 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 76728 75767 52 112 0 76612 0
Current children cumulated CPU time (s) 1295.57
Current children cumulated vsize (KiB) 324228
[startup+1363.48 s]
/proc/loadavg: 4.07 3.89 3.34 3/102 27428
/proc/meminfo: memFree=15144/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=308508 CPUtime=1348.69
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 77243 0 0 0 134479 390 0 0 25 0 1 0 30627030 315912192 76188 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 77127 76188 52 112 0 77011 0
Current children cumulated CPU time (s) 1355.43
Current children cumulated vsize (KiB) 325824
[startup+1423.5 s]
/proc/loadavg: 4.45 4.04 3.43 3/104 27518
/proc/meminfo: memFree=15216/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=310080 CPUtime=1408.52
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 77650 0 0 0 140436 416 0 0 25 0 1 0 30627030 317521920 76595 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 77520 76595 52 112 0 77404 0
Current children cumulated CPU time (s) 1415.26
Current children cumulated vsize (KiB) 327396
[startup+1483.59 s]
/proc/loadavg: 3.23 3.79 3.38 2/96 27549
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=311732 CPUtime=1468.45
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 78072 0 0 0 146405 440 0 0 25 0 1 0 30627030 319213568 77017 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 77933 77017 52 112 0 77817 0
Current children cumulated CPU time (s) 1475.19
Current children cumulated vsize (KiB) 329048
[startup+1543.65 s]
/proc/loadavg: 2.53 3.49 3.30 3/96 27549
/proc/meminfo: memFree=16264/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=313596 CPUtime=1528.36
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 78532 0 0 0 152377 459 0 0 25 0 1 0 30627030 321122304 77477 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 78399 77477 52 112 0 78283 0
Current children cumulated CPU time (s) 1535.1
Current children cumulated vsize (KiB) 330912
[startup+1603.72 s]
/proc/loadavg: 2.63 3.35 3.26 2/83 27562
/proc/meminfo: memFree=1602280/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=315020 CPUtime=1588.12
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 78892 0 0 0 158333 479 0 0 25 0 1 0 30627030 322580480 77837 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 78755 77837 52 112 0 78639 0
Current children cumulated CPU time (s) 1594.86
Current children cumulated vsize (KiB) 332336
[startup+1663.75 s]
/proc/loadavg: 3.42 3.41 3.29 3/96 27619
/proc/meminfo: memFree=177016/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=316492 CPUtime=1647.36
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 79253 0 0 0 164233 503 0 0 25 0 1 0 30627030 324087808 78198 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26932/statm: 79123 78198 52 112 0 79007 0
Current children cumulated CPU time (s) 1654.1
Current children cumulated vsize (KiB) 333808
[startup+1723.77 s]
/proc/loadavg: 4.27 3.67 3.38 3/96 27625
/proc/meminfo: memFree=15480/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=318060 CPUtime=1707.09
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 79638 0 0 0 170177 532 0 0 25 0 1 0 30627030 325693440 78583 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26932/statm: 79515 78583 52 112 0 79399 0
Current children cumulated CPU time (s) 1713.83
Current children cumulated vsize (KiB) 335376
[startup+1783.8 s]
/proc/loadavg: 4.48 3.84 3.46 3/97 27629
/proc/meminfo: memFree=14768/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=319512 CPUtime=1766.81
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 80004 0 0 0 176118 563 0 0 25 0 1 0 30627030 327180288 78949 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528354 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 79878 78949 52 112 0 79762 0
Current children cumulated CPU time (s) 1773.55
Current children cumulated vsize (KiB) 336828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.51 s]
/proc/loadavg: 4.32 3.85 3.47 2/98 27630
/proc/meminfo: memFree=35176/2055920 swapFree=4192812/4192956
[pid=26914] ppid=26912 vsize=17316 CPUtime=6.03
/proc/26914/stat : 26914 (sugar) S 26912 26914 26438 0 -1 4194304 2183 8157 0 1 9 1 560 33 16 0 1 0 30626336 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26914/statm: 4329 1693 373 3 0 1429 0
[pid=26916] ppid=26914 vsize=0 CPUtime=0.71
/proc/26916/stat : 26916 (java) Z 26914 26914 26438 0 -1 1036 7669 0 1 0 65 6 0 0 17 0 1 0 30626341 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
[pid=26932] ppid=26914 vsize=320164 CPUtime=1793.36
/proc/26932/stat : 26932 (minisat) R 26914 26914 26438 0 -1 0 80158 0 0 0 178757 579 0 0 25 0 1 0 30627030 327847936 79103 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26932/statm: 80041 79103 52 112 0 79925 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 337480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26914 and gives childrusage.ru_utime.tv_sec=5 childrusage.ru_utime.tv_usec=703132 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=363944
CPU time returned by wait4() is 6.06708
while last known CPU time is 1800.16
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.59
CPU time (s): 1800.16
CPU user time (s): 1793.91
CPU system time (s): 6.25
CPU usage (%): 99.0954
Max. virtual memory (cumulated for all children) (KiB): 821056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.70313
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10363
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= 834
involuntary context switches= 992
runsolver used 2.13167 s user time and 6.16806 s system time
The end
Begin job on node11 on Mon Jan 29 21:38:38 UTC 2007
IDJOB= 233385
IDBENCH= 6604
IDSOLVER= 86
FILE ID= node11/233385-1170106718
PBS_JOBID= 3689788
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-4.xml
COMMAND LINE= /tmp/evaluation/233385-1170106718/solver /tmp/evaluation/233385-1170106718 /tmp/evaluation/233385-1170106718/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-233385-1170106718 -o ROOT/results/node11/solver-233385-1170106718 -C 1800 -M 900 /tmp/evaluation/233385-1170106718/solver /tmp/evaluation/233385-1170106718 /tmp/evaluation/233385-1170106718/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= a7015b7b8a0911f86cf4ded97ed359d1
RANDOM SEED= 441124093
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.243
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.243
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: 1310536 kB
Buffers: 4080 kB
Cached: 39984 kB
SwapCached: 0 kB
Active: 694028 kB
Inactive: 7488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1310536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1588 kB
Writeback: 0 kB
Mapped: 682956 kB
Slab: 27488 kB
Committed_AS: 1022200 kB
PageTables: 3404 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= 62418 MiB
End job on node11 on Mon Jan 29 22:08:56 UTC 2007