Trace number 454026

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)-26 1800.04 1802.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark294.838
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

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.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/454026-1178019940/instance-454026-1178019940.opb
0.00/0.01	c File size is 15118 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.008 s
0.00/0.02	c Var: 1360 Constr: 2720 1360/100/1260 Lit: 10080 Watch. Lit: 7560
0.00/0.02	c Obj. Vars: 100 (7.35294 % of total variables)
0.00/0.02	c Pre-processing Time: 0.018 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    100      630     1890    3     1260     209      0      0 0.02
0.00/0.02	c Switching off LPR mode.
0.00/0.02	o -22	0.018
0.05/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.08	c        0    100      631     1990    3     1284     976      1      0 0.02
0.05/0.08	c      100    100      731     9442   12     1484    1074    101   4347 0.02
0.05/0.08	c      350    100      981    27979   28     1984    1182    351   9210 0.04
0.05/0.08	c      825    100     1456    63221   43     2934    1301    826  11000 0.07
0.05/0.08	o -23	0.076
4.58/4.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.58/4.60	c      829    100     1461    63620   43     2967    1009    831  10907 0.08
4.58/4.60	c      930    100     1562    71043   45     3169    1110    932  10813 0.09
4.58/4.60	c     1182    100     1814    89567   49     3673    1222   1184  10844 0.11
4.58/4.60	c     1657    100     2289   124281   54     4623    1345   1659  11046 0.15
4.58/4.60	c     2470    100     3102   183868   59     6249    1480   2472   9880 0.25
4.58/4.60	c     3791    100     2360   128745   54     4743    1629   1730   8899 0.43
4.58/4.60	c     5873    100     2294   123763   53     4611    1792   1664   8089 0.73
4.58/4.60	c     9096    100     3288   195638   59     6599    1972   2658   6534 1.39
4.58/4.60	c    14033    100     3581   216917   60     7185    2170   2951   5765 2.43
4.58/4.60	c    21539    100     3829   233590   61     7681    2388   3199   5299 4.06
4.58/4.60	o -24	4.592
153.33/153.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
153.33/153.46	c    24162    100     3938   243375   61     7923    1043   3308   5261 4.59
153.33/153.46	c    24263    100     1254    47132   37     2532    1148    624   5251 4.62
153.33/153.46	c    24514    100     1505    65259   43     3034    1263    875   5283 4.64
153.33/153.46	c    24990    100     1981    99601   50     3986    1390   1351   5335 4.68
153.33/153.46	c    25803    100     2794   158053   56     5612    1530   2164   5383 4.79
153.33/153.46	c    27123    100     2012   101048   50     4048    1684   1382   5469 4.96
153.33/153.46	c    29204    100     1934    95597   49     3892    1853   1304   5476 5.33
153.33/153.46	c    32427    100     2906   165242   56     5836    2039   2276   5483 5.91
153.33/153.46	c    37365    100     3143   181837   57     6310    2243   2513   5396 6.92
153.33/153.46	c    44871    100     3290   193025   58     6604    2468   2660   5130 8.75
153.33/153.46	c    56232    100     1865    90018   48     3754    2715   1235   4963 11.33
153.33/153.46	c    73377    100     2895   163795   56     5814    2987   2265   4648 15.79
153.33/153.46	c    99196    100     3313   194210   58     6650    3286   2683   4279 23.18
153.33/153.46	c   138030    100     3504   207691   59     7032    3615   2874   3938 35.05
153.33/153.46	c   196383    100     5414   345508   63    10852    3977   4784   3573 54.96
153.33/153.46	c   284016    100     3447   203468   59     6918    4375   2817   3269 86.87
153.33/153.46	c   415569    100     4967   313169   63     9958    4813   4337   2980 139.45
153.33/153.46	o -25	153.406
859.35/859.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
859.35/859.69	c   450475    100     6233   404095   64    12515    1076   5603   2936 153.41
859.35/859.69	c   450577    100     1271    47817   37     2567    1184    641   2934 153.53
859.35/859.69	c   450828    100     1522    65838   43     3069    1303    892   2936 153.55
859.35/859.69	c   451303    100     1997    99680   49     4019    1434   1367   2938 153.59
859.35/859.69	c   452116    100     2810   157723   56     5645    1578   2180   2941 153.70
859.35/859.69	c   453437    100     2006    99643   49     4037    1736   1376   2946 153.87
859.35/859.69	c   455518    100     1891    91196   48     3807    1910   1261   2953 154.25
859.35/859.69	c   458741    100     2824   157116   55     5673    2102   2194   2963 154.81
859.35/859.69	c   463678    100     2992   168828   56     6009    2313   2362   2975 155.82
859.35/859.69	c   471184    100     3025   170761   56     6075    2545   2395   2991 157.51
859.35/859.69	c   482545    100     3978   238581   59     7981    2800   3348   3006 160.50
859.35/859.69	c   499691    100     2031   100959   49     4087    3081   1401   3024 165.22
859.35/859.69	c   525511    100     4895   304469   62     9815    3390   4265   3057 171.89
859.35/859.69	c   564343    100     4390   267998   61     8805    3730   3760   3083 183.05
859.35/859.69	c   622695    100     5263   328020   62    10551    4104   4633   3067 203.02
859.35/859.69	c   710327    100     4985   309872   62     9995    4515   4355   3043 233.36
859.35/859.69	c   841879    100     3881   231634   59     7787    4967   3251   2964 283.99
859.35/859.69	c  1039312    100     3234   185344   57     6493    5464   2604   2823 368.08
859.35/859.69	c  1335565    100     7239   470552   65    14503    6011   6609   2613 511.08
859.35/859.69	c  1780048    100     5902   375817   63    11829    6613   5272   2394 743.25
859.35/859.69	o -26	859.453
1800.02/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.61	c  1979794    100     6389   410117   64    12829    1109   5759   2303 859.45
1800.02/1800.61	c  1979896    100     1288    47916   37     2602    1220    658   2303 859.51
1800.02/1800.61	c  1980147    100     1539    65564   42     3104    1343    909   2303 859.53
1800.02/1800.61	c  1980622    100     2014    99026   49     4054    1478   1384   2304 859.58
1800.02/1800.61	c  1981436    100     2828   156063   55     5682    1626   2198   2304 859.67
1800.02/1800.61	c  1982756    100     2003    97534   48     4032    1789   1373   2305 859.88
1800.02/1800.61	c  1984837    100     1854    87131   46     3734    1968   1224   2307 860.18
1800.02/1800.61	c  1988061    100     2773   151315   54     5572    2165   2143   2310 860.63
1800.02/1800.61	c  1992997    100     2888   158967   55     5802    2382   2258   2313 861.55
1800.02/1800.61	c  2000504    100     2843   155329   54     5712    2621   2213   2316 863.41
1800.02/1800.61	c  2011865    100     3655   213308   58     7336    2884   3025   2323 865.79
1800.02/1800.61	c  2029009    100     4169   248130   59     8364    3173   3539   2332 869.80
1800.02/1800.61	c  2054828    100     3734   217445   58     7494    3491   3104   2343 876.89
1800.02/1800.61	c  2093661    100     2607   139702   53     5240    3841   1977   2357 888.02
1800.02/1800.61	c  2152013    100     5727   357451   62    11480    4226   5097   2372 907.24
1800.02/1800.61	c  2239645    100     3951   233494   59     7928    4649   3321   2379 941.09
1800.02/1800.61	c  2371198    100     4238   252764   59     8502    5114   3608   2389 992.38
1800.02/1800.61	c  2568631    100     3709   214996   57     7444    5626   3079   2376 1080.76
1800.02/1800.61	c  2864885    100     6209   391115   62    12444    6189   5579   2364 1211.64
1800.02/1800.61	c  3309367    100     4383   262543   59     8792    6808   3753   2269 1458.12
1800.02/1800.61	c Caught signal: 15
1800.02/1800.61	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
1800.02/1800.61	v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55
1800.02/1800.61	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 -x82 -x83
1800.02/1800.61	v x84 -x85 -x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 x100
1800.02/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.61	c   71  3897425 272084  4219672     6266   395937   5636   2165 1800.03
1800.02/1800.61	c Objective: -26
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	c Total time: 1800.03 s

