Trace number 348189

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? (TO) 1800.18 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sierra.opb
MD5SUMbc13f5c9713036f697e6f30ffdababe9
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 variables38715
Total number of constraints3263
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 constraints3263
Minimum length of a constraint10
Maximum length of a constraint498
Number of terms in the objective function 36989
Biggest coefficient in the objective function 29466
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 555161
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260604
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 555161
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.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Time Limit set to 1800
0.00/0.03	c Memory Limit set to 1800 MB
0.00/0.03	c Instance file /tmp/evaluation/348189-1176572821/instance-348189-1176572821.opb
0.00/0.03	c File size is 2358819 bytes.
0.37/0.47	c Highest Coefficient sum: 555161
0.37/0.47	c Parsing was ok!!
0.37/0.47	c Total parsing time: 0.443 s
0.37/0.49	c Var: 38715 Constr: 3791 0/0/3791 Lit: 253409 Watch. Lit: 30657
0.37/0.49	c Obj. Vars: 36989 (95.5418 % of total variables)
2.86/2.90	c Pre-processing Time: 2.872 s
2.86/2.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.86/2.90	c        0  37689     3470   244866   70   126834  489732      0      0 2.87
2.86/2.90	c Switching off LPR mode.
1800.00/1800.60	c      104  37689     3574   257285   71   138873  538706    104     35 2.93
1800.00/1800.60	c      254  37689     3724   279551   75   139089  592577    254     85 2.97
1800.00/1800.60	c      482  37689     3952   313186   79   139599  651835    482    159 3.02
1800.00/1800.60	c      820  37689     4290   361651   84   140207  717019    820    264 3.10
1800.00/1800.60	c     1328  37689     4798   433470   90   141252  788721   1328    410 3.24
1800.00/1800.60	c     2091  37689     5561   533663   95   142738  867594   2091    611 3.42
1800.00/1800.60	c     3237  37689     6707   658404   98   145046  954354   3237    883 3.66
1800.00/1800.60	c     4958  37689     8428   851799  101   148431  500000   4958   1178 4.21
1800.00/1800.60	c     7542  37689    11012  1127547  102   153618  550001   7542   1428 5.28
1800.00/1800.60	c    11421  37689    14891  1451032   97   161362  605002  11421   1698 6.72
1800.00/1800.60	c    17244  37689    20714  2077538  100   172995  665503  17244   1748 9.86
1800.00/1800.60	c    25981  37689    29451  2829489   96   190456  732054  25981   1619 16.05
1800.00/1800.60	c    39094  37689    42564  5477878  128   216974  805260  39094   1303 29.98
1800.00/1800.60	c    58766  37689    62236  7246070  116   256380  885787  58766    787 74.62
1800.00/1800.60	c    88277  37688    91747  9732090  106   315963  974366  88277    558 158.03
1800.00/1800.60	c   132548  37688   136018 15791992  116   423590  500000 132548    380 348.03
1800.00/1800.60	c   198958  37688   202428 24894435  122   563496  550001 198958    485 409.64
1800.00/1800.60	c   298578  37688   302048 52476731  173   762736  605002 298578    402 742.49
1800.00/1800.60	c Resources Exceeded
1800.00/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.60	c   18   432852  18502   582417   436322 79839589 432852    240 1800.01
1800.00/1800.60	s UNKNOWN
1800.00/1800.60	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/node27/watcher-348189-1176572821 -o ROOT/results/node27/solver-348189-1176572821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348189-1176572821/instance-348189-1176572821.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.91 0.97 0.99 3/65 21031
/proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=3780 CPUtime=0
/proc/21031/stat : 21031 (bsolo3.0.16) D 21029 21031 20249 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 69978072 3870720 186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1598128 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/21031/statm: 945 186 159 324 0 14 0

