Trace number 216418

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
sugar 0.40? (TO) 1800.1 1811.87

General information on the benchmark

NamepseudoSeries/chnl/
chnl-20-21.xml
MD5SUM22581d00fad9829aa974b0d157227271
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables840
Number of constraints82
Maximum constraint arity21
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension82
Global constraints used (with number of constraints)

Solver Data (download as text)

0.18	c # Sugar v0-40 (/tmp/evaluation/216418-1170100646/sugar-v0-40.jar)
0.18	
0.18	c # MAIN  BEGIN : /tmp/evaluation/216418-1170100646/unknown.xml [Mon Jan 29 20:57:26 2007]
0.18	c # CONVERT_XML  BEGIN : /tmp/evaluation/216418-1170100646/unknown.xml /tmp/evaluation/216418-1170100646/sugar22278.csp [Mon Jan 29 20:57:26 2007]
0.18	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216418-1170100646/sugar-v0-40.jar -convert /tmp/evaluation/216418-1170100646/unknown.xml /tmp/evaluation/216418-1170100646/sugar22278.csp
0.39	c BEGIN convert /tmp/evaluation/216418-1170100646/unknown.xml
0.77	c END convert (0.380158 seconds)
0.82	c # CONVERT_XML  END : /tmp/evaluation/216418-1170100646/sugar22278.csp 35318 bytes (1 seconds) [Mon Jan 29 20:57:27 2007]
0.82	c # CONVERT_XML  CPU : 0.45 = 0 + 0 + 0.4 + 0.05
0.82	
0.82	c # GENERATE_SAT  BEGIN : /tmp/evaluation/216418-1170100646/sugar22278.bcnf [Mon Jan 29 20:57:27 2007]
0.82	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216418-1170100646/sugar-v0-40.jar -bcnf -map /tmp/evaluation/216418-1170100646/sugar22278.map /tmp/evaluation/216418-1170100646/sugar22278.csp /tmp/evaluation/216418-1170100646/sugar22278.bcnf
0.94	c BEGIN parse /tmp/evaluation/216418-1170100646/sugar22278.csp
1.57	c END parse (0.6317 seconds)
1.57	c BEGIN simplify
1.59	c END simplify (0.017344 seconds)
1.59	c BEGIN encode /tmp/evaluation/216418-1170100646/sugar22278.bcnf
1.68	c END encode (0.088613 seconds)
1.76	c # GENERATE_SAT  END : 5592 variables 23592 clauses 324768 bytes (1 seconds) [Mon Jan 29 20:57:28 2007]
1.76	c # GENERATE_SAT  CPU : 0.88 = 0.03 + 0 + 0.79 + 0.06
1.76	
1.76	c # SOLVE_SAT  BEGIN : /tmp/evaluation/216418-1170100646/sugar22278.bcnf [Mon Jan 29 20:57:28 2007]
1.76	c # CMD : /tmp/evaluation/216418-1170100646/minisat /tmp/evaluation/216418-1170100646/sugar22278.bcnf /tmp/evaluation/216418-1170100646/sugar22278.out
1.78	c ==================================[MINISAT]===================================
1.78	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
1.78	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
1.78	c ==============================================================================
1.78	c |         0 |   17192    45674 |    5730       0        0     nan |  0.000 % |
1.78	c |       101 |   17192    45674 |    6303     101     3595    35.6 | 30.043 % |
1.79	c |       251 |   17192    45674 |    6933     251     6988    27.8 | 30.043 % |
1.80	c |       478 |   17192    45674 |    7626     478    10979    23.0 | 30.043 % |
1.82	c |       816 |   17192    45674 |    8389     816    19459    23.8 | 30.043 % |
1.85	c |      1322 |   17192    45674 |    9228    1322    28170    21.3 | 30.043 % |
1.91	c |      2081 |   17192    45674 |   10151    2081    56250    27.0 | 30.043 % |
1.98	c |      3220 |   17192    45674 |   11166    3220    85170    26.5 | 30.043 % |
2.15	c |      4928 |   17192    45674 |   12282    4928   152075    30.9 | 30.043 % |
2.39	c |      7491 |   17192    45674 |   13511    7491   220656    29.5 | 30.043 % |
2.92	c |     11335 |   17192    45674 |   14862   11335   386358    34.1 | 30.043 % |
3.88	c |     17101 |   17192    45674 |   16348   17101   680246    39.8 | 30.043 % |
6.02	c |     25750 |   17192    45674 |   17983   16064  1001666    62.4 | 30.043 % |
9.36	c |     38724 |   17192    45674 |   19781   18574  1068295    57.5 | 30.043 % |
13.86	c |     58185 |   17192    45674 |   21759   15224   779243    51.2 | 30.043 % |
20.30	c |     87379 |   17192    45674 |   23935   19256   849668    44.1 | 30.043 % |
31.25	c |    131168 |   17192    45674 |   26329   21103  1024952    48.6 | 30.043 % |
46.59	c |    196852 |   17192    45674 |   28962   25045  1094335    43.7 | 30.043 % |
74.33	c |    295379 |   17192    45674 |   31858   18503   637718    34.5 | 30.043 % |
107.76	c |    443169 |   17192    45674 |   35044   21775   541334    24.9 | 30.043 % |
164.11	c |    664853 |   17192    45674 |   38548   28356   949162    33.5 | 30.043 % |
257.47	c |    997378 |   17192    45674 |   42403   32763   937578    28.6 | 30.043 % |
452.74	c |   1496167 |   17192    45674 |   46643   44852  2052315    45.8 | 30.043 % |
881.01	c |   2244349 |   17192    45674 |   51308   33595  2361020    70.3 | 30.043 % |
1479.34	c |   3366623 |   17192    45674 |   56438   47160  3885000    82.4 | 30.043 % |
1810.81	
1810.81	s UNKNOWN
1810.81	c # INTERRUPTED
1810.81	c # MAIN  END :  (1811 seconds) [Mon Jan 29 21:27:37 2007]
1810.81	c # MAIN  CPU : 1.33 = 0.03 + 0 + 1.19 + 0.11
1810.81

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node58/watcher-216418-1170100646 -o ROOT/results/node58/solver-216418-1170100646 -C 1800 -M 900 /tmp/evaluation/216418-1170100646/solver /tmp/evaluation/216418-1170100646 /tmp/evaluation/216418-1170100646/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.15 2.22 2.29 5/81 22279
/proc/meminfo: memFree=953424/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=18540 CPUtime=0
/proc/22278/stat : 22278 (runsolver) R 22276 22278 21602 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30021285 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 226238197031 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22278/statm: 4635 279 244 17 0 2626 0