Verifier Data (download as text)

OK	-26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-454026-1178019940 -o ROOT/results/node17/solver-454026-1178019940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454026-1178019940/instance-454026-1178019940.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.92 0.97 0.96 3/77 14280
/proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=1408 CPUtime=0
/proc/14280/stat : 14280 (bsolo3.0.17) D 14278 14280 14108 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 249911504 1441792 24 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14280/statm: 352 24 19 324 0 3 0

[startup+0.0648559 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 14280
/proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=5112 CPUtime=0.05
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 683 0 0 0 5 0 0 0 18 0 1 0 249911504 5234688 649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573529 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14280/statm: 1278 649 311 324 0 348 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5112

[startup+0.101856 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 14280
/proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=5376 CPUtime=0.08
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 768 0 0 0 8 0 0 0 18 0 1 0 249911504 5505024 734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14280/statm: 1344 734 311 324 0 414 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5376

[startup+0.30188 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 14280
/proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=7204 CPUtime=0.28
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1198 0 0 0 28 0 0 0 19 0 1 0 249911504 7376896 1164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14280/statm: 1801 1164 311 324 0 871 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7204

[startup+0.701922 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 14280
/proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=7332 CPUtime=0.68
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1251 0 0 0 68 0 0 0 23 0 1 0 249911504 7507968 1217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3301058 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14280/statm: 1833 1217 311 324 0 903 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7332

[startup+1.502 s]
/proc/loadavg: 0.92 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1797432/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=7588 CPUtime=1.48
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1308 0 0 0 147 1 0 0 25 0 1 0 249911504 7770112 1274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 1897 1274 311 324 0 967 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7588

[startup+3.10117 s]
/proc/loadavg: 0.92 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1797240/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=7972 CPUtime=3.08
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1390 0 0 0 307 1 0 0 25 0 1 0 249911504 8163328 1356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 1993 1356 311 324 0 1063 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7972

[startup+6.3015 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1796600/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=8092 CPUtime=6.28
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1438 0 0 0 627 1 0 0 25 0 1 0 249911504 8286208 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2023 1404 311 324 0 1093 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8092

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1796344/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=8476 CPUtime=12.68
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1520 0 0 0 1267 1 0 0 25 0 1 0 249911504 8679424 1486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2119 1486 311 324 0 1189 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8476

[startup+25.5015 s]
/proc/loadavg: 0.95 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1795768/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=8988 CPUtime=25.47
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1671 0 0 0 2546 1 0 0 25 0 1 0 249911504 9203712 1637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2247 1637 311 324 0 1317 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 8988

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1795448/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=9348 CPUtime=51.06
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1756 0 0 0 5105 1 0 0 25 0 1 0 249911504 9572352 1722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3290995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2337 1722 311 324 0 1407 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 9348

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1794616/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=10124 CPUtime=102.25
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1954 0 0 0 10223 2 0 0 25 0 1 0 249911504 10366976 1920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2531 1920 311 324 0 1601 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 10124

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1794168/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=10596 CPUtime=162.23
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2062 0 0 0 16221 2 0 0 25 0 1 0 249911504 10850304 2028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2649 2028 311 324 0 1719 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 10596

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1794168/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=10328 CPUtime=222.22
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2062 0 0 0 22219 3 0 0 25 0 1 0 249911504 10575872 1973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2582 1973 311 324 0 1652 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 10328

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1794232/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=10252 CPUtime=282.2
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2062 0 0 0 28217 3 0 0 25 0 1 0 249911504 10498048 1954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2563 1954 311 324 0 1633 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 10252

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1793976/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=10712 CPUtime=342.19
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2160 0 0 0 34215 4 0 0 25 0 1 0 249911504 10969088 2052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2678 2052 311 324 0 1748 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 10712

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1793400/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=11224 CPUtime=402.17
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2287 0 0 0 40213 4 0 0 25 0 1 0 249911504 11493376 2179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2806 2179 311 324 0 1876 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 11224

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14281
/proc/meminfo: memFree=1793528/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=11224 CPUtime=462.16
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2290 0 0 0 46211 5 0 0 25 0 1 0 249911504 11493376 2182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3301067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2806 2182 311 324 0 1876 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 11224

[startup+522.301 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 14281
/proc/meminfo: memFree=1793016/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=11732 CPUtime=522.13
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2424 0 0 0 52208 5 0 0 25 0 1 0 249911504 12013568 2316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2933 2316 311 324 0 2003 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 11732

[startup+582.302 s]
/proc/loadavg: 1.05 1.00 0.97 2/78 14281
/proc/meminfo: memFree=1793016/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=11732 CPUtime=582.13
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2424 0 0 0 58207 6 0 0 25 0 1 0 249911504 12013568 2316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2933 2316 311 324 0 2003 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 11732

[startup+642.302 s]
/proc/loadavg: 1.05 1.01 0.98 2/78 14281
/proc/meminfo: memFree=1793016/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=11732 CPUtime=642.11
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2426 0 0 0 64205 6 0 0 25 0 1 0 249911504 12013568 2318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 2933 2318 311 324 0 2003 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 11732


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

/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1001.92
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 100183 9 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 12356

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 14479
/proc/meminfo: memFree=1792120/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1061.9
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 106181 9 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 12356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 14479
/proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1121.89
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 112179 10 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 12356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14479
/proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1181.87
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 118177 10 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 12356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1241.86
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 124175 11 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 12356

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792120/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1301.84
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 130173 11 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 12356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1361.83
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 136171 12 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 12356

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12356 CPUtime=1421.81
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 142169 12 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3089 2476 311 324 0 2159 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 12356

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12484 CPUtime=1481.79
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2599 0 0 0 148167 12 0 0 25 0 1 0 249911504 12783616 2491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3121 2491 311 324 0 2191 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 12484

[startup+1542.3 s]
/proc/loadavg: 1.06 1.03 1.01 2/78 14479
/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12484 CPUtime=1541.78
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 154165 13 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3121 2499 311 324 0 2191 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 12484

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 14479
/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12484 CPUtime=1601.76
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 160163 13 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3121 2499 311 324 0 2191 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 12484

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 14479
/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12484 CPUtime=1661.75
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 166161 14 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3121 2499 311 324 0 2191 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 12484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14479
/proc/meminfo: memFree=1792120/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12484 CPUtime=1721.73
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 172159 14 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3121 2499 311 324 0 2191 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 12484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12468 CPUtime=1781.72
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 178157 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3117 2499 311 324 0 2187 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 12468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02
/proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3291020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3117 2499 311 324 0 2187 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12468

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14479
/proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02
/proc/14280/stat : 14280 (bsolo3.0.17) S 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3117 2499 311 324 0 2187 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12468

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 1/79 14480
/proc/meminfo: memFree=1792048/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02
/proc/14280/stat : 14280 (bsolo3.0.17) S 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3117 2499 311 324 0 2187 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12468

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 1/79 14480
/proc/meminfo: memFree=1792048/2055920 swapFree=4140116/4192956
[pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02
/proc/14280/stat : 14280 (bsolo3.0.17) S 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14280/statm: 3117 2499 311 324 0 2187 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12468

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1800.04
CPU user time (s): 1799.88
CPU system time (s): 0.155976
CPU usage (%): 99.8569
Max. virtual memory (cumulated for all children) (KiB): 12484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2607
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= 13
involuntary context switches= 2313

runsolver used 1.2898 second user time and 4.00639 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue May  1 11:45:40 UTC 2007

IDJOB= 454026
IDBENCH= 48169
IDSOLVER= 199
FILE ID= node17/454026-1178019940

PBS_JOBID= 4728332

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454026-1178019940/instance-454026-1178019940.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-454026-1178019940 -o ROOT/results/node17/solver-454026-1178019940 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454026-1178019940/instance-454026-1178019940.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  597624b9879736416e28e0a242fe0005

RANDOM SEED= 755853296

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1801816 kB
Buffers:         31548 kB
Cached:         141592 kB
SwapCached:      15016 kB
Active:          61424 kB
Inactive:       134420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801816 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:            6620 kB
Writeback:           0 kB
Mapped:          29752 kB
Slab:            43768 kB
Committed_AS:  7415024 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= 66558 MiB

End job on node17 on Tue May  1 12:15:43 UTC 2007