[startup+0.107189 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 21031
/proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=17280 CPUtime=0.07
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 1291 0 6 0 7 0 0 0 18 0 1 0 69978072 17694720 1225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1847433 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21031/statm: 4320 1225 377 324 0 2813 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17280

[startup+0.202195 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 21031
/proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=10124 CPUtime=0.16
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 1601 0 6 0 16 0 0 0 18 0 1 0 69978072 10366976 1535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1932894 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21031/statm: 2531 1535 513 324 0 1024 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10124

[startup+0.302207 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 21031
/proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=11032 CPUtime=0.26
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 1969 0 6 0 26 0 0 0 19 0 1 0 69978072 11296768 1903 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1900072 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21031/statm: 2758 1903 645 324 0 1251 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 11032

[startup+0.702247 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 21031
/proc/meminfo: memFree=1798000/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=20604 CPUtime=0.66
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 5248 0 7 0 63 3 0 0 23 0 1 0 69978072 21098496 4458 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134545479 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21031/statm: 5151 4458 308 324 0 4220 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 20604

[startup+1.50232 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1780968/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=20084 CPUtime=1.46
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 5406 0 7 0 142 4 0 0 25 0 1 0 69978072 20566016 4312 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 5021 4312 308 324 0 4090 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20084

[startup+3.10148 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1780840/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=20088 CPUtime=3.06
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 5423 0 7 0 300 6 0 0 25 0 1 0 69978072 20570112 4329 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 5022 4329 312 324 0 4091 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 20088

[startup+6.30181 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1771368/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=32104 CPUtime=6.26
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 8427 0 7 0 617 9 0 0 25 0 1 0 69978072 32874496 7333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 8026 7333 312 324 0 7095 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 32104

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1754280/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=47556 CPUtime=12.66
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 12283 0 7 0 1254 12 0 0 25 0 1 0 69978072 48697344 11189 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 11889 11189 312 324 0 10958 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 47556

[startup+25.5018 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1720744/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=80296 CPUtime=25.45
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 20478 0 7 0 2526 19 0 0 25 0 1 0 69978072 82223104 19384 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 20074 19384 312 324 0 19143 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 80296

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1700328/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=100692 CPUtime=51.03
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 25582 0 7 0 5077 26 0 0 25 0 1 0 69978072 103108608 24488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 25173 24488 312 324 0 24242 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 100692

[startup+102.302 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1674280/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=126432 CPUtime=102.23
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 32025 0 7 0 10186 37 0 0 25 0 1 0 69978072 129466368 30931 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 31608 30931 312 324 0 30677 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 126432

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1652328/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=148564 CPUtime=162.21
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 37543 0 7 0 16173 48 0 0 25 0 1 0 69978072 152129536 36449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 37141 36449 312 324 0 36210 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 148564

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1639272/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=161456 CPUtime=222.2
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 40762 0 7 0 22166 54 0 0 25 0 1 0 69978072 165330944 39668 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 40364 39668 312 324 0 39433 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 161456

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1628584/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=172180 CPUtime=282.18
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 43463 0 7 0 28159 59 0 0 25 0 1 0 69978072 176312320 42369 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 43045 42369 312 324 0 42114 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 172180

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1579048/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=221888 CPUtime=342.17
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 55889 0 7 0 34143 74 0 0 25 0 1 0 69978072 227213312 54795 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 55472 54795 312 324 0 54541 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 221888

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1453864/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=346976 CPUtime=402.15
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 87187 0 7 0 40109 106 0 0 25 0 1 0 69978072 355303424 86093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 86744 86093 312 324 0 85813 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 346976

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1315688/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=484696 CPUtime=462.14
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 121605 0 7 0 46082 132 0 0 25 0 1 0 69978072 496328704 120511 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 121174 120511 312 324 0 120243 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 484696

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1251496/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=549288 CPUtime=522.12
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 137743 0 7 0 52068 144 0 0 25 0 1 0 69978072 562470912 136649 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 137322 136649 312 324 0 136391 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 549288

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1198312/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=601700 CPUtime=582.11
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 150849 0 7 0 58051 160 0 0 25 0 1 0 69978072 616140800 149755 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 150425 149755 312 324 0 149494 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 601700

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21032
/proc/meminfo: memFree=1160552/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=639668 CPUtime=642.09
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 160350 0 7 0 64039 170 0 0 25 0 1 0 69978072 655020032 159256 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 159917 159256 312 324 0 158986 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 639668


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

[startup+882.307 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 21204
/proc/meminfo: memFree=967912/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=829900 CPUtime=881.95
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 207913 0 7 0 87978 217 0 0 25 0 1 0 69978072 849817600 206819 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 207475 206819 312 324 0 206544 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 829900

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=947688/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=851360 CPUtime=941.91
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 213280 0 7 0 93967 224 0 0 25 0 1 0 69978072 871792640 212186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 212840 212186 312 324 0 211909 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 851360

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=926056/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=872720 CPUtime=1001.9
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 218615 0 7 0 99959 231 0 0 25 0 1 0 69978072 893665280 217521 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 218180 217521 312 324 0 217249 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 872720

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=907176/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=891804 CPUtime=1061.88
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 223382 0 7 0 105953 235 0 0 25 0 1 0 69978072 913207296 222288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 222951 222288 312 324 0 222020 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 891804

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=909320 CPUtime=1121.87
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 227748 0 7 0 111946 241 0 0 25 0 1 0 69978072 931143680 226654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 227330 226654 312 324 0 226399 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 909320

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=871592/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=927480 CPUtime=1181.85
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 232305 0 7 0 117939 246 0 0 25 0 1 0 69978072 949739520 231211 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 231870 231211 312 324 0 230939 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 927480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=853800/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=945128 CPUtime=1241.84
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 236700 0 7 0 123931 253 0 0 25 0 1 0 69978072 967811072 235606 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 236282 235606 312 324 0 235351 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 945128

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=834984/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=964208 CPUtime=1301.83
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 241468 0 7 0 129923 260 0 0 25 0 1 0 69978072 987348992 240374 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 241052 240374 312 324 0 240121 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 964208

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=824872/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=973892 CPUtime=1361.8
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 243917 0 7 0 135918 262 0 0 25 0 1 0 69978072 997265408 242823 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 243473 242823 312 324 0 242542 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 973892

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=812712/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=985884 CPUtime=1421.8
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 246904 0 7 0 141915 265 0 0 25 0 1 0 69978072 1009545216 245810 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 246471 245810 312 324 0 245540 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 985884

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=796840/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=1001812 CPUtime=1481.77
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 250879 0 7 0 147907 270 0 0 25 0 1 0 69978072 1025855488 249785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 250453 249785 312 324 0 249522 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1001812

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=785064/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=1013464 CPUtime=1541.77
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 253797 0 7 0 153904 273 0 0 25 0 1 0 69978072 1037787136 252703 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 253366 252703 312 324 0 252435 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1013464

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=767720/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=1030948 CPUtime=1601.75
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 258184 0 7 0 159896 279 0 0 25 0 1 0 69978072 1055690752 257090 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 257737 257090 312 324 0 256806 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1030948

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=754472/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=1043968 CPUtime=1661.74
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 261435 0 7 0 165890 284 0 0 25 0 1 0 69978072 1069023232 260341 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 260992 260341 312 324 0 260061 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1043968

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=739304/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=1059196 CPUtime=1721.71
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 265242 0 7 0 171884 287 0 0 25 0 1 0 69978072 1084616704 264148 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 264799 264148 312 324 0 263868 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1059196

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=722920/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=1075492 CPUtime=1781.7
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194304 269304 0 7 0 177878 292 0 0 25 0 1 0 69978072 1101303808 268210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 268873 268210 312 324 0 267942 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1075492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 21230
/proc/meminfo: memFree=720168/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=0 CPUtime=1800
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194308 269981 0 7 0 179707 293 0 0 25 0 1 0 69978072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 21231
/proc/meminfo: memFree=1346400/2055920 swapFree=4192812/4192956
[pid=21031] ppid=21029 vsize=0 CPUtime=1800.11
/proc/21031/stat : 21031 (bsolo3.0.16) R 21029 21031 20249 0 -1 4194308 269981 0 7 0 179707 304 0 0 25 0 1 0 69978072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21031/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.18
CPU user time (s): 1797.07
CPU system time (s): 3.10653
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 1078200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.07
system time used= 3.10653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269981
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 3318

runsolver used 1.20982 second user time and 3.81042 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Sat Apr 14 17:47:02 UTC 2007

IDJOB= 348189
IDBENCH= 1637
IDSOLVER= 163
FILE ID= node27/348189-1176572821

PBS_JOBID= 4556876

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sierra.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348189-1176572821/instance-348189-1176572821.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-348189-1176572821 -o ROOT/results/node27/solver-348189-1176572821 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348189-1176572821/instance-348189-1176572821.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  bc13f5c9713036f697e6f30ffdababe9

RANDOM SEED= 807911546

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1798408 kB
Buffers:         13152 kB
Cached:         132912 kB
SwapCached:          0 kB
Active:          48408 kB
Inactive:       113696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798408 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6692 kB
Writeback:           0 kB
Mapped:          26468 kB
Slab:            81444 kB
Committed_AS:    93760 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node27 on Sat Apr 14 18:17:04 UTC 2007