Trace number 454101

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)-25 1800.06 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_5.opb
MD5SUMa142d6d7b95394ce9dab5e7d7d075ea6
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-25
Best CPU time to get the best result obtained on this benchmark218.328
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -25
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 constraint18
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)1252
Sum of products size (including duplicates)2504
Number of different products626
Sum of products size1252

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/454101-1178021305/instance-454101-1178021305.opb
0.00/0.00	c File size is 15046 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.01	c Var: 1352 Constr: 2704 1352/100/1252 Lit: 10016 Watch. Lit: 7512
0.00/0.01	c Obj. Vars: 100 (7.39645 % of total variables)
0.01/0.02	c Pre-processing Time: 0.019 s
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c        0    100      626     1878    3     1252     208      0      0 0.02
0.01/0.02	c Switching off LPR mode.
0.01/0.02	o -22	0.019
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c        0    100      627     1978    3     1276     975      1      0 0.02
0.01/0.02	o -23	0.019
72.56/72.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.56/72.60	c        6    100      634     2534    3     1313    1008      8    300 0.02
72.56/72.60	c      106    100      734     9901   13     1513    1109    108   4076 0.03
72.56/72.60	c      357    100      985    28357   28     2015    1220    359   8302 0.04
72.56/72.60	c      833    100     1461    63376   43     2967    1343    835   9800 0.09
72.56/72.60	c     1646    100     2274   122985   54     4593    1478   1648   8572 0.19
72.56/72.60	c     2966    100     1532    68009   44     3087    1626    906   8037 0.37
72.56/72.60	c     5048    100     1483    63892   43     2989    1789    857   6624 0.76
72.56/72.60	c     8272    100     2490   137733   55     5003    1968   1864   6601 1.25
72.56/72.60	c    13208    100     2807   161289   57     5637    2165   2181   5976 2.21
72.56/72.60	c    20714    100     3075   180923   58     6173    2382   2449   5163 4.01
72.56/72.60	c    32076    100     1858    91634   49     3739    2621   1232   4843 6.62
72.56/72.60	c    49221    100     3184   188674   59     6391    2884   2558   4550 10.82
72.56/72.60	c    75041    100     4140   256570   61     8303    3173   3514   4198 17.87
72.56/72.60	c   113874    100     2241   119205   53     4505    3491   1615   3846 29.61
72.56/72.60	c   172228    100     2397   130061   54     4817    3841   1771   3738 46.06
72.56/72.60	o -24	72.578
101.56/101.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
101.56/101.60	c   243785    100     2617   145040   55     5281    1041   1991   3358 72.58
101.56/101.60	c   243885    100     2717   152298   56     5481    1146   2091   3359 72.59
101.56/101.60	c   244135    100     2967   170422   57     5981    1261   2341   3362 72.61
101.56/101.60	c   244610    100     1495    63543   42     3014    1388    869   3365 72.68
101.56/101.60	c   245423    100     2308   122326   53     4640    1527   1682   3372 72.77
101.56/101.60	c   246743    100     1540    67511   43     3104    1680    914   3381 72.96
101.56/101.60	c   248824    100     1467    62122   42     2958    1849    841   3395 73.28
101.56/101.60	c   252047    100     2445   132732   54     4914    2034   1819   3417 73.76
101.56/101.60	c   256984    100     2698   150933   55     5420    2238   2072   3431 74.88
101.56/101.60	c   264490    100     2887   163746   56     5798    2462   2261   3453 76.58
101.56/101.60	c   275851    100     4032   246523   61     8088    2709   3406   3493 78.97
101.56/101.60	c   292996    100     2438   131775   54     4900    2980   1812   3542 82.71
101.56/101.60	c   318815    100     2926   166762   56     5876    3279   2300   3538 90.09
101.56/101.60	c   357647    100     3281   192204   58     6586    3607   2655   3545 100.87
101.56/101.60	o -25	101.569
1800.04/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.60	c   360281    100     2784   157245   56     5617    1075   2158   3547 101.57
1800.04/1800.60	c   360381    100     2884   164399   57     5817    1183   2258   3547 101.59
1800.04/1800.60	c   360631    100     1219    44199   36     2463    1302    593   3547 101.65
1800.04/1800.60	c   361107    100     1695    78140   46     3415    1433   1069   3551 101.69
1800.04/1800.60	c   361921    100     2509   136071   54     5043    1577   1883   3555 101.79
1800.04/1800.60	c   363241    100     1717    78906   45     3459    1735   1091   3561 101.98
1800.04/1800.60	c   365322    100     1616    71763   44     3257    1909    990   3572 102.27
1800.04/1800.60	c   368546    100     2559   139046   54     5143    2100   1933   3586 102.77
1800.04/1800.60	c   373482    100     2746   151829   55     5517    2311   2120   3598 103.78
1800.04/1800.60	c   380989    100     2824   156984   55     5673    2543   2198   3616 105.36
1800.04/1800.60	c   392351    100     3798   227010   59     7621    2798   3172   3633 108.00
1800.04/1800.60	c   409495    100     4617   283753   61     9259    3078   3991   3633 112.70
1800.04/1800.61	c   435315    100     4698   290149   61     9421    3386   4072   3640 119.56
1800.04/1800.61	c   474148    100     4365   265746   60     8755    3725   3739   3628 130.67
1800.04/1800.61	c   532501    100     5419   342348   63    10863    4098   4793   3573 149.02
1800.04/1800.61	c   620133    100     5460   343333   62    10945    4508   4834   3500 177.14
1800.04/1800.61	c   751685    100     4810   297518   61     9645    4959   4184   3344 224.77
1800.04/1800.61	c   949117    100     4674   288721   61     9373    5455   4048   3070 309.11
1800.04/1800.61	c  1245369    100     5720   362681   63    11465    6001   5094   2801 444.50
1800.04/1800.61	c  1689851    100     5409   340221   62    10843    6602   4783   2528 668.38
1800.04/1800.61	c  2356680    100     7445   483073   64    14915    7263   6819   2218 1062.09
1800.04/1800.61	c  3357025    100     8590   563378   65    17205    7990   7964   2035 1649.12
1800.04/1800.61	c Caught signal: 15
1800.04/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 -x29
1800.04/1800.61	v -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 x56
1800.04/1800.61	v -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.04/1800.61	v -x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 x99 -x100
1800.04/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.61	c   52  3586233 256345  3892140     9372   619493   8746   1992 1800.05
1800.04/1800.61	c Objective: -25
1800.04/1800.61	s SATISFIABLE
1800.04/1800.61	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-25

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-454101-1178021305 -o ROOT/results/node22/solver-454101-1178021305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454101-1178021305/instance-454101-1178021305.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.98 0.99 3/77 30117
/proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=19564 CPUtime=0
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 250048209 20033536 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 4891 330 278 324 0 3957 0

