Trace number 1879553

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT3 1798.04 1798.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
MD5SUM3dcbc29326e863fba53ed8c8a10116ce
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 benchmark4.29535
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 variables147
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 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)343
Sum of products size (including duplicates)686
Number of different products343
Sum of products size686

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879553-1245245332.opb
0.00/0.00	c File size is 25525 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: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843
0.00/0.00	c Obj. Vars: 7 (1.42857 % of total variables)
0.00/0.00	c Pre-processing Time: 0.007 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    490      708     2982    4     2557    4020      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
252.00/252.19	c      101    490      882    11712   13     4209    4423    174   3884 0.03
252.00/252.19	c      254    490     1149    26027   22     6533    4866    441   3432 0.07
252.00/252.19	c      482    490     1567    50109   31     8141    5353    859   3887 0.12
252.00/252.19	c      820    490     2170    83459   38    12784    5889   1462   4000 0.20
252.00/252.19	c     1330    490     2844   121535   42    16790    6478   2136   3888 0.34
252.00/252.19	c     2094    490     4164   191319   45    25111    7126   3456   2653 0.79
252.00/252.19	c     3240    490     6224   315874   50    42022    7839   5516   1898 1.71
252.00/252.19	c     4961    490     5447   247592   45    32558    8623   4739    884 5.61
252.00/252.19	c     7545    490     5505   283168   51    34782    9486   4797    973 7.75
252.00/252.19	c    11425    490     7517   431402   57    58750   10435   6809    839 13.62
252.00/252.19	c    17247    490     7082   377170   53    63315   11479   6374    485 35.51
252.00/252.19	c    25985    490    10077   507875   50    60102   12627   9369    371 69.86
252.00/252.19	c    39095    490     7346   389709   53    52448   13890   6638    312 125.09
252.00/252.19	c    58765    490    14261   746430   52    91580   15280  13553    276 212.43
252.00/252.19	o 3
1797.96/1798.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.76	c    69542    490     9874   495383   50    73828    4034   9166    275 252.10
1797.96/1798.76	c    69643    490     2920   123026   42    20080    4438   2212    275 252.45
1797.96/1798.76	c    69895    490     3409   151141   44    28603    4882   2701    276 252.59
1797.96/1798.76	c    70371    490     4323   206296   47    37151    5371   3615    278 252.84
1797.96/1798.76	c    71184    490     5865   282873   48    53768    5909   5157    280 253.47
1797.96/1798.76	c    72505    490     5237   239208   45    55332    6500   4529    283 255.78
1797.96/1798.76	c    74588    435     5577   264099   47    49953    7151   4869    285 260.80
1797.96/1798.76	c    77811    434     4287   182980   42    37190    7867   3579    291 267.10
1797.96/1798.76	c    82747    434     5538   262817   47    56301    8654   4830    284 290.76
1797.96/1798.76	c    90253    433     6091   288060   47    47028    9520   5383    268 336.72
1797.96/1798.76	c   101614    433     6446   330073   51    48086   10473   5738    264 384.66
1797.96/1798.76	c   118758    433     9539   473408   49    74524   11521   8831    253 467.62
1797.96/1798.76	c   144578    433    11738   610525   52   100190   12674  11030    231 623.55
1797.96/1798.76	c   183410    428    10123   502929   49   109771   13942   9415    194 944.46
1797.96/1798.76	c   241763    428    14552   746402   51   120285   15337  13844    174 1384.60
1797.96/1798.76	c Resources Exceeded
1797.96/1798.76	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 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 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x57 x58 -x59 -x60 -x61 x62 x63 -x99 -x100 -x101 -x102 -x103 -x104 -x105 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 x64 -x65 -x66 x67 -x68 x69 -x70 -x106 x107 -x108 -x109 -x110 -x111 -x112 x246 -x247 -x248 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 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x113 -x114 -x115 x116 -x117 -x118 -x119 x295 -x296 -x297 -x298 -x299 -x300 -x301 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 x78 x79 x80 -x81 x82 -x83 -x84 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x85 -x86 x87 -x88 -x89 -x90 x91 -x127 -x128 -x129 -x130 -x131 -x132 -x133 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 -x441 x92 -x93 -x94 -x95 -x96 -x97 -x98 x134 x135 x136 -x137 -x138 -x139 -x140 x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x141 -x142 -x143 -x144 -x145 -x146 -x147 
1797.96/1798.76	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.76	c   29   276266   3447   290165    13913   751910  13205    153 1798.03
1797.96/1798.76	c Objective: 3
1797.96/1798.76	s SATISFIABLE
1797.96/1798.76	c Total time: 1798.03 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-1879553-1245245332/watcher-1879553-1245245332 -o /tmp/evaluation-result-1879553-1245245332/solver-1879553-1245245332 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879553-1245245332.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.00 1.00 1.00 3/65 2588
/proc/meminfo: memFree=1816244/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=10840 CPUtime=0
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 192131923 11100160 266 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 2710 268 186 640 0 2066 0

