Trace number 3462531

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.2OPT3 351.53 351.541

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb
MD5SUMfb1c97600aa303ca13bb2482d5ad3e27
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.106983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables81
Total number of constraints7
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 constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462531-1307181171.opb
0.00/0.00	c File size is 4313 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
16.29/16.31	c      103    324      692    13097   18     2296    3039    196   4904 0.02
16.29/16.31	c      254    324      971    28457   29     3042    3343    475   5772 0.04
16.29/16.31	c      480    324     1409    54528   38     4223    3678    913   5714 0.08
16.29/16.31	c      820    324     2077    97802   47     6037    4046   1581   5290 0.15
16.29/16.31	c     1328    324     3070   163380   53     8728    4451   2574   4611 0.29
16.29/16.31	c     2092    324     4576   261729   57    12881    4897   4080   4000 0.52
16.29/16.31	c     3239    324     4026   263644   65    10312    5387   3530   3964 0.82
16.29/16.31	c     4961    324     4372   257109   58    11571    5926   3876   3738 1.33
16.29/16.31	c     7545    324     6300   391473   62    16000    6519   5804   3142 2.40
16.29/16.31	c    11425    324     6868   462274   67    17623    7171   6372   2972 3.84
16.29/16.31	c    17248    324     6576   401288   61    17013    7889   6080   2892 5.96
16.29/16.31	c    25985    324     7010   474008   67    17925    8678   6514   2725 9.54
16.29/16.31	c    39096    324     4836   301181   62    12519    9546   4340   2519 15.52
16.29/16.31	o 449
43.38/43.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.38/43.47	c    41354    324     9181   619541   67    23471    2780   8685   2535 16.31
43.38/43.47	c    41455    324     2087   128337   61     5458    3059   1591   2534 16.36
43.38/43.47	c    41707    324     2571   164431   63     6624    3365   2075   2542 16.41
43.38/43.47	c    42182    324     3514   224842   63     9203    3702   3018   2557 16.50
43.38/43.47	c    42995    324     3167   180152   56     8342    4073   2671   2574 16.70
43.38/43.47	c    44318    324     3637   198173   54     9607    4481   3141   2596 17.07
43.38/43.47	c    46400    324     3037   173599   57     7826    4930   2541   2616 17.74
43.38/43.47	c    49624    324     4060   244411   60    10623    5424   3564   2650 18.72
43.38/43.47	c    54561    324     4488   284622   63    11261    5967   3992   2650 20.59
43.38/43.47	c    62068    324     3515   202213   57     8766    6564   3019   2618 23.70
43.38/43.47	c    73429    324     4751   299938   63    12183    7221   4255   2617 28.05
43.38/43.47	c    90574    324     6103   380648   62    15401    7944   5607   2525 35.87
43.38/43.47	o 267
45.49/45.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.49/45.54	c   105667    324     4745   330672   69    11223    2781   4249   2430 43.47
45.49/45.54	c   105768    324     2083   129268   62     5260    3060   1587   2431 43.50
45.49/45.54	c   106018    324     2560   160495   62     6477    3367   2064   2434 43.55
45.49/45.54	c   106493    324     3463   220515   63     8903    3704   2967   2439 43.66
45.49/45.54	c   107307    324     3004   163554   54     8018    4075   2508   2446 43.85
45.49/45.54	c   108627    324     3390   185826   54     8920    4483   2894   2455 44.25
45.49/45.54	c   110709    324     4878   334645   68    12785    4932   4382   2460 45.00
45.49/45.54	o 35
47.09/47.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.09/47.16	c   112308    324     5370   375791   69    13695    2781   4874   2465 45.55
47.09/47.16	c   112408    314     2070   125835   60     5354    3060   1574   2466 45.58
47.09/47.16	c   112658    314     2542   154478   60     6604    3367   2046   2468 45.63
47.09/47.16	c   113134    314     3453   210464   60     8965    3704   2957   2473 45.74
47.09/47.16	c   113947    314     3100   174121   56     8081    4075   2604   2478 45.97
47.09/47.16	c   115268    314     3498   192424   55     9094    4483   3002   2486 46.36
47.09/47.16	c   117349    314     2845   152406   53     7375    4932   2349   2493 47.05
47.09/47.16	o 3
351.48/351.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
351.48/351.54	c   117798    314     3684   202945   55     9607    2778   3188   2497 47.17
351.48/351.54	c   117899    284     2077   107091   51     5459    3056   1581   2498 47.19
351.48/351.54	c   118152    235     2520   134581   53     6576    3362   2024   2500 47.25
351.48/351.54	c   118629    235     3437   192162   55     9032    3699   2941   2504 47.36
351.48/351.54	c   119442    235     3008   165895   55     8071    4069   2512   2511 47.57
351.48/351.54	c   120762    235     3236   200222   61     8569    4476   2740   2520 47.91
351.48/351.54	c   122843    235     4850   274778   56    13175    4924   4354   2536 48.42
351.48/351.54	c   126067    235     3250   170634   52     8596    5417   2754   2547 49.48
351.48/351.54	c   131003    235     4263   237004   55    11122    5959   3767   2567 51.03
351.48/351.54	c   138509    235     6186   396036   64    16464    6555   5690   2586 53.55
351.48/351.54	c   149871    235     5910   337631   57    15075    7211   5414   2579 58.11
351.48/351.54	c   167015    235     4271   252861   59    10974    7933   3775   2602 64.16
351.48/351.54	c   192835    235     6854   451930   65    17032    8727   6358   2545 75.75
351.48/351.54	c   231669    235     8889   580926   65    23164    9600   8393   2516 92.05
351.48/351.54	c   290021    235     5896   340181   57    15063   10561   5400   2457 118.01
351.48/351.54	c   377653    235    10120   702206   69    25696   11618   9624   2329 162.12
351.48/351.54	c   509207    234     9994   638187   63    26331   12780   9498   2299 221.40
351.48/351.54	c   706640    231     8879   544103   61    22880   14059   8383   2126 332.36
351.48/351.54	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 
351.48/351.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
351.48/351.54	c   57   737218   5445   756487    11059   543330  10563   2097 351.53
351.48/351.54	c Objective: 3
351.48/351.54	s OPTIMUM FOUND
351.48/351.54	c Total time: 351.527 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462531-1307181171/watcher-3462531-1307181171 -o /tmp/evaluation-result-3462531-1307181171/solver-3462531-1307181171 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462531-1307181171.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/436 30554
/proc/meminfo: memFree=20156816/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=10920 CPUtime=0.01 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 338 0 0 0 1 0 0 0 25 0 1 0 829714981 11182080 290 33554432000 134512640 137138936 4294141648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 2730 291 192 642 0 2086 0

