Trace number 348559

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 NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.16 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd1.opb
MD5SUM171c173d92217c349c0d73c9a0572b78
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved NO
Number of variables22800
Total number of constraints77
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints77
Minimum length of a constraint600
Maximum length of a constraint1500
Number of terms in the objective function 22800
Biggest coefficient in the objective function 748
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 542722
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 24156
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 542722
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
1.69/1.73	c Converting 154 PB-constraints to clauses...
1.69/1.74	c   -- Unit propagations: (none)
1.69/1.74	c   -- Detecting intervals from adjacent constraints: #############################################################################
1.69/1.77	c   -- Clauses(.)/Splits(s): (none)
1.69/1.77	c ---[ 152]---> Adder-cost: 3054   maxlim: 262407   bits: 20/19
5.39/5.40	c ---[ 150]---> Adder-cost: 3244   maxlim: 262399   bits: 20/19
7.79/7.89	c ---[ 148]---> Adder-cost: 3034   maxlim: 262414   bits: 20/19
10.29/10.31	c ---[ 146]---> Adder-cost: 3238   maxlim: 262399   bits: 20/19
12.69/12.79	c ---[ 144]---> Adder-cost: 3008   maxlim: 262407   bits: 20/19
16.28/16.38	c ---[ 142]---> Adder-cost: 3002   maxlim: 262384   bits: 20/19
18.78/18.80	c ---[ 140]---> Adder-cost: 3032   maxlim: 262406   bits: 20/19
21.48/21.55	c ---[ 138]---> Adder-cost: 2884   maxlim: 262420   bits: 20/19
23.78/23.80	c ---[ 136]---> Adder-cost: 3032   maxlim: 262406   bits: 20/19
26.48/26.56	c ---[ 134]---> Adder-cost: 2968   maxlim: 262384   bits: 20/19
28.88/28.97	c ---[ 132]---> Adder-cost: 5166   maxlim: 262588   bits: 20/19
31.09/31.11	c ---[ 130]---> Adder-cost: 4988   maxlim: 262584   bits: 20/19
34.48/34.59	c ---[ 128]---> Adder-cost: 4442   maxlim: 262596   bits: 20/19
36.48/36.50	c ---[ 126]---> Adder-cost: 4968   maxlim: 262584   bits: 20/19
39.88/39.99	c ---[ 124]---> Adder-cost: 5116   maxlim: 262588   bits: 20/19
42.08/42.15	c ---[ 122]---> Adder-cost: 3000   maxlim: 262384   bits: 20/19
44.48/44.57	c ---[ 120]---> Adder-cost: 3018   maxlim: 262406   bits: 20/19
47.28/47.33	c ---[ 118]---> Adder-cost: 2884   maxlim: 262420   bits: 20/19
49.48/49.56	c ---[ 116]---> Adder-cost: 3024   maxlim: 262406   bits: 20/19
52.17/52.29	c ---[ 114]---> Adder-cost: 2962   maxlim: 262384   bits: 20/19
54.57/54.69	c ---[ 112]---> Adder-cost: 5820   maxlim: 262684   bits: 20/19
58.28/58.35	c ---[ 110]---> Adder-cost: 5732   maxlim: 262681   bits: 20/19
62.27/62.37	c ---[ 108]---> Adder-cost: 5892   maxlim: 262704   bits: 20/19
64.67/64.78	c ---[ 106]---> Adder-cost: 5748   maxlim: 262681   bits: 20/19
68.78/68.80	c ---[ 104]---> Adder-cost: 5802   maxlim: 262684   bits: 20/19
72.38/72.45	c ---[ 102]---> Adder-cost: 3754   maxlim: 262509   bits: 20/19
75.78/75.87	c ---[ 100]---> Adder-cost: 4050   maxlim: 262478   bits: 20/19
78.57/78.66	c ---[  98]---> Adder-cost: 3546   maxlim: 262530   bits: 20/19
80.37/80.42	c ---[  96]---> Adder-cost: 4028   maxlim: 262478   bits: 20/19
83.17/83.22	c ---[  94]---> Adder-cost: 3706   maxlim: 262509   bits: 20/19
86.57/86.66	c ---[  92]---> Adder-cost: 3668   maxlim: 262509   bits: 20/19
89.97/90.09	c ---[  90]---> Adder-cost: 4016   maxlim: 262478   bits: 20/19
92.77/92.86	c ---[  88]---> Adder-cost: 3588   maxlim: 262530   bits: 20/19
94.57/94.61	c ---[  86]---> Adder-cost: 3996   maxlim: 262478   bits: 20/19
97.26/97.39	c ---[  84]---> Adder-cost: 3632   maxlim: 262509   bits: 20/19
100.76/100.83	c ---[  82]---> Adder-cost: 3954   maxlim: 262500   bits: 20/19
103.76/103.87	c ---[  80]---> Adder-cost: 3632   maxlim: 262494   bits: 20/19
107.47/107.50	c ---[  78]---> Adder-cost: 3934   maxlim: 262500   bits: 20/19
110.47/110.52	c ---[  76]---> Adder-cost: 3728   maxlim: 262516   bits: 20/19
113.66/113.70	c ---[  74]---> Adder-cost: 2400   maxlim: 262358   bits: 20/19
115.66/115.70	c ---[  72]---> Adder-cost: 2595   maxlim: 262360   bits: 20/19
117.36/117.43	c ---[  70]---> Adder-cost: 2346   maxlim: 262367   bits: 20/19
118.77/118.87	c ---[  68]---> Adder-cost: 2665   maxlim: 262360   bits: 20/19
120.56/120.61	c ---[  66]---> Adder-cost: 2400   maxlim: 262358   bits: 20/19
122.56/122.62	c ---[  64]---> Adder-cost: 2610   maxlim: 262356   bits: 20/19
125.86/125.92	c ---[  62]---> Adder-cost: 2168   maxlim: 262362   bits: 20/19
127.66/127.79	c ---[  60]---> Adder-cost: 2457   maxlim: 262360   bits: 20/19
129.46/129.57	c ---[  58]---> Adder-cost: 2307   maxlim: 262362   bits: 20/19
131.36/131.42	c ---[  56]---> Adder-cost: 2599   maxlim: 262356   bits: 20/19
134.56/134.69	c ---[  54]---> Adder-cost: 4162   maxlim: 262588   bits: 20/19
136.86/136.99	c ---[  52]---> Adder-cost: 4383   maxlim: 262582   bits: 20/19
139.16/139.21	c ---[  50]---> Adder-cost: 3972   maxlim: 262596   bits: 20/19
141.05/141.16	c ---[  48]---> Adder-cost: 4393   maxlim: 262582   bits: 20/19
143.25/143.38	c ---[  46]---> Adder-cost: 4126   maxlim: 262588   bits: 20/19
145.65/145.70	c ---[  44]---> Adder-cost: 2612   maxlim: 262356   bits: 20/19
148.85/148.99	c ---[  42]---> Adder-cost: 2192   maxlim: 262362   bits: 20/19
150.75/150.84	c ---[  40]---> Adder-cost: 2461   maxlim: 262360   bits: 20/19
152.55/152.63	c ---[  38]---> Adder-cost: 2321   maxlim: 262362   bits: 20/19
154.35/154.48	c ---[  36]---> Adder-cost: 2607   maxlim: 262356   bits: 20/19
157.65/157.75	c ---[  34]---> Adder-cost: 5828   maxlim: 262674   bits: 20/19
160.86/160.91	c ---[  32]---> Adder-cost: 5293   maxlim: 262713   bits: 20/19
163.06/163.19	c ---[  30]---> Adder-cost: 5387   maxlim: 262709   bits: 20/19
165.96/166.06	c ---[  28]---> Adder-cost: 5221   maxlim: 262713   bits: 20/19
168.25/168.35	c ---[  26]---> Adder-cost: 5868   maxlim: 262674   bits: 20/19
171.35/171.49	c ---[  24]---> Adder-cost: 3574   maxlim: 262473   bits: 20/19
173.75/173.80	c ---[  22]---> Adder-cost: 3374   maxlim: 262488   bits: 20/19
176.75/176.81	c ---[  20]---> Adder-cost: 3122   maxlim: 262478   bits: 20/19
178.95/179.02	c ---[  18]---> Adder-cost: 3349   maxlim: 262488   bits: 20/19
181.95/182.07	c ---[  16]---> Adder-cost: 3580   maxlim: 262473   bits: 20/19
184.35/184.41	c ---[  14]---> Adder-cost: 3555   maxlim: 262473   bits: 20/19
186.65/186.74	c ---[  12]---> Adder-cost: 3356   maxlim: 262488   bits: 20/19
189.65/189.76	c ---[  10]---> Adder-cost: 3079   maxlim: 262478   bits: 20/19
191.74/191.85	c ---[   8]---> Adder-cost: 3329   maxlim: 262488   bits: 20/19
194.74/194.86	c ---[   6]---> Adder-cost: 3621   maxlim: 262473   bits: 20/19
197.04/197.18	c ---[   4]---> Adder-cost: 3494   maxlim: 262479   bits: 20/19
199.84/199.97	c ---[   2]---> Adder-cost: 3527   maxlim: 262462   bits: 20/19
202.54/202.69	c ---[   0]---> Adder-cost: 3484   maxlim: 262479   bits: 20/19
206.84/206.97	c ==================================[MINISAT+]==================================
206.84/206.97	c | Conflicts | Original         | Learnt                           | Progress |
206.84/206.97	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
206.84/206.97	c ==============================================================================
206.84/206.97	c |         0 | 1960590  6987428 |  653530       0        0     nan |  0.000 % |
206.84/206.98	c |       100 | 1960590  6987428 |  718883     100      328     3.3 |  0.980 % |
206.84/206.99	c |       250 | 1960590  6987428 |  790771     250      901     3.6 |  0.980 % |
206.94/207.02	c |       475 | 1960590  6987428 |  869848     475     1725     3.6 |  0.980 % |
207.14/207.21	c |       812 | 1960582  6987402 |  956833     811     2966     3.7 |  0.981 % |
207.24/207.33	c |      1318 | 1960582  6987402 | 1052516    1317     4797     3.6 |  0.981 % |
207.74/207.81	c |      2077 | 1960566  6987350 | 1157768    2074     8014     3.9 |  0.981 % |
208.04/208.17	c |      3216 | 1960566  6987350 | 1273545    3213    14318     4.5 |  0.981 % |
208.24/208.36	c |      4926 | 1960566  6987350 | 1400899    4923    81555    16.6 |  0.981 % |
208.64/208.75	c |      7488 | 1960566  6987350 | 1540989    7485   135531    18.1 |  0.981 % |
209.24/209.31	c |     11332 | 1960566  6987350 | 1695088   11329   245485    21.7 |  0.981 % |
210.14/210.29	c |     17098 | 1960566  6987350 | 1864597   17095   396144    23.2 |  0.981 % |
211.64/211.72	c |     25747 | 1960566  6987350 | 2051057   25744   696662    27.1 |  0.981 % |
215.14/215.22	c |     38723 | 1960566  6987350 | 2256162   38720  1643710    42.5 |  0.981 % |
221.13/221.22	c |     58185 | 1960558  6987324 | 2481779   58181  2382163    40.9 |  0.981 % |
236.93/237.01	c |     87378 | 1960550  6987298 | 2729956   87373  4626228    52.9 |  0.982 % |
262.83/262.97	c |    131167 | 1960550  6987298 | 3002952  131162  9033125    68.9 |  0.982 % |
320.01/320.11	c |    196851 | 1960542  6987272 | 3303247  196845 14369063    73.0 |  0.982 % |
400.99/401.13	c |    295377 | 1960542  6987272 | 3633572  295371 23193894    78.5 |  0.982 % |
652.73/652.91	c |    443166 | 1960542  6987272 | 3996930  443160 35941224    81.1 |  0.982 % |
1674.90/1675.49	c |    664851 | 1960542  6987272 | 4396623  664845 63828150    96.0 |  0.982 % |
1800.08/1800.60	c 
1800.08/1800.60	c *** TERMINATED ***
1800.08/1800.60	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/348559-1176587345/instance-348559-1176587345.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-348559-1176587345 -o ROOT/results/node57/solver-348559-1176587345 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/348559-1176587345/minisat+ /tmp/evaluation/348559-1176587345/instance-348559-1176587345.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13084
/proc/meminfo: memFree=1339720/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=1352 CPUtime=0
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 99870491 1384448 171 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 338 171 67 215 0 120 0

