Trace number 3462672

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 175.632 175.629

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb
MD5SUM2f50a7c4db6c104684b2cc399418ffd9
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.155975
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 variables120
Total number of constraints11
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 constraints11
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)320
Sum of products size (including duplicates)640
Number of different products320
Sum of products size640

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-3462672-1307181711.opb
0.00/0.00	c File size is 5712 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: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692
0.00/0.00	c Obj. Vars: 8 (1.81818 % 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    440      656     2752    4     2364    3690      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
3.20/3.29	c      102    440      845    10588   12     2811    4060    189   7846 0.01
3.20/3.29	c      253    440     1136    24866   21     3539    4467    480   7666 0.03
3.20/3.29	c      480    440     1563    44856   28     4620    4914    907   7619 0.06
3.20/3.29	c      818    440     2227    85934   38     6363    5406   1571   7644 0.11
3.20/3.29	c     1326    440     3207   138191   43     8770    5947   2551   6696 0.20
3.20/3.29	c     2090    440     4683   221147   47    12530    6542   4027   6129 0.34
3.20/3.29	c     3236    440     6903   352830   51    18195    7197   6247   4544 0.71
3.20/3.29	c     4958    440     6492   327790   50    16218    7917   5836   3852 1.29
3.20/3.29	c     7542    440     7321   348359   47    17681    8709   6665   3250 2.32
3.20/3.29	o 9
24.99/25.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.99/25.01	c    10621    440     8779   447358   50    21603    3706   8123   3223 3.29
24.99/25.01	c    10721    411     2697   131610   48     7039    4077   2041   3220 3.33
24.99/25.01	c    10971    411     3176   166259   52     8243    4485   2520   3256 3.37
24.99/25.01	c    11448    411     4108   220720   53    10653    4934   3452   3325 3.44
24.99/25.01	c    12261    411     3127   149030   47     8210    5428   2471   3409 3.60
24.99/25.01	c    13581    411     5553   279718   50    14034    5971   4897   3489 3.89
24.99/25.01	c    15663    411     6489   306210   47    16508    6569   5833   3558 4.40
24.99/25.01	c    18887    411     5911   269632   45    14847    7226   5255   3450 5.47
24.99/25.01	c    23823    411     4273   190204   44    10693    7949   3617   3268 7.29
24.99/25.01	c    31329    411     6502   299490   46    16208    8744   5846   3167 9.89
24.99/25.01	c    42691    411     5742   301205   52    14408    9619   5086   3026 14.11
24.99/25.01	c    59836    400     7496   460817   61    20164   10581   6840   2837 21.09
24.99/25.01	o 3
175.59/175.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
175.59/175.62	c    70180    400    10452   559664   53    25883    3698   9796   2805 25.01
175.59/175.62	c    70281    382     2709   117972   43     7136    4068   2053   2803 25.07
175.59/175.62	c    70531    382     3201   144759   45     8486    4475   2545   2808 25.11
175.59/175.62	c    71007    382     4134   201583   48    11028    4923   3478   2819 25.19
175.59/175.62	c    71821    382     3126   145228   46     8587    5416   2470   2829 25.38
175.59/175.62	c    73142    382     5615   268856   47    14492    5958   4959   2848 25.68
175.59/175.62	c    75223    382     6420   324157   50    15542    6554   5764   2868 26.22
175.59/175.62	c    78447    382     5632   275307   48    15594    7210   4976   2896 27.09
175.59/175.62	c    83383    382     7817   382145   48    19955    7932   7161   2878 28.96
175.59/175.62	c    90889    369     5160   253249   49    13150    8726   4504   2926 31.05
175.59/175.62	c   102251    369     7756   402226   51    19384    9599   7100   2908 35.15
175.59/175.62	c   119396    369     9657   515607   53    24353   10559   9001   2869 41.61
175.59/175.62	c   145217    369     8194   422106   51    21216   11615   7538   2844 51.06
175.59/175.62	c   184051    366     8280   442286   53    20162   12777   7624   2787 66.04
175.59/175.62	c   242404    365     8327   439680   52    21574   14055   7671   2542 95.35
175.59/175.62	c   330037    364    12130   589231   48    31430   15461  11474   2270 145.36
175.59/175.62	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 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x73 x74 -x75 -x76 x77 -x78 -x79 x80 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 
175.59/175.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
175.59/175.62	c   37   378168   4453   394323    10291   430142   9635   2153 175.63
175.59/175.62	c Objective: 3
175.59/175.62	s OPTIMUM FOUND
175.59/175.62	c Total time: 175.63 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-3462672-1307181711/watcher-3462672-1307181711 -o /tmp/evaluation-result-3462672-1307181711/solver-3462672-1307181711 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462672-1307181711.opb 

running on 4 cores: 1,3,5,7

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.07 2.03 2.01 2/526 8265
/proc/meminfo: memFree=22646536/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 339 0 0 0 0 0 0 0 25 0 1 0 810586940 11186176 291 33554432000 134512640 137138936 4287457728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 2731 291 192 642 0 2087 0

[startup+0.072983 s]
/proc/loadavg: 2.07 2.03 2.01 2/526 8265
/proc/meminfo: memFree=22646536/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=11696 CPUtime=0.06 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 523 0 0 0 6 0 0 0 25 0 1 0 810586940 11976704 475 33554432000 134512640 137138936 4287457728 18446744073709551615 134572941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 2924 475 192 642 0 2280 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11696

[startup+0.100978 s]
/proc/loadavg: 2.07 2.03 2.01 2/526 8265
/proc/meminfo: memFree=22646536/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=12084 CPUtime=0.09 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 623 0 0 0 9 0 0 0 25 0 1 0 810586940 12374016 575 33554432000 134512640 137138936 4287457728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 3021 575 192 642 0 2377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12084

[startup+0.300952 s]
/proc/loadavg: 2.07 2.03 2.01 2/526 8265
/proc/meminfo: memFree=22646536/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=13904 CPUtime=0.29 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 1073 0 0 0 29 0 0 0 25 0 1 0 810586940 14237696 1025 33554432000 134512640 137138936 4287457728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 3476 1025 192 642 0 2832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13904

[startup+0.700869 s]
/proc/loadavg: 2.07 2.03 2.01 2/526 8265
/proc/meminfo: memFree=22646536/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=16100 CPUtime=0.69 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 1635 0 0 0 69 0 0 0 25 0 1 0 810586940 16486400 1587 33554432000 134512640 137138936 4287457728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 4025 1587 192 642 0 3381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16100

[startup+1.50073 s]
/proc/loadavg: 2.07 2.03 2.01 3/527 8266
/proc/meminfo: memFree=22638352/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=17008 CPUtime=1.49 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 1856 0 0 0 148 1 0 0 25 0 1 0 810586940 17416192 1808 33554432000 134512640 137138936 4287457728 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 4252 1808 192 642 0 3608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17008

[startup+3.10045 s]
/proc/loadavg: 2.07 2.03 2.01 3/527 8266
/proc/meminfo: memFree=22636368/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=17760 CPUtime=3.09 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 2057 0 0 0 308 1 0 0 25 0 1 0 810586940 18186240 2009 33554432000 134512640 137138936 4287457728 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 4440 2009 192 642 0 3796 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17760

[startup+6.30088 s]
/proc/loadavg: 2.07 2.03 2.01 3/527 8266
/proc/meminfo: memFree=22633412/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=17760 CPUtime=6.29 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 2057 0 0 0 626 3 0 0 25 0 1 0 810586940 18186240 2009 33554432000 134512640 137138936 4287457728 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 4440 2009 192 642 0 3796 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17760

[startup+12.7007 s]
/proc/loadavg: 2.20 2.06 2.02 3/527 8266
/proc/meminfo: memFree=22632420/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=18668 CPUtime=12.69 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 2275 0 0 0 1265 4 0 0 25 0 1 0 810586940 19116032 2227 33554432000 134512640 137138936 4287457728 18446744073709551615 134576038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 4667 2227 192 642 0 4023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18668

[startup+25.5004 s]
/proc/loadavg: 2.17 2.06 2.01 3/527 8266
/proc/meminfo: memFree=22629068/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=20936 CPUtime=25.49 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 2844 0 0 0 2542 7 0 0 25 0 1 0 810586940 21438464 2796 33554432000 134512640 137138936 4287457728 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5234 2796 192 642 0 4590 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20936

[startup+51.1008 s]
/proc/loadavg: 2.11 2.05 2.01 3/527 8267
/proc/meminfo: memFree=22629272/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=21108 CPUtime=51.09 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 2888 0 0 0 5095 14 0 0 25 0 1 0 810586940 21614592 2833 33554432000 134512640 137138936 4287457728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5277 2833 192 642 0 4633 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21108

[startup+102.32 s]
/proc/loadavg: 2.04 2.04 2.01 3/527 8269
/proc/meminfo: memFree=22623272/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23104 CPUtime=102.31 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3389 0 0 0 10206 25 0 0 25 0 1 0 810586940 23658496 3334 33554432000 134512640 137138936 4287457728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5776 3334 192 642 0 5132 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23104

[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22620492/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=162.29 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 16194 35 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23520

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

[startup+166.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22619872/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=166.3 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 16594 36 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 166.3
Current children cumulated vsize (KiB) 23520

[startup+169.501 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22618376/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=169.49 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 16913 36 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 169.49
Current children cumulated vsize (KiB) 23520

[startup+172.72 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22621224/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=172.72 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 17235 37 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 172.72
Current children cumulated vsize (KiB) 23520

[startup+174.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22621224/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=174.3 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 17393 37 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 134542662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 174.3
Current children cumulated vsize (KiB) 23520

[startup+175.101 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22617504/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=175.1 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 17473 37 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 175.1
Current children cumulated vsize (KiB) 23520

[startup+175.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22617504/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=175.49 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 17512 37 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 136502633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 175.49
Current children cumulated vsize (KiB) 23520

[startup+175.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8270
/proc/meminfo: memFree=22617504/32951124 swapFree=64303760/67111528
[pid=8265] ppid=8263 vsize=23520 CPUtime=175.59 cores=1,3,5,7
/proc/8265/stat : 8265 (bsolo) R 8263 8265 4512 0 -1 4202496 3495 0 0 0 17522 37 0 0 25 0 1 0 810586940 24084480 3440 33554432000 134512640 137138936 4287457728 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8265/statm: 5880 3440 192 642 0 5236 0
Current children cumulated CPU time (s) 175.59
Current children cumulated vsize (KiB) 23520

Child status: 0
Real time (s): 175.629
CPU time (s): 175.632
CPU user time (s): 175.255
CPU system time (s): 0.376942
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 23524

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

runsolver used 0.885865 second user time and 2.15567 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-04 12:01:51
IDJOB=3462672
IDBENCH=48088
IDSOLVER=1955
FILE ID=node145/3462672-1307181711
RUNJOBID= node145-1307175396-7675
PBS_JOBID= 13508838
Free space on /tmp= 73968 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462672-1307181711/watcher-3462672-1307181711 -o /tmp/evaluation-result-3462672-1307181711/solver-3462672-1307181711 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462672-1307181711.opb

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

MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9
RANDOM SEED=1012781503

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22646816 kB
Buffers:        269100 kB
Cached:         623444 kB
SwapCached:        944 kB
Active:        9551396 kB
Inactive:       482680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22646816 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:            3892 kB
Writeback:           0 kB
AnonPages:     9140840 kB
Mapped:          35152 kB
Slab:           135032 kB
PageTables:      65824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153390888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73964 MiB
End job on node145 at 2011-06-04 12:04:47