Trace number 216366

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.09 1808.84

General information on the benchmark

NamepseudoSeries/chnl/
chnl-15-20.xml
MD5SUM8aaa1576c975e16e40314c8a9dc9ff01
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 variables600
Number of constraints70
Maximum constraint arity20
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension70
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/216366-1170100619/sugar-v0-40.jar)
0.05	
0.06	c # MAIN  BEGIN : /tmp/evaluation/216366-1170100619/unknown.xml [Mon Jan 29 20:57:00 2007]
0.06	c # CONVERT_XML  BEGIN : /tmp/evaluation/216366-1170100619/unknown.xml /tmp/evaluation/216366-1170100619/sugar22398.csp [Mon Jan 29 20:57:00 2007]
0.06	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216366-1170100619/sugar-v0-40.jar -convert /tmp/evaluation/216366-1170100619/unknown.xml /tmp/evaluation/216366-1170100619/sugar22398.csp
0.23	c BEGIN convert /tmp/evaluation/216366-1170100619/unknown.xml
0.55	c END convert (0.32607 seconds)
0.60	c # CONVERT_XML  END : /tmp/evaluation/216366-1170100619/sugar22398.csp 25180 bytes (0 seconds) [Mon Jan 29 20:57:00 2007]
0.60	c # CONVERT_XML  CPU : 0.41 = 0 + 0 + 0.35 + 0.06
0.60	
0.60	c # GENERATE_SAT  BEGIN : /tmp/evaluation/216366-1170100619/sugar22398.bcnf [Mon Jan 29 20:57:00 2007]
0.60	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216366-1170100619/sugar-v0-40.jar -bcnf -map /tmp/evaluation/216366-1170100619/sugar22398.map /tmp/evaluation/216366-1170100619/sugar22398.csp /tmp/evaluation/216366-1170100619/sugar22398.bcnf
0.72	c BEGIN parse /tmp/evaluation/216366-1170100619/sugar22398.csp
1.23	c END parse (0.504823 seconds)
1.23	c BEGIN simplify
1.25	c END simplify (0.018756 seconds)
1.25	c BEGIN encode /tmp/evaluation/216366-1170100619/sugar22398.bcnf
1.31	c END encode (0.068226 seconds)
1.38	c # GENERATE_SAT  END : 3720 variables 14950 clauses 204664 bytes (1 seconds) [Mon Jan 29 20:57:01 2007]
1.38	c # GENERATE_SAT  CPU : 0.72 = 0.02 + 0 + 0.65 + 0.05
1.38	
1.38	c # SOLVE_SAT  BEGIN : /tmp/evaluation/216366-1170100619/sugar22398.bcnf [Mon Jan 29 20:57:01 2007]
1.38	c # CMD : /tmp/evaluation/216366-1170100619/minisat /tmp/evaluation/216366-1170100619/sugar22398.bcnf /tmp/evaluation/216366-1170100619/sugar22398.out
1.39	c ==================================[MINISAT]===================================
1.39	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
1.39	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
1.39	c ==============================================================================
1.39	c |         0 |   10480    27810 |    3493       0        0     nan |  0.000 % |
1.40	c |       100 |   10480    27810 |    3842     100     3032    30.3 | 31.452 % |
1.40	c |       250 |   10480    27810 |    4226     250     6983    27.9 | 31.452 % |
1.42	c |       475 |   10480    27810 |    4649     475    13048    27.5 | 31.452 % |
1.43	c |       812 |   10480    27810 |    5114     812    23723    29.2 | 31.452 % |
1.46	c |      1318 |   10480    27810 |    5625    1318    38966    29.6 | 31.452 % |
1.50	c |      2078 |   10480    27810 |    6188    2078    59047    28.4 | 31.452 % |
1.58	c |      3217 |   10480    27810 |    6806    3217   101163    31.4 | 31.452 % |
1.76	c |      4925 |   10480    27810 |    7487    4925   177276    36.0 | 31.452 % |
2.01	c |      7487 |   10480    27810 |    8236    7487   270115    36.1 | 31.452 % |
2.43	c |     11331 |   10480    27810 |    9059    6277   207078    33.0 | 31.452 % |
3.11	c |     17097 |   10480    27810 |    9965    6596   196135    29.7 | 31.452 % |
3.98	c |     25748 |   10480    27810 |   10962    9355   295749    31.6 | 31.452 % |
5.91	c |     38722 |   10480    27810 |   12058    9427   358810    38.1 | 31.452 % |
8.39	c |     58184 |   10480    27810 |   13264    8195   259155    31.6 | 31.452 % |
12.65	c |     87376 |   10480    27810 |   14591   14888   479141    32.2 | 31.452 % |
18.69	c |    131166 |   10480    27810 |   16050    9653   269266    27.9 | 31.452 % |
28.18	c |    196850 |   10480    27810 |   17655   13213   340924    25.8 | 31.452 % |
41.97	c |    295376 |   10480    27810 |   19420   14904   434222    29.1 | 31.452 % |
67.58	c |    443165 |   10480    27810 |   21362   15099   383569    25.4 | 31.452 % |
109.19	c |    664848 |   10480    27810 |   23499   17484   477307    27.3 | 31.452 % |
188.51	c |    997374 |   10480    27810 |   25849   20349   779864    38.3 | 31.452 % |
340.65	c |   1496162 |   10480    27810 |   28433   26053  1223658    47.0 | 31.452 % |
788.92	c |   2244344 |   10480    27810 |   31277   15088   996060    66.0 | 31.452 % |
1476.19	c |   3366618 |   10480    27810 |   34405   19682  1332077    67.7 | 31.452 % |
1808.84	s UNKNOWN
1808.84	c # ERROR No such file or directory /tmp/evaluation/216366-1170100619/sugar22398.out, at /tmp/evaluation/216366-1170100619/sugar line 393.
1808.84	
1808.84	
1808.84	s UNKNOWN
1808.84	c # INTERRUPTED
1808.84	c # MAIN  END :  (1809 seconds) [Mon Jan 29 21:27:09 2007]
1808.84	c # MAIN  CPU : 1800.04 = 0.02 + 0.01 + 1799.6 + 0.41
1808.84

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/node42/watcher-216366-1170100619 -o ROOT/results/node42/solver-216366-1170100619 -C 1800 -M 900 /tmp/evaluation/216366-1170100619/solver /tmp/evaluation/216366-1170100619 /tmp/evaluation/216366-1170100619/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.16 2.15 2.77 4/73 22400
/proc/meminfo: memFree=1955864/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=11860 CPUtime=0
/proc/22398/stat : 22398 (sugar) R 22394 22398 22270 0 -1 4194304 404 0 0 0 0 0 0 0 18 0 1 0 30018002 12144640 123 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259415333642 0 0 4224 0 0 0 0 17 1 0 0
/proc/22398/statm: 2999 138 105 3 0 99 0

