Trace number 362792

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.12 1800.02

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-share2b.opb
MD5SUM3ec28475c9d1079169f926174383d0c1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark64.5682
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved YES
Number of variables2370
Total number of constraints96
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 constraints96
Minimum length of a constraint30
Maximum length of a constraint360
Number of terms in the objective function 870
Biggest coefficient in the objective function 23589
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524951
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524951
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...
0.19/0.25	c Converting 109 PB-constraints to clauses...
0.19/0.25	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.49/0.52	c   -- Detecting intervals from adjacent constraints: #===#===#===#===#########
0.49/0.52	c   -- Clauses(.)/Splits(s): (none)
0.49/0.52	c ---[ 108]---> Adder-cost: 280   maxlim: 191   bits: 8/8
0.49/0.54	c ---[ 107]---> Adder-cost: 202   maxlim: 135   bits: 8/8
0.49/0.55	c ---[ 106]---> Adder-cost: 159   maxlim: 40   bits: 7/6
0.49/0.56	c ---[ 105]---> Adder-cost: 139   maxlim: 41   bits: 7/6
0.49/0.56	c ---[ 104]---> Adder-cost: 186   maxlim: 44   bits: 7/6
0.49/0.57	c ---[ 103]---> Adder-cost: 187   maxlim: 44   bits: 7/6
0.49/0.58	c ---[ 102]---> Adder-cost: 0   maxlim: 44   bits: 7/6
0.49/0.58	c ---[ 101]---> Adder-cost: 137   maxlim: 43   bits: 7/6
0.49/0.59	c ---[ 100]---> Adder-cost: 90   maxlim: 275   bits: 9/9
0.59/0.60	c ---[  98]---> Adder-cost: 108   maxlim: 125   bits: 8/7
0.59/0.61	c ---[  97]---> Adder-cost: 200   maxlim: 104   bits: 7/7
0.59/0.62	c ---[  96]---> Adder-cost: 142   maxlim: 80   bits: 7/7
0.59/0.63	c ---[  95]---> Adder-cost: 145   maxlim: 15   bits: 5/4
0.59/0.63	c ---[  94]---> Adder-cost: 141   maxlim: 15   bits: 5/4
0.59/0.64	c ---[  90]---> Adder-cost: 92   maxlim: 15   bits: 5/4
0.59/0.64	c ---[  89]---> Adder-cost: 72   maxlim: 48   bits: 7/6
0.59/0.64	c ---[  87]---> Adder-cost: 37   maxlim: 90   bits: 7/7
0.59/0.65	c ---[  86]---> Adder-cost: 310   maxlim: 170   bits: 8/8
0.59/0.67	c ---[  85]---> Adder-cost: 244   maxlim: 149   bits: 8/8
0.59/0.69	c ---[  84]---> Adder-cost: 140   maxlim: 19   bits: 6/5
0.69/0.70	c ---[  83]---> Adder-cost: 164   maxlim: 19   bits: 6/5
0.69/0.70	c ---[  79]---> Adder-cost: 198   maxlim: 20   bits: 6/5
0.69/0.71	c ---[  78]---> Adder-cost: 78   maxlim: 81   bits: 8/7
0.69/0.71	c ---[  76]---> Adder-cost: 148   maxlim: 143   bits: 8/8
0.69/0.73	c ---[  75]---> Adder-cost: 262   maxlim: 146   bits: 8/8
0.69/0.75	c ---[  74]---> Adder-cost: 168   maxlim: 110   bits: 8/7
0.69/0.76	c ---[  73]---> Adder-cost: 155   maxlim: 19   bits: 6/5
0.69/0.76	c ---[  72]---> Adder-cost: 129   maxlim: 20   bits: 6/5
0.69/0.77	c ---[  68]---> Adder-cost: 192   maxlim: 20   bits: 6/5
0.69/0.78	c ---[  67]---> Adder-cost: 88   maxlim: 81   bits: 8/7
0.69/0.78	c ---[  65]---> Adder-cost: 47   maxlim: 117   bits: 8/7
0.69/0.79	c ---[  64]---> Adder-cost: 276   maxlim: 138   bits: 8/8
0.79/0.81	c ---[  63]---> Adder-cost: 168   maxlim: 79   bits: 7/7
0.79/0.82	c ---[  62]---> Adder-cost: 117   maxlim: 14   bits: 5/4
0.79/0.82	c ---[  61]---> Adder-cost: 135   maxlim: 14   bits: 5/4
0.79/0.83	c ---[  57]---> Adder-cost: 108   maxlim: 14   bits: 5/4
0.79/0.84	c ---[  56]---> Adder-cost: 62   maxlim: 48   bits: 7/6
0.79/0.84	c ---[  54]---> Adder-cost: 47   maxlim: 125   bits: 8/7
0.79/0.85	c ---[  53]---> Adder-cost: 296   maxlim: 178   bits: 8/8
0.79/0.87	c ---[  52]---> Adder-cost: 198   maxlim: 123   bits: 8/7
0.79/0.88	c ---[  51]---> Adder-cost: 201   maxlim: 34   bits: 7/6
0.79/0.89	c ---[  50]---> Adder-cost: 183   maxlim: 37   bits: 7/6
0.79/0.89	c ---[  49]---> Adder-cost: 216   maxlim: 41   bits: 7/6
0.89/0.90	c ---[  48]---> Adder-cost: 192   maxlim: 41   bits: 7/6
0.89/0.91	c ---[  47]---> Adder-cost: 0   maxlim: 41   bits: 7/6
0.89/0.92	c ---[  46]---> Adder-cost: 102   maxlim: 40   bits: 7/6
0.89/0.93	c ---[  45]---> Adder-cost: 100   maxlim: 275   bits: 9/9
0.89/0.93	c ---[  43]---> Adder-cost: 128   maxlim: 135   bits: 8/8
0.89/0.95	c ---[  42]---> BDD-cost:  109
0.89/0.95	c ---[  41]---> BDD-cost:   76
0.89/0.95	c ---[  40]---> BDD-cost:  105
0.89/0.95	c ---[  39]---> BDD-cost:  222
0.89/0.95	c ---[  38]---> BDD-cost:   49
0.89/0.95	c ---[  37]---> BDD-cost:   75
0.89/0.95	c ---[  36]---> BDD-cost:   49
0.89/0.96	c ---[  35]---> BDD-cost:  137
0.89/0.96	c ---[  34]---> BDD-cost:   21
0.89/0.96	c ---[  33]---> BDD-cost:   21
0.89/0.96	c ---[  32]---> BDD-cost:  117
0.89/0.96	c ---[  31]---> BDD-cost:  117
0.89/0.96	c ---[  30]---> BDD-cost:  117
0.89/0.96	c ---[  29]---> BDD-cost:  165
0.89/0.97	c ---[  28]---> BDD-cost:   49
0.89/0.97	c ---[  27]---> BDD-cost:   49
0.89/0.97	c ---[  26]---> BDD-cost:   49
0.89/0.97	c ---[  25]---> BDD-cost:   21
0.89/0.97	c ---[  23]---> Adder-cost: 110   maxlim: 97   bits: 8/7
0.89/0.97	c ---[  21]---> Adder-cost: 100   maxlim: 67   bits: 7/7
0.89/0.98	c ---[  19]---> Adder-cost: 76   maxlim: 50   bits: 6/6
0.89/0.98	c ---[  17]---> Adder-cost: 76   maxlim: 50   bits: 6/6
0.89/0.98	c ---[  15]---> Adder-cost: 94   maxlim: 67   bits: 7/7
0.89/0.99	c ---[  13]---> Adder-cost: 102   maxlim: 100   bits: 8/7
0.89/0.99	c ---[  12]---> BDD-cost:   49
0.89/0.99	c ---[  11]---> Adder-cost: 72   maxlim: 37   bits: 6/6
0.89/0.99	c ---[  10]---> Adder-cost: 354   maxlim: 605   bits: 10/10
1.00/1.02	c ---[   9]---> Adder-cost: 222   maxlim: 357   bits: 10/9
1.00/1.03	c ---[   8]---> Adder-cost: 248   maxlim: 331   bits: 10/9
1.00/1.05	c ---[   7]---> Adder-cost: 222   maxlim: 397   bits: 10/9
1.00/1.07	c ---[   6]---> Adder-cost: 240   maxlim: 438   bits: 10/9
1.00/1.10	c ---[   5]---> Adder-cost: 230   maxlim: 427   bits: 10/9
1.10/1.12	c ---[   4]---> Adder-cost: 194   maxlim: 436   bits: 10/9
1.10/1.15	c ---[   3]---> Adder-cost: 166   maxlim: 422   bits: 10/9
1.10/1.18	c ---[   2]---> Adder-cost: 140   maxlim: 4119   bits: 13/13
1.10/1.19	c ---[   0]---> Adder-cost: 161   maxlim: 228   bits: 9/8
1.19/1.25	c ==================================[MINISAT+]==================================
1.19/1.25	c | Conflicts | Original         | Learnt                           | Progress |
1.19/1.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.19/1.25	c ==============================================================================
1.19/1.25	c |         0 |   70552   247593 |   23517       0        0     nan |  0.000 % |
1.19/1.26	c |       101 |   70552   247593 |   25868     101      371     3.7 | 11.275 % |
1.19/1.28	c |       251 |   70519   247490 |   28455     247     1053     4.3 | 11.324 % |
1.19/1.29	c |       476 |   70519   247490 |   31301     472     2599     5.5 | 11.324 % |
1.29/1.33	c |       813 |   70490   247389 |   34431     805     4498     5.6 | 11.338 % |
1.29/1.37	c |      1319 |   70484   247371 |   37874    1310     9169     7.0 | 11.346 % |
1.39/1.44	c |      2078 |   70385   247020 |   41661    2037    16317     8.0 | 11.388 % |
1.49/1.57	c |      3217 |   70046   245795 |   45827    3077    31214    10.1 | 11.473 % |
1.69/1.74	c |      4925 |   69767   244804 |   50410    4588    66191    14.4 | 11.623 % |
1.89/1.92	c |      7488 |   69760   244781 |   55451    7150   110378    15.4 | 11.630 % |
2.29/2.37	c |     11332 |   69628   244315 |   60997   10969   224896    20.5 | 11.722 % |
3.19/3.26	c |     17102 |   69628   244315 |   67096   16739   453796    27.1 | 11.722 % |
5.29/5.39	c |     25752 |   69410   243531 |   73806   25032   740158    29.6 | 11.772 % |
8.79/8.84	c |     38728 |   69363   243366 |   81187   37857  1111967    29.4 | 11.807 % |
18.79/18.84	c |     58189 |   69337   243282 |   89305   57262  2027293    35.4 | 11.836 % |
45.99/46.08	c |     87381 |   69242   242941 |   98236   85351  3028510    35.5 | 11.914 % |
75.50/75.51	c |    131171 |   69201   242802 |  108059   38042  1411508    37.1 | 11.964 % |
130.30/130.30	c |    196855 |   69072   242347 |  118865   99225  4243694    42.8 | 12.077 % |
210.91/210.93	c |    295381 |   69057   242302 |  130752   92956  3747127    40.3 | 12.099 % |
357.71/357.77	c |    443171 |   68970   242017 |  143827  124524  4318915    34.7 | 12.205 % |
587.12/587.18	c |    664859 |   68883   241714 |  158210   88590  2731601    30.8 | 12.269 % |
1015.75/1015.79	c |    997384 |   68794   241405 |  174031  136290  5797681    42.5 | 12.326 % |
1692.38/1692.37	c |   1496173 |   68583   240669 |  191434  158469  7792025    49.2 | 12.504 % |
1800.10/1800.00	c 
1800.10/1800.00	c *** TERMINATED ***
1800.10/1800.00	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/362792-1177018081/instance-362792-1177018081.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/node16/watcher-362792-1177018081 -o ROOT/results/node16/solver-362792-1177018081 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/362792-1177018081/minisat+ /tmp/evaluation/362792-1177018081/instance-362792-1177018081.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.92 0.98 0.99 3/77 15902
/proc/meminfo: memFree=1869168/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=1312 CPUtime=0
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 149725771 1343488 142 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 328 142 72 215 0 110 0

