Trace number 348865

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
bsolo 3.0.16? 1800.08 1802.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1cl.opb
MD5SUM1e246214338ba705536e85585a980117
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14400
Total number of constraints492
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 constraints492
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7200
Biggest coefficient in the objective function 3484
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 530256
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 530256
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.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/348865-1176601288/instance-348865-1176601288.opb
0.00/0.01	c File size is 440485 bytes.
0.00/0.08	c Highest Coefficient sum: 530256
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.076 s
0.00/0.09	c Var: 14400 Constr: 732 0/0/732 Lit: 55800 Watch. Lit: 12868
0.00/0.09	c Obj. Vars: 7200 (50 % of total variables)
0.19/0.27	c Pre-processing Time: 0.264 s
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   9379      732    55800   76    45770  111600      0      0 0.26
0.19/0.27	c Switching off LPR mode.
1799.98/1802.21	c      100   9379      832    60512   72    46005  122761    100    349 0.29
1799.98/1802.21	c      251   9379      983    73950   75    46300  135038    251    756 0.33
1799.98/1802.21	c      476   9379     1208    86025   71    46750  148542    476   1371 0.35
1799.98/1802.21	c      814   9379     1546   103940   67    47426  163397    814   2103 0.39
1799.98/1802.21	c     1327   9378     2059   133534   64    49052  179737   1327   2434 0.55
1799.98/1802.21	c     2090   9378     2822   183340   64    50523  197711   2090   2760 0.76
1799.98/1802.21	c     3236   9378     3968   274512   69    52795  217483   3236   3420 0.95
1799.98/1802.21	c     4957   9375     5689   367145   64    57359  239232   4957   2557 1.94
1799.98/1802.21	c     7541   9375     8273   505711   61    62460  263156   7541   3193 2.36
1799.98/1802.21	c    11423   9373    12155   681282   56    70162  289472  11423   3898 2.93
1799.98/1802.21	c    17245   9371    17977   829464   46    81758  318420  17245   4391 3.93
1799.98/1802.21	c    25983   9368    26715  1038891   38    99054  350263  25983   4304 6.04
1799.98/1802.21	c    39094   9363    39826  1573806   39   126856  385290  39094   4631 8.44
1799.98/1802.21	c    58764   9360    59496  2466997   41   166871  423820  58764   4082 14.39
1799.98/1802.21	c    88276   9360    89008  3515520   39   225818  466203  88276   2929 30.14
1799.98/1802.21	c   132547   9360   133279  5921834   44   314328  512824 132547    931 142.28
1799.98/1802.21	c   198957   9360   199689  9697261   48   447116  564107 198957    642 309.70
1799.98/1802.21	c   298577   9360   299309 14156238   47   646423  620518 298577    447 667.49
1799.98/1802.21	c   448013   9360   448745 20945512   46   945281  682570 448013    430 1039.86
1799.98/1802.21	c Resources Exceeded
1799.98/1802.21	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1802.21	c   19   621074  39129  1796370   621806 27833095 621074    345 1800.01
1799.98/1802.21	s UNKNOWN
1799.98/1802.21	c Total time: 1800.01 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node76/watcher-348865-1176601288 -o ROOT/results/node76/solver-348865-1176601288 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348865-1176601288/instance-348865-1176601288.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.96 0.98 0.99 3/69 27858
/proc/meminfo: memFree=1752808/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=2564 CPUtime=0
/proc/27858/stat : 27858 (bsolo3.0.16) D 27856 27858 26978 0 -1 4194304 60 0 0 0 0 0 0 0 18 0 1 0 108043353 2625536 44 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4817972 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/27858/statm: 641 44 34 324 0 8 0

[startup+0.0189869 s]
/proc/loadavg: 0.96 0.98 0.99 3/69 27858
/proc/meminfo: memFree=1752808/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=12460 CPUtime=0
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 437 0 0 0 0 0 0 0 18 0 1 0 108043353 12759040 406 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 3115 406 289 324 0 2075 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12460

[startup+0.102001 s]
/proc/loadavg: 0.96 0.98 0.99 3/69 27858
/proc/meminfo: memFree=1752808/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=8024 CPUtime=0.08
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 1481 0 0 0 8 0 0 0 18 0 1 0 108043353 8216576 1342 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5253163 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 2006 1342 303 324 0 1074 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8024