[startup+0.0656141 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13084
/proc/meminfo: memFree=1339720/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=5852 CPUtime=0.05
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 1248 0 0 0 5 0 0 0 18 0 1 0 99870491 5992448 1191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003247 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 1463 1191 74 215 0 1245 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5852

[startup+0.101617 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13084
/proc/meminfo: memFree=1339720/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=5852 CPUtime=0.09
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 1251 0 0 0 9 0 0 0 18 0 1 0 99870491 5992448 1194 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809041 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 1463 1194 74 215 0 1245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5852

[startup+0.301634 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13084
/proc/meminfo: memFree=1339720/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=6516 CPUtime=0.29
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 1406 0 0 0 29 0 0 0 19 0 1 0 99870491 6672384 1349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 1629 1349 74 215 0 1411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6516

[startup+0.701668 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13084
/proc/meminfo: memFree=1339720/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=8636 CPUtime=0.69
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 1926 0 0 0 68 1 0 0 22 0 1 0 99870491 8843264 1869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 2159 1869 74 215 0 1941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8636

[startup+1.50174 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1331008/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=12812 CPUtime=1.49
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 2986 0 0 0 148 1 0 0 25 0 1 0 99870491 13119488 2929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 3203 2929 74 215 0 2985 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12812

[startup+3.10188 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1325952/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=15020 CPUtime=3.09
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 3678 0 0 0 307 2 0 0 25 0 1 0 99870491 15380480 3487 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 3755 3487 89 215 0 3537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15020

[startup+6.30116 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1323520/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=17560 CPUtime=6.29
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 4468 0 0 0 627 2 0 0 25 0 1 0 99870491 17981440 4109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012139 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 4390 4109 105 215 0 4172 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17560

[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1323136/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=17568 CPUtime=12.69
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 4577 0 0 0 1267 2 0 0 25 0 1 0 99870491 17989632 4122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134690980 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 4392 4122 105 215 0 4174 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17568

[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1322240/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=18592 CPUtime=25.48
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 5020 0 0 0 2546 2 0 0 25 0 1 0 99870491 19038208 4400 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 4648 4400 105 215 0 4430 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18592

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1320576/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=20168 CPUtime=51.07
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 5878 0 0 0 5104 3 0 0 25 0 1 0 99870491 20652032 4785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838471 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 5042 4785 105 215 0 4824 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20168

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1316544/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=25112 CPUtime=102.27
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 8548 0 0 0 10223 4 0 0 25 0 1 0 99870491 25714688 5769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005323 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 6278 5769 105 215 0 6060 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25112

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1313472/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=27076 CPUtime=162.26
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 10278 0 0 0 16220 6 0 0 25 0 1 0 99870491 27725824 6541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012162 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 6769 6541 105 215 0 6551 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27076

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1205888/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=140064 CPUtime=222.24
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 38889 0 0 0 22205 19 0 0 25 0 1 0 99870491 143425536 33449 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 35016 33449 123 215 0 34798 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 140064

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1168768/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=177608 CPUtime=282.22
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 48227 0 0 0 28193 29 0 0 25 0 1 0 99870491 181870592 42787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576548 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 44402 42787 123 215 0 44184 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 177608

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1147584/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=198660 CPUtime=342.2
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 53449 0 0 0 34185 35 0 0 25 0 1 0 99870491 203427840 48009 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 49665 48009 123 215 0 49447 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 198660

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1113472/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=232624 CPUtime=402.19
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 62039 0 0 0 40177 42 0 0 25 0 1 0 99870491 238206976 56599 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 58156 56599 123 215 0 57938 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 232624

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1098496/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=247832 CPUtime=462.18
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 65717 0 0 0 46171 47 0 0 25 0 1 0 99870491 253779968 60277 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 61958 60277 123 215 0 61740 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 247832

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1086720/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=259476 CPUtime=522.16
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 68640 0 0 0 52166 50 0 0 25 0 1 0 99870491 265703424 63200 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 64869 63200 123 215 0 64651 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 259476

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1076672/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=269352 CPUtime=582.16
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 71149 0 0 0 58162 54 0 0 25 0 1 0 99870491 275816448 65709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 67338 65709 123 215 0 67120 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 269352

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13085
/proc/meminfo: memFree=1059072/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=286632 CPUtime=642.15
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 75511 0 0 0 64156 59 0 0 25 0 1 0 99870491 293511168 70071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 71658 70071 123 215 0 71440 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 286632


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=1034176/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=312156 CPUtime=822.01
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 81710 0 0 0 82134 67 0 0 25 0 1 0 99870491 319647744 76270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 78039 76270 123 215 0 77821 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 312156

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=1025792/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=320360 CPUtime=881.99
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 83773 0 0 0 88131 68 0 0 25 0 1 0 99870491 328048640 78333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 80090 78333 123 215 0 79872 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 320360

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=1018368/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=327892 CPUtime=941.98
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 85658 0 0 0 94128 70 0 0 25 0 1 0 99870491 335761408 80218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 81973 80218 123 215 0 81755 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 327892

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=1011584/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=334592 CPUtime=1001.97
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 87331 0 0 0 100124 73 0 0 25 0 1 0 99870491 342622208 81891 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 83648 81891 123 215 0 83430 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 334592

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=1004864/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=341404 CPUtime=1061.95
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 89052 0 0 0 106119 76 0 0 25 0 1 0 99870491 349597696 83612 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 85351 83612 123 215 0 85133 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 341404

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=998144/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=348000 CPUtime=1121.94
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 90712 0 0 0 112116 78 0 0 25 0 1 0 99870491 356352000 85272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 87000 85272 123 215 0 86782 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 348000

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=990976/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=355188 CPUtime=1181.92
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 92512 0 0 0 118112 80 0 0 25 0 1 0 99870491 363712512 87072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 88797 87072 123 215 0 88579 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 355188

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=984896/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=361356 CPUtime=1241.91
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 94018 0 0 0 124110 81 0 0 25 0 1 0 99870491 370028544 88578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 90339 88578 123 215 0 90121 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 361356

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=978368/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=367652 CPUtime=1301.9
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 95629 0 0 0 130107 83 0 0 25 0 1 0 99870491 376475648 90189 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 91913 90189 123 215 0 91695 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 367652

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=971712/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=374428 CPUtime=1361.88
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 97312 0 0 0 136103 85 0 0 25 0 1 0 99870491 383414272 91872 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 93607 91872 123 215 0 93389 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 374428

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13283
/proc/meminfo: memFree=965568/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=380508 CPUtime=1421.86
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 98833 0 0 0 142100 86 0 0 25 0 1 0 99870491 389640192 93393 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 95127 93393 123 215 0 94909 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 380508

[startup+1482.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 13283
/proc/meminfo: memFree=959168/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=386908 CPUtime=1481.85
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 100447 0 0 0 148097 88 0 0 25 0 1 0 99870491 396193792 95007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 96727 95007 123 215 0 96509 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 386908

[startup+1542.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 13283
/proc/meminfo: memFree=952576/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=393408 CPUtime=1541.83
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 102090 0 0 0 154093 90 0 0 25 0 1 0 99870491 402849792 96650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 98352 96650 123 215 0 98134 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 393408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13283
/proc/meminfo: memFree=946560/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=399500 CPUtime=1601.83
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 103601 0 0 0 160091 92 0 0 25 0 1 0 99870491 409088000 98161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 99875 98161 123 215 0 99657 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 399500

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13283
/proc/meminfo: memFree=940672/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=405244 CPUtime=1661.81
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 105055 0 0 0 166087 94 0 0 25 0 1 0 99870491 414969856 99615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 101311 99615 123 215 0 101093 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 405244

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13283
/proc/meminfo: memFree=932160/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=413896 CPUtime=1721.8
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 107205 0 0 0 172083 97 0 0 25 0 1 0 99870491 423829504 101765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 103474 101765 123 215 0 103256 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 413896

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13283
/proc/meminfo: memFree=920448/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=426716 CPUtime=1781.78
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 110093 0 0 0 178078 100 0 0 25 0 1 0 99870491 436957184 104653 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 106679 104653 123 215 0 106461 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 426716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13283
/proc/meminfo: memFree=917056/2055920 swapFree=4187472/4192956
[pid=13084] ppid=13082 vsize=430140 CPUtime=1800.08
/proc/13084/stat : 13084 (minisat+) R 13082 13084 12420 0 -1 4194304 110932 0 0 0 179907 101 0 0 25 0 1 0 99870491 440463360 105492 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13084/statm: 107535 105492 123 215 0 107317 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 430140

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

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.16
CPU user time (s): 1799.08
CPU system time (s): 1.08583
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 430140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.08583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2478

runsolver used 1.20682 second user time and 3.77942 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Sat Apr 14 21:49:05 UTC 2007

IDJOB= 348559
IDBENCH= 1692
IDSOLVER= 156
FILE ID= node57/348559-1176587345

PBS_JOBID= 4556936

Free space on /tmp= 66561 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd1.opb
COMMAND LINE= /tmp/evaluation/348559-1176587345/minisat+ /tmp/evaluation/348559-1176587345/instance-348559-1176587345.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-348559-1176587345 -o ROOT/results/node57/conversion-348559-1176587345 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348559-1176587345/instance-348559-1176587345.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-348559-1176587345 -o ROOT/results/node57/solver-348559-1176587345 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/348559-1176587345/minisat+ /tmp/evaluation/348559-1176587345/instance-348559-1176587345.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  171c173d92217c349c0d73c9a0572b78

RANDOM SEED= 656489192

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.239
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.239
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:       1340192 kB
Buffers:         50700 kB
Cached:         514696 kB
SwapCached:       2608 kB
Active:         265416 kB
Inactive:       312848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1340192 kB
SwapTotal:     4192956 kB
SwapFree:      4187472 kB
Dirty:            3264 kB
Writeback:           0 kB
Mapped:          20056 kB
Slab:           123596 kB
Committed_AS:   150640 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node57 on Sat Apr 14 22:19:08 UTC 2007