Trace number 1879980

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT17403 1798.02 1798.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879980-1245132661.opb
0.00/0.00	c File size is 50269 bytes.
0.00/0.00	c Highest Coefficient sum: 74742
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548
0.00/0.00	c Obj. Vars: 163 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    163       73     5326   72      548   10705      0      0 0.01
0.00/0.01	c Initial Lower Bound: 13312
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 20480
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0    163       74     5489   74      693   11031      1      0 0.02
0.09/0.17	o 18432
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0    163       75     5652   75      749   11357      2      0 0.17
0.29/0.32	o 17408
1336.63/1337.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1336.63/1337.08	c        3    163       83     6785   81     1002   11357     10      9 0.33
1336.63/1337.08	c      103    163      382    50234  131     1737   12493    309    139 0.74
1336.63/1337.08	c      353    163     1095   145449  132     4453   13743   1022    242 1.46
1336.63/1337.08	c      830    163     2501   301721  120     9334   15118   2428    286 2.90
1336.63/1337.08	c     1645    163     4912   557607  113    18038   16630   4839    310 5.30
1336.63/1337.08	c     2965    163     8872  1099478  123    22969   18294   8799    334 8.88
1336.63/1337.08	c     5047    163    15055  1985808  131    33513   20124  14982    347 14.51
1336.63/1337.08	c     8270    163    14558  1806018  124    44764   22137  14485    304 27.14
1336.63/1337.08	c    13206    163    18172  2170808  119    47297   24351  18099    315 41.90
1336.63/1337.08	c    20712    163    16126  1715334  106    60115   26787  16053    289 71.61
1336.63/1337.08	c    32073    163    23159  2675395  115    47866   29466  23086    270 118.75
1336.63/1337.08	c    49217    163    15269  1526894   99    38161   32413  15196    230 213.87
1336.63/1337.08	c    75036    163    27522  2714219   98    66898   35655  27449    198 377.79
1336.63/1337.08	c   113868    163    34952  4326374  123    76173   39221  34879    164 692.19
1336.63/1337.08	c   172220    163    30234  4064223  134   162559   43144  30161    149 1155.56
1336.63/1337.08	o 17407
1517.28/1517.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1517.28/1517.75	c   184780    163    34821  4278650  122   233886   11031  34748    138 1336.72
1517.28/1517.75	c   184881    163     5893   684366  116    41727   12135   5820    136 1354.75
1517.28/1517.75	c   185132    163     6646   747981  112    43043   13349   6573    136 1355.60
1517.28/1517.75	c   185609    163     8077   855227  105    47671   14684   8004    136 1357.31
1517.28/1517.75	c   186423    163    10519  1052163  100    59105   16153  10446    137 1360.39
1517.28/1517.75	c   187743    163    14471  1489222  102    71447   17769  14398    137 1364.62
1517.28/1517.75	c   189824    163    11185  1178243  105    69338   19546  11112    138 1373.81
1517.28/1517.75	c   193048    163    10105  1206293  119    81003   21501  10032    139 1385.57
1517.28/1517.75	c   197984    163    14074  1294856   92    78153   23652  14001    140 1404.24
1517.28/1517.75	c   205491    163    21317  2241816  105   235408   26018  21244    142 1441.85
1517.28/1517.75	c   216852    163    23476  2631836  112   201523   28620  23403    143 1515.05
1517.28/1517.75	o 17403
1797.91/1798.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.49	c   216897    163    23596  2643799  112   281477   11031  23523    142 1517.35
1797.91/1798.49	c   216997    163     5865   678064  115    51111   12135   5792    140 1544.08
1797.91/1798.49	c   217247    163     6546   745698  113    58204   13349   6473    140 1545.34
1797.91/1798.49	c   217722    163     7968   883439  110    61587   14684   7895    140 1546.83
1797.91/1798.49	c   218535    163    10407  1101775  105    57484   16153  10334    141 1549.17
1797.91/1798.49	c   219856    163    14370  1510133  105    62319   17769  14297    141 1552.97
1797.91/1798.49	c   221937    163    11623  1144490   98    34462   19546  11550    142 1560.73
1797.91/1798.49	c   225161    163    10915  1093564  100    39345   21501  10842    143 1570.15
1797.91/1798.49	c   230100    163    14331  1379444   96   102767   23652  14258    144 1589.68
1797.91/1798.49	c   237608    163    23464  2234943   95   213923   26018  23391    146 1622.05
1797.91/1798.49	c   248969    163    14833  1412165   95   191117   28620  14760    144 1718.09
1797.91/1798.49	c Resources Exceeded
1797.91/1798.49	v -x1 -x12 -x23 -x34 x45 -x116 -x161 -x162 x163 -x2 -x3 -x4 -x5 x6 -x7 x8 -x9 -x10 -x11 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 x21 -x22 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 x46 x47 -x48 -x49 x50 x51 x52 x53 x54 x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 x83 x84 x85 x86 x87 -x88 x89 -x90 -x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 x107 x108 x109 x110 -x111 x112 -x113 x114 -x115 x117 x118 -x119 x120 x121 -x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132 x133 x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154 -x155 -x156 x157 -x158 -x159 -x160 
1797.91/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.49	c   39   261741   2401   268971    24353  2168896  24280    145 1798.00
1797.91/1798.49	c Objective: 17403
1797.91/1798.49	s SATISFIABLE
1797.91/1798.49	c Total time: 1798 s

