Trace number 2656561

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT17408 1798.01 1798.48

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 benchmark1570.6
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Instance file HOME/instance-2656561-1276350648.opb
0.00/0.01	c File size is 50269 bytes.
0.00/0.01	c Highest Coefficient sum: 74742
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.006 s
0.00/0.01	c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548
0.00/0.01	c Obj. Vars: 163 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    163       73     5326   72      548   10705      0      0 0.01
0.00/0.02	c Initial Lower Bound: 13312
0.00/0.02	c Initial Path Cost: 0
0.00/0.02	o 20480
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0    163       74     5489   74      693   11031      1      0 0.02
0.09/0.18	o 18432
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0    163       75     5652   75      749   11357      2      0 0.18
0.29/0.35	o 17408
1797.94/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.47	c        3    163       84     6848   81     1007   11357     11      8 0.35
1797.94/1798.47	c      104    163      385    50405  130     1667   12493    312    130 0.80
1797.94/1798.47	c      355    163     1137   145715  128     3269   13743   1064    229 1.55
1797.94/1798.47	c      832    163     2565   353578  137     6138   15118   2492    303 2.74
1797.94/1798.47	c     1645    163     5004   542264  108    10985   16630   4931    353 4.66
1797.94/1798.47	c     2966    163     8873   901187  101    18731   18294   8800    374 7.91
1797.94/1798.47	c     5048    163    15099  1485685   98    31184   20124  15026    340 14.80
1797.94/1798.47	c     8271    163    14615  1204063   82    29774   22137  14542    340 24.32
1797.94/1798.47	c    13210    163    18275  1348143   73    37082   24351  18202    322 41.01
1797.94/1798.47	c    20719    163    16285  1269608   77    33109   26787  16212    261 79.35
1797.94/1798.47	c    32081    163    23406  1834487   78    47344   29466  23333    233 137.39
1797.94/1798.47	c    49226    163    15591  1227154   78    31717   32413  15518    192 255.68
1797.94/1798.47	c    75045    163    27870  2192932   78    56276   35655  27797    182 411.96
1797.94/1798.47	c   113877    163    19062  1495040   78    38659   39221  18989    163 697.57
1797.94/1798.47	c   172229    163    36104  3567037   98    72796   43144  36031    160 1072.45
1797.94/1798.47	c   259862    163    38806  3962473  102    78178   47459  38733    159 1627.58
1797.94/1798.47	c Resources Exceeded
1797.94/1798.47	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.94/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.47	c   18   288319    228   290418    23622  2129204  23549    160 1798.00
1797.94/1798.47	c Objective: 17408
1797.94/1798.47	s SATISFIABLE
1797.94/1798.47	c Total time: 1798 s

Verifier Data 

OK	17408

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656561-1276350648/watcher-2656561-1276350648 -o /tmp/evaluation-result-2656561-1276350648/solver-2656561-1276350648 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656561-1276350648.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.99 1.00 1.00 3/106 14049
/proc/meminfo: memFree=1842968/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=18732 CPUtime=0
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 10668771 19181568 268 1992294400 134512640 137138936 4288922832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 4683 268 185 642 0 4039 0

