Trace number 453081

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)12 1800.09 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_2.opb
MD5SUMf4b87658792e85afbf63fc13ada788f7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved NO
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 constraint11
Maximum length of a constraint21
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 products1260
Sum of products size2520

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/453081-1178113716/instance-453081-1178113716.opb
0.00/0.00	c File size is 17171 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.007 s
0.00/0.01	c Var: 1360 Constr: 2620 1360/0/1260 Lit: 8920 Watch. Lit: 6500
0.00/0.01	c Obj. Vars: 100 (7.35294 % of total variables)
0.03/0.04	c Pre-processing Time: 0.043 s
0.03/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.04	c        0   1360     2620     8920    3     6500    8013      0      0 0.04
0.03/0.04	c Switching off LPR mode.
0.03/0.04	o 99	0.044
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1360     2621     9020    3     6503    8080      1      0 0.04
0.03/0.05	o 98	0.046
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1360     2622     9120    3     6507    8180      2      0 0.05
0.03/0.05	o 97	0.047
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1360     2623     9220    3     6512    8313      3      0 0.05
0.03/0.05	o 96	0.048
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1360     2624     9320    3     6518    8480      4      0 0.05
0.03/0.05	o 95	0.049
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1360     2625     9420    3     6525    8680      5      0 0.05
0.03/0.05	o 94	0.05
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1360     2626     9520    3     6533    8913      6      0 0.05
0.03/0.05	o 93	0.051
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   1360     2627     9620    3     6542    9180      7      0 0.05
0.03/0.05	o 92	0.052
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        1   1360     2629     9813    3     6554    9213      9     19 0.05
0.03/0.05	o 16	0.053
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        1   1360     2630     9913    3     6640    9913     10     18 0.05
0.03/0.05	o 15	0.055
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        1   1360     2631    10013    3     6727    9913     11     18 0.06
0.03/0.06	o 14	0.056
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c        2   1360     2633    10156    3     6817    9913     13     35 0.06
1.29/1.31	c      102   1360     2733    15555    5     7017   10905    113   1478 0.07
1.29/1.31	c      353   1360     2984    26926    9     7519   11996    364   3495 0.10
1.29/1.31	c      828   1360     3459    52449   15     8469   13196    839   5079 0.16
1.29/1.31	c     1642   1360     4273    97852   22    10097   14516   1653   5701 0.29
1.29/1.31	c     2963   1360     5594   157581   28    12739   15968   2974   6160 0.48
1.29/1.31	c     5045   1360     7676   278754   36    16903   17565   5056   5327 0.95
1.29/1.31	o 13	1.312
226.73/226.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
226.73/226.82	c     6728   1360     9360   359722   38    20358    9913   6740   5124 1.31
226.73/226.82	c     6830   1360     9462   364562   38    20562   10905   6842   5112 1.34
226.73/226.82	c     7080   1360     9712   375468   38    21062   11996   7092   5035 1.41
226.73/226.82	c     7555   1360    10187   397728   39    22012   13196   7567   4976 1.52
226.73/226.82	c     8369   1360    11001   432623   39    23640   14516   8381   4874 1.72
226.73/226.82	c     9689   1360    12321   493490   40    26280   15968   9701   4529 2.14
226.73/226.82	c    11772   1360    14404   582114   40    30446   17565  11784   4229 2.78
226.73/226.82	c    14995   1360    17627   738786   41    36892   19322  15007   3692 4.06
226.73/226.82	c    19932   1360    12282   466827   38    25911   21255   9662   3071 6.49
226.73/226.82	c    27439   1360    19789   855810   43    40925   23381  17169   2799 9.80
226.73/226.82	c    38800   1360    17966   807088   44    37279   25720  15346   2185 17.75
226.73/226.82	c    55944   1360    19448   877509   45    40243   28293  16828   1878 29.79
226.73/226.82	c    81764   1360    27357  1244534   45    56061   31123  24737   1671 48.91
226.73/226.82	c   120597   1360    25740  1205148   46    52827   34236  23120   1283 93.99
226.73/226.82	c   178950   1360    15524   639320   41    32395   37660  12904   1111 161.00
226.73/226.82	o 12	226.756
1800.07/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.70	c   242909   1360    26891  1235249   45    55217    9013  24271   1071 226.76
1800.07/1800.70	c   243009   1360     7228   213486   29    15804    9915   4608   1068 227.49
1800.07/1800.70	c   243259   1360     7478   222636   29    16304   10907   4858   1069 227.54
1800.07/1800.70	c   243736   1360     7955   240984   30    17258   11998   5335   1070 227.66
1800.07/1800.70	c   244549   1360     8768   271889   31    18884   13198   6148   1073 227.87
1800.07/1800.70	c   245869   1360    10088   320923   31    21524   14518   7468   1077 228.19
1800.07/1800.70	c   247950   1360    12169   407809   33    25686   15970   9549   1083 228.77
1800.07/1800.70	c   251173   1360    15392   568259   36    32132   17568  12772   1092 229.95
1800.07/1800.70	c   256109   1360    11405   421770   36    24158   19325   8785   1103 232.13
1800.07/1800.70	c   263617   1360    18913   725051   38    39174   21258  16293   1118 235.75
1800.07/1800.70	c   274979   1360    18772   757893   40    38892   23384  16152   1132 242.72
1800.07/1800.70	c   292123   1360    22962   955036   41    47272   25723  20342   1156 252.67
1800.07/1800.70	c   317942   1360    18320   778725   42    37988   28296  15700   1168 272.15
1800.07/1800.70	c   356774   1360    22429   981186   43    46206   31126  19809   1140 312.90
1800.07/1800.70	c   415126   1360    21317  1061769   49    43982   34239  18697   1112 373.20
1800.07/1800.70	c   502758   1360    15709   606998   38    32766   37663  13089   1073 468.37
1800.07/1800.70	c   634312   1360    16877   727796   43    35102   41430  14257    977 648.77
1800.07/1800.70	c   831744   1360    32191  1404721   43    65730   45574  29571    963 863.16
1800.07/1800.70	c  1127997   1360    20792   925792   44    42932   50132  18172    888 1269.97
1800.07/1800.70	c Caught signal: 15
1800.07/1800.70	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 -x30
1800.07/1800.70	v 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.07/1800.70	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
1800.07/1800.70	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1800.07/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.70	c   51  1492114 465677  2359776    36899  1654424  34279    828 1800.08
1800.07/1800.70	c Objective: 12
1800.07/1800.70	s SATISFIABLE
1800.07/1800.70	c Total time: 1800.08 s