[startup+0.0909261 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2588
/proc/meminfo: memFree=1816244/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=11364 CPUtime=0.08
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 440 0 0 0 8 0 0 0 18 0 1 0 192131923 11636736 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 2841 417 198 640 0 2197 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11364

[startup+0.101927 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2588
/proc/meminfo: memFree=1816244/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=11492 CPUtime=0.09
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 470 0 0 0 9 0 0 0 18 0 1 0 192131923 11767808 447 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 2873 447 198 640 0 2229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11492

[startup+0.301949 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2588
/proc/meminfo: memFree=1816244/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=12648 CPUtime=0.29
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 782 0 0 0 29 0 0 0 19 0 1 0 192131923 12951552 759 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 3162 759 198 640 0 2518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12648

[startup+0.701993 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2588
/proc/meminfo: memFree=1816244/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=13932 CPUtime=0.69
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 1098 0 0 0 69 0 0 0 23 0 1 0 192131923 14266368 1075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 3483 1075 198 640 0 2839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13932

[startup+1.50108 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1812332/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=16004 CPUtime=1.49
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 1593 0 0 0 148 1 0 0 25 0 1 0 192131923 16388096 1570 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 4001 1570 198 640 0 3357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16004

[startup+3.10126 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1809644/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=17832 CPUtime=3.08
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 2081 0 0 0 307 1 0 0 25 0 1 0 192131923 18259968 2058 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 4458 2058 198 640 0 3814 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17832

[startup+6.30161 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1807916/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=18468 CPUtime=6.29
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 2216 0 0 0 627 2 0 0 25 0 1 0 192131923 18911232 2193 1992294400 134512640 137136520 4294956256 18446744073709551615 134600647 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 4617 2193 198 640 0 3973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18468

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1805036/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=21684 CPUtime=12.69
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 3027 0 0 0 1266 3 0 0 25 0 1 0 192131923 22204416 3004 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 5421 3004 198 640 0 4777 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21684

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1803628/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=22724 CPUtime=25.48
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 3298 0 0 0 2544 4 0 0 25 0 1 0 192131923 23269376 3275 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 5681 3275 198 640 0 5037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22724

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1803180/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=23256 CPUtime=51.07
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 3429 0 0 0 5101 6 0 0 25 0 1 0 192131923 23814144 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 5814 3406 198 640 0 5170 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23256

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1801580/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=24828 CPUtime=102.26
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 3818 0 0 0 10217 9 0 0 25 0 1 0 192131923 25423872 3795 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6207 3795 198 640 0 5563 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24828

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1800748/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=25608 CPUtime=162.23
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4025 0 0 0 16210 13 0 0 25 0 1 0 192131923 26222592 4002 1992294400 134512640 137136520 4294956256 18446744073709551615 136509137 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6402 4002 198 640 0 5758 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 25608

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799852/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26520 CPUtime=222.21
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4237 0 0 0 22205 16 0 0 25 0 1 0 192131923 27156480 4214 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6630 4214 198 640 0 5986 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 26520

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799468/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26784 CPUtime=282.19
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4309 0 0 0 28199 20 0 0 25 0 1 0 192131923 27426816 4286 1992294400 134512640 137136520 4294956256 18446744073709551615 136502060 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6696 4286 198 640 0 6052 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 26784

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799468/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26784 CPUtime=342.15
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4309 0 0 0 34192 23 0 0 25 0 1 0 192131923 27426816 4286 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6696 4286 198 640 0 6052 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 26784

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799468/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26784 CPUtime=402.12
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4309 0 0 0 40186 26 0 0 25 0 1 0 192131923 27426816 4286 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6696 4286 198 640 0 6052 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 26784

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799404/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26784 CPUtime=462.1
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4309 0 0 0 46181 29 0 0 25 0 1 0 192131923 27426816 4286 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6696 4286 198 640 0 6052 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 26784

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799340/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26760 CPUtime=522.07
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4309 0 0 0 52175 32 0 0 25 0 1 0 192131923 27402240 4286 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6690 4286 198 640 0 6046 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 26760

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799340/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26760 CPUtime=582.05
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4309 0 0 0 58171 34 0 0 25 0 1 0 192131923 27402240 4286 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6690 4286 198 640 0 6046 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 26760

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799340/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26760 CPUtime=642.03
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4309 0 0 0 64166 37 0 0 25 0 1 0 192131923 27402240 4286 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6690 4286 198 640 0 6046 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 26760

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1799148/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26892 CPUtime=1061.86
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4346 0 0 0 106135 51 0 0 25 0 1 0 192131923 27537408 4323 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6723 4323 198 640 0 6079 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 26892

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799084/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26892 CPUtime=1121.82
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4346 0 0 0 112129 53 0 0 25 0 1 0 192131923 27537408 4323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6723 4323 198 640 0 6079 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 26892

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1799020/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26892 CPUtime=1181.8
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4346 0 0 0 118125 55 0 0 25 0 1 0 192131923 27537408 4323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6723 4323 198 640 0 6079 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 26892

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1798828/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26892 CPUtime=1241.78
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4346 0 0 0 124122 56 0 0 25 0 1 0 192131923 27537408 4323 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6723 4323 198 640 0 6079 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 26892

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1798764/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26892 CPUtime=1301.77
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4346 0 0 0 130118 59 0 0 25 0 1 0 192131923 27537408 4323 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6723 4323 198 640 0 6079 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 26892

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1798828/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=26892 CPUtime=1361.74
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4346 0 0 0 136113 61 0 0 25 0 1 0 192131923 27537408 4323 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6723 4323 198 640 0 6079 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 26892

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2589
/proc/meminfo: memFree=1798828/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=27024 CPUtime=1421.72
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4369 0 0 0 142109 63 0 0 25 0 1 0 192131923 27672576 4346 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6756 4346 198 640 0 6112 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 27024

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1798316/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=27288 CPUtime=1481.69
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4429 0 0 0 148104 65 0 0 25 0 1 0 192131923 27942912 4406 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6822 4406 198 640 0 6178 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 27288

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1798380/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=27288 CPUtime=1541.66
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4429 0 0 0 154100 66 0 0 25 0 1 0 192131923 27942912 4406 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6822 4406 198 640 0 6178 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 27288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1798380/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=27288 CPUtime=1601.64
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4429 0 0 0 160096 68 0 0 25 0 1 0 192131923 27942912 4406 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6822 4406 198 640 0 6178 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 27288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1798380/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=27356 CPUtime=1661.62
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4447 0 0 0 166092 70 0 0 25 0 1 0 192131923 28012544 4424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 6839 4424 198 640 0 6195 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 27356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1797676/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=28140 CPUtime=1721.59
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4648 0 0 0 172087 72 0 0 25 0 1 0 192131923 28815360 4625 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7035 4625 198 640 0 6391 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 28140

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1796524/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=29156 CPUtime=1781.57
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4895 0 0 0 178084 73 0 0 25 0 1 0 192131923 29855744 4872 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7289 4872 198 640 0 6645 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 29156

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1796524/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=29156 CPUtime=1791.17
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4895 0 0 0 179044 73 0 0 25 0 1 0 192131923 29855744 4872 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7289 4872 198 640 0 6645 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 29156

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1796524/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=29156 CPUtime=1794.37
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4895 0 0 0 179364 73 0 0 25 0 1 0 192131923 29855744 4872 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7289 4872 198 640 0 6645 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 29156

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1796524/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=29156 CPUtime=1795.96
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4895 0 0 0 179523 73 0 0 25 0 1 0 192131923 29855744 4872 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7289 4872 198 640 0 6645 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 29156

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1796524/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=29156 CPUtime=1796.76
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4895 0 0 0 179603 73 0 0 25 0 1 0 192131923 29855744 4872 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7289 4872 198 640 0 6645 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 29156

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1796524/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=29156 CPUtime=1797.56
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4895 0 0 0 179683 73 0 0 25 0 1 0 192131923 29855744 4872 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7289 4872 198 640 0 6645 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 29156

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2591
/proc/meminfo: memFree=1796524/2055920 swapFree=4192952/4192956
[pid=2588] ppid=2586 vsize=29156 CPUtime=1797.96
/proc/2588/stat : 2588 (bsolo) R 2586 2588 2269 0 -1 4194304 4895 0 0 0 179723 73 0 0 25 0 1 0 192131923 29855744 4872 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 7289 4872 198 640 0 6645 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 29156

Child status: 0
Real time (s): 1798.77
CPU time (s): 1798.04
CPU user time (s): 1797.3
CPU system time (s): 0.738887
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (KiB): 29156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.3
system time used= 0.738887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4897
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= 2
involuntary context switches= 6363

runsolver used 2.00069 second user time and 3.56446 second system time

The end

Launcher Data 

Begin job on node76 at 2009-06-17 15:28:52
IDJOB=1879553
IDBENCH=48103
IDSOLVER=701
FILE ID=node76/1879553-1245245332
PBS_JOBID= 9372275
Free space on /tmp= 66564 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879553-1245245332/watcher-1879553-1245245332 -o /tmp/evaluation-result-1879553-1245245332/solver-1879553-1245245332 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879553-1245245332.opb

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

MD5SUM BENCH= 3dcbc29326e863fba53ed8c8a10116ce
RANDOM SEED=166837130

node76.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.216
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.216
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1816788 kB
Buffers:         32604 kB
Cached:         124268 kB
SwapCached:          4 kB
Active:          50152 kB
Inactive:       119508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816788 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          22600 kB
Slab:            55388 kB
Committed_AS:    73852 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879553-1245245332.opb

Free space on /tmp at the end= 66560 MiB
End job on node76 at 2009-06-17 15:58:51