[startup+0.109921 s]
/proc/loadavg: 2.15 2.22 2.29 5/81 22279
/proc/meminfo: memFree=953424/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=12272 CPUtime=0
/proc/22278/stat : 22278 (sugar) R 22276 22278 21602 0 -1 4194304 620 0 4 0 0 0 0 0 18 0 1 0 30021285 12566528 343 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226255820009 0 0 4224 0 0 0 0 17 1 0 0
/proc/22278/statm: 3068 343 256 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.517959 s]
/proc/loadavg: 2.15 2.22 2.29 5/81 22279
/proc/meminfo: memFree=953424/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=13724 CPUtime=0.04
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1117 0 4 0 3 1 0 0 15 0 1 0 30021285 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33903 s]
/proc/loadavg: 2.15 2.22 2.29 3/89 22295
/proc/meminfo: memFree=928656/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=13724 CPUtime=0.49
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1186 4487 4 33 3 1 40 5 15 0 1 0 30021285 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3431 809 371 3 0 531 0
[pid=22288] ppid=22278 vsize=807360 CPUtime=0.5
/proc/22288/stat : 22288 (java) R 22278 22278 21602 0 -1 0 6584 0 1 0 46 4 0 0 21 0 8 0 30021367 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154545185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22288/statm: 201840 6334 1506 14 0 189118 0
[pid=22288/tid=22289] ppid=22278 vsize=807360 CPUtime=0.01
/proc/22288/task/22289/stat : 22289 (java) S 22278 22278 21602 0 -1 64 400 0 0 0 1 0 0 0 16 0 8 0 30021370 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22288/tid=22290] ppid=22278 vsize=807360 CPUtime=0
/proc/22288/task/22290/stat : 22290 (java) S 22278 22278 21602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30021371 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22288/tid=22291] ppid=22278 vsize=807360 CPUtime=0
/proc/22288/task/22291/stat : 22291 (java) S 22278 22278 21602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30021371 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22288/tid=22292] ppid=22278 vsize=807360 CPUtime=0
/proc/22288/task/22292/stat : 22292 (java) S 22278 22278 21602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30021374 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22288/tid=22293] ppid=22278 vsize=807360 CPUtime=0.12
/proc/22288/task/22293/stat : 22293 (java) S 22278 22278 21602 0 -1 64 397 0 0 0 12 0 0 0 16 0 8 0 30021374 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22288/tid=22294] ppid=22278 vsize=807360 CPUtime=0
/proc/22288/task/22294/stat : 22294 (java) S 22278 22278 21602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30021374 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22288/tid=22295] ppid=22278 vsize=807360 CPUtime=0
/proc/22288/task/22295/stat : 22295 (java) S 22278 22278 21602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30021374 826736640 6334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 821084