[startup+0.30104 s]
/proc/loadavg: 0.96 0.98 0.99 3/69 27858
/proc/meminfo: memFree=1752808/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=8216 CPUtime=0.28
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 1773 0 0 0 26 2 0 0 19 0 1 0 108043353 8413184 1414 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 2054 1414 310 324 0 1122 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8216

[startup+0.701117 s]
/proc/loadavg: 0.96 0.98 0.99 3/69 27858
/proc/meminfo: memFree=1752808/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=9656 CPUtime=0.68
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 2122 0 0 0 63 5 0 0 23 0 1 0 108043353 9887744 1763 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 2414 1763 310 324 0 1482 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9656

[startup+1.50127 s]
/proc/loadavg: 0.96 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1745120/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=12272 CPUtime=1.48
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 2757 0 0 0 137 11 0 0 25 0 1 0 108043353 12566528 2398 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 3068 2398 310 324 0 2136 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12272

[startup+3.10158 s]
/proc/loadavg: 0.96 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1743072/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=17892 CPUtime=3.08
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 4182 0 0 0 289 19 0 0 25 0 1 0 108043353 18321408 3823 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 4473 3823 310 324 0 3541 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17892

[startup+6.30121 s]
/proc/loadavg: 0.96 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1733920/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=25068 CPUtime=6.28
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 5970 0 0 0 605 23 0 0 25 0 1 0 108043353 25669632 5611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 6267 5611 310 324 0 5335 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25068

[startup+12.7014 s]
/proc/loadavg: 0.97 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1716448/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=42548 CPUtime=12.68
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 10333 0 0 0 1229 39 0 0 25 0 1 0 108043353 43569152 9974 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 10637 9974 310 324 0 9705 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42548

[startup+25.5019 s]
/proc/loadavg: 0.97 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1697696/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=59484 CPUtime=25.47
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 14578 0 0 0 2498 49 0 0 25 0 1 0 108043353 60911616 14219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5250988 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 14871 14219 310 324 0 13939 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59484

[startup+51.1019 s]
/proc/loadavg: 0.98 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1683936/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=73144 CPUtime=51.02
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 17987 0 0 0 5044 58 0 0 25 0 1 0 108043353 74899456 17628 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27858/statm: 18286 17628 310 324 0 17354 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 73144

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1671776/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=85192 CPUtime=102.01
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 20991 0 0 0 10137 64 0 0 25 0 1 0 108043353 87236608 20632 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27858/statm: 21298 20632 310 324 0 20366 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 85192

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1642080/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=115176 CPUtime=161.86
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 28504 0 0 0 16102 84 0 0 25 0 1 0 108043353 117940224 28145 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 28794 28145 310 324 0 27862 0
Current children cumulated CPU time (s) 161.86
Current children cumulated vsize (KiB) 115176

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1620000/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=136844 CPUtime=221.81
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 33905 0 0 0 22087 94 0 0 25 0 1 0 108043353 140128256 33546 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 34211 33546 310 324 0 33279 0
Current children cumulated CPU time (s) 221.81
Current children cumulated vsize (KiB) 136844

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1609248/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=147600 CPUtime=281.76
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 36616 0 0 0 28077 99 0 0 25 0 1 0 108043353 151142400 36257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5249285 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 36900 36257 310 324 0 35968 0
Current children cumulated CPU time (s) 281.76
Current children cumulated vsize (KiB) 147600

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1582752/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=173976 CPUtime=341.73
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 43209 0 0 0 34060 113 0 0 25 0 1 0 108043353 178151424 42850 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 43494 42850 310 324 0 42562 0
Current children cumulated CPU time (s) 341.73
Current children cumulated vsize (KiB) 173976

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1570912/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=185836 CPUtime=401.67
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 46161 0 0 0 40048 119 0 0 25 0 1 0 108043353 190296064 45802 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 46459 45802 310 324 0 45527 0
Current children cumulated CPU time (s) 401.67
Current children cumulated vsize (KiB) 185836

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1560224/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=196652 CPUtime=461.62
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 48851 0 0 0 46037 125 0 0 25 0 1 0 108043353 201371648 48492 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 49163 48492 310 324 0 48231 0
Current children cumulated CPU time (s) 461.62
Current children cumulated vsize (KiB) 196652

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1550496/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=206280 CPUtime=521.58
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 51287 0 0 0 52026 132 0 0 25 0 1 0 108043353 211230720 50928 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 51570 50928 310 324 0 50638 0
Current children cumulated CPU time (s) 521.58
Current children cumulated vsize (KiB) 206280

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1543328/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=213476 CPUtime=581.53
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 53069 0 0 0 58016 137 0 0 25 0 1 0 108043353 218599424 52710 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5253163 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 53369 52710 310 324 0 52437 0
Current children cumulated CPU time (s) 581.53
Current children cumulated vsize (KiB) 213476

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27859
/proc/meminfo: memFree=1537120/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=219580 CPUtime=641.48
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 54595 0 0 0 64008 140 0 0 25 0 1 0 108043353 224849920 54236 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 54895 54236 310 324 0 53963 0
Current children cumulated CPU time (s) 641.48
Current children cumulated vsize (KiB) 219580


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

