Trace number 2670564

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 ClOPT3 1240.8 1241.16

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb
MD5SUM1d3dc680e7fede194f84acfa61415e9b
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 benchmark3.72943
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

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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670564-1276702649.opb
0.00/0.00	c File size is 23753 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.004 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.01	c Pre-processing Time: 0.008 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    440      656     2752    4     2364    3690      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
11.00/11.05	c      100    440      756     9027   11     2512    4060    100   5555 0.02
11.00/11.05	c      250    440      906    22617   24     2819    4467    250   5434 0.05
11.00/11.05	c      477    440     1133    38182   33     3295    4914    477   6625 0.07
11.00/11.05	c      815    440     1471    60311   41     3964    5406    815   7409 0.11
11.00/11.05	c     1323    440     1979    94142   47     4957    5947   1323   7647 0.17
11.00/11.05	c     2086    440     2742   140352   51     6488    6542   2086   7023 0.30
11.00/11.05	c     3233    440     3889   218760   56     8751    7197   3233   6952 0.47
11.00/11.05	c     4954    440     5610   346381   61    12246    7917   4954   6676 0.74
11.00/11.05	c     7539    440     8195   515605   62    17402    8709   7539   4963 1.52
11.00/11.05	c    11418    440     7599   434095   57    16205    9580   6943   4252 2.69
11.00/11.05	c    17242    440     8572   479091   55    18123   10539   7916   3397 5.08
11.00/11.05	c    25980    440     6154   326025   52    13273   11593   5498   2512 10.34
11.00/11.05	o 3
1240.73/1241.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1240.73/1241.16	c    28230    440     8405   462881   55    17746    3706   7749   2553 11.05
1240.73/1241.16	c    28331    369     2611   122513   46     6230    4077   1955   2547 11.12
1240.73/1241.16	c    28582    369     2862   139399   48     6697    4485   2206   2561 11.16
1240.73/1241.16	c    29059    369     3339   170151   50     7652    4934   2683   2584 11.24
1240.73/1241.16	c    29874    369     4154   220508   53     9313    5428   3498   2622 11.39
1240.73/1241.16	c    31195    369     5475   292133   53    11946    5971   4819   2670 11.68
1240.73/1241.16	c    33276    369     4449   217533   48     9849    6569   3793   2725 12.21
1240.73/1241.16	c    36499    369     4066   232122   57     9129    7226   3410   2775 13.15
1240.73/1241.16	c    41436    369     5029   275408   54    11014    7949   4373   2855 14.51
1240.73/1241.16	c    48945    369     8231   568160   69    17476    8744   7575   2682 18.24
1240.73/1241.16	c    60306    369     5333   284275   53    11639    9619   4677   2539 23.74
1240.73/1241.16	c    77450    369     7157   444362   62    15271   10581   6501   2383 32.49
1240.73/1241.16	c   103269    369    10472   625256   59    21892   11640   9816   2326 44.39
1240.73/1241.16	c   142101    369     6604   396285   60    14178   12805   5948   2205 64.43
1240.73/1241.16	c   200453    369    11007   658261   59    22993   14086  10351   1882 106.49
1240.73/1241.16	c   288086    359    10283   620754   60    21552   15495   9627   1567 183.74
1240.73/1241.16	c   419638    359    12666   689637   54    26314   17045  12010   1369 306.37
1240.73/1241.16	c   617071    358    15401   844969   54    31792   18750  14745   1225 503.48
1240.73/1241.16	c   913324    358    15232   850410   55    31457   20626  14576   1063 858.50
1240.73/1241.16	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 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 -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 x49 x50 -x51 x52 x53 -x54 -x55 -x56 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x185 x186 -x187 x188 x189 -x190 -x191 -x192 x193 x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -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 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x249 -x250 -x251 -x252 -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 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 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 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x73 x74 x75 x76 x77 x78 -x79 x80 x105 -x106 x107 x108 -x109 -x110 -x111 -x112 x377 x378 x379 x380 x381 x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 x403 x404 x405 x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x113 x114 x115 -x116 -x117 -x118 -x119 -x120 
1240.73/1241.16	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1240.73/1241.16	c   31  1231170   7718  1253553    18863  1012176  18207    992 1240.79
1240.73/1241.16	c Objective: 3
1240.73/1241.16	s OPTIMUM FOUND
1240.73/1241.16	c Total time: 1240.79 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-2670564-1276702649/watcher-2670564-1276702649 -o /tmp/evaluation-result-2670564-1276702649/solver-2670564-1276702649 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670564-1276702649.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: 1.03 1.01 0.92 3/106 16896
/proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=10924 CPUtime=0
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 363 0 0 0 0 0 0 0 18 0 1 0 11552955 11186176 276 1992294400 134512640 137138936 4291743456 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 2731 278 185 642 0 2087 0