[startup+0.0845749 s]
/proc/loadavg: 2.04 2.01 2.00 3/436 30554
/proc/meminfo: memFree=20156816/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=11572 CPUtime=0.08 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 511 0 0 0 8 0 0 0 25 0 1 0 829714981 11849728 463 33554432000 134512640 137138936 4294141648 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 2893 463 192 642 0 2249 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11572

[startup+0.100571 s]
/proc/loadavg: 2.04 2.01 2.00 3/436 30554
/proc/meminfo: memFree=20156816/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=11828 CPUtime=0.09 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 550 0 0 0 9 0 0 0 25 0 1 0 829714981 12111872 502 33554432000 134512640 137138936 4294141648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 2957 502 192 642 0 2313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11828

[startup+0.300528 s]
/proc/loadavg: 2.04 2.01 2.00 3/436 30554
/proc/meminfo: memFree=20156816/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=13384 CPUtime=0.29 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 937 0 0 0 29 0 0 0 25 0 1 0 829714981 13705216 889 33554432000 134512640 137138936 4294141648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 3346 889 192 642 0 2702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13384

[startup+0.700414 s]
/proc/loadavg: 2.04 2.01 2.00 3/436 30554
/proc/meminfo: memFree=20156816/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=15968 CPUtime=0.69 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 1594 0 0 0 69 0 0 0 25 0 1 0 829714981 16351232 1546 33554432000 134512640 137138936 4294141648 18446744073709551615 134577147 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 3992 1546 192 642 0 3348 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15968

