Trace number 2670425

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardOPT3 46.5679 46.5798

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=59-P1=67-P2=97-P3=53-P4=41-P5=89-B.opb
MD5SUM8dfafc2d5e0fe7665bfa4fcefe292d97
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.537917
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 variables105
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 constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)245
Sum of products size (including duplicates)490
Number of different products245
Sum of products size490

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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670425-1276702213.opb
0.00/0.00	c File size is 18216 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317
0.00/0.00	c Obj. Vars: 7 (2 % of total variables)
0.00/0.00	c Pre-processing Time: 0.006 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    350      506     2128    4     1825    2867      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
7.48/7.51	c      101    350      697    11845   16     2256    3154    191   3740 0.03
7.48/7.51	c      254    350      984    23620   24     2968    3470    478   4456 0.06
7.48/7.51	c      480    350     1423    42109   29     4057    3818    917   4660 0.10
7.48/7.51	c      818    350     2068    74667   36     5703    4200   1562   4519 0.18
7.48/7.51	c     1326    350     3047   119155   39     8049    4621   2541   4092 0.32
7.48/7.51	c     2090    350     4519   178546   39    11523    5084   4013   3622 0.58
7.48/7.51	c     3236    350     4106   148089   36    10177    5593   3600   2971 1.09
7.48/7.51	c     4957    350     4261   159948   37    10538    6153   3755   2784 1.78
7.48/7.51	c     7542    350     5928   248924   41    14467    6769   5422   2888 2.61
7.48/7.51	c    11422    350     5945   252779   42    14391    7446   5439   2729 4.18
7.48/7.51	c    17244    350     5131   204609   39    12514    8191   4625   2479 6.96
7.48/7.51	o 17
25.58/25.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.58/25.67	c    18907    350     8231   348001   42    19651    2881   7725   2517 7.51
25.58/25.67	c    19008    350     2148    86005   40     5312    3170   1642   2511 7.57
25.58/25.67	c    19258    350     2637   109058   41     6575    3488   2131   2523 7.63
25.58/25.67	c    19733    350     3541   148565   41     8791    3837   3035   2544 7.76
25.58/25.67	c    20546    350     2945   107926   36     7377    4221   2439   2553 8.05
25.58/25.67	c    21867    350     3156   125546   39     7665    4644   2650   2547 8.58
25.58/25.67	c    23949    350     4603   195334   42    11004    5109   4097   2527 9.47
25.58/25.67	c    27172    350     5563   231845   41    13714    5620   5057   2406 11.29
25.58/25.67	c    32109    341     6100   241393   39    15294    6183   5594   2430 13.21
25.58/25.67	c    39617    331     5827   231250   39    14404    6802   5321   2166 18.29
25.58/25.67	o 9
33.68/33.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.68/33.72	c    50943    331     4966   199244   40    11917    2877   4460   1984 25.67
33.68/33.72	c    51044    331     2127    72172   33     5285    3165   1621   1985 25.71
33.68/33.72	c    51295    331     2506    92477   36     6039    3482   2000   1989 25.78
33.68/33.72	c    51770    331     3230   128079   39     7594    3831   2724   1996 25.93
33.68/33.72	c    52583    322     2589    97663   37     6492    4215   2083   2001 26.27
33.68/33.72	c    53903    322     2620   102207   39     6440    4637   2114   2005 26.88
33.68/33.72	c    55985    322     4004   152144   37    10594    5101   3498   2013 27.80
33.68/33.72	c    59208    322     4353   168299   38    10470    5612   3847   1983 29.85
33.68/33.72	c    64144    322     4050   154510   38     9906    6174   3544   1939 33.08
33.68/33.72	o 3
46.47/46.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.47/46.57	c    65958    322     4070   163547   40     9896    2875   3564   1956 33.72
46.47/46.57	c    66058    293     2135    75875   35     5510    3163   1629   1957 33.74
46.47/46.57	c    66308    293     2589    94721   36     6709    3480   2083   1961 33.80
46.47/46.57	c    66784    293     3519   131852   37     9351    3829   3013   1967 33.94
46.47/46.57	c    67597    293     3021   110910   36     8042    4212   2515   1972 34.28
46.47/46.57	c    68918    293     3178   121109   38     7895    4634   2672   1984 34.72
46.47/46.57	c    70999    293     4485   174426   38    11619    5098   3979   1993 35.61
46.47/46.57	c    74223    293     4871   194568   39    11940    5608   4365   1982 37.44
46.47/46.57	c    79159    292     4487   180579   40    10908    6169   3981   1986 39.84
46.47/46.57	c    86665    292     4832   181194   37    11815    6786   4326   1923 45.07
46.47/46.57	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 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x43 -x44 -x45 -x46 x47 x48 -x49 x71 -x72 -x73 -x74 -x75 -x76 -x77 x155 -x156 -x157 -x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x50 -x51 -x52 -x53 -x54 -x55 x56 -x78 x79 x80 -x81 -x82 -x83 -x84 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 x252 x57 -x58 -x59 -x60 -x61 -x62 -x63 x85 -x86 -x87 -x88 -x89 x90 -x91 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x64 x65 x66 -x67 -x68 -x69 -x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x302 x303 x304 -x305 -x306 -x307 -x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x99 -x100 -x101 -x102 -x103 -x104 -x105 
46.47/46.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
46.47/46.57	c   40    88847    958    94937     4951   187965   4445   1908 46.56
46.47/46.57	c Objective: 3
46.47/46.57	s OPTIMUM FOUND
46.47/46.57	c Total time: 46.565 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670425-1276702213/watcher-2670425-1276702213 -o /tmp/evaluation-result-2670425-1276702213/solver-2670425-1276702213 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670425-1276702213.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.93 3/106 17848
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=10924 CPUtime=0
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 11514113 11186176 270 1992294400 134512640 137138936 4287984592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 2731 270 185 642 0 2087 0

