Trace number 3462594

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 600.45 600.447

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb
MD5SUM8a882d07e0fbb307eb9e9c234ecc464c
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.118981
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 variables168
Total number of constraints15
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 constraints15
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)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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-3462594-1307181380.opb
0.00/0.00	c File size is 8050 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: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    616      918     3856    4     3312    5173      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
7.70/7.76	c      104    616     1112    11920   10     3787    5691    194   7428 0.01
7.70/7.76	c      255    616     1399    25916   18     4402    6261    481   6710 0.04
7.70/7.76	c      480    616     1816    46156   25     5535    6888    898   6666 0.07
7.70/7.76	c      818    616     2464    77522   31     7241    7577   1546   6650 0.12
7.70/7.76	c     1326    616     3458   129211   37     9713    8335   2540   6225 0.21
7.70/7.76	c     2089    616     4941   208280   42    13605    9169   4023   5867 0.36
7.70/7.76	c     3235    616     7225   380795   52    19914   10086   6307   5364 0.60
7.70/7.76	c     4957    616    10421   564398   54    27535   11095   9503   5131 0.97
7.70/7.76	c     7541    616     9383   490440   52    23933   12205   8465   4326 1.74
7.70/7.76	c    11420    616    10304   648745   62    26634   13426   9386   4109 2.78
7.70/7.76	c    17242    616     7631   379068   49    19246   14769   6713   3152 5.47
7.70/7.76	o 129
167.29/167.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
167.29/167.34	c    24330    616    13616   750074   55    34062    5189  12698   3134 7.76
167.29/167.34	c    24430    616     3682   185605   50     9395    5708   2764   3110 7.86
167.29/167.34	c    24680    616     4123   213477   51    10539    6279   3205   3126 7.89
167.29/167.34	c    25156    616     5014   261374   52    12706    6907   4096   3153 7.98
167.29/167.34	c    25969    616     6564   353638   53    16490    7598   5646   3197 8.12
167.29/167.34	c    27297    616     5060   276989   54    12949    8358   4142   3191 8.55
167.29/167.34	c    29379    616     9038   518818   57    22917    9194   8120   3251 9.04
167.29/167.34	c    32604    616     5516   259772   47    14571   10114   4598   3272 9.96
167.29/167.34	c    37541    616     9419   510232   54    23528   11126   8501   3343 11.23
167.29/167.34	c    45048    616    11700   658623   56    29771   12239  10782   3145 14.32
167.29/167.34	c    56409    616     7335   384263   52    18149   13463   6417   2919 19.32
167.29/167.34	c    73556    616    11880   556215   46    30387   14810  10962   2897 25.39
167.29/167.34	c    99376    616     8324   451267   54    21003   16292   7406   2617 37.97
167.29/167.34	c   138209    616    13769   745133   54    35479   17922  12851   2254 61.29
167.29/167.34	c   196561    616    11204   611956   54    28744   19715  10286   1944 101.11
167.29/167.34	c   284194    616    18164   888593   48    46612   21687  17246   1806 157.34
167.29/167.34	o 9
220.29/220.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
220.29/220.36	c   302643    616    19754  1151636   58    48497    5189  18836   1808 167.34
220.29/220.36	c   302743    607     3701   174248   47     9696    5708   2783   1806 167.56
220.29/220.36	c   302994    607     4165   202538   48    10966    6279   3247   1807 167.60
220.29/220.36	c   303470    576     5050   258513   51    12886    6907   4132   1809 167.68
220.29/220.36	c   304283    576     6597   339782   51    16584    7598   5679   1813 167.83
220.29/220.36	c   305603    576     4762   231688   48    12760    8358   3844   1818 168.09
220.29/220.36	c   307685    576     8727   446313   51    22682    9194   7809   1825 168.58
220.29/220.36	c   310908    576     5520   233042   42    14611   10114   4602   1830 169.89
220.29/220.36	c   315845    576     9739   479805   49    24640   11126   8821   1837 171.85
220.29/220.36	c   323351    576     6486   308186   47    17200   12239   5568   1857 174.09
220.29/220.36	c   334713    576     9530   435599   45    23780   13463   8612   1868 179.14
220.29/220.36	c   351857    576    11925   653517   54    29368   14810  11007   1886 186.51
220.29/220.36	c   377676    576    11289   569829   50    26746   16292  10371   1894 199.37
220.29/220.36	c   416508    576    16233   871027   53    39683   17922  15315   1913 217.62
220.29/220.36	o 5
460.99/461.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
460.99/461.09	c   422316    576    18151   891155   49    45251    5181  17233   1916 220.36
460.99/461.09	c   422417    576     3682   160995   43     9616    5700   2764   1915 220.56
460.99/461.09	c   422668    576     4143   189684   45    10783    6271   3225   1915 220.60
460.99/461.09	c   423143    576     5042   238568   47    12981    6899   4124   1917 220.68
460.99/461.09	c   423956    576     6629   345966   52    17042    7589   5711   1919 220.83
460.99/461.09	c   425276    576     5104   245934   48    13432    8348   4186   1922 221.17
460.99/461.09	c   427358    576     9085   459425   50    23366    9183   8167   1927 221.68
460.99/461.09	c   430581    576     5518   237364   43    14715   10102   4600   1934 222.55
460.99/461.09	c   435518    576     9422   559495   59    23029   11113   8504   1940 224.38
460.99/461.09	c   443024    576    12045   618393   51    29869   12225  11127   1952 226.88
460.99/461.09	c   454386    576     8221   446220   54    21396   13448   7303   1962 231.58
460.99/461.09	c   471530    576    12313   653070   53    30424   14793  11395   1972 239.02
460.99/461.09	c   497349    565    13791   781651   56    34640   16273  12873   1967 252.84
460.99/461.09	c   536181    565    10563   499132   47    29397   17901   9645   1944 275.78
460.99/461.09	c   594533    565     9888   520812   52    24193   19692   8970   1876 316.79
460.99/461.09	c   682170    564    20367  1391042   68    49697   21662  19449   1827 373.28
460.99/461.09	o 3
600.39/600.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
600.39/600.44	c   800924    563    15392   883350   57    36801    5179  14474   1737 461.09
600.39/600.44	c   801024    563     3730   171960   46     9573    5697   2812   1736 461.27
600.39/600.44	c   801275    563     4232   197241   46    11061    6267   3314   1736 461.30
600.39/600.44	c   801751    563     5155   255390   49    13307    6894   4237   1737 461.38
600.39/600.44	c   802565    563     6690   340469   50    17418    7584   5772   1738 461.55
600.39/600.44	c   803885    563     5188   238513   45    14093    8343   4270   1739 462.04
600.39/600.44	c   805966    554     9021   458182   50    23938    9178   8103   1741 462.83
600.39/600.44	c   809189    554     5531   255906   46    15118   10096   4613   1743 464.07
600.39/600.44	c   814126    554     9542   460924   48    25642   11106   8624   1747 465.99
600.39/600.44	c   821632    554    11714   589761   50    30594   12217  10796   1749 469.77
600.39/600.44	c   832994    554     7473   383323   51    18692   13439   6555   1753 475.12
600.39/600.44	c   850139    554    10306   496146   48    27286   14783   9388   1757 483.63
600.39/600.44	c   875959    541    11908   652495   54    28622   16262  10990   1771 494.56
600.39/600.44	c   914791    540    16521   820513   49    43164   17889  15603   1764 518.56
600.39/600.44	c   973143    540    10575   531286   50    26953   19678   9657   1750 556.07
600.39/600.44	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 x57 x58 x59 x60 -x61 x62 x63 x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x121 -x122 x123 x124 x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 
600.39/600.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
600.39/600.44	c   72  1032734  11222  1075254    17199   724718  16281   1719 600.45
600.39/600.44	c Objective: 3
600.39/600.44	s OPTIMUM FOUND
600.39/600.44	c Total time: 600.447 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-3462594-1307181380/watcher-3462594-1307181380 -o /tmp/evaluation-result-3462594-1307181380/solver-3462594-1307181380 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462594-1307181380.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.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=11060 CPUtime=0.01 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 368 0 0 0 1 0 0 0 25 0 1 0 908368609 11325440 320 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 2765 320 192 642 0 2121 0