[startup+2.98417 s]
/proc/loadavg: 2.15 2.22 2.29 3/82 22296
/proc/meminfo: memFree=929992/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 15 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=4568 CPUtime=1.2
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 903 0 0 0 120 0 0 0 25 0 1 0 30021461 4677632 809 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525729 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 1142 809 52 112 0 1026 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 20060

[startup+6.27447 s]
/proc/loadavg: 2.14 2.21 2.29 3/82 22296
/proc/meminfo: memFree=912776/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=7844 CPUtime=4.46
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 1715 0 0 0 446 0 0 0 25 0 1 0 30021461 8032256 1621 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134518897 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 1961 1621 52 112 0 1845 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 23336

[startup+12.737 s]
/proc/loadavg: 2.13 2.21 2.29 3/82 22296
/proc/meminfo: memFree=883400/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=9292 CPUtime=10.85
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 2073 0 0 0 1083 2 0 0 25 0 1 0 30021461 9515008 1979 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 2323 1979 52 112 0 2207 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 24784

[startup+25.5762 s]
/proc/loadavg: 2.10 2.20 2.28 3/82 22296
/proc/meminfo: memFree=831816/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=10664 CPUtime=23.58
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 2403 0 0 0 2355 3 0 0 25 0 1 0 30021461 10919936 2309 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 2666 2309 52 112 0 2550 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 26156

[startup+51.2684 s]
/proc/loadavg: 2.06 2.18 2.27 3/82 22296
/proc/meminfo: memFree=724296/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=12700 CPUtime=49.03
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 2893 0 0 0 4896 7 0 0 25 0 1 0 30021461 13004800 2799 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528002 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 3175 2799 52 112 0 3059 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 28192

[startup+102.51 s]
/proc/loadavg: 2.20 2.20 2.27 3/82 22296
/proc/meminfo: memFree=515912/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=14416 CPUtime=99.78
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 3292 0 0 0 9966 12 0 0 25 0 1 0 30021461 14761984 3198 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528418 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 3604 3198 52 112 0 3488 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 29908

[startup+162.585 s]
/proc/loadavg: 2.07 2.16 2.25 3/83 22362
/proc/meminfo: memFree=1771392/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=16592 CPUtime=159.39
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 3802 0 0 0 15920 19 0 0 25 0 1 0 30021461 16990208 3708 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22296/statm: 4148 3708 52 112 0 4032 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 32084

[startup+222.682 s]
/proc/loadavg: 2.49 2.24 2.27 3/90 22441
/proc/meminfo: memFree=682992/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=18368 CPUtime=219.16
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 4230 0 0 0 21873 43 0 0 25 0 1 0 30021461 18808832 4136 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528674 0 0 4096 3 0 0 0 17 0 0 0
/proc/22296/statm: 4592 4136 52 112 0 4476 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 33860

[startup+282.754 s]
/proc/loadavg: 2.89 2.39 2.32 3/91 22543
/proc/meminfo: memFree=15584/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=22088 CPUtime=278.79
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 5122 0 0 0 27805 74 0 0 25 0 1 0 30021461 22618112 5028 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525628 0 0 4096 3 0 0 0 17 0 0 0
/proc/22296/statm: 5522 5028 52 112 0 5406 0
Current children cumulated CPU time (s) 280.16
Current children cumulated vsize (KiB) 37580