[startup+0.088451 s]
/proc/loadavg: 0.92 0.99 0.93 3/106 17848
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=11320 CPUtime=0.08
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 487 0 0 0 8 0 0 0 20 0 1 0 11514113 11591680 400 1992294400 134512640 137138936 4287984592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 2830 400 192 642 0 2186 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11320

[startup+0.100452 s]
/proc/loadavg: 0.92 0.99 0.93 3/106 17848
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=11448 CPUtime=0.09
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 507 0 0 0 9 0 0 0 20 0 1 0 11514113 11722752 420 1992294400 134512640 137138936 4287984592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 2862 420 192 642 0 2218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11448

[startup+0.300473 s]
/proc/loadavg: 0.92 0.99 0.93 3/106 17848
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=12612 CPUtime=0.29
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 789 0 0 0 29 0 0 0 20 0 1 0 11514113 12914688 702 1992294400 134512640 137138936 4287984592 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 3153 702 192 642 0 2509 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12612

[startup+0.700516 s]
/proc/loadavg: 0.92 0.99 0.93 3/106 17848
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=14040 CPUtime=0.69
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1151 0 0 0 68 1 0 0 21 0 1 0 11514113 14376960 1064 1992294400 134512640 137138936 4287984592 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 3510 1064 192 642 0 2866 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14040

[startup+1.5006 s]
/proc/loadavg: 0.92 0.99 0.93 2/107 17849
/proc/meminfo: memFree=1816912/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=14296 CPUtime=1.49
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1231 0 0 0 148 1 0 0 23 0 1 0 11514113 14639104 1144 1992294400 134512640 137138936 4287984592 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 3574 1144 192 642 0 2930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14296

[startup+3.10078 s]
/proc/loadavg: 0.92 0.99 0.93 2/107 17849
/proc/meminfo: memFree=1816168/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=15720 CPUtime=3.09
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1588 0 0 0 307 2 0 0 25 0 1 0 11514113 16097280 1501 1992294400 134512640 137138936 4287984592 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 3930 1501 192 642 0 3286 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15720

