Trace number 2657340

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 Cl? 1798 1798.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
MD5SUM487945ea0e229650aa78cf341d4ff673
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 variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4465
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657340-1276600114.opb
0.00/0.00	c File size is 6706 bytes.
0.00/0.00	c Highest Coefficient sum: 4465
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 61 Constr: 15 1/0/14 Lit: 819 Watch. Lit: 267
0.00/0.00	c Obj. Vars: 1 (1.63934 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     60       14      818   58      270    1636      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.95/1798.45	c      100     60      114     5333   46      650    1800    100   7692 0.01
1797.95/1798.45	c      250     60      264    11872   44      937    1981    250   9259 0.03
1797.95/1798.45	c      476     60      490    21466   43     1400    2180    476   9333 0.05
1797.95/1798.45	c      815     60      829    36449   43     2074    2399    815   9476 0.09
1797.95/1798.45	c     1323     60     1337    58942   44     3081    2639   1323   9450 0.14
1797.95/1798.45	c     2086     60     2100    92590   44     4617    2903   2086   8838 0.24
1797.95/1798.45	c     3232     60     1752    79553   45     3914    3194   1738   7980 0.41
1797.95/1798.45	c     4953     60     1843    83341   45     4108    3514   1829   7283 0.68
1797.95/1798.45	c     7537     60     2624   115300   43     5662    3866   2610   6946 1.08
1797.95/1798.45	c    11416     60     2541   119218   46     5503    4253   2527   6486 1.76
1797.95/1798.45	c    17238     60     4021   185698   46     8466    4679   4007   6143 2.81
1797.95/1798.45	c    25975     60     3219   150794   46     6847    5147   3205   5612 4.63
1797.95/1798.45	c    39085     60     3246   154395   47     6906    5662   3232   5321 7.34
1797.95/1798.45	c    58755     60     2846   133936   47     6108    6229   2832   4959 11.85
1797.95/1798.45	c    88265     60     3940   190163   48     8311    6852   3926   4510 19.57
1797.95/1798.45	c   132535     60     6578   314630   47    13577    7538   6564   4175 31.74
1797.95/1798.45	c   198946     60     4357   207758   47     9143    8292   4343   3858 51.55
1797.95/1798.45	c   298566     60     7665   374062   48    15750    9122   7651   3484 85.68
1797.95/1798.45	c   448001     60     5193   249796   48    10794   10035   5179   3073 145.75
1797.95/1798.45	c   672160     60     6845   319532   46    14118   11039   6831   2955 227.46
1797.95/1798.45	c  1008403     60     9571   448825   46    19569   12143   9557   2680 376.15
1797.95/1798.45	c  1512774     60     6667   322180   48    13766   13358   6653   2455 616.20
1797.95/1798.45	c  2269337     60    10548   513136   48    21522   14694  10534   2248 1009.37
1797.95/1798.45	c  3404188     60     7797   364842   46    16017   16164   7783   1951 1744.81
1797.95/1798.45	c Resources Exceeded
1797.95/1798.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.45	c   24  3506477  41811  3549597    12578   590595  12564   1950 1798.00
1797.95/1798.45	s UNKNOWN
1797.95/1798.45	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657340-1276600114/watcher-2657340-1276600114 -o /tmp/evaluation-result-2657340-1276600114/solver-2657340-1276600114 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657340-1276600114.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.92 0.98 0.99 3/106 4195
/proc/meminfo: memFree=1845692/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=26412 CPUtime=0
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 324 0 0 0 0 0 0 0 24 0 1 0 33667720 27045888 241 1992294400 134512640 137138936 4291294016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6603 242 190 642 0 5959 0

[startup+0.0465539 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4195
/proc/meminfo: memFree=1845692/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=18856 CPUtime=0.04
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 387 0 0 0 4 0 0 0 24 0 1 0 33667720 19308544 304 1992294400 134512640 137138936 4291294016 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 4714 305 190 642 0 4070 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18856

[startup+0.101954 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4195
/proc/meminfo: memFree=1845692/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=19112 CPUtime=0.09
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 477 0 0 0 9 0 0 0 24 0 1 0 33667720 19570688 394 1992294400 134512640 137138936 4291294016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 4778 394 190 642 0 4134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19112

[startup+0.300579 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4195
/proc/meminfo: memFree=1845692/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=20276 CPUtime=0.29
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 746 0 0 0 29 0 0 0 25 0 1 0 33667720 20762624 663 1992294400 134512640 137138936 4291294016 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 5069 663 190 642 0 4425 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20276

[startup+0.700616 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4195
/proc/meminfo: memFree=1845692/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=20792 CPUtime=0.69
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 880 0 0 0 69 0 0 0 25 0 1 0 33667720 21291008 797 1992294400 134512640 137138936 4291294016 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 5198 797 190 642 0 4554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20792

[startup+1.50069 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4196
/proc/meminfo: memFree=1842708/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=21176 CPUtime=1.49
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 993 0 0 0 148 1 0 0 25 0 1 0 33667720 21684224 910 1992294400 134512640 137138936 4291294016 18446744073709551615 134617976 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 5294 910 190 642 0 4650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21176

[startup+3.10085 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4196
/proc/meminfo: memFree=1842088/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=21820 CPUtime=3.09
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 1154 0 0 0 307 2 0 0 25 0 1 0 33667720 22343680 1071 1992294400 134512640 137138936 4291294016 18446744073709551615 134600348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 5455 1071 190 642 0 4811 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21820

[startup+6.30115 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4196
/proc/meminfo: memFree=1841468/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=22320 CPUtime=6.29
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 1258 0 0 0 625 4 0 0 25 0 1 0 33667720 22855680 1175 1992294400 134512640 137138936 4291294016 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 5580 1175 190 642 0 4936 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22320

[startup+12.7008 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 4196
/proc/meminfo: memFree=1840972/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=23092 CPUtime=12.69
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 1455 0 0 0 1261 8 0 0 25 0 1 0 33667720 23646208 1372 1992294400 134512640 137138936 4291294016 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 5773 1372 190 642 0 5129 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23092

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 4196
/proc/meminfo: memFree=1840104/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=23560 CPUtime=25.48
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 1586 0 0 0 2535 13 0 0 25 0 1 0 33667720 24125440 1503 1992294400 134512640 137138936 4291294016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 5890 1503 190 642 0 5246 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23560

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 4196
/proc/meminfo: memFree=1839608/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=24072 CPUtime=51.08
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 1699 0 0 0 5084 24 0 0 25 0 1 0 33667720 24649728 1616 1992294400 134512640 137138936 4291294016 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6018 1616 190 642 0 5374 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24072

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 4198
/proc/meminfo: memFree=1838120/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=25444 CPUtime=102.28
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2041 0 0 0 10185 43 0 0 25 0 1 0 33667720 26054656 1958 1992294400 134512640 137138936 4291294016 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6361 1958 190 642 0 5717 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 25444

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4200
/proc/meminfo: memFree=1837500/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=25888 CPUtime=162.25
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2154 0 0 0 16161 64 0 0 25 0 1 0 33667720 26509312 2071 1992294400 134512640 137138936 4291294016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6472 2071 190 642 0 5828 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 25888

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4202
/proc/meminfo: memFree=1837500/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=25876 CPUtime=222.23
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2154 0 0 0 22139 84 0 0 25 0 1 0 33667720 26497024 2071 1992294400 134512640 137138936 4291294016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6469 2071 190 642 0 5825 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25876

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4202
/proc/meminfo: memFree=1836756/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=26640 CPUtime=282.22
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2348 0 0 0 28120 102 0 0 25 0 1 0 33667720 27279360 2265 1992294400 134512640 137138936 4291294016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6660 2265 190 642 0 6016 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26640

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4204
/proc/meminfo: memFree=1836632/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=26752 CPUtime=342.21
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2375 0 0 0 34102 119 0 0 25 0 1 0 33667720 27394048 2292 1992294400 134512640 137138936 4291294016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6688 2292 190 642 0 6044 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 26752

[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4206
/proc/meminfo: memFree=1835888/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=27476 CPUtime=402.19
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2558 0 0 0 40080 139 0 0 25 0 1 0 33667720 28135424 2475 1992294400 134512640 137138936 4291294016 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6869 2475 190 642 0 6225 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 27476

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4208
/proc/meminfo: memFree=1835764/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=27564 CPUtime=462.18
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2574 0 0 0 46059 159 0 0 25 0 1 0 33667720 28225536 2491 1992294400 134512640 137138936 4291294016 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6891 2491 190 642 0 6247 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 27564

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4210
/proc/meminfo: memFree=1835764/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=27520 CPUtime=522.16
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2574 0 0 0 52040 176 0 0 25 0 1 0 33667720 28180480 2491 1992294400 134512640 137138936 4291294016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6880 2491 190 642 0 6236 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 27520

[startup+582.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4210
/proc/meminfo: memFree=1835516/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=27608 CPUtime=582.14
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2597 0 0 0 58020 194 0 0 25 0 1 0 33667720 28270592 2514 1992294400 134512640 137138936 4291294016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 6902 2514 190 642 0 6258 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 27608

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4212
/proc/meminfo: memFree=1834648/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=28460 CPUtime=642.14
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2814 0 0 0 64002 212 0 0 25 0 1 0 33667720 29143040 2731 1992294400 134512640 137138936 4291294016 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7115 2731 190 642 0 6471 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 28460

[startup+702.301 s]

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

/proc/meminfo: memFree=1833532/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29180 CPUtime=1122.01
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2992 0 0 0 111853 348 0 0 25 0 1 0 33667720 29880320 2909 1992294400 134512640 137138936 4291294016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7295 2909 190 642 0 6651 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 29180

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4226
/proc/meminfo: memFree=1833408/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29180 CPUtime=1182
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2992 0 0 0 117836 364 0 0 25 0 1 0 33667720 29880320 2909 1992294400 134512640 137138936 4291294016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7295 2909 190 642 0 6651 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 29180

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4228
/proc/meminfo: memFree=1833284/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29180 CPUtime=1241.98
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2993 0 0 0 123818 380 0 0 25 0 1 0 33667720 29880320 2910 1992294400 134512640 137138936 4291294016 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7295 2910 190 642 0 6651 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 29180

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4230
/proc/meminfo: memFree=1833160/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29180 CPUtime=1301.97
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2993 0 0 0 129804 393 0 0 25 0 1 0 33667720 29880320 2910 1992294400 134512640 137138936 4291294016 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7295 2910 190 642 0 6651 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 29180

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4232
/proc/meminfo: memFree=1833160/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29180 CPUtime=1361.95
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2998 0 0 0 135789 406 0 0 25 0 1 0 33667720 29880320 2915 1992294400 134512640 137138936 4291294016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7295 2915 190 642 0 6651 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 29180

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4234
/proc/meminfo: memFree=1833160/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29180 CPUtime=1421.94
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2998 0 0 0 141772 422 0 0 25 0 1 0 33667720 29880320 2915 1992294400 134512640 137138936 4291294016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7295 2915 190 642 0 6651 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 29180

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4234
/proc/meminfo: memFree=1833036/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29180 CPUtime=1481.92
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 2998 0 0 0 147755 437 0 0 25 0 1 0 33667720 29880320 2915 1992294400 134512640 137138936 4291294016 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7295 2915 190 642 0 6651 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 29180

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4236
/proc/meminfo: memFree=1833036/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29416 CPUtime=1541.91
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3040 0 0 0 153740 451 0 0 25 0 1 0 33667720 30121984 2957 1992294400 134512640 137138936 4291294016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7354 2957 190 642 0 6710 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 29416

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4238
/proc/meminfo: memFree=1833036/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29388 CPUtime=1601.89
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3040 0 0 0 159720 469 0 0 25 0 1 0 33667720 30093312 2957 1992294400 134512640 137138936 4291294016 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7347 2957 190 642 0 6703 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 29388

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4240
/proc/meminfo: memFree=1832912/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29440 CPUtime=1661.87
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3052 0 0 0 165702 485 0 0 25 0 1 0 33667720 30146560 2969 1992294400 134512640 137138936 4291294016 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7360 2969 190 642 0 6716 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 29440

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4242
/proc/meminfo: memFree=1832788/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=29440 CPUtime=1721.86
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3052 0 0 0 171686 500 0 0 25 0 1 0 33667720 30146560 2969 1992294400 134512640 137138936 4291294016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7360 2969 190 642 0 6716 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 29440

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4245
/proc/meminfo: memFree=1831052/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30472 CPUtime=1781.85
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3318 0 0 0 177669 516 0 0 25 0 1 0 33667720 31203328 3235 1992294400 134512640 137138936 4291294016 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7618 3235 190 642 0 6974 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 30472

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 4245
/proc/meminfo: memFree=1831176/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30564 CPUtime=1791.45
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3333 0 0 0 178627 518 0 0 25 0 1 0 33667720 31297536 3250 1992294400 134512640 137138936 4291294016 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7641 3250 190 642 0 6997 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 30564

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4247
/proc/meminfo: memFree=1831176/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30564 CPUtime=1794.65
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3333 0 0 0 178946 519 0 0 25 0 1 0 33667720 31297536 3250 1992294400 134512640 137138936 4291294016 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7641 3250 190 642 0 6997 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 30564

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4247
/proc/meminfo: memFree=1831176/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30564 CPUtime=1796.24
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3333 0 0 0 179105 519 0 0 25 0 1 0 33667720 31297536 3250 1992294400 134512640 137138936 4291294016 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7641 3250 190 642 0 6997 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 30564

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4247
/proc/meminfo: memFree=1831176/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30564 CPUtime=1797.04
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3333 0 0 0 179184 520 0 0 25 0 1 0 33667720 31297536 3250 1992294400 134512640 137138936 4291294016 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7641 3250 190 642 0 6997 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 30564

[startup+1797.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4247
/proc/meminfo: memFree=1831176/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30564 CPUtime=1797.44
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3333 0 0 0 179224 520 0 0 25 0 1 0 33667720 31297536 3250 1992294400 134512640 137138936 4291294016 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7641 3250 190 642 0 6997 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 30564

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4247
/proc/meminfo: memFree=1831176/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30564 CPUtime=1797.84
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3333 0 0 0 179264 520 0 0 25 0 1 0 33667720 31297536 3250 1992294400 134512640 137138936 4291294016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7641 3250 190 642 0 6997 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 30564

[startup+1798.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4247
/proc/meminfo: memFree=1831176/2059040 swapFree=4140256/4192956
[pid=4195] ppid=4193 vsize=30564 CPUtime=1797.95
/proc/4195/stat : 4195 (bsolo_pb10) R 4193 4195 4170 0 -1 4202496 3333 0 0 0 179275 520 0 0 25 0 1 0 33667720 31297536 3250 1992294400 134512640 137138936 4291294016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4195/statm: 7641 3250 190 642 0 6997 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 30564

Child status: 0
Real time (s): 1798.45
CPU time (s): 1798
CPU user time (s): 1792.8
CPU system time (s): 5.20721
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 30564

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

runsolver used 3.13752 second user time and 8.32073 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-15 13:08:34
IDJOB=2657340
IDBENCH=2900
IDSOLVER=1163
FILE ID=node018/2657340-1276600114
PBS_JOBID= 11172240
Free space on /tmp= 62488 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657340-1276600114/watcher-2657340-1276600114 -o /tmp/evaluation-result-2657340-1276600114/solver-2657340-1276600114 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657340-1276600114.opb

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

MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673
RANDOM SEED=1635996078

node018.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.248
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.49
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1846220 kB
Buffers:         33696 kB
Cached:          91956 kB
SwapCached:       6108 kB
Active:          83608 kB
Inactive:        55240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1846220 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:            4012 kB
Writeback:           0 kB
AnonPages:       11476 kB
Mapped:          12980 kB
Slab:            52256 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180620 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= 62484 MiB
End job on node018 at 2010-06-15 13:38:32