Verifier Data (download as text)

OK	12

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-453081-1178113716 -o ROOT/results/node17/solver-453081-1178113716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453081-1178113716/instance-453081-1178113716.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.91 0.95 0.83 3/77 9381
/proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=11756 CPUtime=0
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 259289122 12038144 343 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 2939 344 289 324 0 2004 0

[startup+0.0469381 s]
/proc/loadavg: 0.91 0.95 0.83 3/77 9381
/proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=4752 CPUtime=0.03
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 595 0 0 0 3 0 0 0 18 0 1 0 259289122 4866048 560 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 1188 560 306 324 0 258 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4752

[startup+0.101943 s]
/proc/loadavg: 0.91 0.95 0.83 3/77 9381
/proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=4880 CPUtime=0.09
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 638 0 0 0 9 0 0 0 18 0 1 0 259289122 4997120 603 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 1220 603 310 324 0 290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4880

[startup+0.301965 s]
/proc/loadavg: 0.91 0.95 0.83 3/77 9381
/proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=6048 CPUtime=0.28
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 918 0 0 0 28 0 0 0 19 0 1 0 259289122 6193152 883 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 1512 883 310 324 0 582 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6048

[startup+0.702006 s]
/proc/loadavg: 0.91 0.95 0.83 3/77 9381
/proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=7880 CPUtime=0.69
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 1373 0 0 0 68 1 0 0 22 0 1 0 259289122 8069120 1338 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 1970 1338 310 324 0 1040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7880