[startup+0.106528 s]
/proc/loadavg: 2.16 2.15 2.77 4/73 22400
/proc/meminfo: memFree=1955864/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=13724 CPUtime=0.03
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 30018002 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22398/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.515798 s]
/proc/loadavg: 2.16 2.15 2.77 4/73 22400
/proc/meminfo: memFree=1955864/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=13724 CPUtime=0.03
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30018002 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22398/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33895 s]
/proc/loadavg: 2.16 2.15 2.77 4/89 22432
/proc/meminfo: memFree=1905752/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=13724 CPUtime=0.44
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1190 4160 0 20 3 0 35 6 16 0 1 0 30018002 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22398/statm: 3431 809 371 3 0 531 0
[pid=22417] ppid=22398 vsize=807356 CPUtime=0.69
/proc/22417/stat : 22417 (java) S 22398 22398 22270 0 -1 0 7119 0 1 0 65 4 0 0 20 0 8 0 30018062 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22417/statm: 201839 6868 1512 14 0 189117 0
[pid=22417/tid=22418] ppid=22398 vsize=807356 CPUtime=0.02
/proc/22417/task/22418/stat : 22418 (java) S 22398 22398 22270 0 -1 64 881 0 0 0 2 0 0 0 16 0 8 0 30018065 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22417/tid=22419] ppid=22398 vsize=807356 CPUtime=0
/proc/22417/task/22419/stat : 22419 (java) S 22398 22398 22270 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30018066 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22417/tid=22420] ppid=22398 vsize=807356 CPUtime=0
/proc/22417/task/22420/stat : 22420 (java) S 22398 22398 22270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30018066 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22417/tid=22421] ppid=22398 vsize=807356 CPUtime=0
/proc/22417/task/22421/stat : 22421 (java) S 22398 22398 22270 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30018069 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22417/tid=22422] ppid=22398 vsize=807356 CPUtime=0.15
/proc/22417/task/22422/stat : 22422 (java) S 22398 22398 22270 0 -1 64 422 0 0 0 15 0 0 0 16 0 8 0 30018069 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22417/tid=22423] ppid=22398 vsize=807356 CPUtime=0
/proc/22417/task/22423/stat : 22423 (java) S 22398 22398 22270 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30018069 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22417/tid=22424] ppid=22398 vsize=807356 CPUtime=0
/proc/22417/task/22424/stat : 22424 (java) S 22398 22398 22270 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30018069 826732544 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 821080