[startup+1.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/437 30555
/proc/meminfo: memFree=20150484/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=16612 CPUtime=1.49 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 1770 0 0 0 149 0 0 0 25 0 1 0 829714981 17010688 1722 33554432000 134512640 137138936 4294141648 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 4153 1722 192 642 0 3509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16612

[startup+3.10102 s]
/proc/loadavg: 2.04 2.01 2.00 3/437 30555
/proc/meminfo: memFree=20148872/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=17376 CPUtime=3.09 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 1941 0 0 0 309 0 0 0 25 0 1 0 829714981 17793024 1893 33554432000 134512640 137138936 4294141648 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 4344 1893 192 642 0 3700 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17376

[startup+6.30042 s]
/proc/loadavg: 2.04 2.01 2.00 3/437 30555
/proc/meminfo: memFree=20146640/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=18652 CPUtime=6.29 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 2262 0 0 0 629 0 0 0 25 0 1 0 829714981 19099648 2214 33554432000 134512640 137138936 4294141648 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 4663 2214 192 642 0 4019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18652

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/437 30555
/proc/meminfo: memFree=20144232/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=20200 CPUtime=12.69 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 2673 0 0 0 1268 1 0 0 25 0 1 0 829714981 20684800 2625 33554432000 134512640 137138936 4294141648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 5050 2625 192 642 0 4406 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20200

[startup+25.5009 s]
/proc/loadavg: 2.18 2.04 2.01 3/437 30556
/proc/meminfo: memFree=20144836/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=20200 CPUtime=25.49 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 2673 0 0 0 2545 4 0 0 25 0 1 0 829714981 20684800 2625 33554432000 134512640 137138936 4294141648 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 5050 2625 192 642 0 4406 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20200

[startup+51.1011 s]
/proc/loadavg: 2.12 2.04 2.01 3/437 30556
/proc/meminfo: memFree=20144796/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=20200 CPUtime=51.09 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 2673 0 0 0 5101 8 0 0 25 0 1 0 829714981 20684800 2625 33554432000 134512640 137138936 4294141648 18446744073709551615 134599984 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 5050 2625 192 642 0 4406 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20200

[startup+102.317 s]
/proc/loadavg: 2.05 2.03 2.00 3/437 30558
/proc/meminfo: memFree=20129536/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=20836 CPUtime=102.31 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 2810 0 0 0 10214 17 0 0 25 0 1 0 829714981 21336064 2762 33554432000 134512640 137138936 4294141648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 5209 2762 192 642 0 4565 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20836

[startup+162.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/437 30559
/proc/meminfo: memFree=20127536/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=22728 CPUtime=162.28 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 3286 0 0 0 16203 25 0 0 25 0 1 0 829714981 23273472 3238 33554432000 134512640 137138936 4294141648 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30554/statm: 5682 3238 192 642 0 5038 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 22728

[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/437 30561
/proc/meminfo: memFree=20128016/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=24148 CPUtime=222.28 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 3640 0 0 0 22195 33 0 0 25 0 1 0 829714981 24727552 3592 33554432000 134512640 137138936 4294141648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6037 3592 192 642 0 5393 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 24148

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/434 30565
/proc/meminfo: memFree=20622888/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=25920 CPUtime=282.28 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 4084 0 0 0 28188 40 0 0 25 0 1 0 829714981 26542080 4036 33554432000 134512640 137138936 4294141648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6480 4036 192 642 0 5836 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 25920

[startup+342.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/437 30653
/proc/meminfo: memFree=20665792/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=25912 CPUtime=342.28 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 4085 0 0 0 34180 48 0 0 25 0 1 0 829714981 26533888 4037 33554432000 134512640 137138936 4294141648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6478 4037 192 642 0 5834 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 25912

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

[startup+345.501 s]
/proc/loadavg: 2.14 2.06 2.01 3/437 30653
/proc/meminfo: memFree=20664804/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=25912 CPUtime=345.48 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 4085 0 0 0 34500 48 0 0 25 0 1 0 829714981 26533888 4037 33554432000 134512640 137138936 4294141648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6478 4037 192 642 0 5834 0
Current children cumulated CPU time (s) 345.48
Current children cumulated vsize (KiB) 25912

[startup+348.716 s]
/proc/loadavg: 2.14 2.06 2.01 3/437 30653
/proc/meminfo: memFree=20665164/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=25912 CPUtime=348.7 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 4085 0 0 0 34821 49 0 0 25 0 1 0 829714981 26533888 4037 33554432000 134512640 137138936 4294141648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6478 4037 192 642 0 5834 0
Current children cumulated CPU time (s) 348.7
Current children cumulated vsize (KiB) 25912

[startup+350.301 s]
/proc/loadavg: 2.29 2.09 2.02 3/437 30653
/proc/meminfo: memFree=20665288/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=25912 CPUtime=350.28 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 4085 0 0 0 34979 49 0 0 25 0 1 0 829714981 26533888 4037 33554432000 134512640 137138936 4294141648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6478 4037 192 642 0 5834 0
Current children cumulated CPU time (s) 350.28
Current children cumulated vsize (KiB) 25912

[startup+351.101 s]
/proc/loadavg: 2.29 2.09 2.02 3/437 30653
/proc/meminfo: memFree=20665288/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=25912 CPUtime=351.08 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 4085 0 0 0 35059 49 0 0 25 0 1 0 829714981 26533888 4037 33554432000 134512640 137138936 4294141648 18446744073709551615 136364666 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6478 4037 192 642 0 5834 0
Current children cumulated CPU time (s) 351.08
Current children cumulated vsize (KiB) 25912

[startup+351.5 s]
/proc/loadavg: 2.29 2.09 2.02 3/437 30653
/proc/meminfo: memFree=20665288/32951124 swapFree=60787360/67111528
[pid=30554] ppid=30552 vsize=25912 CPUtime=351.48 cores=0,2,4,6
/proc/30554/stat : 30554 (bsolo) R 30552 30554 29081 0 -1 4202496 4085 0 0 0 35099 49 0 0 25 0 1 0 829714981 26533888 4037 33554432000 134512640 137138936 4294141648 18446744073709551615 134542442 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30554/statm: 6478 4037 192 642 0 5834 0
Current children cumulated CPU time (s) 351.48
Current children cumulated vsize (KiB) 25912

Child status: 0
Real time (s): 351.541
CPU time (s): 351.53
CPU user time (s): 351.037
CPU system time (s): 0.492925
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 25920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 351.037
system time used= 0.492925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4086
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= 3
involuntary context switches= 1219

runsolver used 1.55376 second user time and 3.3035 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 11:52:51
IDJOB=3462531
IDBENCH=47947
IDSOLVER=1955
FILE ID=node135/3462531-1307181171
RUNJOBID= node135-1307173971-30075
PBS_JOBID= 13508851
Free space on /tmp= 73908 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462531-1307181171/watcher-3462531-1307181171 -o /tmp/evaluation-result-3462531-1307181171/solver-3462531-1307181171 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462531-1307181171.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= fb1c97600aa303ca13bb2482d5ad3e27
RANDOM SEED=583789197

node135.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20157096 kB
Buffers:        266392 kB
Cached:         687368 kB
SwapCached:       6168 kB
Active:       11994164 kB
Inactive:       540780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20157096 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:    11580772 kB
Mapped:          26712 kB
Slab:           125496 kB
PageTables:      66832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124887812 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73960 MiB
End job on node135 at 2011-06-04 11:58:43