[startup+1.50109 s]
/proc/loadavg: 0.91 0.95 0.83 2/78 9382
/proc/meminfo: memFree=1671192/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=10356 CPUtime=1.49
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 2013 0 0 0 148 1 0 0 25 0 1 0 259289122 10604544 1978 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 2589 1978 310 324 0 1659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10356

[startup+3.10226 s]
/proc/loadavg: 0.92 0.95 0.83 2/78 9382
/proc/meminfo: memFree=1668056/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=14020 CPUtime=3.09
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 2899 0 0 0 308 1 0 0 25 0 1 0 259289122 14356480 2864 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 3505 2864 310 324 0 2575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14020

[startup+6.30159 s]
/proc/loadavg: 0.92 0.95 0.83 2/78 9382
/proc/meminfo: memFree=1661912/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=19216 CPUtime=6.29
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 4213 0 0 0 627 2 0 0 25 0 1 0 259289122 19677184 4178 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134552347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 4804 4178 310 324 0 3874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19216

[startup+12.7013 s]
/proc/loadavg: 0.93 0.96 0.83 2/78 9382
/proc/meminfo: memFree=1659696/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=20876 CPUtime=12.69
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 4644 0 0 0 1266 3 0 0 25 0 1 0 259289122 21377024 4609 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 5219 4609 310 324 0 4289 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20876

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.83 2/78 9382
/proc/meminfo: memFree=1655344/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=24772 CPUtime=25.49
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 5604 0 0 0 2545 4 0 0 25 0 1 0 259289122 25366528 5569 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 6193 5569 310 324 0 5263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24772

[startup+51.1013 s]
/proc/loadavg: 0.96 0.96 0.83 2/78 9382
/proc/meminfo: memFree=1652848/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=27020 CPUtime=51.07
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 6177 0 0 0 5103 4 0 0 25 0 1 0 259289122 27668480 6142 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 6755 6142 310 324 0 5825 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27020

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.84 2/78 9382
/proc/meminfo: memFree=1649328/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=30596 CPUtime=102.26
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 7074 0 0 0 10221 5 0 0 25 0 1 0 259289122 31330304 7039 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 7649 7039 310 324 0 6719 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30596

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 9382
/proc/meminfo: memFree=1646192/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=33572 CPUtime=162.25
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 7914 0 0 0 16218 7 0 0 25 0 1 0 259289122 34377728 7774 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 8393 7774 310 324 0 7463 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 33572

[startup+222.301 s]
/proc/loadavg: 1.07 0.99 0.85 2/78 9382
/proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=35152 CPUtime=222.23
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8370 0 0 0 22215 8 0 0 25 0 1 0 259289122 35995648 8154 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 8788 8154 310 324 0 7858 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35152

[startup+282.301 s]
/proc/loadavg: 1.10 1.00 0.87 2/78 9382
/proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=35152 CPUtime=282.21
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 28213 8 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 8788 8177 310 324 0 7858 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 35152

[startup+342.302 s]
/proc/loadavg: 1.17 1.03 0.88 2/78 9382
/proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=35152 CPUtime=342.19
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 34210 9 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 8788 8177 310 324 0 7858 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 35152

[startup+402.302 s]
/proc/loadavg: 1.12 1.04 0.89 2/78 9382
/proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=35152 CPUtime=402.17
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 40208 9 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 8788 8177 310 324 0 7858 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 35152

[startup+462.301 s]
/proc/loadavg: 1.15 1.06 0.91 2/78 9382
/proc/meminfo: memFree=1644720/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=35152 CPUtime=462.16
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 46206 10 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 8788 8177 310 324 0 7858 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 35152

[startup+522.301 s]
/proc/loadavg: 1.11 1.06 0.91 2/78 9382
/proc/meminfo: memFree=1644720/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=35152 CPUtime=522.14
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 52204 10 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134552776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 8788 8177 310 324 0 7858 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 35152

[startup+582.302 s]
/proc/loadavg: 1.04 1.05 0.91 2/78 9382
/proc/meminfo: memFree=1642096/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=37616 CPUtime=582.13
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 9082 0 0 0 58201 12 0 0 25 0 1 0 259289122 38518784 8790 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 9404 8790 310 324 0 8474 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 37616