[startup+0.0397709 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 14049
/proc/meminfo: memFree=1842968/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=19596 CPUtime=0.03
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 606 0 0 0 3 0 0 0 17 0 1 0 10668771 20066304 455 1992294400 134512640 137138936 4288922832 18446744073709551615 135437299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 4899 455 282 642 0 4255 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19596

[startup+0.100777 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 14049
/proc/meminfo: memFree=1842968/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=19736 CPUtime=0.09
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 612 0 0 0 9 0 0 0 17 0 1 0 10668771 20209664 461 1992294400 134512640 137138936 4288922832 18446744073709551615 135435704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 4934 461 282 642 0 4290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19736

[startup+0.300796 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 14049
/proc/meminfo: memFree=1842968/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=19896 CPUtime=0.29
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 1194 0 0 0 29 0 0 0 17 0 1 0 10668771 20373504 487 1992294400 134512640 137138936 4288922832 18446744073709551615 134840710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 4974 487 283 642 0 4330 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19896

[startup+0.700838 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 14049
/proc/meminfo: memFree=1842968/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=12040 CPUtime=0.69
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7163 0 0 0 67 2 0 0 17 0 1 0 10668771 12328960 510 1992294400 134512640 137138936 4288922832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 3010 512 287 642 0 2366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12040

[startup+1.50092 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14050
/proc/meminfo: memFree=1841596/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=12768 CPUtime=1.49
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 22521 0 0 0 144 5 0 0 18 0 1 0 10668771 13074432 854 1992294400 134512640 137138936 4288922832 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 3192 854 287 642 0 2548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12768

[startup+3.10108 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14050
/proc/meminfo: memFree=1839116/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=16076 CPUtime=3.09
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 54392 0 0 0 294 15 0 0 21 0 1 0 10668771 16461824 1681 1992294400 134512640 137138936 4288922832 18446744073709551615 135783853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 4019 1681 287 642 0 3375 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16076

[startup+6.30041 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14050
/proc/meminfo: memFree=1833536/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=20868 CPUtime=6.29
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 118589 0 0 0 593 36 0 0 25 0 1 0 10668771 21368832 2878 1992294400 134512640 137138936 4288922832 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 5217 2878 287 642 0 4573 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20868

[startup+12.7011 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14050
/proc/meminfo: memFree=1824360/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=29256 CPUtime=12.69
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 214847 0 0 0 1202 67 0 0 25 0 1 0 10668771 29958144 4975 1992294400 134512640 137138936 4288922832 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 7314 4975 287 642 0 6670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29256

[startup+25.5014 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 14050
/proc/meminfo: memFree=1815804/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=37328 CPUtime=25.48
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 327838 0 0 0 2442 106 0 0 25 0 1 0 10668771 38223872 6946 1992294400 134512640 137138936 4288922832 18446744073709551615 134720991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 9332 6946 287 642 0 8688 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37328

[startup+51.101 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14052
/proc/meminfo: memFree=1815060/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=38140 CPUtime=51.07
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 345149 0 0 0 4992 115 0 0 25 0 1 0 10668771 39055360 7196 1992294400 134512640 137138936 4288922832 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 9535 7196 287 642 0 8891 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38140

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14052
/proc/meminfo: memFree=1811712/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=41160 CPUtime=102.27
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 660907 0 0 0 9965 262 0 0 25 0 1 0 10668771 42147840 7953 1992294400 134512640 137138936 4288922832 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 10290 7953 287 642 0 9646 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41160

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14054
/proc/meminfo: memFree=1808736/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=44716 CPUtime=162.25
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 1019596 0 0 0 15787 438 0 0 25 0 1 0 10668771 45789184 8672 1992294400 134512640 137138936 4288922832 18446744073709551615 134840699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 11179 8672 287 642 0 10535 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 44716

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14056
/proc/meminfo: memFree=1808364/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=44292 CPUtime=222.24
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 1299799 0 0 0 21645 579 0 0 25 0 1 0 10668771 45355008 8737 1992294400 134512640 137138936 4288922832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 11073 8737 287 642 0 10429 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44292

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14058
/proc/meminfo: memFree=1808364/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=44436 CPUtime=282.22
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 1591591 0 0 0 27496 726 0 0 25 0 1 0 10668771 45502464 8771 1992294400 134512640 137138936 4288922832 18446744073709551615 134750868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 11109 8771 287 642 0 10465 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44436

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14060
/proc/meminfo: memFree=1805264/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=47480 CPUtime=342.21
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 1924429 0 0 0 33333 888 0 0 25 0 1 0 10668771 48619520 9538 1992294400 134512640 137138936 4288922832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 11870 9538 287 642 0 11226 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 47480

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14060
/proc/meminfo: memFree=1805016/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=47540 CPUtime=402.19
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 2209528 0 0 0 39189 1030 0 0 25 0 1 0 10668771 48680960 9554 1992294400 134512640 137138936 4288922832 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 11885 9554 287 642 0 11241 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 47540

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14062
/proc/meminfo: memFree=1801668/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=51020 CPUtime=462.18
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 2484657 0 0 0 45052 1166 0 0 25 0 1 0 10668771 52244480 10423 1992294400 134512640 137138936 4288922832 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 12755 10423 287 642 0 12111 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 51020

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14064
/proc/meminfo: memFree=1801296/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=51392 CPUtime=522.16
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 2718519 0 0 0 50934 1282 0 0 25 0 1 0 10668771 52625408 10484 1992294400 134512640 137138936 4288922832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 12848 10484 287 642 0 12204 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 51392

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14066
/proc/meminfo: memFree=1801172/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=51968 CPUtime=582.15
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 2989034 0 0 0 56801 1414 0 0 25 0 1 0 10668771 53215232 10487 1992294400 134512640 137138936 4288922832 18446744073709551615 135434510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 12992 10489 287 642 0 12348 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 51968

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14077
/proc/meminfo: memFree=1800056/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=51252 CPUtime=642.12
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 3244820 0 0 0 62677 1535 0 0 25 0 1 0 10668771 52482048 10481 1992294400 134512640 137138936 4288922832 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 12813 10481 287 642 0 12169 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 51252

[startup+702.301 s]

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

/proc/meminfo: memFree=1781208/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=71168 CPUtime=1122
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 5189139 0 0 0 109626 2574 0 0 25 0 1 0 10668771 72876032 15390 1992294400 134512640 137138936 4288922832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 17892 15393 287 642 0 17248 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 71168

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14091
/proc/meminfo: memFree=1778976/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73040 CPUtime=1181.98
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 5419295 0 0 0 115504 2694 0 0 25 0 1 0 10668771 74792960 15929 1992294400 134512640 137138936 4288922832 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18260 15929 287 642 0 17616 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 73040

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14091
/proc/meminfo: memFree=1778852/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73044 CPUtime=1241.97
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 5645387 0 0 0 121377 2820 0 0 25 0 1 0 10668771 74797056 15930 1992294400 134512640 137138936 4288922832 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18261 15930 287 642 0 17617 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 73044

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14093
/proc/meminfo: memFree=1778728/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73044 CPUtime=1301.95
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 5839149 0 0 0 127266 2929 0 0 25 0 1 0 10668771 74797056 15930 1992294400 134512640 137138936 4288922832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18261 15930 287 642 0 17617 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 73044

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14095
/proc/meminfo: memFree=1778728/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73272 CPUtime=1361.93
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 6075392 0 0 0 133133 3060 0 0 25 0 1 0 10668771 75030528 15955 1992294400 134512640 137138936 4288922832 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18318 15955 287 642 0 17674 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 73272

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14100
/proc/meminfo: memFree=1778108/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73184 CPUtime=1421.93
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 6302061 0 0 0 139008 3185 0 0 25 0 1 0 10668771 74940416 15965 1992294400 134512640 137138936 4288922832 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18296 15965 287 642 0 17652 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 73184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14102
/proc/meminfo: memFree=1778108/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73236 CPUtime=1481.9
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 6573215 0 0 0 144864 3326 0 0 25 0 1 0 10668771 74993664 15978 1992294400 134512640 137138936 4288922832 18446744073709551615 134750251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18309 15978 287 642 0 17665 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 73236

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14102
/proc/meminfo: memFree=1778108/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73236 CPUtime=1541.89
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 6769198 0 0 0 150761 3428 0 0 25 0 1 0 10668771 74993664 15978 1992294400 134512640 137138936 4288922832 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18309 15978 287 642 0 17665 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 73236

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14104
/proc/meminfo: memFree=1778108/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=73236 CPUtime=1601.88
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 6970894 0 0 0 156657 3531 0 0 25 0 1 0 10668771 74993664 15978 1992294400 134512640 137138936 4288922832 18446744073709551615 134751002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 18309 15978 287 642 0 17665 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 73236

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14106
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=77952 CPUtime=1661.86
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7302782 0 0 0 162490 3696 0 0 25 0 1 0 10668771 79822848 17157 1992294400 134512640 137138936 4288922832 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19488 17157 287 642 0 18844 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 77952

[startup+1722.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14108
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=77952 CPUtime=1721.84
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7590534 0 0 0 168349 3835 0 0 25 0 1 0 10668771 79822848 17157 1992294400 134512640 137138936 4288922832 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19488 17157 287 642 0 18844 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 77952

[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=77944 CPUtime=1781.82
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7948754 0 0 0 174187 3995 0 0 25 0 1 0 10668771 79814656 17155 1992294400 134512640 137138936 4288922832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19486 17155 287 642 0 18842 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 77944

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

[startup+1791.91 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=78132 CPUtime=1791.44
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7982765 0 0 0 175133 4011 0 0 25 0 1 0 10668771 80007168 17170 1992294400 134512640 137138936 4288922832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19533 17170 287 642 0 18889 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 78132

[startup+1795.1 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=78132 CPUtime=1794.64
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7982765 0 0 0 175453 4011 0 0 25 0 1 0 10668771 80007168 17170 1992294400 134512640 137138936 4288922832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19533 17170 287 642 0 18889 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 78132

[startup+1796.7 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=78132 CPUtime=1796.23
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7982765 0 0 0 175612 4011 0 0 25 0 1 0 10668771 80007168 17170 1992294400 134512640 137138936 4288922832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19533 17170 287 642 0 18889 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 78132

[startup+1797.5 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=77944 CPUtime=1797.02
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7987014 0 0 0 175690 4012 0 0 25 0 1 0 10668771 79814656 17155 1992294400 134512640 137138936 4288922832 18446744073709551615 134828794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19486 17155 287 642 0 18842 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 77944

[startup+1797.9 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=78624 CPUtime=1797.42
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7990135 0 0 0 175728 4014 0 0 25 0 1 0 10668771 80510976 17162 1992294400 134512640 137138936 4288922832 18446744073709551615 135252710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19656 17162 287 642 0 19012 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 78624

[startup+1798.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=78620 CPUtime=1797.82
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7993048 0 0 0 175766 4016 0 0 25 0 1 0 10668771 80506880 17165 1992294400 134512640 137138936 4288922832 18446744073709551615 135095097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19655 17165 287 642 0 19011 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 78620

[startup+1798.4 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14110
/proc/meminfo: memFree=1773520/2059040 swapFree=4135548/4192956
[pid=14049] ppid=14047 vsize=78620 CPUtime=1797.94
/proc/14049/stat : 14049 (bsolo_pb10) R 14047 14049 14024 0 -1 4202496 7993768 0 0 0 175777 4017 0 0 25 0 1 0 10668771 80506880 17161 1992294400 134512640 137138936 4288922832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14049/statm: 19655 17161 287 642 0 19011 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 78620

Child status: 0
Real time (s): 1798.48
CPU time (s): 1798.01
CPU user time (s): 1757.83
CPU system time (s): 40.1789
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 78656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.83
system time used= 40.1789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7994261
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= 1
involuntary context switches= 19491

runsolver used 2.95455 second user time and 8.50871 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-12 15:50:48
IDJOB=2656561
IDBENCH=1848
IDSOLVER=1162
FILE ID=node002/2656561-1276350648
PBS_JOBID= 11173204
Free space on /tmp= 62400 MiB

SOLVER NAME= bsolo 3.2 Card
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_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656561-1276350648/watcher-2656561-1276350648 -o /tmp/evaluation-result-2656561-1276350648/solver-2656561-1276350648 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656561-1276350648.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=1516174222

node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1843496 kB
Buffers:         22360 kB
Cached:         119436 kB
SwapCached:      17708 kB
Active:         103356 kB
Inactive:        57968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843496 kB
SwapTotal:     4192956 kB
SwapFree:      4135548 kB
Dirty:            4116 kB
Writeback:           0 kB
AnonPages:       10608 kB
Mapped:           9072 kB
Slab:            32424 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62396 MiB
End job on node002 at 2010-06-12 16:20:47