[startup+0.0273129 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=11188 CPUtime=0.02 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 403 0 0 0 2 0 0 0 25 0 1 0 908368609 11456512 355 33554432000 134512640 137138936 4289486816 18446744073709551615 134539347 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 2797 355 192 642 0 2153 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11188

[startup+0.100323 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=11824 CPUtime=0.09 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 570 0 0 0 9 0 0 0 25 0 1 0 908368609 12107776 522 33554432000 134512640 137138936 4289486816 18446744073709551615 134544474 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 2956 522 192 642 0 2312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11824

[startup+0.300286 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=13624 CPUtime=0.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 1003 0 0 0 29 0 0 0 25 0 1 0 908368609 13950976 955 33554432000 134512640 137138936 4289486816 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 3406 955 192 642 0 2762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13624

[startup+0.700232 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=17500 CPUtime=0.69 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 1976 0 0 0 69 0 0 0 25 0 1 0 908368609 17920000 1928 33554432000 134512640 137138936 4289486816 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 4375 1928 192 642 0 3731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17500

[startup+1.50107 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24093044/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=21328 CPUtime=1.49 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 2936 0 0 0 148 1 0 0 25 0 1 0 908368609 21839872 2888 33554432000 134512640 137138936 4289486816 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 5332 2888 192 642 0 4688 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21328

[startup+3.10077 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24090440/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=21936 CPUtime=3.09 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3088 0 0 0 308 1 0 0 25 0 1 0 908368609 22462464 3040 33554432000 134512640 137138936 4289486816 18446744073709551615 134551445 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 5484 3040 192 642 0 4840 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21936

[startup+6.30019 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24087708/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=24096 CPUtime=6.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3630 0 0 0 627 2 0 0 25 0 1 0 908368609 24674304 3582 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6024 3582 192 642 0 5380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24096

[startup+12.701 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24086904/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=24080 CPUtime=12.69 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3632 0 0 0 1265 4 0 0 25 0 1 0 908368609 24657920 3584 33554432000 134512640 137138936 4289486816 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6020 3584 192 642 0 5376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24080

[startup+25.5007 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 29062
/proc/meminfo: memFree=24087008/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=24080 CPUtime=25.49 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3632 0 0 0 2543 6 0 0 25 0 1 0 908368609 24657920 3584 33554432000 134512640 137138936 4289486816 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6020 3584 192 642 0 5376 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24080

[startup+51.101 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 29063
/proc/meminfo: memFree=24084448/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=26536 CPUtime=51.09 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 4254 0 0 0 5099 10 0 0 25 0 1 0 908368609 27172864 4206 33554432000 134512640 137138936 4289486816 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6634 4206 192 642 0 5990 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26536

[startup+102.313 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 29064
/proc/meminfo: memFree=24081432/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=29560 CPUtime=102.3 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5008 0 0 0 10214 16 0 0 25 0 1 0 908368609 30269440 4960 33554432000 134512640 137138936 4289486816 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7390 4960 192 642 0 6746 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 29560

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29066
/proc/meminfo: memFree=24080412/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=29572 CPUtime=162.3 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5012 0 0 0 16206 24 0 0 25 0 1 0 908368609 30281728 4964 33554432000 134512640 137138936 4289486816 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7393 4964 192 642 0 6749 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 29572

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29068
/proc/meminfo: memFree=24079620/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=30392 CPUtime=222.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5368 0 0 0 22196 33 0 0 25 0 1 0 908368609 31121408 5174 33554432000 134512640 137138936 4289486816 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7598 5174 192 642 0 6954 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30392

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29078
/proc/meminfo: memFree=24078816/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=30392 CPUtime=282.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5368 0 0 0 28186 43 0 0 25 0 1 0 908368609 31121408 5174 33554432000 134512640 137138936 4289486816 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7598 5174 192 642 0 6954 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 30392

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29080
/proc/meminfo: memFree=24079472/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=30392 CPUtime=342.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5368 0 0 0 34179 50 0 0 25 0 1 0 908368609 31121408 5174 33554432000 134512640 137138936 4289486816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7598 5174 192 642 0 6954 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 30392

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29081
/proc/meminfo: memFree=24077080/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33256 CPUtime=402.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 40174 55 0 0 25 0 1 0 908368609 34054144 5881 33554432000 134512640 137138936 4289486816 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8314 5881 192 642 0 7670 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 33256

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29083
/proc/meminfo: memFree=24076920/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33240 CPUtime=462.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 46168 61 0 0 25 0 1 0 908368609 34037760 5881 33554432000 134512640 137138936 4289486816 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8310 5881 192 642 0 7666 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 33240

[startup+522.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/328 29085
/proc/meminfo: memFree=24076868/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33180 CPUtime=522.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 52160 69 0 0 25 0 1 0 908368609 33976320 5871 33554432000 134512640 137138936 4289486816 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8295 5871 192 642 0 7651 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 33180

[startup+582.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/328 29086
/proc/meminfo: memFree=24076940/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=582.3 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 58154 76 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 33172

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

[startup+588.7 s]
/proc/loadavg: 2.11 2.04 2.01 3/328 29086
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=588.69 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 58793 76 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134618174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 588.69
Current children cumulated vsize (KiB) 33172

[startup+595.112 s]
/proc/loadavg: 2.10 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=595.11 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59434 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134575060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 595.11
Current children cumulated vsize (KiB) 33172

[startup+598.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=598.31 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59754 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 598.31
Current children cumulated vsize (KiB) 33172

[startup+599.101 s]
/proc/loadavg: 2.10 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=599.1 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59833 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 599.1
Current children cumulated vsize (KiB) 33172

[startup+599.9 s]
/proc/loadavg: 2.09 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=599.89 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59912 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 599.89
Current children cumulated vsize (KiB) 33172

[startup+600.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=600.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59952 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 600.29
Current children cumulated vsize (KiB) 33172

[startup+600.4 s]
/proc/loadavg: 2.09 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=600.39 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59962 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 600.39
Current children cumulated vsize (KiB) 33172

Child status: 0
Real time (s): 600.447
CPU time (s): 600.45
CPU user time (s): 599.673
CPU system time (s): 0.776881
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 33264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.673
system time used= 0.776881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6076
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= 6
involuntary context switches= 1463

runsolver used 2.00069 second user time and 4.55131 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-04 11:56:20
IDJOB=3462594
IDBENCH=48010
IDSOLVER=1955
FILE ID=node110/3462594-1307181380
RUNJOBID= node110-1307174890-28475
PBS_JOBID= 13508825
Free space on /tmp= 74040 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462594-1307181380/watcher-3462594-1307181380 -o /tmp/evaluation-result-3462594-1307181380/solver-3462594-1307181380 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462594-1307181380.opb

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

MD5SUM BENCH= 8a882d07e0fbb307eb9e9c234ecc464c
RANDOM SEED=1683520493

node110.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.830
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.830
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.830
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.830
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.830
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.76
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.830
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.83
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24102448 kB
Buffers:        302384 kB
Cached:        4586984 kB
SwapCached:       8652 kB
Active:        4058120 kB
Inactive:      4469144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24102448 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            4000 kB
Writeback:          16 kB
AnonPages:     3635584 kB
Mapped:          28096 kB
Slab:           229540 kB
PageTables:      27484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75646900 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= 74036 MiB
End job on node110 at 2011-06-04 12:06:21