Trace number 454980

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, and are wall clock time (not CPU 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.0.16SAT (TO)-8 1800.2 1800.78

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_3.opb
MD5SUM7d5c1eba9f9b9c55d272c1a8f28b465a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454980-1178034843/instance-454980-1178034843.opb
0.00/0.00	c File size is 166870 bytes.
0.00/0.07	c Highest Coefficient sum: 400
0.00/0.07	c Parsing was ok!!
0.00/0.07	c Total parsing time: 0.074 s
0.09/0.10	c Var: 12832 Constr: 25466 12632/402/12432 Lit: 88224 Watch. Lit: 75394
0.09/0.10	c Obj. Vars: 200 (1.5586 % of total variables)
63.57/63.65	c Pre-processing Time: 63.624 s
63.57/63.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.57/63.65	c        0  12832    25466    88224    3    75394  208119      0      0 63.62
63.57/63.65	c Switching off LPR mode.
63.57/63.67	o -1	63.649
63.67/63.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.67/63.70	c        0  12832    25467    88424    3    75397  208253      1      0 63.65
63.67/63.70	o -2	63.679
63.67/63.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.67/63.73	c        0  12832    25468    88624    3    75401  208453      2      0 63.69
63.67/63.73	o -3	63.708
63.67/63.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.67/63.76	c        0  12832    25469    88824    3    75406  208719      3      0 63.72
63.67/63.76	o -4	63.739
63.67/63.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.67/63.79	c        0  12832    25470    89024    3    75412  209053      4      0 63.74
63.67/63.79	o -5	63.769
63.77/63.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.77/63.83	c        0  12832    25471    89224    3    75419  209453      5      0 63.77
63.77/63.83	o -6	63.808
64.77/64.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.77/64.86	c        2  12832    25474    89953    3    75431  209519      8      0 63.81
64.77/64.86	c      102  12832    25574   113019    4    75631  230471    108      1 64.09
64.77/64.86	c      352  12832    25824   178877    6    76131  253519    358      5 64.62
64.77/64.86	o -7	64.841
65.87/66.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.87/66.00	c      616  12832    26089   246703    9    76668  209586    623      9 64.85
65.87/66.00	c      716  12832    26189   266986   10    76868  230545    723     11 65.04
65.87/66.00	c      966  12832    26439   339385   12    77368  253600    973     14 65.46
65.87/66.00	o -8	65.973
1799.91/1800.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.58	c     1408  12832    26882   452421   16    78262  209653   1416     21 65.98
1799.91/1800.58	c     1508  12832    26982   478177   17    78462  230619   1516     22 66.26
1799.91/1800.58	c     1758  12832    27232   530904   19    78962  253681   1766     26 66.37
1799.91/1800.58	c     2233  12832    27707   635651   22    79912  279050   2241     33 66.86
1799.91/1800.58	c     3046  12832    28520   844056   29    81538  306956   3054     44 67.86
1799.91/1800.58	c     4366  12832    29840  1216513   40    84178  337652   4374     62 69.45
1799.91/1800.58	c     6447  12832    31921  1857211   58    88340  371418   6455     90 71.58
1799.91/1800.58	c     9670  12832    35144  2621871   74    94786  408560   9678    132 72.92
1799.91/1800.58	c    14606  12832    40080  3896398   97   104658  449417  14614    180 80.71
1799.91/1800.58	c    22112  12832    47586  5782247  121   119670  494359  22120    241 91.44
1799.91/1800.58	c    33473  12832    58947  8714395  147   142392  543795  33481    286 116.85
1799.91/1800.58	c    50617  12832    76091 12889104  169   176680  598175  50625    333 151.98
1799.91/1800.58	c    76436  12832   101910 18475283  181   228318  657993  76444    373 204.55
1799.91/1800.58	c   115268  12832   140742 28452506  202   305982  723793 115276    365 315.21
1799.91/1800.58	c   173620  12832   199094 43895090  220   422686  796173 173628    315 550.65
1799.91/1800.58	c   261252  12832   286726 64916029  226   597950  875791 261260    273 955.51
1799.91/1800.58	c Resources Exceeded
1799.91/1800.58	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
1799.91/1800.58	v -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
1799.91/1800.58	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1799.91/1800.58	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1799.91/1800.58	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126
1799.91/1800.58	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1799.91/1800.58	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1799.91/1800.58	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1799.91/1800.58	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x347 -x386 -x369 -x241 -x226 -x341 -x273 -x377 -x202 -x265
1799.91/1800.58	v -x259 -x325 -x394 -x340 -x203 -x242 -x376 -x296 -x316 -x343 -x239 -x274 -x248 -x286 -x338 -x220 -x221 -x261 -x282 -x294 -x303
1799.91/1800.58	v -x319 -x321 -x332 -x337 -x349 -x353 -x357 -x393 -x396 -x201 x269 x399 x255 x215 -x375 -x207 x362 -x279 -x291 -x295 -x288 -x289
1799.91/1800.58	v -x348 -x323 -x283 -x400 -x390 -x225 -x209 -x219 -x253 -x263 -x360 -x378 -x238 -x249 -x298 -x237 -x387 -x305 -x236 -x272 -x372
1799.91/1800.58	v -x368 -x278 -x334 -x309 -x224 -x351 -x324 -x212 -x243 -x229 -x258 x284 -x285 -x350 -x356 -x317 -x254 -x267 -x307 -x327 -x392
1799.91/1800.58	v -x314 -x398 -x227 -x346 -x206 -x230 -x354 -x299 -x247 -x256 -x266 -x297 -x300 -x306 -x310 -x363 -x366 -x204 -x222 -x217 -x275
1799.91/1800.58	v -x328 -x304 -x384 -x381 -x382 -x231 -x335 -x244 -x345 -x211 -x216 -x233 -x268 -x276 -x293 -x329 -x342 -x205 -x252 -x271 -x302
1799.91/1800.58	v -x246 -x228 -x214 -x355 -x336 -x290 -x232 -x389 -x385 -x379 x213 -x262 -x397 -x311 -x333 -x344 -x234 x257 -x326 -x352 -x218
1799.91/1800.58	v -x270 -x281 -x331 -x380 -x251 -x240 -x367 -x287 -x210 -x245 -x365 -x374 -x208 -x301 -x264 -x339 -x383 -x359 -x364 -x223 -x313
1799.91/1800.58	v -x371 -x315 -x330 -x370 -x388 -x260 -x312 -x361 -x250 -x292 -x358 -x280 -x235 -x391 -x320 -x322 -x395 -x277 -x308 -x373 -x318
1799.91/1800.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.58	c   27   379245    192   450184   404719 96884055 379253    210 1800.00
1799.91/1800.58	c Objective: -8
1799.91/1800.58	s SATISFIABLE
1799.91/1800.58	c Total time: 1800 s

Verifier Data (download as text)

OK	-8

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-454980-1178034843 -o ROOT/results/node34/solver-454980-1178034843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454980-1178034843/instance-454980-1178034843.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.90 0.94 0.96 3/77 23580
/proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=19712 CPUtime=0
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 251399709 20185088 332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2975 333 281 324 0 2003 0

[startup+0.0987199 s]
/proc/loadavg: 0.90 0.94 0.96 3/77 23580
/proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10648 CPUtime=0.09
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2066 0 0 0 8 1 0 0 18 0 1 0 251399709 10903552 1994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134562128 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2662 1994 302 324 0 1731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10648

[startup+0.102718 s]
/proc/loadavg: 0.90 0.94 0.96 3/77 23580
/proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10792 CPUtime=0.09
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2084 0 0 0 8 1 0 0 18 0 1 0 251399709 11051008 2012 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2698 2012 306 324 0 1767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10792

[startup+0.302734 s]
/proc/loadavg: 0.90 0.94 0.96 3/77 23580
/proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10792 CPUtime=0.29
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2113 0 0 0 28 1 0 0 19 0 1 0 251399709 11051008 2041 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8152993 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2698 2041 306 324 0 1767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10792

[startup+0.701765 s]
/proc/loadavg: 0.90 0.94 0.96 3/77 23580
/proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10792 CPUtime=0.69
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2115 0 0 0 68 1 0 0 23 0 1 0 251399709 11051008 2043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2698 2043 306 324 0 1767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10792

[startup+1.50183 s]
/proc/loadavg: 0.90 0.94 0.96 2/78 23581
/proc/meminfo: memFree=1852336/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10792 CPUtime=1.49
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2116 0 0 0 148 1 0 0 25 0 1 0 251399709 11051008 2044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2698 2044 306 324 0 1767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10792

[startup+3.10195 s]
/proc/loadavg: 0.90 0.94 0.96 2/78 23581
/proc/meminfo: memFree=1852208/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10920 CPUtime=3.09
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 308 1 0 0 25 0 1 0 251399709 11182080 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583415 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2730 2046 306 324 0 1799 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10920

[startup+6.30121 s]
/proc/loadavg: 0.91 0.94 0.96 2/78 23581
/proc/meminfo: memFree=1852080/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10920 CPUtime=6.29
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 628 1 0 0 25 0 1 0 251399709 11182080 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2730 2046 306 324 0 1799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10920

[startup+12.7017 s]
/proc/loadavg: 0.91 0.94 0.96 2/78 23581
/proc/meminfo: memFree=1852088/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10912 CPUtime=12.68
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 1266 2 0 0 25 0 1 0 251399709 11173888 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2728 2046 306 324 0 1797 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10912

[startup+25.5027 s]
/proc/loadavg: 0.93 0.94 0.96 2/78 23581
/proc/meminfo: memFree=1852152/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10912 CPUtime=25.48
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 2545 3 0 0 25 0 1 0 251399709 11173888 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2728 2046 306 324 0 1797 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10912

[startup+51.1027 s]
/proc/loadavg: 0.95 0.95 0.96 2/78 23581
/proc/meminfo: memFree=1852344/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=10912 CPUtime=51.07
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 5103 4 0 0 25 0 1 0 251399709 11173888 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 2728 2046 306 324 0 1797 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10912

[startup+102.306 s]
/proc/loadavg: 0.98 0.95 0.96 2/78 23581
/proc/meminfo: memFree=1763384/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=99760 CPUtime=102.26
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 24761 0 0 0 10196 30 0 0 25 0 1 0 251399709 102154240 24298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 24940 24298 312 324 0 24009 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99760

[startup+162.301 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 23581
/proc/meminfo: memFree=1673080/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=190384 CPUtime=162.24
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 47417 0 0 0 16169 55 0 0 25 0 1 0 251399709 194953216 46954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 47596 46954 312 324 0 46665 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 190384

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 23581
/proc/meminfo: memFree=1585912/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=276888 CPUtime=222.23
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 69034 0 0 0 22143 80 0 0 25 0 1 0 251399709 283533312 68571 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 69222 68571 312 324 0 68291 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 276888

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23581
/proc/meminfo: memFree=1513720/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=349480 CPUtime=282.21
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 87188 0 0 0 28122 99 0 0 25 0 1 0 251399709 357867520 86725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 87370 86725 312 324 0 86439 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 349480

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23581
/proc/meminfo: memFree=1457720/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=404560 CPUtime=342.2
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 100966 0 0 0 34104 116 0 0 25 0 1 0 251399709 414269440 100503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8151192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 101140 100503 312 324 0 100209 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 404560

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23581
/proc/meminfo: memFree=1401528/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=461300 CPUtime=402.18
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 115139 0 0 0 40085 133 0 0 25 0 1 0 251399709 472371200 114676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 115325 114676 312 324 0 114394 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 461300

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/84 23753
/proc/meminfo: memFree=1353392/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=507436 CPUtime=462.07
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 126680 0 0 0 46059 148 0 0 25 0 1 0 251399709 519614464 126217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134585166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 126859 126217 312 324 0 125928 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 507436

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=1303352/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=559532 CPUtime=522.04
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 139693 0 0 0 52041 163 0 0 25 0 1 0 251399709 572960768 139230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 139883 139230 312 324 0 138952 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 559532

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=1247736/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=614124 CPUtime=582.03
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 153361 0 0 0 58022 181 0 0 25 0 1 0 251399709 628862976 152898 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 153531 152898 312 324 0 152600 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 614124

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=1200760/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=660652 CPUtime=642.02
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 164986 0 0 0 64007 195 0 0 25 0 1 0 251399709 676507648 164523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 165163 164523 312 324 0 164232 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 660652


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=1039800/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=821268 CPUtime=881.95
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 205138 0 0 0 87948 247 0 0 25 0 1 0 251399709 840978432 204675 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 205317 204675 312 324 0 204386 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 821268

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=1006520/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=854716 CPUtime=941.93
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 213508 0 0 0 93935 258 0 0 25 0 1 0 251399709 875229184 213045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 213679 213045 312 324 0 212748 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 854716

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=970680/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=890208 CPUtime=1001.92
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 222382 0 0 0 99920 272 0 0 25 0 1 0 251399709 911572992 221919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 222552 221919 312 324 0 221621 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 890208

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=945080/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=915704 CPUtime=1061.9
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 228765 0 0 0 105910 280 0 0 25 0 1 0 251399709 937680896 228302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 228926 228302 312 324 0 227995 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 915704

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=924472/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=936204 CPUtime=1121.88
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 233890 0 0 0 111901 287 0 0 25 0 1 0 251399709 958672896 233427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 234051 233427 312 324 0 233120 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 936204

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=897464/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=963204 CPUtime=1181.87
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 240640 0 0 0 117890 297 0 0 25 0 1 0 251399709 986320896 240177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 240801 240177 312 324 0 239870 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 963204

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=874680/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=985964 CPUtime=1241.85
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 246315 0 0 0 123880 305 0 0 25 0 1 0 251399709 1009627136 245852 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 246491 245852 312 324 0 245560 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 985964

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=846840/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1013396 CPUtime=1301.84
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 253170 0 0 0 129871 313 0 0 25 0 1 0 251399709 1037717504 252707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551635 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 253349 252707 312 324 0 252418 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1013396

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=812600/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1047768 CPUtime=1361.83
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 261754 0 0 0 135859 324 0 0 25 0 1 0 251399709 1072914432 261291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 261942 261291 312 324 0 261011 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1047768

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=780792/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1079360 CPUtime=1421.81
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 269651 0 0 0 141847 334 0 0 25 0 1 0 251399709 1105264640 269188 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 269840 269188 312 324 0 268909 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1079360

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=750200/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1110208 CPUtime=1481.8
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 277360 0 0 0 147836 344 0 0 25 0 1 0 251399709 1136852992 276897 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 277552 276897 312 324 0 276621 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1110208

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=716792/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1143140 CPUtime=1541.78
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 285599 0 0 0 153826 352 0 0 25 0 1 0 251399709 1170575360 285136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 285785 285136 312 324 0 284854 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1143140

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=680312/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1179732 CPUtime=1601.76
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 294757 0 0 0 159812 364 0 0 25 0 1 0 251399709 1208045568 294294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 294933 294294 312 324 0 294002 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1179732

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=649336/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1210448 CPUtime=1661.74
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 302440 0 0 0 165801 373 0 0 25 0 1 0 251399709 1239498752 301977 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 302612 301977 312 324 0 301681 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1210448

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23779
/proc/meminfo: memFree=617784/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1242464 CPUtime=1721.73
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 310435 0 0 0 171790 383 0 0 25 0 1 0 251399709 1272283136 309972 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 310616 309972 312 324 0 309685 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1242464

[startup+1782.3 s]
/proc/loadavg: 1.04 0.99 0.96 2/78 23779
/proc/meminfo: memFree=586552/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=1273092 CPUtime=1781.71
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 318097 0 0 0 177779 392 0 0 25 0 1 0 251399709 1303646208 317634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 318273 317634 312 324 0 317342 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1273092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.03 0.99 0.96 2/78 23779
/proc/meminfo: memFree=695556/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=0 CPUtime=1800.02
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194308 320688 0 0 0 179603 399 0 0 25 0 1 0 251399709 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.71 s]
/proc/loadavg: 1.03 0.99 0.96 2/78 23779
/proc/meminfo: memFree=695556/2055920 swapFree=4158948/4192956
[pid=23580] ppid=23578 vsize=0 CPUtime=1800.12
/proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194308 320688 0 0 0 179603 409 0 0 25 0 1 0 251399709 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.2
CPU user time (s): 1796.04
CPU system time (s): 4.16637
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 1283364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 4.16637
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320688
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= 12
involuntary context switches= 39005

runsolver used 1.35479 second user time and 3.97839 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Tue May  1 15:54:03 UTC 2007

IDJOB= 454980
IDBENCH= 48233
IDSOLVER= 163
FILE ID= node34/454980-1178034843

PBS_JOBID= 4728413

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454980-1178034843/instance-454980-1178034843.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-454980-1178034843 -o ROOT/results/node34/solver-454980-1178034843 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454980-1178034843/instance-454980-1178034843.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7d5c1eba9f9b9c55d272c1a8f28b465a

RANDOM SEED= 608055086

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1859792 kB
Buffers:         45636 kB
Cached:          63244 kB
SwapCached:       3048 kB
Active:          46284 kB
Inactive:        86460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859792 kB
SwapTotal:     4192956 kB
SwapFree:      4158948 kB
Dirty:            7020 kB
Writeback:           0 kB
Mapped:          30072 kB
Slab:            48692 kB
Committed_AS:  4345444 kB
PageTables:       1976 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node34 on Tue May  1 16:24:05 UTC 2007