[startup+342.814 s]
/proc/loadavg: 3.52 2.64 2.41 3/83 22607
/proc/meminfo: memFree=14976/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=25076 CPUtime=338.44
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 5862 0 0 0 33743 101 0 0 25 0 1 0 30021461 25677824 5768 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22296/statm: 6269 5768 52 112 0 6153 0
Current children cumulated CPU time (s) 339.81
Current children cumulated vsize (KiB) 40568

[startup+402.884 s]
/proc/loadavg: 4.00 2.91 2.51 3/83 22627
/proc/meminfo: memFree=14976/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=25692 CPUtime=398.03
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 5981 0 0 0 39682 121 0 0 25 0 1 0 30021461 26308608 5887 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 6423 5887 52 112 0 6307 0
Current children cumulated CPU time (s) 399.4
Current children cumulated vsize (KiB) 41184

[startup+462.948 s]
/proc/loadavg: 4.50 3.27 2.66 3/83 22646
/proc/meminfo: memFree=16064/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=27204 CPUtime=457.63
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 6347 0 0 0 45615 148 0 0 25 0 1 0 30021461 27856896 6253 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528674 0 0 4096 3 0 0 0 17 1 0 0

################
# More data... #
################

/proc/loadavg: 2.28 2.55 2.52 3/83 22646
/proc/meminfo: memFree=15296/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=46220 CPUtime=1114.77
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 10999 0 0 0 111263 214 0 0 25 0 1 0 30021461 47329280 10905 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 11555 10905 52 112 0 11439 0
Current children cumulated CPU time (s) 1116.14
Current children cumulated vsize (KiB) 61712

[startup+1183.51 s]
/proc/loadavg: 2.15 2.46 2.49 3/83 22646
/proc/meminfo: memFree=15552/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=46220 CPUtime=1174.57
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11002 0 0 0 117237 220 0 0 25 0 1 0 30021461 47329280 10908 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 11555 10908 52 112 0 11439 0
Current children cumulated CPU time (s) 1175.94
Current children cumulated vsize (KiB) 61712

[startup+1243.53 s]
/proc/loadavg: 2.10 2.39 2.46 3/83 22646
/proc/meminfo: memFree=16000/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=46352 CPUtime=1234.28
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11035 0 0 0 123202 226 0 0 25 0 1 0 30021461 47464448 10941 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 11588 10941 52 112 0 11472 0
Current children cumulated CPU time (s) 1235.65
Current children cumulated vsize (KiB) 61844

[startup+1303.56 s]
/proc/loadavg: 2.15 2.35 2.44 3/83 22646
/proc/meminfo: memFree=16000/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=46352 CPUtime=1294.01
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11036 0 0 0 129168 233 0 0 25 0 1 0 30021461 47464448 10942 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 11588 10942 52 112 0 11472 0
Current children cumulated CPU time (s) 1295.38
Current children cumulated vsize (KiB) 61844

[startup+1363.56 s]
/proc/loadavg: 2.11 2.30 2.42 3/83 22646
/proc/meminfo: memFree=15616/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=46352 CPUtime=1353.72
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11039 0 0 0 135132 240 0 0 25 0 1 0 30021461 47464448 10945 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 11588 10945 52 112 0 11472 0
Current children cumulated CPU time (s) 1355.09
Current children cumulated vsize (KiB) 61844

[startup+1423.57 s]
/proc/loadavg: 2.15 2.27 2.40 3/83 22646
/proc/meminfo: memFree=15616/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=46336 CPUtime=1413.43
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11039 0 0 0 141097 246 0 0 25 0 1 0 30021461 47448064 10945 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 11584 10945 52 112 0 11468 0
Current children cumulated CPU time (s) 1414.8
Current children cumulated vsize (KiB) 61828

[startup+1483.58 s]
/proc/loadavg: 2.18 2.25 2.38 3/83 22646
/proc/meminfo: memFree=15680/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=47940 CPUtime=1473.15
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11416 0 0 0 147063 252 0 0 25 0 1 0 30021461 49090560 11322 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 11985 11322 52 112 0 11869 0
Current children cumulated CPU time (s) 1474.52
Current children cumulated vsize (KiB) 63432

[startup+1543.59 s]
/proc/loadavg: 2.07 2.20 2.35 3/83 22646
/proc/meminfo: memFree=16128/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=48224 CPUtime=1532.85
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11480 0 0 0 153028 257 0 0 25 0 1 0 30021461 49381376 11386 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 12056 11386 52 112 0 11940 0
Current children cumulated CPU time (s) 1534.22
Current children cumulated vsize (KiB) 63716