[startup+2.98427 s]
/proc/loadavg: 2.16 2.15 2.77 4/82 22433
/proc/meminfo: memFree=1912976/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 15 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=4060 CPUtime=1.58
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 741 0 0 0 158 0 0 0 25 0 1 0 30018140 4157440 676 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 1015 676 51 112 0 899 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 18976

[startup+6.26589 s]
/proc/loadavg: 2.15 2.14 2.77 3/75 22434
/proc/meminfo: memFree=1920456/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=4988 CPUtime=4.84
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 981 0 0 0 484 0 0 0 25 0 1 0 30018140 5107712 916 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 1247 916 51 112 0 1131 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 19904

[startup+12.7381 s]
/proc/loadavg: 2.14 2.14 2.76 3/75 22434
/proc/meminfo: memFree=1910600/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=5780 CPUtime=11.28
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 1180 0 0 0 1128 0 0 0 25 0 1 0 30018140 5918720 1115 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134530720 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 1445 1115 51 112 0 1329 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 20696

[startup+25.5706 s]
/proc/loadavg: 2.11 2.13 2.75 3/75 22434
/proc/meminfo: memFree=1898056/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=6768 CPUtime=24.07
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 1393 0 0 0 2406 1 0 0 25 0 1 0 30018140 6930432 1328 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528418 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 1692 1328 51 112 0 1576 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 21684

[startup+51.2375 s]
/proc/loadavg: 2.07 2.12 2.73 3/75 22434
/proc/meminfo: memFree=1878216/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=8660 CPUtime=49.6
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 1865 0 0 0 4959 1 0 0 25 0 1 0 30018140 8867840 1800 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 2165 1800 51 112 0 2049 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 23576

[startup+102.471 s]
/proc/loadavg: 2.03 2.10 2.69 3/75 22434
/proc/meminfo: memFree=1852872/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=10016 CPUtime=100.6
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 2205 0 0 0 10059 1 0 0 25 0 1 0 30018140 10256384 2140 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528059 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 2504 2140 51 112 0 2388 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 24932

[startup+162.537 s]
/proc/loadavg: 2.01 2.08 2.64 3/75 22434
/proc/meminfo: memFree=1824328/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=12920 CPUtime=160.4
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 2910 0 0 0 16038 2 0 0 25 0 1 0 30018140 13230080 2845 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528762 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 3230 2845 51 112 0 3114 0
Current children cumulated CPU time (s) 161.57
Current children cumulated vsize (KiB) 27836

[startup+222.606 s]
/proc/loadavg: 2.00 2.06 2.60 3/75 22434
/proc/meminfo: memFree=1813384/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=13544 CPUtime=220.16
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 3040 0 0 0 22014 2 0 0 25 0 1 0 30018140 13869056 2975 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528554 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 3386 2975 51 112 0 3270 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 28460

[startup+282.689 s]
/proc/loadavg: 2.00 2.05 2.56 3/81 22544
/proc/meminfo: memFree=1809104/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=16048 CPUtime=279.9
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 3618 0 0 0 27978 12 0 0 25 0 1 0 30018140 16433152 3553 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 4012 3553 51 112 0 3896 0
Current children cumulated CPU time (s) 281.07
Current children cumulated vsize (KiB) 30964