/proc/meminfo: memFree=1398368/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=358052 CPUtime=1121.1
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 89224 0 0 0 111892 218 0 0 25 0 1 0 108043353 366645248 88865 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 89513 88865 310 324 0 88581 0
Current children cumulated CPU time (s) 1121.1
Current children cumulated vsize (KiB) 358052

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/76 27931
/proc/meminfo: memFree=1383768/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=370896 CPUtime=1181.02
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 92431 0 0 0 117871 231 0 0 25 0 1 0 108043353 379797504 92072 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 92724 92072 310 324 0 91792 0
Current children cumulated CPU time (s) 1181.02
Current children cumulated vsize (KiB) 370896

[startup+1242.3 s]
/proc/loadavg: 1.30 1.05 1.02 2/70 28541
/proc/meminfo: memFree=1347256/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=378812 CPUtime=1240.5
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 94414 0 0 0 123802 248 0 0 25 0 1 0 108043353 387903488 94055 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 94703 94055 310 324 0 93771 0
Current children cumulated CPU time (s) 1240.5
Current children cumulated vsize (KiB) 378812

[startup+1302.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/70 28541
/proc/meminfo: memFree=1339864/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=386868 CPUtime=1300.47
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 96427 0 0 0 129793 254 0 0 25 0 1 0 108043353 396152832 96068 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 96717 96068 310 324 0 95785 0
Current children cumulated CPU time (s) 1300.47
Current children cumulated vsize (KiB) 386868

[startup+1362.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/70 28541
/proc/meminfo: memFree=1331992/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=394940 CPUtime=1360.43
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 98424 0 0 0 135784 259 0 0 25 0 1 0 108043353 404418560 98065 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 98735 98065 310 324 0 97803 0
Current children cumulated CPU time (s) 1360.43
Current children cumulated vsize (KiB) 394940

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/70 28541
/proc/meminfo: memFree=1325208/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=401576 CPUtime=1420.38
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 100096 0 0 0 141774 264 0 0 25 0 1 0 108043353 411213824 99737 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 100394 99737 310 324 0 99462 0
Current children cumulated CPU time (s) 1420.38
Current children cumulated vsize (KiB) 401576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/70 28541
/proc/meminfo: memFree=1319832/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=406884 CPUtime=1480.34
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 101433 0 0 0 147765 269 0 0 25 0 1 0 108043353 416649216 101074 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 101721 101074 310 324 0 100789 0
Current children cumulated CPU time (s) 1480.34
Current children cumulated vsize (KiB) 406884

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/70 28541
/proc/meminfo: memFree=1314848/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=411952 CPUtime=1540.31
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 102683 0 0 0 153759 272 0 0 25 0 1 0 108043353 421838848 102324 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 102988 102324 310 324 0 102056 0
Current children cumulated CPU time (s) 1540.31
Current children cumulated vsize (KiB) 411952

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1310688/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=416100 CPUtime=1600.27
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 103724 0 0 0 159752 275 0 0 25 0 1 0 108043353 426086400 103365 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 104025 103365 310 324 0 103093 0
Current children cumulated CPU time (s) 1600.27
Current children cumulated vsize (KiB) 416100

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1305760/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=421044 CPUtime=1660.2
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 104962 0 0 0 165741 279 0 0 25 0 1 0 108043353 431149056 104603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 105261 104603 310 324 0 104329 0
Current children cumulated CPU time (s) 1660.2
Current children cumulated vsize (KiB) 421044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1300896/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=425972 CPUtime=1720.16
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 106185 0 0 0 171733 283 0 0 25 0 1 0 108043353 436195328 105826 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 106493 105826 310 324 0 105561 0
Current children cumulated CPU time (s) 1720.16
Current children cumulated vsize (KiB) 425972

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1296032/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=430660 CPUtime=1780.11
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107382 0 0 0 177725 286 0 0 25 0 1 0 108043353 440995840 107023 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 107665 107023 310 324 0 106733 0
Current children cumulated CPU time (s) 1780.11
Current children cumulated vsize (KiB) 430660

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1295264/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=431436 CPUtime=1789.7
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107564 0 0 0 178684 286 0 0 25 0 1 0 108043353 441790464 107205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 107859 107205 310 324 0 106927 0
Current children cumulated CPU time (s) 1789.7
Current children cumulated vsize (KiB) 431436

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1294880/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=431952 CPUtime=1796.09
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107691 0 0 0 179322 287 0 0 25 0 1 0 108043353 442318848 107332 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 107988 107332 310 324 0 107056 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 431952

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1294688/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=432080 CPUtime=1797.69
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107728 0 0 0 179482 287 0 0 25 0 1 0 108043353 442449920 107369 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 108020 107369 310 324 0 107088 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 432080

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1294496/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=432340 CPUtime=1799.29
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107778 0 0 0 179642 287 0 0 25 0 1 0 108043353 442716160 107419 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5259413 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 108085 107419 310 324 0 107153 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 432340

[startup+1801.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1294368/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=432340 CPUtime=1799.69
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107794 0 0 0 179682 287 0 0 25 0 1 0 108043353 442716160 107435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 108085 107435 310 324 0 107153 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (KiB) 432340

[startup+1802.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1294368/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=432340 CPUtime=1799.88
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107799 0 0 0 179701 287 0 0 25 0 1 0 108043353 442716160 107440 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 108085 107440 310 324 0 107153 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 432340

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28541
/proc/meminfo: memFree=1294368/2055888 swapFree=4087924/4096564
[pid=27858] ppid=27856 vsize=432340 CPUtime=1799.98
/proc/27858/stat : 27858 (bsolo3.0.16) R 27856 27858 26978 0 -1 4194304 107802 0 0 0 179711 287 0 0 25 0 1 0 108043353 442716160 107443 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27858/statm: 108085 107443 310 324 0 107153 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 432340

Child status: 0
Real time (s): 1802.29
CPU time (s): 1800.08
CPU user time (s): 1797.14
CPU system time (s): 2.94355
CPU usage (%): 99.8775
Max. virtual memory (cumulated for all children) (KiB): 432340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.14
system time used= 2.94355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107804
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= 12
involuntary context switches= 8906

runsolver used 1.43878 second user time and 3.74243 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Sun Apr 15 01:41:28 UTC 2007

IDJOB= 348865
IDBENCH= 1763
IDSOLVER= 163
FILE ID= node76/348865-1176601288

PBS_JOBID= 4556982

Free space on /tmp= 66647 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1cl.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348865-1176601288/instance-348865-1176601288.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-348865-1176601288 -o ROOT/results/node76/solver-348865-1176601288 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348865-1176601288/instance-348865-1176601288.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  1e246214338ba705536e85585a980117

RANDOM SEED= 197566098

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277
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	: 6006.17
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.277
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1753216 kB
Buffers:         55844 kB
Cached:         164108 kB
SwapCached:       1252 kB
Active:          28236 kB
Inactive:       203408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1753216 kB
SwapTotal:     4096564 kB
SwapFree:      4087924 kB
Dirty:            4812 kB
Writeback:           0 kB
Mapped:          17716 kB
Slab:            57440 kB
Committed_AS:  2791288 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66647 MiB

End job on node76 on Sun Apr 15 02:11:30 UTC 2007