Trace number 351642

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.16SAT97 1800.01 1800.6

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.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/351642-1176608423/instance-351642-1176608423.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.006
0.29/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.40	c        2    176       17     1531   90      920    2172      5    333 0.01
0.29/0.40	c      102    176      117     6920   59     1099    2390    105   7846 0.01
0.29/0.40	c      352    176      367    31713   86     1521    2630    355   9777 0.04
0.29/0.40	c      827    176      842    73623   87     2460    2894    830   8353 0.10
0.29/0.40	c     1640    176     1655   153158   92     4070    3184   1643   8410 0.20
0.29/0.40	c     2963    176     2978   256914   86     6759    3503   2966   7776 0.38
0.29/0.40	o 292	0.397
0.89/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.93	c     3069    176     3085   262465   85     7040    2172   3073   7730 0.40
0.89/0.93	c     3171    176     1201    93113   77     3187    2390   1189   7640 0.41
0.89/0.93	c     3421    176     1451   111828   77     3681    2630   1439   7792 0.44
0.89/0.93	c     3896    176     1926   149145   77     4631    2894   1914   7886 0.49
0.89/0.93	c     4709    176     2739   206233   75     6258    3184   2727   7570 0.62
0.89/0.93	c     6030    176     2313   176256   76     5406    3503   2301   6504 0.93
0.89/0.93	o 186	0.933
3.59/3.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.62	c     6074    176     2358   178117   75     5590    2172   2346   6510 0.93
3.59/3.62	c     6175    176     1200    90463   75     3210    2390   1188   6405 0.96
3.59/3.62	c     6426    176     1451   107950   74     3708    2630   1439   6464 0.99
3.59/3.62	c     6902    176     1927   131106   68     4664    2894   1915   6486 1.06
3.59/3.62	c     7715    176     2740   192821   70     6286    3184   2728   6616 1.17
3.59/3.62	c     9035    176     2344   142352   60     5505    3503   2332   6619 1.36
3.59/3.62	c    11117    176     2531   152565   60     5876    3854   2519   6753 1.65
3.59/3.62	c    14340    176     3664   290877   79     8140    4240   3652   5262 2.73
3.59/3.62	c    19276    176     4004   260936   65     8844    4665   3992   5332 3.62
3.59/3.62	o 142	3.618
3.69/3.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.75	c    19278    176     4007   261183   65     8943    2172   3995   5328 3.62
3.69/3.75	c    19378    176     1199    80946   67     3235    2390   1187   5217 3.71
3.69/3.75	c    19628    176     1449    95570   65     3690    2630   1437   5232 3.75
3.69/3.75	o 118	3.752
3.69/3.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.75	c    19630    176     1452    95810   65     3850    2172   1440   5231 3.75
3.69/3.75	o 117	3.754
41.97/42.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.97/42.10	c    19647    176     1470    97244   66     4008    2172   1458   5233 3.75
41.97/42.10	c    19747    176     1570   102404   65     4205    2390   1558   5242 3.77
41.97/42.10	c    19997    176     1820   119200   65     4711    2630   1808   5269 3.79
41.97/42.10	c    20472    176     2295   141040   61     5655    2894   2283   5291 3.87
41.97/42.10	c    21286    176     1499    83022   55     3823    3184   1487   5321 4.00
41.97/42.10	c    22606    176     2819   166926   59     6462    3503   2807   5428 4.16
41.97/42.10	c    24688    176     3028   162250   53     6891    3854   3016   5454 4.53
41.97/42.10	c    27911    176     2067   142059   68     4955    4240   2055   5509 5.07
41.97/42.10	c    32847    176     2440   171591   70     5701    4665   2428   4876 6.74
41.97/42.10	c    40354    176     2352   202677   86     5542    5132   2340   4729 8.53
41.97/42.10	c    51715    176     2760   230374   83     6346    5646   2748   4367 11.84
41.97/42.10	c    68859    176     4742   374974   79    10304    6211   4730   3768 18.27
41.97/42.10	c    94679    176     4388   273757   62     9602    6833   4376   3592 26.36
41.97/42.10	c   133511    176     3750   330360   88     8321    7517   3738   3289 40.59
41.97/42.10	o 104	42.084
42.98/43.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.98/43.07	c   138735    176     5097   275055   53    11117    2172   5085   3296 42.09
42.98/43.07	c   138836    176     1200    62760   52     3224    2390   1188   3293 42.16
42.98/43.07	c   139088    176     1452    73588   50     3735    2630   1440   3296 42.19
42.98/43.07	c   139565    176     1929    96003   49     4696    2894   1917   3303 42.25
42.98/43.07	c   140378    176     2742   140076   51     6322    3184   2730   3315 42.34
42.98/43.07	c   141699    176     2359   119237   50     5556    3503   2347   3328 42.57
42.98/43.07	c   143780    176     2534   158600   62     5906    3854   2522   3352 42.89
42.98/43.07	o 99	43.057
574.24/574.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
574.24/574.41	c   144981    176     3736   223519   59     8454    2172   3724   3367 43.06
574.24/574.41	c   145085    176     1203    62991   52     3242    2390   1191   3366 43.10
574.24/574.41	c   145336    176     1454    79178   54     3745    2630   1442   3369 43.13
574.24/574.41	c   145813    176     1931   109159   56     4696    2894   1919   3376 43.19
574.24/574.41	c   146626    176     2744   154019   56     6324    3184   2732   3384 43.33
574.24/574.41	c   147947    176     2319   140620   60     5474    3503   2307   3400 43.51
574.24/574.41	c   150028    176     2452   155890   63     5749    3854   2440   3427 43.77
574.24/574.41	c   153257    176     3578   226715   63     7978    4240   3566   3449 44.43
574.24/574.41	c   158193    176     3979   289016   72     8785    4665   3967   3450 45.85
574.24/574.41	c   165699    176     4069   254532   62     8959    5132   4057   3486 47.53
574.24/574.41	c   177060    176     4321   390019   90     9462    5646   4309   3413 51.87
574.24/574.41	c   194204    176     3317   289580   87     7449    6211   3305   3202 60.65
574.24/574.41	c   220023    176     6163   402089   65    13145    6833   6151   2967 74.15
574.24/574.41	c   258855    176     5332   450926   84    11494    7517   5320   2721 95.13
574.24/574.41	c   317207    176     4971   334365   67    10764    8269   4959   2683 118.21
574.24/574.41	c   404840    176     5810   497858   85    12434    9096   5798   1766 229.14
574.24/574.41	c   536392    176     5587   399439   71    12000   10006   5575   1843 291.02
574.24/574.41	c   733824    176     5986   474655   79    12803   11007   5974   1416 517.91
574.24/574.41	o 98	574.254
574.73/574.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
574.73/574.93	c   814731    176     7296   647586   88    15534    2172   7284   1418 574.25
574.73/574.93	c   814831    176     1199    99488   82     3198    2390   1187   1418 574.38
574.73/574.93	c   815083    176     1451   114622   78     3730    2630   1439   1418 574.41
574.73/574.93	c   815558    176     1926   139296   72     4682    2894   1914   1419 574.48
574.73/574.93	c   816371    176     2739   204020   74     6305    3184   2727   1420 574.56
574.73/574.93	c   817691    176     2297   151535   65     5412    3503   2285   1422 574.75
574.73/574.93	o 97	574.777
1799.90/1800.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.90/1800.59	c   817850    176     2457   160472   65     5865    2172   2445   1422 574.78
1799.90/1800.59	c   817951    176     1200    68393   56     3220    2390   1188   1422 574.81
1799.90/1800.59	c   818201    176     1450    79903   55     3729    2630   1438   1423 574.85
1799.90/1800.59	c   818679    176     1928   119313   61     4686    2894   1916   1424 574.90
1799.90/1800.59	c   819492    176     2741   169814   61     6299    3184   2729   1425 575.02
1799.90/1800.59	c   820812    176     2259   165808   73     5338    3503   2247   1427 575.19
1799.90/1800.59	c   822893    176     2419   153648   63     5648    3854   2407   1429 575.45
1799.90/1800.59	c   826116    176     3517   272144   77     7856    4240   3505   1433 576.15
1799.90/1800.59	c   831053    176     3978   212787   53     8777    4665   3966   1439 577.47
1799.90/1800.59	c   838559    176     3956   254416   64     8751    5132   3944   1447 579.47
1799.90/1800.59	c   849921    176     4286   340726   79     9396    5646   4274   1460 582.12
1799.90/1800.59	c   867065    176     3478   218376   62     7774    6211   3466   1479 586.03
1799.90/1800.59	c   892884    176     6118   558869   91    13062    6833   6106   1490 599.01
1799.90/1800.59	c   931716    176     5537   369876   66    11887    7517   5525   1527 609.77
1799.90/1800.59	c   990068    176     5010   364211   72    10843    8269   4998   1511 655.07
1799.90/1800.59	c  1077701    176     5971   509069   85    12794    9096   5959   1511 712.81
1799.90/1800.59	c  1209253    176     4877   389096   79    10568   10006   4865   1494 808.92
1799.90/1800.59	c  1406685    176     5355   418180   78    11532   11007   5343   1543 911.18
1799.90/1800.59	c  1702937    176     5517   454505   82    11854   12108   5505   1364 1247.93
1799.90/1800.59	c Resources Exceeded
1799.90/1800.59	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.90/1800.59	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
1799.90/1800.59	v -x103 -x104 -x105 -x106 -x107 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143
1799.90/1800.59	v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x171 x172 x173 x174 x175 -x176 x177 x178
1799.90/1800.59	v x179 x180 x181 x182 x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1799.90/1800.59	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
1799.90/1800.59	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
1799.90/1800.59	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
1799.90/1800.59	v x77 -x108 -x109 x110 x111 x112 x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 x125 -x126 x127 -x158 x159
1799.90/1800.59	v x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
1799.90/1800.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.90/1800.59	c   91  2114193 543062  3388065    11397   912788  11385   1174 1800.00
1799.90/1800.59	c Objective: 97
1799.90/1800.59	s SATISFIABLE
1799.90/1800.59	c Total time: 1800 s