[startup+342.771 s]
/proc/loadavg: 2.04 2.05 2.53 3/75 22632
/proc/meminfo: memFree=1808768/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=17400 CPUtime=339.62
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 3940 0 0 0 33941 21 0 0 25 0 1 0 30018140 17817600 3875 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 4350 3875 51 112 0 4234 0
Current children cumulated CPU time (s) 340.79
Current children cumulated vsize (KiB) 32316

[startup+402.835 s]
/proc/loadavg: 2.01 2.04 2.49 3/75 22632
/proc/meminfo: memFree=1808008/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=18344 CPUtime=399.38
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 4165 0 0 0 39917 21 0 0 25 0 1 0 30018140 18784256 4100 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 4586 4100 51 112 0 4470 0
Current children cumulated CPU time (s) 400.55
Current children cumulated vsize (KiB) 33260

[startup+462.908 s]
/proc/loadavg: 2.00 2.03 2.46 3/75 22632
/proc/meminfo: memFree=1805192/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=21296 CPUtime=459.19
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 4870 0 0 0 45898 21 0 0 25 0 1 0 30018140 21807104 4805 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0

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

/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=28392 CPUtime=1057.05
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 6529 0 0 0 105680 25 0 0 25 0 1 0 30018140 29073408 6464 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 7098 6464 51 112 0 6982 0
Current children cumulated CPU time (s) 1058.22
Current children cumulated vsize (KiB) 43308

[startup+1123.64 s]
/proc/loadavg: 2.00 2.00 2.21 3/75 22632
/proc/meminfo: memFree=1739336/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=29052 CPUtime=1116.85
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 6712 0 0 0 111660 25 0 0 25 0 1 0 30018140 29749248 6647 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 7263 6647 51 112 0 7147 0
Current children cumulated CPU time (s) 1118.02
Current children cumulated vsize (KiB) 43968

[startup+1183.71 s]
/proc/loadavg: 2.00 2.00 2.19 3/75 22632
/proc/meminfo: memFree=1730568/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=30972 CPUtime=1176.65
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7155 0 0 0 117640 25 0 0 25 0 1 0 30018140 31715328 7090 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 7743 7090 51 112 0 7627 0
Current children cumulated CPU time (s) 1177.82
Current children cumulated vsize (KiB) 45888

[startup+1243.79 s]
/proc/loadavg: 2.00 2.00 2.18 3/75 22632
/proc/meminfo: memFree=1729736/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=31864 CPUtime=1236.43
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7337 0 0 0 123617 26 0 0 25 0 1 0 30018140 32628736 7272 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 7966 7272 51 112 0 7850 0
Current children cumulated CPU time (s) 1237.6
Current children cumulated vsize (KiB) 46780

[startup+1303.85 s]
/proc/loadavg: 2.06 2.02 2.17 3/75 22632
/proc/meminfo: memFree=1729480/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=32036 CPUtime=1296.23
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7399 0 0 0 129597 26 0 0 25 0 1 0 30018140 32804864 7334 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528479 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8009 7334 51 112 0 7893 0
Current children cumulated CPU time (s) 1297.4
Current children cumulated vsize (KiB) 46952

[startup+1363.92 s]
/proc/loadavg: 2.02 2.01 2.16 3/75 22632
/proc/meminfo: memFree=1729416/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=32180 CPUtime=1356.02
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7412 0 0 0 135576 26 0 0 25 0 1 0 30018140 32952320 7347 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528567 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8045 7347 51 112 0 7929 0
Current children cumulated CPU time (s) 1357.19
Current children cumulated vsize (KiB) 47096

[startup+1423.99 s]
/proc/loadavg: 2.01 2.00 2.15 3/75 22632
/proc/meminfo: memFree=1729416/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=32180 CPUtime=1415.8
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7412 0 0 0 141554 26 0 0 25 0 1 0 30018140 32952320 7347 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528556 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8045 7347 51 112 0 7929 0
Current children cumulated CPU time (s) 1416.97
Current children cumulated vsize (KiB) 47096

[startup+1484.06 s]
/proc/loadavg: 2.04 2.01 2.14 3/75 22632
/proc/meminfo: memFree=1729416/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=32180 CPUtime=1475.6
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7416 0 0 0 147533 27 0 0 25 0 1 0 30018140 32952320 7351 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528556 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8045 7351 51 112 0 7929 0
Current children cumulated CPU time (s) 1476.77
Current children cumulated vsize (KiB) 47096