[startup+1603.62 s]
/proc/loadavg: 2.07 2.18 2.33 3/83 22646
/proc/meminfo: memFree=15296/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=49496 CPUtime=1592.57
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11768 0 0 0 158995 262 0 0 25 0 1 0 30021461 50683904 11674 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 12374 11674 52 112 0 12258 0
Current children cumulated CPU time (s) 1593.94
Current children cumulated vsize (KiB) 64988

[startup+1663.71 s]
/proc/loadavg: 2.14 2.17 2.32 3/83 22646
/proc/meminfo: memFree=15744/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=49924 CPUtime=1652.36
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11863 0 0 0 164969 267 0 0 25 0 1 0 30021461 51122176 11769 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 12481 11769 52 112 0 12365 0
Current children cumulated CPU time (s) 1653.73
Current children cumulated vsize (KiB) 65416

[startup+1723.73 s]
/proc/loadavg: 2.19 2.17 2.31 3/83 22646
/proc/meminfo: memFree=15744/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=50064 CPUtime=1712.09
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 11913 0 0 0 170935 274 0 0 25 0 1 0 30021461 51265536 11819 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134640104 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 12516 11819 52 112 0 12400 0
Current children cumulated CPU time (s) 1713.46
Current children cumulated vsize (KiB) 65556

[startup+1783.74 s]
/proc/loadavg: 2.21 2.18 2.30 3/83 22646
/proc/meminfo: memFree=14912/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=50668 CPUtime=1771.78
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 12050 0 0 0 176898 280 0 0 25 0 1 0 30021461 51884032 11956 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 12667 11956 52 112 0 12551 0
Current children cumulated CPU time (s) 1773.15
Current children cumulated vsize (KiB) 66160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.8 s]
/proc/loadavg: 2.20 2.18 2.30 3/83 22646
/proc/meminfo: memFree=15040/2055920 swapFree=4191892/4192956
[pid=22278] ppid=22276 vsize=15492 CPUtime=1.37
/proc/22278/stat : 22278 (sugar) S 22276 22278 21602 0 -1 4194304 1744 12028 4 35 6 1 119 11 16 0 1 0 30021285 15863808 1263 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22278/statm: 3873 1263 373 3 0 973 0
[pid=22296] ppid=22278 vsize=50884 CPUtime=1798.72
/proc/22296/stat : 22296 (minisat) R 22278 22278 21602 0 -1 0 12079 0 0 0 179590 282 0 0 25 0 1 0 30021461 52105216 11985 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/22296/statm: 12721 11985 52 112 0 12605 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 66376

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22278 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=257808 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=133979
CPU time returned by wait4() is 1.39179
while last known CPU time is 1800.1

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1811.87
CPU time (s): 1800.1
CPU user time (s): 1797.15
CPU system time (s): 2.95
CPU usage (%): 99.3501
Max. virtual memory (cumulated for all children) (KiB): 821084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.25781
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13859
page faults= 39
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1405
involuntary context switches= 1287

runsolver used 2.02769 s user time and 5.64514 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Mon Jan 29 19:57:26 UTC 2007


IDJOB= 216418
IDBENCH= 5076
IDSOLVER= 86
FILE ID= node58/216418-1170100646

PBS_JOBID= 3689693

Free space on /tmp= 56157 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/chnl/chnl-20-21.xml
COMMAND LINE= /tmp/evaluation/216418-1170100646/solver /tmp/evaluation/216418-1170100646 /tmp/evaluation/216418-1170100646/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-216418-1170100646 -o ROOT/results/node58/solver-216418-1170100646 -C 1800 -M 900  /tmp/evaluation/216418-1170100646/solver /tmp/evaluation/216418-1170100646 /tmp/evaluation/216418-1170100646/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  22581d00fad9829aa974b0d157227271

RANDOM SEED= 949834482

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.234
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.234
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:        954160 kB
Buffers:          9308 kB
Cached:         920864 kB
SwapCached:          0 kB
Active:         110736 kB
Inactive:       904008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        954160 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:          526620 kB
Writeback:           0 kB
Mapped:         101020 kB
Slab:            72380 kB
Committed_AS:   440312 kB
PageTables:       1928 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= 56008 MiB



End job on node58 on Mon Jan 29 20:27:39 UTC 2007