Trace number 432779

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.17SAT (TO)97 1800.04 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb
MD5SUM9a8d1e3e59dfd2cd811494ddb4a3c92a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1802.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables230
Total number of constraints6
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 constraints6
Minimum length of a constraint80
Maximum length of a constraint80
Number of terms in the objective function 180
Biggest coefficient in the objective function 43691
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524412
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261310
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524412
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432779-1177949470/instance-432779-1177949470.opb
0.00/0.00	c File size is 6067 bytes.
0.00/0.00	c Highest Coefficient sum: 524412
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 230 Constr: 12 0/0/12 Lit: 960 Watch. Lit: 492
0.00/0.00	c Obj. Vars: 180 (78.2609 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    176       12      960   80      551    1920      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 677	0.004
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    176       13     1086   83      753    2172      1      0 0.00
0.00/0.00	o 676	0.005
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        1    176       15     1352   90      856    2172      3    200 0.01
0.00/0.01	o 457	0.005
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        2    176       17     1531   90      920    2172      5    400 0.01
0.29/0.39	c      102    176      117     6920   59     1099    2390    105   7846 0.01
0.29/0.39	c      352    176      367    31713   86     1521    2630    355  10057 0.04
0.29/0.39	c      827    176      842    73623   87     2460    2894    830   8438 0.10
0.29/0.39	c     1640    176     1655   153158   92     4070    3184   1643   8541 0.19
0.29/0.39	c     2963    176     2978   256914   86     6759    3503   2966   7880 0.38
0.29/0.39	o 292	0.392
0.89/0.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.92	c     3069    176     3085   262465   85     7040    2172   3073   7809 0.39
0.89/0.92	c     3171    176     1201    93113   77     3187    2390   1189   7715 0.41
0.89/0.92	c     3421    176     1451   111828   77     3681    2630   1439   7900 0.43
0.89/0.92	c     3896    176     1926   149145   77     4631    2894   1914   7983 0.49
0.89/0.92	c     4709    176     2739   206233   75     6258    3184   2727   7669 0.61
0.89/0.92	c     6030    176     2313   176256   76     5406    3503   2301   6590 0.92
0.89/0.92	o 186	0.921
3.59/3.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.60	c     6074    176     2358   178117   75     5590    2172   2346   6595 0.92
3.59/3.60	c     6175    176     1200    90463   75     3210    2390   1188   6486 0.95
3.59/3.60	c     6426    176     1451   107950   74     3708    2630   1439   6550 0.98
3.59/3.60	c     6902    176     1927   131106   68     4664    2894   1915   6567 1.05
3.59/3.60	c     7715    176     2740   192821   70     6286    3184   2728   6702 1.15
3.59/3.60	c     9035    176     2344   142352   60     5505    3503   2332   6697 1.35
3.59/3.60	c    11117    176     2531   152565   60     5876    3854   2519   6837 1.63
3.59/3.60	c    14340    176     3664   290877   79     8140    4240   3652   5301 2.71
3.59/3.60	c    19276    176     4004   260936   65     8844    4665   3992   5363 3.59
3.59/3.60	o 142	3.597
3.69/3.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.73	c    19278    176     4007   261183   65     8943    2172   3995   5359 3.60
3.69/3.73	c    19378    176     1199    80946   67     3235    2390   1187   5248 3.69
3.69/3.73	c    19628    176     1449    95570   65     3690    2630   1437   5263 3.73
3.69/3.73	o 118	3.73
3.69/3.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.73	c    19630    176     1452    95810   65     3850    2172   1440   5262 3.73
3.69/3.73	o 117	3.732
41.88/41.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.88/41.95	c    19647    176     1470    97244   66     4008    2172   1458   5264 3.73
41.88/41.95	c    19747    176     1570   102404   65     4205    2390   1558   5274 3.74
41.88/41.95	c    19997    176     1820   119200   65     4711    2630   1808   5302 3.77
41.88/41.95	c    20472    176     2295   141040   61     5655    2894   2283   5324 3.85
41.88/41.95	c    21286    176     1499    83022   55     3823    3184   1487   5354 3.98
41.88/41.95	c    22606    176     2819   166926   59     6462    3503   2807   5465 4.14
41.88/41.95	c    24688    176     3028   162250   53     6891    3854   3016   5489 4.50
41.88/41.95	c    27911    176     2067   142059   68     4955    4240   2055   5547 5.03
41.88/41.95	c    32847    176     2440   171591   70     5701    4665   2428   4910 6.69
41.88/41.95	c    40354    176     2352   202677   86     5542    5132   2340   4759 8.48
41.88/41.95	c    51715    176     2760   230374   83     6346    5646   2748   4388 11.78
41.88/41.95	c    68859    176     4742   374974   79    10304    6211   4730   3781 18.21
41.88/41.95	c    94679    176     4388   273757   62     9602    6833   4376   3611 26.22
41.88/41.95	c   133511    176     3750   330360   88     8321    7517   3738   3301 40.44
41.88/41.95	o 104	41.938
42.88/42.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.88/42.91	c   138735    176     5097   275055   53    11117    2172   5085   3308 41.94
42.88/42.91	c   138836    176     1200    62760   52     3224    2390   1188   3304 42.01
42.88/42.91	c   139088    176     1452    73588   50     3735    2630   1440   3308 42.04
42.88/42.91	c   139565    176     1929    96003   49     4696    2894   1917   3315 42.10
42.88/42.91	c   140378    176     2742   140076   51     6322    3184   2730   3327 42.19
42.88/42.91	c   141699    176     2359   119237   50     5556    3503   2347   3340 42.42
42.88/42.91	c   143780    176     2534   158600   62     5906    3854   2522   3364 42.74
42.88/42.91	o 99	42.901
573.44/573.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
573.44/573.64	c   144981    176     3736   223519   59     8454    2172   3724   3379 42.90
573.44/573.64	c   145085    176     1203    62991   52     3242    2390   1191   3378 42.95
573.44/573.64	c   145336    176     1454    79178   54     3745    2630   1442   3381 42.97
573.44/573.64	c   145813    176     1931   109159   56     4696    2894   1919   3388 43.03
573.44/573.64	c   146626    176     2744   154019   56     6324    3184   2732   3396 43.17
573.44/573.64	c   147947    176     2319   140620   60     5474    3503   2307   3413 43.35
573.44/573.64	c   150028    176     2452   155890   63     5749    3854   2440   3440 43.61
573.44/573.64	c   153257    176     3578   226715   63     7978    4240   3566   3462 44.26
573.44/573.64	c   158193    176     3979   289016   72     8785    4665   3967   3463 45.67
573.44/573.64	c   165699    176     4069   254532   62     8959    5132   4057   3500 47.34
573.44/573.64	c   177060    176     4321   390019   90     9462    5646   4309   3426 51.68
573.44/573.64	c   194204    176     3317   289580   87     7449    6211   3305   3212 60.45
573.44/573.64	c   220023    176     6163   402089   65    13145    6833   6151   2974 73.97
573.44/573.64	c   258855    176     5332   450926   84    11494    7517   5320   2726 94.93
573.44/573.64	c   317207    176     4971   334365   67    10764    8269   4959   2687 118.04
573.44/573.64	c   404840    176     5810   497858   85    12434    9096   5798   1769 228.75
573.44/573.64	c   536392    176     5587   399439   71    12000   10006   5575   1845 290.57
573.44/573.64	c   733824    176     5986   474655   79    12803   11007   5974   1418 517.17
573.44/573.64	o 98	573.493
573.94/574.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
573.94/574.16	c   814731    176     7296   647586   88    15534    2172   7284   1420 573.49
573.94/574.16	c   814831    176     1199    99488   82     3198    2390   1187   1420 573.62
573.94/574.16	c   815083    176     1451   114622   78     3730    2630   1439   1420 573.65
573.94/574.16	c   815558    176     1926   139296   72     4682    2894   1914   1421 573.71
573.94/574.16	c   816371    176     2739   204020   74     6305    3184   2727   1422 573.79
573.94/574.16	c   817691    176     2297   151535   65     5412    3503   2285   1424 573.98
573.94/574.16	o 97	574.01
1800.02/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.50	c   817850    176     2457   160472   65     5865    2172   2445   1424 574.01
1800.02/1800.50	c   817951    176     1200    68393   56     3220    2390   1188   1424 574.05
1800.02/1800.50	c   818201    176     1450    79903   55     3729    2630   1438   1425 574.09
1800.02/1800.50	c   818679    176     1928   119313   61     4686    2894   1916   1425 574.13
1800.02/1800.50	c   819492    176     2741   169814   61     6299    3184   2729   1427 574.25
1800.02/1800.50	c   820812    176     2259   165808   73     5338    3503   2247   1428 574.42
1800.02/1800.50	c   822893    176     2419   153648   63     5648    3854   2407   1431 574.68
1800.02/1800.50	c   826116    176     3517   272144   77     7856    4240   3505   1435 575.37
1800.02/1800.50	c   831053    176     3978   212787   53     8777    4665   3966   1441 576.69
1800.02/1800.50	c   838559    176     3956   254416   64     8751    5132   3944   1449 578.69
1800.02/1800.50	c   849921    176     4286   340726   79     9396    5646   4274   1462 581.34
1800.02/1800.50	c   867065    176     3478   218376   62     7774    6211   3466   1481 585.22
1800.02/1800.50	c   892884    176     6118   558869   91    13062    6833   6106   1492 598.21
1800.02/1800.50	c   931716    176     5537   369876   66    11887    7517   5525   1530 608.92
1800.02/1800.50	c   990068    176     5010   364211   72    10843    8269   4998   1512 654.38
1800.02/1800.50	c  1077701    176     5971   509069   85    12794    9096   5959   1513 712.16
1800.02/1800.50	c  1209253    176     4877   389096   79    10568   10006   4865   1495 808.48
1800.02/1800.50	c  1406685    176     5355   418180   78    11532   11007   5343   1543 911.41
1800.02/1800.50	c  1702937    176     5517   454505   82    11854   12108   5505   1364 1247.87
1800.02/1800.50	c Caught signal: 15
1800.02/1800.50	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
1800.02/1800.50	v -x30 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102
1800.02/1800.50	v -x103 -x104 -x105 -x106 -x107 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143
1800.02/1800.50	v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x171 x172 x173 x174 x175 -x176 x177 x178
1800.02/1800.50	v x179 x180 x181 x182 x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1800.02/1800.50	v x201 -x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 -x214 -x215 x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224
1800.02/1800.50	v -x225 -x226 -x227 -x228 -x229 -x230 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 -x48 -x49
1800.02/1800.50	v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 -x64 x65 x66 -x67 x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76
1800.02/1800.50	v x77 -x108 -x109 x110 x111 x112 x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 x125 -x126 x127 -x158 x159
1800.02/1800.50	v x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c   91  2115125 543155  3389106     8464   677654   8452   1175 1800.03
1800.02/1800.50	c Objective: 97
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	c Total time: 1800.03 s

Verifier Data (download as text)

OK	97

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-432779-1177949470 -o ROOT/results/node47/solver-432779-1177949470 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432779-1177949470/instance-432779-1177949470.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.87 0.97 0.96 3/77 27655
/proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=11744 CPUtime=0
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 149792372 12025856 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 2936 335 280 324 0 2004 0

[startup+0.02295 s]
/proc/loadavg: 0.87 0.97 0.96 3/77 27655
/proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=4184 CPUtime=0.01
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 453 0 0 0 1 0 0 0 18 0 1 0 149792372 4284416 421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 1046 421 310 324 0 116 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4184

[startup+0.102958 s]
/proc/loadavg: 0.87 0.97 0.96 3/77 27655
/proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=5088 CPUtime=0.09
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 665 0 0 0 9 0 0 0 18 0 1 0 149792372 5210112 633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 1272 633 310 324 0 342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5088

[startup+0.301979 s]
/proc/loadavg: 0.87 0.97 0.96 3/77 27655
/proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=7148 CPUtime=0.29
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1181 0 0 0 29 0 0 0 19 0 1 0 149792372 7319552 1149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 1787 1150 310 324 0 857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7148

[startup+0.703022 s]
/proc/loadavg: 0.87 0.97 0.96 3/77 27655
/proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=7664 CPUtime=0.69
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1333 0 0 0 69 0 0 0 23 0 1 0 149792372 7847936 1301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 1916 1301 310 324 0 986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7664

[startup+1.50111 s]
/proc/loadavg: 0.87 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1578240/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=7664 CPUtime=1.48
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1333 0 0 0 148 0 0 0 25 0 1 0 149792372 7847936 1301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 1916 1301 310 324 0 986 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7664

[startup+3.10128 s]
/proc/loadavg: 0.87 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1577920/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=8840 CPUtime=3.09
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1615 0 0 0 308 1 0 0 25 0 1 0 149792372 9052160 1583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 2210 1583 310 324 0 1280 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8840

[startup+6.30163 s]
/proc/loadavg: 0.88 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1576768/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=8840 CPUtime=6.29
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1615 0 0 0 628 1 0 0 25 0 1 0 149792372 9052160 1583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 2210 1583 310 324 0 1280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8840

[startup+12.7013 s]
/proc/loadavg: 0.89 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1575360/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=10764 CPUtime=12.69
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2108 0 0 0 1268 1 0 0 25 0 1 0 149792372 11022336 2076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 2691 2076 310 324 0 1761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10764

[startup+25.5017 s]
/proc/loadavg: 0.91 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1574912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=10768 CPUtime=25.48
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2109 0 0 0 2547 1 0 0 25 0 1 0 149792372 11026432 2077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 2692 2077 310 324 0 1762 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10768

[startup+51.1015 s]
/proc/loadavg: 0.94 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1573632/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=11900 CPUtime=51.08
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2802 0 0 0 5106 2 0 0 25 0 1 0 149792372 12185600 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 2975 2367 310 324 0 2045 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11900

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1573760/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=11748 CPUtime=102.27
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2983 0 0 0 10225 2 0 0 25 0 1 0 149792372 12029952 2329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 2937 2329 310 324 0 2007 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11748

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1572096/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=13704 CPUtime=162.25
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 3453 0 0 0 16222 3 0 0 25 0 1 0 149792372 14032896 2797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3426 2797 310 324 0 2496 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13704

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1571520/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=14292 CPUtime=222.23
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 3621 0 0 0 22219 4 0 0 25 0 1 0 149792372 14635008 2942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3573 2942 310 324 0 2643 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 14292

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1571968/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=13664 CPUtime=282.21
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 3802 0 0 0 28217 4 0 0 25 0 1 0 149792372 13991936 2808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3416 2808 310 324 0 2486 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 13664

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=16008 CPUtime=342.2
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4382 0 0 0 34215 5 0 0 25 0 1 0 149792372 16392192 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4002 3371 310 324 0 3072 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 16008

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=15900 CPUtime=402.19
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4382 0 0 0 40213 6 0 0 25 0 1 0 149792372 16281600 3366 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3975 3366 310 324 0 3045 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 15900

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=15868 CPUtime=462.17
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4382 0 0 0 46211 6 0 0 25 0 1 0 149792372 16248832 3358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3967 3358 310 324 0 3037 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 15868

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=15856 CPUtime=522.15
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4383 0 0 0 52209 6 0 0 25 0 1 0 149792372 16236544 3355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3964 3355 310 324 0 3034 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 15856

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1567872/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=17616 CPUtime=582.14
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4958 0 0 0 58206 8 0 0 25 0 1 0 149792372 18038784 3795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4404 3795 310 324 0 3474 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 17616

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1569600/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=15848 CPUtime=642.13
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4958 0 0 0 64205 8 0 0 25 0 1 0 149792372 16228352 3353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3962 3353 310 324 0 3032 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 15848


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1569536/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=15848 CPUtime=882.06
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4958 0 0 0 88196 10 0 0 25 0 1 0 149792372 16228352 3353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 3962 3353 310 324 0 3032 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 15848

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1568512/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=17024 CPUtime=942.04
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5256 0 0 0 94193 11 0 0 25 0 1 0 149792372 17432576 3647 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4256 3647 310 324 0 3326 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 17024

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1568512/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=16996 CPUtime=1002.03
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5272 0 0 0 100191 12 0 0 25 0 1 0 149792372 17403904 3640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10960626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4249 3640 310 324 0 3319 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 16996

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1568000/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=17608 CPUtime=1062.02
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5598 0 0 0 106189 13 0 0 25 0 1 0 149792372 18030592 3778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4402 3778 310 324 0 3472 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 17608

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1568256/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=17152 CPUtime=1122
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5694 0 0 0 112187 13 0 0 25 0 1 0 149792372 17563648 3679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4288 3679 310 324 0 3358 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 17152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1567808/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=17616 CPUtime=1181.98
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5931 0 0 0 118184 14 0 0 25 0 1 0 149792372 18038784 3795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4404 3795 310 324 0 3474 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 17616

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1567744/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=17688 CPUtime=1241.97
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5978 0 0 0 124182 15 0 0 25 0 1 0 149792372 18112512 3813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4422 3813 310 324 0 3492 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 17688

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1568064/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=17292 CPUtime=1301.95
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5980 0 0 0 130180 15 0 0 25 0 1 0 149792372 17707008 3715 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4323 3715 310 324 0 3393 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 17292

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1567040/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18576 CPUtime=1361.94
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6354 0 0 0 136178 16 0 0 25 0 1 0 149792372 19021824 4016 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4644 4016 310 324 0 3714 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 18576

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1567040/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18448 CPUtime=1421.92
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6354 0 0 0 142176 16 0 0 25 0 1 0 149792372 18890752 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10952637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4612 4004 310 324 0 3682 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 18448

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1567040/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18448 CPUtime=1481.91
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6354 0 0 0 148174 17 0 0 25 0 1 0 149792372 18890752 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4612 4004 310 324 0 3682 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 18448

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18684 CPUtime=1541.88
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6393 0 0 0 154171 17 0 0 25 0 1 0 149792372 19132416 4043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4671 4043 310 324 0 3741 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 18684

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18624 CPUtime=1601.87
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6393 0 0 0 160169 18 0 0 25 0 1 0 149792372 19070976 4043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4656 4043 310 324 0 3726 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 18624

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18624 CPUtime=1661.85
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6393 0 0 0 166167 18 0 0 25 0 1 0 149792372 19070976 4043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4656 4043 310 324 0 3726 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 18624

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18624 CPUtime=1721.84
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 172165 19 0 0 25 0 1 0 149792372 19070976 4045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4656 4045 310 324 0 3726 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 18624

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18584 CPUtime=1781.82
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 178163 19 0 0 25 0 1 0 149792372 19030016 4038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4646 4038 310 324 0 3716 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 18584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18584 CPUtime=1800.02
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 179983 19 0 0 25 0 1 0 149792372 19030016 4038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4646 4038 310 324 0 3716 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 18584

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 27656
/proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956
[pid=27655] ppid=27653 vsize=18584 CPUtime=1800.02
/proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 179983 19 0 0 25 0 1 0 149792372 19030016 4038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27655/statm: 4646 4038 310 324 0 3716 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 18584

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.84
CPU system time (s): 0.202969
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 18732

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

runsolver used 1.2978 second user time and 4.08938 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Mon Apr 30 16:11:10 UTC 2007

IDJOB= 432779
IDBENCH= 1786
IDSOLVER= 199
FILE ID= node47/432779-1177949470

PBS_JOBID= 4727548

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432779-1177949470/instance-432779-1177949470.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-432779-1177949470 -o ROOT/results/node47/solver-432779-1177949470 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432779-1177949470/instance-432779-1177949470.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  9a8d1e3e59dfd2cd811494ddb4a3c92a

RANDOM SEED= 758134302

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1582752 kB
Buffers:         41700 kB
Cached:         337172 kB
SwapCached:       3492 kB
Active:         230076 kB
Inactive:       172652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1582752 kB
SwapTotal:     4192956 kB
SwapFree:      4158036 kB
Dirty:            6664 kB
Writeback:           0 kB
Mapped:          30968 kB
Slab:            56052 kB
Committed_AS:  4052864 kB
PageTables:       1780 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 node47 on Mon Apr 30 16:41:13 UTC 2007