[startup+6.30112 s]
/proc/loadavg: 0.93 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814556/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16336 CPUtime=6.28
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 625 3 0 0 25 0 1 0 11514113 16728064 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4084 1636 192 642 0 3440 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16336

[startup+12.7008 s]
/proc/loadavg: 0.94 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814556/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16332 CPUtime=12.69
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 1264 5 0 0 25 0 1 0 11514113 16723968 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4083 1636 192 642 0 3439 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16332

[startup+25.5012 s]
/proc/loadavg: 0.95 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814564/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16324 CPUtime=25.48
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 2540 8 0 0 25 0 1 0 11514113 16715776 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 134551092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4081 1636 192 642 0 3437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16324

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

[startup+38.3016 s]
/proc/loadavg: 0.96 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814564/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16308 CPUtime=38.28
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 3816 12 0 0 25 0 1 0 11514113 16699392 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4077 1636 192 642 0 3433 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 16308

[startup+41.5009 s]
/proc/loadavg: 0.96 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814564/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16308 CPUtime=41.48
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 4135 13 0 0 25 0 1 0 11514113 16699392 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4077 1636 192 642 0 3433 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 16308

[startup+44.7013 s]
/proc/loadavg: 0.96 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814564/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16304 CPUtime=44.68
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 4454 14 0 0 25 0 1 0 11514113 16695296 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4076 1636 192 642 0 3432 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 16304

[startup+45.5014 s]
/proc/loadavg: 0.96 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814564/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16304 CPUtime=45.48
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 4534 14 0 0 25 0 1 0 11514113 16695296 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4076 1636 192 642 0 3432 0
Current children cumulated CPU time (s) 45.48
Current children cumulated vsize (KiB) 16304

[startup+46.3015 s]
/proc/loadavg: 0.96 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814564/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16304 CPUtime=46.27
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 4613 14 0 0 25 0 1 0 11514113 16695296 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4076 1636 192 642 0 3432 0
Current children cumulated CPU time (s) 46.27
Current children cumulated vsize (KiB) 16304

[startup+46.5015 s]
/proc/loadavg: 0.96 0.99 0.93 2/107 17851
/proc/meminfo: memFree=1814564/2059040 swapFree=4140084/4192956
[pid=17848] ppid=17846 vsize=16304 CPUtime=46.47
/proc/17848/stat : 17848 (bsolo_pb10) R 17846 17848 17587 0 -1 4202496 1723 0 0 0 4633 14 0 0 25 0 1 0 11514113 16695296 1636 1992294400 134512640 137138936 4287984592 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17848/statm: 4076 1636 192 642 0 3432 0
Current children cumulated CPU time (s) 46.47
Current children cumulated vsize (KiB) 16304

Child status: 0
Real time (s): 46.5798
CPU time (s): 46.5679
CPU user time (s): 46.4169
CPU system time (s): 0.150977
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 16336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.4169
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 642

runsolver used 0.078987 second user time and 0.228965 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-16 17:30:13
IDJOB=2670425
IDBENCH=47929
IDSOLVER=1162
FILE ID=node038/2670425-1276702213
PBS_JOBID= 11174104
Free space on /tmp= 62476 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=59-P1=67-P2=97-P3=53-P4=41-P5=89-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670425-1276702213/watcher-2670425-1276702213 -o /tmp/evaluation-result-2670425-1276702213/solver-2670425-1276702213 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670425-1276702213.opb

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

MD5SUM BENCH= 8dfafc2d5e0fe7665bfa4fcefe292d97
RANDOM SEED=1888487366

node038.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821424 kB
Buffers:         15584 kB
Cached:         131268 kB
SwapCached:       6020 kB
Active:          74264 kB
Inactive:        85312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821424 kB
SwapTotal:     4192956 kB
SwapFree:      4140084 kB
Dirty:            3888 kB
Writeback:           0 kB
AnonPages:       10824 kB
Mapped:          13080 kB
Slab:            56308 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181808 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670425-1276702213.opb

Free space on /tmp at the end= 62472 MiB
End job on node038 at 2010-06-16 17:31:00