[startup+642.302 s]
/proc/loadavg: 1.01 1.04 0.91 2/78 9382
/proc/meminfo: memFree=1642160/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=37616 CPUtime=642.11
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 9120 0 0 0 64199 12 0 0 25 0 1 0 259289122 38518784 8790 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 9404 8790 310 324 0 8474 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 37616


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

[startup+882.302 s]
/proc/loadavg: 1.01 1.02 0.92 2/78 9580
/proc/meminfo: memFree=1638448/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41000 CPUtime=881.93
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10252 0 0 0 88177 16 0 0 25 0 1 0 259289122 41984000 9632 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10250 9632 310 324 0 9320 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 41000

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 0.92 2/78 9580
/proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41008 CPUtime=941.91
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10346 0 0 0 94174 17 0 0 25 0 1 0 259289122 41992192 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10252 9634 310 324 0 9322 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 41008

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 0.92 2/78 9580
/proc/meminfo: memFree=1638640/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41012 CPUtime=1001.89
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10392 0 0 0 100172 17 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10253 9634 310 324 0 9323 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 41012

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41012 CPUtime=1061.88
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10438 0 0 0 106170 18 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10253 9634 310 324 0 9323 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 41012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1638640/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41012 CPUtime=1121.86
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 112168 18 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10253 9634 310 324 0 9323 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 41012

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41012 CPUtime=1181.84
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 118165 19 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10253 9634 310 324 0 9323 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 41012

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41012 CPUtime=1241.82
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 124163 19 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10253 9634 310 324 0 9323 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 41012

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1638768/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=41012 CPUtime=1301.81
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 130161 20 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 10253 9634 310 324 0 9323 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 41012

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1635120/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=44540 CPUtime=1361.79
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11407 0 0 0 136158 21 0 0 25 0 1 0 259289122 45608960 10507 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11135 10507 310 324 0 10205 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 44540

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634288/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45324 CPUtime=1421.78
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11651 0 0 0 142156 22 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11331 10701 310 324 0 10401 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 45324

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634224/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45324 CPUtime=1481.76
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11751 0 0 0 148153 23 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11331 10701 310 324 0 10401 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 45324

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634224/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45324 CPUtime=1541.74
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11801 0 0 0 154151 23 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11331 10701 310 324 0 10401 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 45324

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634224/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45324 CPUtime=1601.73
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 160149 24 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3293535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11331 10701 310 324 0 10401 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 45324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634288/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45324 CPUtime=1661.71
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 166147 24 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11331 10701 310 324 0 10401 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 45324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634288/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45252 CPUtime=1721.7
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 172145 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11313 10701 310 324 0 10383 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 45252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634352/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45252 CPUtime=1781.67
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 178142 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11313 10701 310 324 0 10383 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 45252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634352/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45252 CPUtime=1800.07
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 179982 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11313 10701 310 324 0 10383 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 45252

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 9580
/proc/meminfo: memFree=1634352/2055920 swapFree=4140116/4192956
[pid=9381] ppid=9379 vsize=45252 CPUtime=1800.07
/proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 179982 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9381/statm: 11313 10701 310 324 0 10383 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 45252

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1799.83
CPU system time (s): 0.265959
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 45524

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

runsolver used 1.43178 second user time and 3.84941 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Wed May  2 13:48:36 UTC 2007

IDJOB= 453081
IDBENCH= 48106
IDSOLVER= 199
FILE ID= node17/453081-1178113716

PBS_JOBID= 4751032

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/mds/normalized-mds_100_10_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453081-1178113716/instance-453081-1178113716.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-453081-1178113716 -o ROOT/results/node17/solver-453081-1178113716 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453081-1178113716/instance-453081-1178113716.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  f4b87658792e85afbf63fc13ada788f7

RANDOM SEED= 451392609

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:       1676856 kB
Buffers:         79672 kB
Cached:         208600 kB
SwapCached:      15008 kB
Active:         124488 kB
Inactive:       188008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1676856 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:            6732 kB
Writeback:           0 kB
Mapped:          29876 kB
Slab:            52072 kB
Committed_AS:  9776888 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 Wed May  2 14:18:39 UTC 2007