[startup+0.0234241 s]
/proc/loadavg: 1.03 1.01 0.92 3/106 16896
/proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=11052 CPUtime=0.02
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 394 0 0 0 2 0 0 0 20 0 1 0 11552955 11317248 307 1992294400 134512640 137138936 4291743456 18446744073709551615 134544876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 2763 307 190 642 0 2119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11052

[startup+0.100437 s]
/proc/loadavg: 1.03 1.01 0.92 3/106 16896
/proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=11684 CPUtime=0.09
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 552 0 0 0 9 0 0 0 20 0 1 0 11552955 11964416 465 1992294400 134512640 137138936 4291743456 18446744073709551615 134576119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 2921 465 190 642 0 2277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11684

[startup+0.300465 s]
/proc/loadavg: 1.03 1.01 0.92 3/106 16896
/proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=12824 CPUtime=0.29
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 866 0 0 0 29 0 0 0 20 0 1 0 11552955 13131776 779 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 3206 779 190 642 0 2562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12824

[startup+0.700521 s]
/proc/loadavg: 1.03 1.01 0.92 3/106 16896
/proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=15592 CPUtime=0.69
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 1556 0 0 0 68 1 0 0 20 0 1 0 11552955 15966208 1469 1992294400 134512640 137138936 4291743456 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 3898 1469 190 642 0 3254 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15592

[startup+1.50064 s]
/proc/loadavg: 1.03 1.01 0.92 2/107 16897
/proc/meminfo: memFree=1709700/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=18240 CPUtime=1.48
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2206 0 0 0 147 1 0 0 23 0 1 0 11552955 18677760 2119 1992294400 134512640 137138936 4291743456 18446744073709551615 134601106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 4560 2119 190 642 0 3916 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18240

[startup+3.10086 s]
/proc/loadavg: 1.03 1.01 0.92 2/107 16897
/proc/meminfo: memFree=1706972/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=19488 CPUtime=3.09
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2509 0 0 0 307 2 0 0 25 0 1 0 11552955 19955712 2422 1992294400 134512640 137138936 4291743456 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 4872 2422 190 642 0 4228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19488