Verifier Data (download as text)

OK	97

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-351642-1176608423 -o ROOT/results/node14/solver-351642-1176608423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351642-1176608423/instance-351642-1176608423.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.88 0.98 0.99 3/77 16024
/proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=11744 CPUtime=0
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 108760085 12025856 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 2936 338 282 324 0 2003 0

[startup+0.057764 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 16024
/proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=4576 CPUtime=0.05
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 568 0 0 0 5 0 0 0 18 0 1 0 108760085 4685824 534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 1144 534 312 324 0 213 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4576

[startup+0.101768 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 16024
/proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=4960 CPUtime=0.09
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 108760085 5079040 632 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 1240 632 312 324 0 309 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4960

[startup+0.301786 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 16024
/proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=7020 CPUtime=0.29
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1178 0 0 0 29 0 0 0 19 0 1 0 108760085 7188480 1144 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 1755 1144 312 324 0 824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7020

[startup+0.701824 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 16024
/proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=7664 CPUtime=0.69
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1337 0 0 0 69 0 0 0 22 0 1 0 108760085 7847936 1303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 1916 1303 312 324 0 985 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7664

[startup+1.5029 s]
/proc/loadavg: 0.88 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1477168/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=7664 CPUtime=1.49
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1337 0 0 0 148 1 0 0 25 0 1 0 108760085 7847936 1303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 1916 1303 312 324 0 985 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7664

[startup+3.10105 s]
/proc/loadavg: 0.88 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1476848/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=8840 CPUtime=3.09
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1619 0 0 0 307 2 0 0 25 0 1 0 108760085 9052160 1585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 2210 1585 312 324 0 1279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8840

[startup+6.30135 s]
/proc/loadavg: 0.89 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1475760/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=8840 CPUtime=6.29
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1619 0 0 0 625 4 0 0 25 0 1 0 108760085 9052160 1585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 2210 1585 312 324 0 1279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8840

[startup+12.702 s]
/proc/loadavg: 0.90 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1474528/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=10764 CPUtime=12.69
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2112 0 0 0 1263 6 0 0 25 0 1 0 108760085 11022336 2078 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 2691 2078 312 324 0 1760 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10764

[startup+25.5012 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1474096/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=10768 CPUtime=25.48
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2113 0 0 0 2538 10 0 0 25 0 1 0 108760085 11026432 2079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 2692 2079 312 324 0 1761 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10768

[startup+51.1016 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1472816/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=11900 CPUtime=51.08
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2806 0 0 0 5091 17 0 0 25 0 1 0 108760085 12185600 2369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 2975 2369 312 324 0 2044 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11900

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1473008/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=11748 CPUtime=102.26
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2987 0 0 0 10196 30 0 0 25 0 1 0 108760085 12029952 2331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 2937 2331 312 324 0 2006 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11748

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1471280/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=13704 CPUtime=162.25
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 3457 0 0 0 16184 41 0 0 25 0 1 0 108760085 14032896 2799 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 3426 2799 312 324 0 2495 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13704

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1470704/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=14292 CPUtime=222.23
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 3625 0 0 0 22172 51 0 0 25 0 1 0 108760085 14635008 2944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 3573 2944 312 324 0 2642 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 14292

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1471152/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=13664 CPUtime=282.22
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 3806 0 0 0 28153 69 0 0 25 0 1 0 108760085 13991936 2810 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 3416 2810 312 324 0 2485 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 13664

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1468912/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=16008 CPUtime=342.2
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4386 0 0 0 34140 80 0 0 25 0 1 0 108760085 16392192 3373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4002 3373 312 324 0 3071 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 16008

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16025
/proc/meminfo: memFree=1468976/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=15900 CPUtime=402.18
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4386 0 0 0 40128 90 0 0 25 0 1 0 108760085 16281600 3368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 3975 3368 312 324 0 3044 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 15900

[startup+462.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 16025
/proc/meminfo: memFree=1469040/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=15868 CPUtime=462.16
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4386 0 0 0 46114 102 0 0 25 0 1 0 108760085 16248832 3360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 3967 3360 312 324 0 3036 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 15868

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 16025
/proc/meminfo: memFree=1469040/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=15856 CPUtime=522.14
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4387 0 0 0 52098 116 0 0 25 0 1 0 108760085 16236544 3357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 3964 3357 312 324 0 3033 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 15856

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16025
/proc/meminfo: memFree=1467056/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=17616 CPUtime=582.13
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4962 0 0 0 58084 129 0 0 25 0 1 0 108760085 18038784 3797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4404 3797 312 324 0 3473 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 17616

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16025
/proc/meminfo: memFree=1468848/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=15848 CPUtime=642.12
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4962 0 0 0 64065 147 0 0 25 0 1 0 108760085 16228352 3355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 3962 3355 312 324 0 3031 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 15848


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

/proc/meminfo: memFree=1467440/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=17608 CPUtime=1062
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5602 0 0 0 105981 219 0 0 25 0 1 0 108760085 18030592 3780 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4402 3780 312 324 0 3471 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 17608

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16025
/proc/meminfo: memFree=1467568/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=17152 CPUtime=1121.99
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5698 0 0 0 111970 229 0 0 25 0 1 0 108760085 17563648 3681 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4288 3681 312 324 0 3357 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 17152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16025
/proc/meminfo: memFree=1467120/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=17616 CPUtime=1181.97
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5935 0 0 0 117959 238 0 0 25 0 1 0 108760085 18038784 3797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4404 3797 312 324 0 3473 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 17616

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 16091
/proc/meminfo: memFree=1465792/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=17688 CPUtime=1241.93
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5982 0 0 0 123947 246 0 0 25 0 1 0 108760085 18112512 3815 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4422 3815 312 324 0 3491 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 17688

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1467240/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=17292 CPUtime=1301.84
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5984 0 0 0 129919 265 0 0 25 0 1 0 108760085 17707008 3717 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4323 3717 312 324 0 3392 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 17292

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466224/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18576 CPUtime=1361.82
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6358 0 0 0 135906 276 0 0 25 0 1 0 108760085 19021824 4018 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4644 4018 312 324 0 3713 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 18576

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466224/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18448 CPUtime=1421.81
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6358 0 0 0 141899 282 0 0 25 0 1 0 108760085 18890752 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4612 4006 312 324 0 3681 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 18448

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466288/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18448 CPUtime=1481.79
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6358 0 0 0 147892 287 0 0 25 0 1 0 108760085 18890752 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4612 4006 312 324 0 3681 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 18448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466096/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18684 CPUtime=1541.77
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6397 0 0 0 153883 294 0 0 25 0 1 0 108760085 19132416 4045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4671 4045 312 324 0 3740 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 18684

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466096/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18624 CPUtime=1601.75
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6397 0 0 0 159875 300 0 0 25 0 1 0 108760085 19070976 4045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4656 4045 312 324 0 3725 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 18624

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466224/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18624 CPUtime=1661.74
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6397 0 0 0 165868 306 0 0 25 0 1 0 108760085 19070976 4045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4656 4045 312 324 0 3725 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 18624

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18624 CPUtime=1721.72
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 171860 312 0 0 25 0 1 0 108760085 19070976 4047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4656 4047 312 324 0 3725 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 18624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18624 CPUtime=1781.71
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 177853 318 0 0 25 0 1 0 108760085 19070976 4047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4656 4047 312 324 0 3725 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 18624

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18584 CPUtime=1791.31
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 178812 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4646 4040 312 324 0 3715 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 18584

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18584 CPUtime=1794.51
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179132 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4646 4040 312 324 0 3715 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 18584

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18584 CPUtime=1797.7
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179451 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4646 4040 312 324 0 3715 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 18584

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18584 CPUtime=1799.3
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179611 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4646 4040 312 324 0 3715 0
Current children cumulated CPU time (s) 1799.3
Current children cumulated vsize (KiB) 18584

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18584 CPUtime=1799.7
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179651 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4646 4040 312 324 0 3715 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (KiB) 18584

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16223
/proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956
[pid=16024] ppid=16022 vsize=18584 CPUtime=1799.9
/proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179671 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16024/statm: 4646 4040 312 324 0 3715 0
Current children cumulated CPU time (s) 1799.9
Current children cumulated vsize (KiB) 18584

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.01
CPU user time (s): 1796.81
CPU system time (s): 3.20251
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 18684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 3.20251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6400
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= 11
involuntary context switches= 12718

runsolver used 2.12068 second user time and 4.23336 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sun Apr 15 03:40:23 UTC 2007

IDJOB= 351642
IDBENCH= 1786
IDSOLVER= 163
FILE ID= node14/351642-1176608423

PBS_JOBID= 4556828

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/351642-1176608423/instance-351642-1176608423.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-351642-1176608423 -o ROOT/results/node14/solver-351642-1176608423 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351642-1176608423/instance-351642-1176608423.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  9a8d1e3e59dfd2cd811494ddb4a3c92a

RANDOM SEED= 503736467

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1481616 kB
Buffers:        102364 kB
Cached:         375148 kB
SwapCached:      12020 kB
Active:         224948 kB
Inactive:       281324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1481616 kB
SwapTotal:     4192956 kB
SwapFree:      4149088 kB
Dirty:            4544 kB
Writeback:           0 kB
Mapped:          32708 kB
Slab:            53540 kB
Committed_AS:  6024264 kB
PageTables:       1796 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= 66557 MiB

End job on node14 on Sun Apr 15 04:10:24 UTC 2007