Trace number 3462608

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 205.887 205.891

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb
MD5SUM9b762ab9d310cdc754a8481e0a3342a1
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.133979
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 variables96
Total number of constraints9
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 constraints9
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

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-3462608-1307181451.opb
0.00/0.00	c File size is 4596 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354
0.00/0.00	c Obj. Vars: 8 (2.27273 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    352      525     2200    4     1890    2949      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.39/0.49	c      101    352      720    11635   16     2386    3244    195   7769 0.01
0.39/0.49	c      253    352     1013    28330   27     3166    3569    488   7441 0.03
0.39/0.49	c      479    352     1453    53975   37     4222    3926    928   7484 0.06
0.39/0.49	c      817    352     2102    92785   44     6006    4319   1577   7043 0.12
0.39/0.49	c     1326    352     3081   145665   47     8531    4751   2556   6696 0.20
0.39/0.49	c     2089    352     4546   223203   49    12310    5227   4021   5615 0.37
0.39/0.49	o 25
72.19/72.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.19/72.21	c     2630    352     5590   278355   49    14967    2965   5065   5334 0.49
72.19/72.21	c     2731    343     2196    95944   43     5700    3262   1671   5323 0.51
72.19/72.21	c     2982    334     2663   122880   46     6890    3589   2138   5392 0.55
72.19/72.21	c     3458    334     3598   171264   47     9332    3948   3073   5344 0.65
72.19/72.21	c     4272    334     3132   145460   46     8055    4343   2607   5153 0.83
72.19/72.21	c     5597    334     3402   159223   46     8609    4778   2877   4683 1.20
72.19/72.21	c     7679    334     4879   233651   47    12171    5256   4354   4353 1.76
72.19/72.21	c    10903    334     5624   256860   45    13820    5782   5099   3934 2.77
72.19/72.21	c    15840    334     6136   292036   47    15221    6361   5611   3813 4.15
72.19/72.21	c    23347    334     6518   337438   51    16116    6998   5993   3441 6.78
72.19/72.21	c    34708    322     5087   243692   47    12956    7698   4562   3300 10.52
72.19/72.21	c    51854    322     4960   250906   50    12148    8468   4435   3213 16.14
72.19/72.21	c    77674    322     8788   488707   55    21417    9315   8263   3013 25.78
72.19/72.21	c   116507    322     6593   280589   42    16785   10247   6068   2983 39.05
72.19/72.21	c   174859    322     9637   553840   57    24394   11272   9112   2732 63.99
72.19/72.21	o 9
75.99/76.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.99/76.02	c   192293    322     7177   365819   50    18139    2959   6652   2662 72.21
75.99/76.02	c   192394    322     2176    98832   45     5597    3255   1651   2662 72.25
75.99/76.02	c   192645    322     2655   123167   46     6784    3581   2130   2664 72.29
75.99/76.02	c   193120    322     3573   171641   48     9048    3940   3048   2667 72.39
75.99/76.02	c   193935    322     3083   140205   45     7889    4335   2558   2672 72.57
75.99/76.02	c   195257    322     3358   152807   45     8573    4769   2833   2678 72.91
75.99/76.02	c   197339    322     4746   226402   47    11881    5246   4221   2685 73.48
75.99/76.02	c   200563    312     5516   260492   47    14090    5771   4991   2694 74.42
75.99/76.02	c   205499    312     6068   283576   46    15163    6349   5543   2705 75.96
75.99/76.02	o 5
76.90/76.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.90/76.93	c   205948    312     6854   323541   47    17236    2957   6329   2709 76.02
76.90/76.93	c   206048    312     2192    91821   41     5747    3253   1667   2709 76.05
76.90/76.93	c   206298    312     2674   119580   44     7025    3579   2149   2711 76.09
76.90/76.93	c   206773    312     3600   168110   46     9381    3937   3075   2714 76.18
76.90/76.93	c   207587    312     3099   140851   45     7989    4331   2574   2718 76.37
76.90/76.93	c   208909    302     3115   140216   45     8086    4765   2590   2725 76.66
76.90/76.93	o 3
205.79/205.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.79/205.88	c   209989    302     5174   240588   46    13267    2993   4649   2729 76.94
205.79/205.88	c   210090    281     2224    91609   41     5741    3293   1699   2729 76.96
205.79/205.88	c   210341    281     2687   115028   42     6788    3623   2162   2731 77.02
205.79/205.88	c   210816    281     3576   164982   46     8914    3986   3051   2733 77.12
205.79/205.88	c   211629    281     2824   137507   48     7017    4385   2299   2735 77.35
205.79/205.88	c   212949    281     2882   137840   47     7471    4824   2357   2744 77.58
205.79/205.88	c   215030    281     4168   188303   45    10323    5307   3643   2755 78.05
205.79/205.88	c   218253    281     4807   212587   44    12268    5838   4282   2760 79.05
205.79/205.88	c   223189    281     5178   242237   46    12853    6422   4653   2771 80.54
205.79/205.88	c   230695    281     6227   289967   46    15793    7065   5702   2782 82.92
205.79/205.88	c   242056    278     6014   284926   47    14939    7772   5489   2792 86.68
205.79/205.88	c   259201    278     5456   296485   54    13027    8550   4931   2782 93.17
205.79/205.88	c   285021    278     9074   466004   51    23451    9406   8549   2750 103.61
205.79/205.88	c   323854    278     8983   478570   53    22032   10347   8458   2689 120.42
205.79/205.88	c   382207    278     8805   440101   49    24123   11382   8280   2638 144.85
205.79/205.88	c   469839    268     8826   417824   47    21594   12521   8301   2534 185.37
205.79/205.88	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 -x46 -x47 -x48 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x57 x58 x59 x60 -x61 x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 
205.79/205.88	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
205.79/205.88	c   52   507055   3571   520016     8089   337057   7564   2462 205.88
205.79/205.88	c Objective: 3
205.79/205.88	s OPTIMUM FOUND
205.79/205.88	c Total time: 205.884 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-3462608-1307181451/watcher-3462608-1307181451 -o /tmp/evaluation-result-3462608-1307181451/solver-3462608-1307181451 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462608-1307181451.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.03 2.00 3/458 17392
/proc/meminfo: memFree=26141448/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 329 0 0 0 0 0 0 0 25 0 1 0 829743300 11186176 282 33554432000 134512640 137138936 4293197392 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17392/statm: 2731 282 192 642 0 2087 0

[startup+0.0286741 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17392
/proc/meminfo: memFree=26141448/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=11180 CPUtime=0.02 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 394 0 0 0 2 0 0 0 25 0 1 0 829743300 11448320 347 33554432000 134512640 137138936 4293197392 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17392/statm: 2795 347 192 642 0 2151 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11180

[startup+0.100658 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17392
/proc/meminfo: memFree=26141448/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=12080 CPUtime=0.09 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 617 0 0 0 9 0 0 0 25 0 1 0 829743300 12369920 570 33554432000 134512640 137138936 4293197392 18446744073709551615 134600168 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17392/statm: 3020 570 192 642 0 2376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12080

[startup+0.300598 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17392
/proc/meminfo: memFree=26141448/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=13628 CPUtime=0.29 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 1026 0 0 0 29 0 0 0 25 0 1 0 829743300 13955072 979 33554432000 134512640 137138936 4293197392 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 3407 979 192 642 0 2763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13628

[startup+0.700552 s]
/proc/loadavg: 2.04 2.03 2.00 3/458 17392
/proc/meminfo: memFree=26141448/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=15048 CPUtime=0.69 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 1370 0 0 0 69 0 0 0 25 0 1 0 829743300 15409152 1323 33554432000 134512640 137138936 4293197392 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 3762 1323 192 642 0 3118 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15048

[startup+1.50041 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 17393
/proc/meminfo: memFree=26136232/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=15048 CPUtime=1.49 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 1370 0 0 0 149 0 0 0 25 0 1 0 829743300 15409152 1323 33554432000 134512640 137138936 4293197392 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 3762 1323 192 642 0 3118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15048

[startup+3.1011 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 17393
/proc/meminfo: memFree=26134740/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=15312 CPUtime=3.09 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 1439 0 0 0 309 0 0 0 25 0 1 0 829743300 15679488 1392 33554432000 134512640 137138936 4293197392 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 3828 1392 192 642 0 3184 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15312

[startup+6.30053 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 17393
/proc/meminfo: memFree=26132252/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=16460 CPUtime=6.29 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 1718 0 0 0 628 1 0 0 25 0 1 0 829743300 16855040 1671 33554432000 134512640 137138936 4293197392 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 4115 1671 192 642 0 3471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16460

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/459 17393
/proc/meminfo: memFree=26129412/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=17100 CPUtime=12.69 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 1892 0 0 0 1267 2 0 0 25 0 1 0 829743300 17510400 1845 33554432000 134512640 137138936 4293197392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 4275 1845 192 642 0 3631 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17100

[startup+25.5011 s]
/proc/loadavg: 2.11 2.04 2.01 3/459 17394
/proc/meminfo: memFree=26125088/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=18764 CPUtime=25.49 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2291 0 0 0 2545 4 0 0 25 0 1 0 829743300 19214336 2244 33554432000 134512640 137138936 4293197392 18446744073709551615 134603118 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 4691 2244 192 642 0 4047 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18764

[startup+51.1006 s]
/proc/loadavg: 2.06 2.04 2.00 3/459 17394
/proc/meminfo: memFree=26118240/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=20300 CPUtime=51.09 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2680 0 0 0 5100 9 0 0 25 0 1 0 829743300 20787200 2633 33554432000 134512640 137138936 4293197392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5075 2633 192 642 0 4431 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20300

[startup+102.317 s]
/proc/loadavg: 2.10 2.04 2.00 3/459 17396
/proc/meminfo: memFree=26105948/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=102.31 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2893 0 0 0 10214 17 0 0 25 0 1 0 829743300 21614592 2846 33554432000 134512640 137138936 4293197392 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2846 192 642 0 4633 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 21108

[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/459 17397
/proc/meminfo: memFree=26095372/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=162.29 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2893 0 0 0 16202 27 0 0 25 0 1 0 829743300 21614592 2846 33554432000 134512640 137138936 4293197392 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2846 192 642 0 4633 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21108

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

[startup+179.101 s]
/proc/loadavg: 2.03 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26093248/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=179.08 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2893 0 0 0 17879 29 0 0 25 0 1 0 829743300 21614592 2846 33554432000 134512640 137138936 4293197392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2846 192 642 0 4633 0
Current children cumulated CPU time (s) 179.08
Current children cumulated vsize (KiB) 21108

[startup+191.901 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26091136/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=191.89 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 19158 31 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 191.89
Current children cumulated vsize (KiB) 21108

[startup+198.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26089520/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=198.29 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 19797 32 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 134606854 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 198.29
Current children cumulated vsize (KiB) 21108

[startup+201.501 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26089024/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=201.49 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 20116 33 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 201.49
Current children cumulated vsize (KiB) 21108

[startup+203.101 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26088900/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=203.09 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 20276 33 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 203.09
Current children cumulated vsize (KiB) 21108

[startup+204.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26087784/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=204.69 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 20436 33 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 204.69
Current children cumulated vsize (KiB) 21108

[startup+205.501 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26087784/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=205.49 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 20516 33 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 205.49
Current children cumulated vsize (KiB) 21108

[startup+205.717 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26088528/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=205.7 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 20537 33 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 205.7
Current children cumulated vsize (KiB) 21108

[startup+205.801 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17398
/proc/meminfo: memFree=26088528/32951124 swapFree=60688864/67111528
[pid=17392] ppid=17390 vsize=21108 CPUtime=205.79 cores=0,2,4,6
/proc/17392/stat : 17392 (bsolo) R 17390 17392 14960 0 -1 4202496 2894 0 0 0 20546 33 0 0 25 0 1 0 829743300 21614592 2847 33554432000 134512640 137138936 4293197392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17392/statm: 5277 2847 192 642 0 4633 0
Current children cumulated CPU time (s) 205.79
Current children cumulated vsize (KiB) 21108

Child status: 0
Real time (s): 205.891
CPU time (s): 205.887
CPU user time (s): 205.552
CPU system time (s): 0.334949
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 21164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.552
system time used= 0.334949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2895
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= 4
involuntary context switches= 421

runsolver used 0.932858 second user time and 2.07868 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-04 11:57:31
IDJOB=3462608
IDBENCH=48024
IDSOLVER=1955
FILE ID=node132/3462608-1307181451
RUNJOBID= node132-1307174147-16199
PBS_JOBID= 13508840
Free space on /tmp= 73920 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462608-1307181451/watcher-3462608-1307181451 -o /tmp/evaluation-result-3462608-1307181451/solver-3462608-1307181451 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462608-1307181451.opb

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

MD5SUM BENCH= 9b762ab9d310cdc754a8481e0a3342a1
RANDOM SEED=1064366618

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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	: 5332.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26141480 kB
Buffers:        327428 kB
Cached:        3045300 kB
SwapCached:      15140 kB
Active:        1153480 kB
Inactive:      5394352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26141480 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:            3888 kB
Writeback:           0 kB
AnonPages:     3167784 kB
Mapped:          19900 kB
Slab:           144156 kB
PageTables:      50440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109350384 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= 73916 MiB
End job on node132 at 2011-06-04 12:00:57