[startup+1544.14 s]
/proc/loadavg: 2.04 2.02 2.14 3/75 22632
/proc/meminfo: memFree=1727560/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=33904 CPUtime=1535.41
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7829 0 0 0 153514 27 0 0 25 0 1 0 30018140 34717696 7764 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8476 7764 51 112 0 8360 0
Current children cumulated CPU time (s) 1536.58
Current children cumulated vsize (KiB) 48820

[startup+1604.2 s]
/proc/loadavg: 2.06 2.03 2.13 3/75 22632
/proc/meminfo: memFree=1727240/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=34260 CPUtime=1595.17
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7915 0 0 0 159490 27 0 0 25 0 1 0 30018140 35082240 7850 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8565 7850 51 112 0 8449 0
Current children cumulated CPU time (s) 1596.34
Current children cumulated vsize (KiB) 49176

[startup+1664.26 s]
/proc/loadavg: 2.02 2.02 2.12 3/75 22632
/proc/meminfo: memFree=1726984/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=34684 CPUtime=1654.97
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 7979 0 0 0 165470 27 0 0 25 0 1 0 30018140 35516416 7914 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8671 7914 51 112 0 8555 0
Current children cumulated CPU time (s) 1656.14
Current children cumulated vsize (KiB) 49600

[startup+1724.32 s]
/proc/loadavg: 2.00 2.02 2.11 3/75 22632
/proc/meminfo: memFree=1726664/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=34900 CPUtime=1714.77
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 8049 0 0 0 171449 28 0 0 25 0 1 0 30018140 35737600 7984 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8725 7984 51 112 0 8609 0
Current children cumulated CPU time (s) 1715.94
Current children cumulated vsize (KiB) 49816

[startup+1784.39 s]
/proc/loadavg: 2.00 2.01 2.09 3/75 22632
/proc/meminfo: memFree=1726216/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=35324 CPUtime=1774.53
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 8138 0 0 0 177425 28 0 0 25 0 1 0 30018140 36171776 8073 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8831 8073 51 112 0 8715 0
Current children cumulated CPU time (s) 1775.7
Current children cumulated vsize (KiB) 50240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.83 s]
/proc/loadavg: 2.00 2.01 2.09 3/75 22632
/proc/meminfo: memFree=1726216/2055920 swapFree=4192812/4192956
[pid=22398] ppid=22394 vsize=14916 CPUtime=1.17
/proc/22398/stat : 22398 (sugar) S 22394 22398 22270 0 -1 4194304 1607 11287 0 21 5 1 100 11 16 0 1 0 30018002 15273984 1122 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22398/statm: 3729 1122 373 3 0 829 0
[pid=22433] ppid=22398 vsize=35324 CPUtime=1798.88
/proc/22433/stat : 22433 (minisat) R 22398 22398 22270 0 -1 0 8141 0 0 0 179860 28 0 0 25 0 1 0 30018140 36171776 8076 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22433/statm: 8831 8076 51 112 0 8715 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 50240

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

Child status: 1
Real time (s): 1808.84
CPU time (s): 1800.09
CPU user time (s): 1799.66
CPU system time (s): 0.422935
CPU usage (%): 99.516
Max. virtual memory (cumulated for all children) (KiB): 821080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.422935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21125
page faults= 21
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1192
involuntary context switches= 26806

runsolver used 2.55261 s user time and 5.46917 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Mon Jan 29 19:57:00 UTC 2007


IDJOB= 216366
IDBENCH= 5072
IDSOLVER= 86
FILE ID= node42/216366-1170100619

PBS_JOBID= 3689745

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  8aaa1576c975e16e40314c8a9dc9ff01

RANDOM SEED= 938392855

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1957536 kB
Buffers:          4556 kB
Cached:          29988 kB
SwapCached:          0 kB
Active:          45456 kB
Inactive:         9248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1957536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2456 kB
Writeback:           0 kB
Mapped:          30284 kB
Slab:            29496 kB
Committed_AS:   164588 kB
PageTables:       1616 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= 66560 MiB



End job on node42 on Mon Jan 29 20:27:09 UTC 2007