[startup+6.30131 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 16897
/proc/meminfo: memFree=1706848/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=19852 CPUtime=6.29
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2612 0 0 0 626 3 0 0 25 0 1 0 11552955 20328448 2525 1992294400 134512640 137138936 4291743456 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 4963 2525 190 642 0 4319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19852

[startup+12.7012 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 16897
/proc/meminfo: memFree=1705608/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=20736 CPUtime=12.68
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2843 0 0 0 1263 5 0 0 25 0 1 0 11552955 21233664 2756 1992294400 134512640 137138936 4291743456 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 5184 2756 191 642 0 4540 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20736

[startup+25.501 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 16897
/proc/meminfo: memFree=1705608/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=20736 CPUtime=25.48
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2843 0 0 0 2538 10 0 0 25 0 1 0 11552955 21233664 2756 1992294400 134512640 137138936 4291743456 18446744073709551615 134542918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 5184 2756 191 642 0 4540 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20736

[startup+51.1007 s]
/proc/loadavg: 1.01 1.01 0.92 2/107 16897
/proc/meminfo: memFree=1703500/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=22952 CPUtime=51.07
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 3394 0 0 0 5088 19 0 0 25 0 1 0 11552955 23502848 3307 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 5738 3307 191 642 0 5094 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22952

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16899
/proc/meminfo: memFree=1702880/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=23460 CPUtime=102.27
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 3526 0 0 0 10193 34 0 0 25 0 1 0 11552955 24023040 3439 1992294400 134512640 137138936 4291743456 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 5865 3439 191 642 0 5221 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23460

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16901
/proc/meminfo: memFree=1701516/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=24692 CPUtime=162.25
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 3827 0 0 0 16174 51 0 0 25 0 1 0 11552955 25284608 3740 1992294400 134512640 137138936 4291743456 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 6173 3740 191 642 0 5529 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24692

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16903
/proc/meminfo: memFree=1700772/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=25520 CPUtime=222.22
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4030 0 0 0 22159 63 0 0 25 0 1 0 11552955 26132480 3943 1992294400 134512640 137138936 4291743456 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 6380 3943 191 642 0 5736 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 25520

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16903
/proc/meminfo: memFree=1700772/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=25516 CPUtime=282.2
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4030 0 0 0 28140 80 0 0 25 0 1 0 11552955 26128384 3943 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 6379 3943 191 642 0 5735 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 25516

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16905
/proc/meminfo: memFree=1699160/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=27072 CPUtime=342.19
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4416 0 0 0 34122 97 0 0 25 0 1 0 11552955 27721728 4329 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 6768 4329 191 642 0 6124 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 27072

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16907
/proc/meminfo: memFree=1699160/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=27072 CPUtime=402.17
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4416 0 0 0 40105 112 0 0 25 0 1 0 11552955 27721728 4329 1992294400 134512640 137138936 4291743456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 6768 4329 191 642 0 6124 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 27072

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16909
/proc/meminfo: memFree=1699160/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=27020 CPUtime=462.15
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4416 0 0 0 46090 125 0 0 25 0 1 0 11552955 27668480 4329 1992294400 134512640 137138936 4291743456 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 6755 4329 191 642 0 6111 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 27020

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16911
/proc/meminfo: memFree=1697672/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=28512 CPUtime=522.14
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 52076 138 0 0 25 0 1 0 11552955 29196288 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7128 4690 191 642 0 6484 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 28512

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16911
/proc/meminfo: memFree=1697672/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=28472 CPUtime=582.12
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 58061 151 0 0 25 0 1 0 11552955 29155328 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7118 4690 191 642 0 6474 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 28472

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16913
/proc/meminfo: memFree=1697548/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=28472 CPUtime=642.11
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 64049 162 0 0 25 0 1 0 11552955 29155328 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7118 4690 191 642 0 6474 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 28472

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16915
/proc/meminfo: memFree=1697548/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=28472 CPUtime=702.08
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 70035 173 0 0 25 0 1 0 11552955 29155328 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7118 4690 191 642 0 6474 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 28472

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16917
/proc/meminfo: memFree=1697424/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=28588 CPUtime=762.07
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4796 0 0 0 76021 186 0 0 25 0 1 0 11552955 29274112 4709 1992294400 134512640 137138936 4291743456 18446744073709551615 134542871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7147 4709 191 642 0 6503 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 28588

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16919
/proc/meminfo: memFree=1697424/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=28580 CPUtime=822.04
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4796 0 0 0 82005 199 0 0 25 0 1 0 11552955 29265920 4709 1992294400 134512640 137138936 4291743456 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7145 4709 191 642 0 6501 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 28580

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16919
/proc/meminfo: memFree=1695564/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30448 CPUtime=882.03
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5265 0 0 0 87989 214 0 0 25 0 1 0 11552955 31178752 5178 1992294400 134512640 137138936 4291743456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7612 5178 191 642 0 6968 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 30448

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16921
/proc/meminfo: memFree=1695440/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30452 CPUtime=942.01
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 93973 228 0 0 25 0 1 0 11552955 31182848 5179 1992294400 134512640 137138936 4291743456 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7613 5179 191 642 0 6969 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 30452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16923
/proc/meminfo: memFree=1695440/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30452 CPUtime=1001.99
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 99956 243 0 0 25 0 1 0 11552955 31182848 5179 1992294400 134512640 137138936 4291743456 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7613 5179 191 642 0 6969 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 30452

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16925
/proc/meminfo: memFree=1695440/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30448 CPUtime=1061.98
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 105943 255 0 0 25 0 1 0 11552955 31178752 5179 1992294400 134512640 137138936 4291743456 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7612 5179 191 642 0 6968 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 30448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16927
/proc/meminfo: memFree=1695316/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30380 CPUtime=1121.95
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 111927 268 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7595 5170 191 642 0 6951 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 30380

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16927
/proc/meminfo: memFree=1695316/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30380 CPUtime=1181.94
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 117913 281 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7595 5170 191 642 0 6951 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 30380

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

[startup+1203.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695316/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30380 CPUtime=1202.74
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 119987 287 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7595 5170 191 642 0 6951 0
Current children cumulated CPU time (s) 1202.74
Current children cumulated vsize (KiB) 30380

[startup+1215.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30380 CPUtime=1215.53
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 121264 289 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7595 5170 191 642 0 6951 0
Current children cumulated CPU time (s) 1215.53
Current children cumulated vsize (KiB) 30380

[startup+1228.71 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30380 CPUtime=1228.33
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 122541 292 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7595 5170 191 642 0 6951 0
Current children cumulated CPU time (s) 1228.33
Current children cumulated vsize (KiB) 30380

[startup+1235.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30376 CPUtime=1234.73
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123179 294 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7594 5169 191 642 0 6950 0
Current children cumulated CPU time (s) 1234.73
Current children cumulated vsize (KiB) 30376

[startup+1238.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30376 CPUtime=1237.93
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123498 295 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7594 5169 191 642 0 6950 0
Current children cumulated CPU time (s) 1237.93
Current children cumulated vsize (KiB) 30376

[startup+1239.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30376 CPUtime=1239.52
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123657 295 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7594 5169 191 642 0 6950 0
Current children cumulated CPU time (s) 1239.52
Current children cumulated vsize (KiB) 30376

[startup+1240.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30376 CPUtime=1240.33
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123738 295 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7594 5169 191 642 0 6950 0
Current children cumulated CPU time (s) 1240.33
Current children cumulated vsize (KiB) 30376

[startup+1241.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 16929
/proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956
[pid=16896] ppid=16894 vsize=30376 CPUtime=1240.73
/proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123777 296 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16896/statm: 7594 5169 191 642 0 6950 0
Current children cumulated CPU time (s) 1240.73
Current children cumulated vsize (KiB) 30376

Child status: 0
Real time (s): 1241.16
CPU time (s): 1240.8
CPU user time (s): 1237.83
CPU system time (s): 2.96355
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 30452

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

runsolver used 1.9827 second user time and 5.9261 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-16 17:37:29
IDJOB=2670564
IDBENCH=47998
IDSOLVER=1163
FILE ID=node049/2670564-1276702649
PBS_JOBID= 11174095
Free space on /tmp= 62524 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670564-1276702649/watcher-2670564-1276702649 -o /tmp/evaluation-result-2670564-1276702649/solver-2670564-1276702649 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670564-1276702649.opb

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

MD5SUM BENCH= 1d3dc680e7fede194f84acfa61415e9b
RANDOM SEED=1385474976

node049.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.244
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.48
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.244
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1716684 kB
Buffers:        124816 kB
Cached:         119968 kB
SwapCached:       5920 kB
Active:         108104 kB
Inactive:       153692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1716684 kB
SwapTotal:     4192956 kB
SwapFree:      4144492 kB
Dirty:            3956 kB
Writeback:           0 kB
AnonPages:       14200 kB
Mapped:          13088 kB
Slab:            58428 kB
PageTables:       3912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182860 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670564-1276702649.opb

Free space on /tmp at the end= 62520 MiB
End job on node049 at 2010-06-16 17:58:10