Verifier Data 

OK	17403

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879980-1245132661/watcher-1879980-1245132661 -o /tmp/evaluation-result-1879980-1245132661/solver-1879980-1245132661 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879980-1245132661.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 2105
/proc/meminfo: memFree=1739880/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=18568 CPUtime=0
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 240 0 0 0 0 0 0 0 20 0 1 0 169792588 19013632 224 1992294400 134512640 137136520 4294956256 18446744073709551615 134598604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 4642 224 176 640 0 3985 0

[startup+0.009831 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 2105
/proc/meminfo: memFree=1739880/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=18648 CPUtime=0
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 300 0 0 0 0 0 0 0 20 0 1 0 169792588 19095552 271 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 4662 271 189 640 0 4018 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18648

[startup+0.10184 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 2105
/proc/meminfo: memFree=1739880/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=19652 CPUtime=0.09
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 552 0 0 0 9 0 0 0 20 0 1 0 169792588 20123648 467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 4913 467 289 640 0 4269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19652

[startup+0.301857 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 2105
/proc/meminfo: memFree=1739880/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=19812 CPUtime=0.29
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 1171 0 0 0 29 0 0 0 22 0 1 0 169792588 20287488 529 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 4953 529 290 640 0 4309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19812

[startup+0.701895 s]
/proc/loadavg: 0.91 0.95 0.96 3/65 2105
/proc/meminfo: memFree=1739880/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=11388 CPUtime=0.69
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 7489 0 0 0 68 1 0 0 25 0 1 0 169792588 11661312 533 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 2847 533 292 640 0 2203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11388

[startup+1.50197 s]
/proc/loadavg: 0.91 0.95 0.96 2/66 2106
/proc/meminfo: memFree=1738336/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=13712 CPUtime=1.49
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 23310 0 0 0 141 8 0 0 25 0 1 0 169792588 14041088 916 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 3428 916 292 640 0 2784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13712

[startup+3.10112 s]
/proc/loadavg: 0.91 0.95 0.96 2/66 2106
/proc/meminfo: memFree=1736288/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=15816 CPUtime=3.09
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 52105 0 0 0 289 20 0 0 25 0 1 0 169792588 16195584 1486 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 3987 1487 292 640 0 3343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15816

[startup+6.30142 s]
/proc/loadavg: 0.92 0.95 0.96 2/66 2106
/proc/meminfo: memFree=1731104/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=21228 CPUtime=6.29
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 110100 0 0 0 590 39 0 0 25 0 1 0 169792588 21737472 2835 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 5307 2837 292 640 0 4663 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21228

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.96 2/66 2106
/proc/meminfo: memFree=1717152/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=34696 CPUtime=12.68
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 229382 0 0 0 1194 74 0 0 25 0 1 0 169792588 35528704 6206 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 8674 6206 292 640 0 8030 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34696

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.96 2/66 2106
/proc/meminfo: memFree=1703776/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=45968 CPUtime=25.48
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 379220 0 0 0 2416 132 0 0 25 0 1 0 169792588 47071232 9179 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 11492 9179 292 640 0 10848 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45968

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.96 2/66 2106
/proc/meminfo: memFree=1698976/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=51464 CPUtime=51.07
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 596416 0 0 0 4889 218 0 0 25 0 1 0 169792588 52699136 10391 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 12866 10391 292 640 0 12222 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51464

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/66 2106
/proc/meminfo: memFree=1694304/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=55556 CPUtime=102.27
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 993678 0 0 0 9838 389 0 0 25 0 1 0 169792588 56889344 11576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 13889 11576 293 640 0 13245 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55556

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1692960/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=56764 CPUtime=162.24
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 1377524 0 0 0 15664 560 0 0 25 0 1 0 169792588 58126336 11881 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 14191 11881 293 640 0 13547 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 56764

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1692896/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=56760 CPUtime=222.23
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 1665025 0 0 0 21523 700 0 0 25 0 1 0 169792588 58122240 11881 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 14190 11881 293 640 0 13546 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 56760

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1692064/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=57608 CPUtime=282.21
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 1965041 0 0 0 27389 832 0 0 25 0 1 0 169792588 58990592 12097 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 14402 12097 293 640 0 13758 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 57608

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1692000/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=58272 CPUtime=342.2
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 2253067 0 0 0 33255 965 0 0 25 0 1 0 169792588 59670528 12099 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 14396 12091 293 640 0 13752 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 58272

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1686496/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=63052 CPUtime=402.18
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 2571820 0 0 0 39108 1110 0 0 25 0 1 0 169792588 64565248 13458 1992294400 134512640 137136520 4294956256 18446744073709551615 136502025 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 15763 13458 293 640 0 15119 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 63052

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1673696/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=75788 CPUtime=462.17
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 2787774 0 0 0 45004 1213 0 0 25 0 1 0 169792588 77606912 16642 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 18947 16642 293 640 0 18303 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 75788

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1672288/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=77200 CPUtime=522.15
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 2952610 0 0 0 50914 1301 0 0 25 0 1 0 169792588 79052800 16995 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 19300 16995 293 640 0 18656 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 77200

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1672224/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=77656 CPUtime=582.13
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 3013061 0 0 0 56878 1335 0 0 25 0 1 0 169792588 79519744 17016 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 19414 17016 293 640 0 18770 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 77656

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1672224/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=77664 CPUtime=642.11
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 3013340 0 0 0 62874 1337 0 0 25 0 1 0 169792588 79527936 17015 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 19416 17015 293 640 0 18772 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 77664

[startup+702.302 s]

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

/proc/meminfo: memFree=1664800/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=84928 CPUtime=1121.98
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4209195 0 0 0 110253 1945 0 0 25 0 1 0 169792588 86966272 18841 1992294400 134512640 137136520 4294956256 18446744073709551615 134730272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 21232 18841 293 640 0 20588 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 84928

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1664672/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=84668 CPUtime=1181.97
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4352548 0 0 0 116178 2019 0 0 25 0 1 0 169792588 86700032 18862 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 21167 18862 293 640 0 20523 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 84668

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 3/66 2106
/proc/meminfo: memFree=1660320/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=89208 CPUtime=1241.95
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4417647 0 0 0 122145 2050 0 0 25 0 1 0 169792588 91348992 19990 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22302 19990 293 640 0 21658 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 89208

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 2106
/proc/meminfo: memFree=1657184/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=92096 CPUtime=1301.94
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4499035 0 0 0 128101 2093 0 0 25 0 1 0 169792588 94306304 20719 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 23024 20719 293 640 0 22380 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 92096

[startup+1362.3 s]
/proc/loadavg: 1.04 0.99 0.97 2/66 2106
/proc/meminfo: memFree=1657056/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=92620 CPUtime=1361.92
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579170 0 0 0 134061 2131 0 0 25 0 1 0 169792588 94842880 20755 1992294400 134512640 137136520 4294956256 18446744073709551615 134732446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 23155 20755 293 640 0 22511 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 92620

[startup+1422.31 s]
/proc/loadavg: 1.06 1.00 0.97 2/66 2106
/proc/meminfo: memFree=1657120/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=92520 CPUtime=1421.91
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 140055 2136 0 0 25 0 1 0 169792588 94740480 20733 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 23130 20733 293 640 0 22486 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 92520

[startup+1482.3 s]
/proc/loadavg: 1.06 1.01 0.98 2/66 2106
/proc/meminfo: memFree=1657120/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=92520 CPUtime=1481.89
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 146050 2139 0 0 25 0 1 0 169792588 94740480 20733 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 23130 20733 293 640 0 22486 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 92520

[startup+1542.3 s]
/proc/loadavg: 1.06 1.02 0.98 2/66 2106
/proc/meminfo: memFree=1657120/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=92520 CPUtime=1541.87
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 152046 2141 0 0 25 0 1 0 169792588 94740480 20733 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 23130 20733 293 640 0 22486 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 92520

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 0.98 2/66 2108
/proc/meminfo: memFree=1657120/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=92520 CPUtime=1601.85
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 158041 2144 0 0 25 0 1 0 169792588 94740480 20733 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 23130 20733 293 640 0 22486 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 92520

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 2108
/proc/meminfo: memFree=1658016/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1661.84
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 164036 2148 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 91100

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 2108
/proc/meminfo: memFree=1658016/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1721.82
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 170033 2149 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 135356594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 91100

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1781.81
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 176029 2152 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 91100

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1791.4
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 176988 2152 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 91100

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1794.61
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 177308 2153 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 91100

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1796.21
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 177468 2153 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 91100

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1797
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 177547 2153 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 91100

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1797.4
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 177587 2153 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 91100

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1797.8
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 177627 2153 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 91100

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2108
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=2105] ppid=2103 vsize=91100 CPUtime=1797.91
/proc/2105/stat : 2105 (bsolo) R 2103 2105 1941 0 -1 4194304 4579646 0 0 0 177638 2153 0 0 25 0 1 0 169792588 93286400 20470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2105/statm: 22775 20470 293 640 0 22131 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 91100

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.02
CPU user time (s): 1776.47
CPU system time (s): 21.5467
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 93056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.47
system time used= 21.5467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4579648
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= 2
involuntary context switches= 3837

runsolver used 1.9777 second user time and 4.43633 second system time

The end

Launcher Data 

Begin job on node8 at 2009-06-16 08:11:01
IDJOB=1879980
IDBENCH=1848
IDSOLVER=701
FILE ID=node8/1879980-1245132661
PBS_JOBID= 9363715
Free space on /tmp= 66316 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879980-1245132661/watcher-1879980-1245132661 -o /tmp/evaluation-result-1879980-1245132661/solver-1879980-1245132661 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879980-1245132661.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=1842633209

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1740296 kB
Buffers:         45460 kB
Cached:         182816 kB
SwapCached:          0 kB
Active:          65516 kB
Inactive:       177608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1740296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3988 kB
Writeback:           0 kB
Mapped:          24628 kB
Slab:            58236 kB
Committed_AS:   166680 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB
End job on node8 at 2009-06-16 08:41:00