[startup+0.061596 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15902
/proc/meminfo: memFree=1869168/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=1580 CPUtime=0.05
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 246 0 0 0 5 0 0 0 18 0 1 0 149725771 1617920 231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 395 232 75 215 0 177 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1580

[startup+0.101587 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15902
/proc/meminfo: memFree=1869168/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=1844 CPUtime=0.09
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 308 0 0 0 9 0 0 0 18 0 1 0 149725771 1888256 293 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 461 293 75 215 0 243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1844

[startup+0.301545 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15902
/proc/meminfo: memFree=1869168/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=2768 CPUtime=0.29
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 555 0 0 0 29 0 0 0 19 0 1 0 149725771 2834432 540 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 692 540 83 215 0 474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2768

[startup+0.701462 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15902
/proc/meminfo: memFree=1869168/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=3108 CPUtime=0.69
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 670 0 0 0 69 0 0 0 23 0 1 0 149725771 3182592 655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134673707 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 777 655 106 215 0 559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3108

[startup+1.5013 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1866600/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=7220 CPUtime=1.49
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 1620 0 0 0 149 0 0 0 25 0 1 0 149725771 7393280 1576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 1805 1576 123 215 0 1587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7220

[startup+3.10196 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1862376/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=9332 CPUtime=3.09
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 2146 0 0 0 309 0 0 0 25 0 1 0 149725771 9555968 2102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 2333 2102 123 215 0 2115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9332

[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1859304/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=11740 CPUtime=6.29
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 2751 0 0 0 628 1 0 0 25 0 1 0 149725771 12021760 2707 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582049 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 2935 2707 123 215 0 2717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11740

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1855848/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=14856 CPUtime=12.69
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 3526 0 0 0 1267 2 0 0 25 0 1 0 149725771 15212544 3482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 3714 3482 123 215 0 3496 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14856

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1851560/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=18920 CPUtime=25.5
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 4514 0 0 0 2546 4 0 0 25 0 1 0 149725771 19374080 4470 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 4730 4470 123 215 0 4512 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 18920

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1846760/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=23660 CPUtime=51.09
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 5717 0 0 0 5103 6 0 0 25 0 1 0 149725771 24227840 5673 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 5915 5673 123 215 0 5697 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23660

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1844712/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=25704 CPUtime=102.3
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 6201 0 0 0 10223 7 0 0 25 0 1 0 149725771 26320896 6157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 6426 6157 123 215 0 6208 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25704

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1836840/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=33392 CPUtime=162.3
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 8143 0 0 0 16221 9 0 0 25 0 1 0 149725771 34193408 8099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 8348 8099 123 215 0 8130 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 33392

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1836264/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=33972 CPUtime=222.3
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 8272 0 0 0 22220 10 0 0 25 0 1 0 149725771 34787328 8228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 8493 8228 123 215 0 8275 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 33972

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1833512/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=36748 CPUtime=282.31
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 8951 0 0 0 28220 11 0 0 25 0 1 0 149725771 37629952 8907 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 9187 8907 123 215 0 8969 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 36748

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1832936/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=37364 CPUtime=342.31
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 9083 0 0 0 34219 12 0 0 25 0 1 0 149725771 38260736 9039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 9341 9039 123 215 0 9123 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 37364

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15903
/proc/meminfo: memFree=1832360/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=38036 CPUtime=402.31
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 9202 0 0 0 40219 12 0 0 25 0 1 0 149725771 38948864 9158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 9509 9158 123 215 0 9291 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 38036

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15905
/proc/meminfo: memFree=1831592/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=38600 CPUtime=462.32
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 9337 0 0 0 46219 13 0 0 25 0 1 0 149725771 39526400 9293 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 9650 9293 123 215 0 9432 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 38600

[startup+522.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1828648/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=41880 CPUtime=522.32
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 10103 0 0 0 52218 14 0 0 25 0 1 0 149725771 42885120 10051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 10470 10051 123 215 0 10252 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 41880

[startup+582.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1826856/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=43556 CPUtime=582.32
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 10521 0 0 0 58217 15 0 0 25 0 1 0 149725771 44601344 10469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 10889 10469 123 215 0 10671 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 43556

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1826216/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=44184 CPUtime=642.33
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 10656 0 0 0 64217 16 0 0 25 0 1 0 149725771 45244416 10604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 11046 10604 123 215 0 10828 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 44184


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

[startup+822.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 15905
/proc/meminfo: memFree=1825128/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=45040 CPUtime=822.34
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 10893 0 0 0 82216 18 0 0 25 0 1 0 149725771 46120960 10841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 11260 10841 123 215 0 11042 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 45040

[startup+882.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 15905
/proc/meminfo: memFree=1824552/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=45744 CPUtime=882.34
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 11041 0 0 0 88216 18 0 0 25 0 1 0 149725771 46841856 10989 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 11436 10989 123 215 0 11218 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 45744

[startup+942.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1823720/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=46532 CPUtime=942.34
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 11231 0 0 0 94215 19 0 0 25 0 1 0 149725771 47648768 11179 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 11633 11179 123 215 0 11415 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 46532

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1822888/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=47524 CPUtime=1002.35
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 11433 0 0 0 100215 20 0 0 25 0 1 0 149725771 48664576 11381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 11881 11381 123 215 0 11663 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 47524

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1819880/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=50676 CPUtime=1062.35
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 12186 0 0 0 106214 21 0 0 25 0 1 0 149725771 51892224 12134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 12669 12134 123 215 0 12451 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 50676

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1816424/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=53984 CPUtime=1122.36
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13021 0 0 0 112213 23 0 0 25 0 1 0 149725771 55279616 12969 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 13496 12969 123 215 0 13278 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 53984

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1816168/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=54116 CPUtime=1182.35
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13070 0 0 0 118212 23 0 0 25 0 1 0 149725771 55414784 13018 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 13529 13018 123 215 0 13311 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 54116

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1815912/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=54280 CPUtime=1242.36
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13104 0 0 0 124212 24 0 0 25 0 1 0 149725771 55582720 13052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 13570 13052 123 215 0 13352 0
Current children cumulated CPU time (s) 1242.36
Current children cumulated vsize (KiB) 54280

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1815464/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=54764 CPUtime=1302.36
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13212 0 0 0 130212 24 0 0 25 0 1 0 149725771 56078336 13160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 13691 13160 123 215 0 13473 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 54764

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1813352/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=56740 CPUtime=1362.36
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13704 0 0 0 136211 25 0 0 25 0 1 0 149725771 58101760 13652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 14185 13652 123 215 0 13967 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 56740

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1813160/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=56924 CPUtime=1422.37
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13743 0 0 0 142211 26 0 0 25 0 1 0 149725771 58290176 13691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 14231 13691 123 215 0 14013 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 56924

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 15905
/proc/meminfo: memFree=1812904/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=57104 CPUtime=1482.37
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13788 0 0 0 148211 26 0 0 25 0 1 0 149725771 58474496 13736 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 14276 13736 123 215 0 14058 0
Current children cumulated CPU time (s) 1482.37
Current children cumulated vsize (KiB) 57104

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 15905
/proc/meminfo: memFree=1812648/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=57456 CPUtime=1542.38
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13853 0 0 0 154211 27 0 0 25 0 1 0 149725771 58834944 13801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 14364 13801 123 215 0 14146 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 57456

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1812584/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=57456 CPUtime=1602.37
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13853 0 0 0 160210 27 0 0 25 0 1 0 149725771 58834944 13801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 14364 13801 123 215 0 14146 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 57456

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1812264/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=57780 CPUtime=1662.38
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 13924 0 0 0 166210 28 0 0 25 0 1 0 149725771 59166720 13872 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 14445 13872 123 215 0 14227 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 57780

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1809960/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=60012 CPUtime=1722.38
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 14498 0 0 0 172209 29 0 0 25 0 1 0 149725771 61452288 14446 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 15003 14446 123 215 0 14785 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 60012

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1805160/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=64516 CPUtime=1782.39
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 15649 0 0 0 178208 31 0 0 25 0 1 0 149725771 66064384 15597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 16129 15597 123 215 0 15911 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 64516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15905
/proc/meminfo: memFree=1805160/2055920 swapFree=4148604/4192956
[pid=15902] ppid=15900 vsize=64516 CPUtime=1800.1
/proc/15902/stat : 15902 (minisat+) R 15900 15902 14693 0 -1 4194304 15650 0 0 0 179978 32 0 0 25 0 1 0 149725771 66064384 15598 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15902/statm: 16129 15598 123 215 0 15911 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 64516

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.02
CPU time (s): 1800.12
CPU user time (s): 1799.78
CPU system time (s): 0.331949
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 64516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.331949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15651
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= 36689

runsolver used 2.11668 second user time and 4.43732 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Thu Apr 19 21:28:01 UTC 2007

IDJOB= 362792
IDBENCH= 1650
IDSOLVER= 156
FILE ID= node16/362792-1177018081

PBS_JOBID= 4630535

Free space on /tmp= 66359 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-share2b.opb
COMMAND LINE= /tmp/evaluation/362792-1177018081/minisat+ /tmp/evaluation/362792-1177018081/instance-362792-1177018081.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-362792-1177018081 -o ROOT/results/node16/conversion-362792-1177018081 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/362792-1177018081/instance-362792-1177018081.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  3ec28475c9d1079169f926174383d0c1

RANDOM SEED= 291774318

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1869640 kB
Buffers:         16888 kB
Cached:          88116 kB
SwapCached:      12024 kB
Active:          45344 kB
Inactive:        83608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869640 kB
SwapTotal:     4192956 kB
SwapFree:      4148604 kB
Dirty:            2640 kB
Writeback:           0 kB
Mapped:          30996 kB
Slab:            42860 kB
Committed_AS:  6518104 kB
PageTables:       1840 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= 66359 MiB

End job on node16 on Thu Apr 19 21:58:04 UTC 2007