[startup+0.022339 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30117
/proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=4736 CPUtime=0.01
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 578 0 0 0 1 0 0 0 18 0 1 0 250048209 4849664 544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4642592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 1184 544 307 324 0 254 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4736

[startup+0.101351 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30117
/proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=5372 CPUtime=0.09
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 759 0 0 0 9 0 0 0 18 0 1 0 250048209 5500928 725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 1343 725 311 324 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5372

[startup+0.301382 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30117
/proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=6936 CPUtime=0.29
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1128 0 0 0 29 0 0 0 19 0 1 0 250048209 7102464 1094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 1734 1094 311 324 0 804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6936

[startup+0.701442 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30117
/proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=7196 CPUtime=0.69
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1210 0 0 0 69 0 0 0 22 0 1 0 250048209 7368704 1176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 1799 1176 311 324 0 869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7196

[startup+1.50156 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1771632/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=7712 CPUtime=1.49
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1336 0 0 0 149 0 0 0 25 0 1 0 250048209 7897088 1302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 1928 1302 311 324 0 998 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7712

[startup+3.10181 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1771120/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=7968 CPUtime=3.09
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1390 0 0 0 309 0 0 0 25 0 1 0 250048209 8159232 1356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 1992 1356 311 324 0 1062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7968

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1770488/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=8096 CPUtime=6.29
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1446 0 0 0 628 1 0 0 25 0 1 0 250048209 8290304 1412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2024 1412 311 324 0 1094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8096

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1770040/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=8612 CPUtime=12.69
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1576 0 0 0 1268 1 0 0 25 0 1 0 250048209 8818688 1542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2153 1542 311 324 0 1223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8612

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1769720/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=8996 CPUtime=25.48
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1656 0 0 0 2547 1 0 0 25 0 1 0 250048209 9211904 1622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2249 1622 311 324 0 1319 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8996

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1769144/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=9636 CPUtime=51.07
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1825 0 0 0 5106 1 0 0 25 0 1 0 250048209 9867264 1791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111236 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2409 1791 311 324 0 1479 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9636

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1769208/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=9404 CPUtime=102.26
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1825 0 0 0 10224 2 0 0 25 0 1 0 250048209 9629696 1742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2351 1742 311 324 0 1421 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9404

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30118
/proc/meminfo: memFree=1769016/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=9748 CPUtime=162.24
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1950 0 0 0 16222 2 0 0 25 0 1 0 250048209 9981952 1825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2437 1825 311 324 0 1507 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 9748

[startup+222.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1768568/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=10232 CPUtime=222.22
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2057 0 0 0 22219 3 0 0 25 0 1 0 250048209 10477568 1932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2558 1932 311 324 0 1628 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 10232

[startup+282.301 s]
/proc/loadavg: 1.10 1.02 1.00 2/78 30118
/proc/meminfo: memFree=1768056/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=10620 CPUtime=282.2
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2170 0 0 0 28217 3 0 0 25 0 1 0 250048209 10874880 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2655 2045 311 324 0 1725 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 10620

[startup+342.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 30118
/proc/meminfo: memFree=1767544/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=11204 CPUtime=342.18
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2296 0 0 0 34215 3 0 0 25 0 1 0 250048209 11472896 2171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2801 2171 311 324 0 1871 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 11204

[startup+402.302 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 30118
/proc/meminfo: memFree=1767544/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=11188 CPUtime=402.16
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2298 0 0 0 40212 4 0 0 25 0 1 0 250048209 11456512 2173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2797 2173 311 324 0 1867 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 11188

[startup+462.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 30118
/proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=11704 CPUtime=462.14
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2439 0 0 0 46210 4 0 0 25 0 1 0 250048209 11984896 2314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2926 2314 311 324 0 1996 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 11704

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 30118
/proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=11704 CPUtime=522.13
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2442 0 0 0 52208 5 0 0 25 0 1 0 250048209 11984896 2317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2926 2317 311 324 0 1996 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 11704

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=11704 CPUtime=582.11
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2442 0 0 0 58206 5 0 0 25 0 1 0 250048209 11984896 2317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2926 2317 311 324 0 1996 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 11704

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=11784 CPUtime=642.1
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2443 0 0 0 64204 6 0 0 25 0 1 0 250048209 12066816 2318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 2946 2318 311 324 0 2016 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 11784


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=12384 CPUtime=822.04
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2596 0 0 0 82197 7 0 0 25 0 1 0 250048209 12681216 2471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3096 2471 311 324 0 2166 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 12384

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=12384 CPUtime=882.02
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 88194 8 0 0 25 0 1 0 250048209 12681216 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3096 2476 311 324 0 2166 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 12384

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=12372 CPUtime=942
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 94192 8 0 0 25 0 1 0 250048209 12668928 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3093 2476 311 324 0 2163 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 12372

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=12360 CPUtime=1001.98
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 100190 8 0 0 25 0 1 0 250048209 12656640 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3090 2476 311 324 0 2160 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 12360

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=12360 CPUtime=1061.96
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 106187 9 0 0 25 0 1 0 250048209 12656640 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3090 2476 311 324 0 2160 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 12360

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1121.95
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2758 0 0 0 112185 10 0 0 25 0 1 0 250048209 13316096 2633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2633 311 324 0 2321 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 13004

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1181.93
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2761 0 0 0 118183 10 0 0 25 0 1 0 250048209 13316096 2636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2636 311 324 0 2321 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 13004

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1241.9
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2763 0 0 0 124180 10 0 0 25 0 1 0 250048209 13316096 2638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2638 311 324 0 2321 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 13004

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1301.9
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 130179 11 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2642 311 324 0 2321 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 13004

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1361.87
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 136176 11 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2642 311 324 0 2321 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 13004

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1421.86
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 142174 12 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2642 311 324 0 2321 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 13004

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1481.83
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 148171 12 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2642 311 324 0 2321 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 13004

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1541.81
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 154169 12 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2642 311 324 0 2321 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 13004

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13004 CPUtime=1601.8
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 160167 13 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3251 2642 311 324 0 2321 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 13004

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1764920/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13760 CPUtime=1661.78
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 166165 13 0 0 25 0 1 0 250048209 14090240 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3440 2821 311 324 0 2510 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 13760

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1764920/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13760 CPUtime=1721.77
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 172163 14 0 0 25 0 1 0 250048209 14090240 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3440 2821 311 324 0 2510 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 13760

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1764984/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13756 CPUtime=1781.74
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 178160 14 0 0 25 0 1 0 250048209 14086144 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3439 2821 311 324 0 2509 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 13756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30118
/proc/meminfo: memFree=1764920/2055920 swapFree=4163632/4192956
[pid=30117] ppid=30115 vsize=13756 CPUtime=1800.04
/proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 179990 14 0 0 25 0 1 0 250048209 14086144 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30117/statm: 3439 2821 311 324 0 2509 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13756

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

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

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.91
CPU system time (s): 0.150977
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 13760

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

runsolver used 1.40779 second user time and 3.78043 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue May  1 12:08:25 UTC 2007

IDJOB= 454101
IDBENCH= 48174
IDSOLVER= 199
FILE ID= node22/454101-1178021305

PBS_JOBID= 4728368

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_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454101-1178021305/instance-454101-1178021305.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-454101-1178021305 -o ROOT/results/node22/solver-454101-1178021305 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454101-1178021305/instance-454101-1178021305.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a142d6d7b95394ce9dab5e7d7d075ea6

RANDOM SEED= 936664732

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1775760 kB
Buffers:         41756 kB
Cached:         149784 kB
SwapCached:       7428 kB
Active:          71424 kB
Inactive:       143032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1775760 kB
SwapTotal:     4192956 kB
SwapFree:      4163632 kB
Dirty:            6620 kB
Writeback:           0 kB
Mapped:          29864 kB
Slab:            51280 kB
Committed_AS:  2329520 kB
PageTables:       1676 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 node22 on Tue May  1 12:38:28 UTC 2007