Trace number 453075

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.16SAT12 1800.01 1800.08

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.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/453075-1178113710/instance-453075-1178113710.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.00/0.04	c Pre-processing Time: 0.043 s
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1360     2620     8920    3     6500    8013      0      0 0.04
0.00/0.04	c Switching off LPR mode.
0.00/0.04	o 99	0.044
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1360     2621     9020    3     6503    8080      1      0 0.04
0.00/0.05	o 98	0.045
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1360     2622     9120    3     6507    8180      2      0 0.04
0.00/0.05	o 97	0.046
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1360     2623     9220    3     6512    8313      3      0 0.05
0.00/0.05	o 96	0.047
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1360     2624     9320    3     6518    8480      4      0 0.05
0.00/0.05	o 95	0.049
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1360     2625     9420    3     6525    8680      5      0 0.05
0.00/0.05	o 94	0.05
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1360     2626     9520    3     6533    8913      6      0 0.05
0.00/0.05	o 93	0.051
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1360     2627     9620    3     6542    9180      7      0 0.05
0.00/0.05	o 92	0.052
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        1   1360     2629     9813    3     6554    9213      9     18 0.05
0.00/0.05	o 16	0.054
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        1   1360     2630     9913    3     6640    9913     10     18 0.05
0.00/0.06	o 15	0.055
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        1   1360     2631    10013    3     6727    9913     11     17 0.06
0.00/0.06	o 14	0.057
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   1457 0.07
1.29/1.31	c      353   1360     2984    26926    9     7519   11996    364   3460 0.10
1.29/1.31	c      828   1360     3459    52449   15     8469   13196    839   5048 0.16
1.29/1.31	c     1642   1360     4273    97852   22    10097   14516   1653   5681 0.29
1.29/1.31	c     2963   1360     5594   157581   28    12739   15968   2974   6147 0.48
1.29/1.31	c     5045   1360     7676   278754   36    16903   17565   5056   5338 0.94
1.29/1.31	o 13	1.307
227.59/227.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
227.59/227.65	c     6728   1360     9360   359722   38    20358    9913   6740   5143 1.31
227.59/227.65	c     6830   1360     9462   364562   38    20562   10905   6842   5127 1.33
227.59/227.65	c     7080   1360     9712   375468   38    21062   11996   7092   5057 1.40
227.59/227.65	c     7555   1360    10187   397728   39    22012   13196   7567   4996 1.51
227.59/227.65	c     8369   1360    11001   432623   39    23640   14516   8381   4894 1.71
227.59/227.65	c     9689   1360    12321   493490   40    26280   15968   9701   4550 2.13
227.59/227.65	c    11772   1360    14404   582114   40    30446   17565  11784   4252 2.77
227.59/227.65	c    14995   1360    17627   738786   41    36892   19322  15007   3708 4.04
227.59/227.65	c    19932   1360    12282   466827   38    25911   21255   9662   3075 6.48
227.59/227.65	c    27439   1360    19789   855810   43    40925   23381  17169   2802 9.79
227.59/227.65	c    38800   1360    17966   807088   44    37279   25720  15346   2189 17.72
227.59/227.65	c    55944   1360    19448   877509   45    40243   28293  16828   1878 29.79
227.59/227.65	c    81764   1360    27357  1244534   45    56061   31123  24737   1669 48.99
227.59/227.66	c   120597   1360    25740  1205148   46    52827   34236  23120   1277 94.40
227.59/227.66	c   178950   1360    15524   639320   41    32395   37660  12904   1107 161.56
227.59/227.66	o 12	227.655
1799.93/1800.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.07	c   242909   1360    26891  1235249   45    55217    9013  24271   1067 227.66
1799.93/1800.07	c   243009   1360     7228   213486   29    15804    9915   4608   1064 228.39
1799.93/1800.07	c   243259   1360     7478   222636   29    16304   10907   4858   1064 228.44
1799.93/1800.07	c   243736   1360     7955   240984   30    17258   11998   5335   1066 228.56
1799.93/1800.07	c   244549   1360     8768   271889   31    18884   13198   6148   1069 228.76
1799.93/1800.07	c   245869   1360    10088   320923   31    21524   14518   7468   1073 229.08
1799.93/1800.07	c   247950   1360    12169   407809   33    25686   15970   9549   1079 229.66
1799.93/1800.07	c   251173   1360    15392   568259   36    32132   17568  12772   1088 230.85
1799.93/1800.07	c   256109   1360    11405   421770   36    24158   19325   8785   1099 233.03
1799.93/1800.07	c   263617   1360    18913   725051   38    39174   21258  16293   1113 236.64
1799.93/1800.07	c   274979   1360    18772   757893   40    38892   23384  16152   1128 243.62
1799.93/1800.07	c   292123   1360    22962   955036   41    47272   25723  20342   1151 253.66
1799.93/1800.07	c   317942   1360    18320   778725   42    37988   28296  15700   1163 273.24
1799.93/1800.07	c   356774   1360    22429   981186   43    46206   31126  19809   1135 314.18
1799.93/1800.07	c   415126   1360    21317  1061769   49    43982   34239  18697   1107 374.87
1799.93/1800.07	c   502758   1360    15709   606998   38    32766   37663  13089   1068 470.50
1799.93/1800.07	c   634312   1360    16877   727796   43    35102   41430  14257    973 651.66
1799.93/1800.07	c   831744   1360    32191  1404721   43    65730   45574  29571    959 867.09
1799.93/1800.07	c  1127997   1360    20792   925792   44    42932   50132  18172    884 1275.62
1799.93/1800.07	c Resources Exceeded
1799.93/1800.07	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
1799.93/1800.07	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
1799.93/1800.07	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
1799.93/1800.07	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1799.93/1800.07	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.07	c   51  1488147 464469  2353491    32932  1484097  30312    826 1800.00
1799.93/1800.07	c Objective: 12
1799.93/1800.07	s SATISFIABLE
1799.93/1800.07	c Total time: 1800 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/node16/watcher-453075-1178113710 -o ROOT/results/node16/solver-453075-1178113710 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453075-1178113710/instance-453075-1178113710.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.85 0.97 0.82 3/77 30232
/proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=11756 CPUtime=0
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 259288634 12038144 345 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134585258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 2939 346 291 324 0 2003 0

[startup+0.0911651 s]
/proc/loadavg: 0.85 0.97 0.82 3/77 30232
/proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=4880 CPUtime=0.08
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 624 0 0 0 8 0 0 0 18 0 1 0 259288634 4997120 589 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 1220 589 312 324 0 289 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4880

[startup+0.101311 s]
/proc/loadavg: 0.85 0.97 0.82 3/77 30232
/proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=4880 CPUtime=0.09
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 259288634 4997120 602 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 1220 602 312 324 0 289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4880

[startup+0.30112 s]
/proc/loadavg: 0.85 0.97 0.82 3/77 30232
/proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=6048 CPUtime=0.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 917 0 0 0 29 0 0 0 19 0 1 0 259288634 6193152 882 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 1512 882 312 324 0 581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6048

[startup+0.701036 s]
/proc/loadavg: 0.85 0.97 0.82 3/77 30232
/proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=7880 CPUtime=0.69
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 1373 0 0 0 68 1 0 0 22 0 1 0 259288634 8069120 1338 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 1970 1338 312 324 0 1039 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7880

[startup+1.50187 s]
/proc/loadavg: 0.85 0.97 0.82 2/78 30233
/proc/meminfo: memFree=1838376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=10488 CPUtime=1.5
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 2019 0 0 0 148 2 0 0 25 0 1 0 259288634 10739712 1984 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 2622 1985 312 324 0 1691 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10488

[startup+3.10153 s]
/proc/loadavg: 0.85 0.97 0.82 2/78 30233
/proc/meminfo: memFree=1835432/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=14020 CPUtime=3.09
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 2913 0 0 0 305 4 0 0 25 0 1 0 259288634 14356480 2878 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 3505 2878 312 324 0 2574 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14020

[startup+6.30186 s]
/proc/loadavg: 0.86 0.97 0.82 2/78 30233
/proc/meminfo: memFree=1829296/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=19220 CPUtime=6.3
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 4219 0 0 0 624 6 0 0 25 0 1 0 259288634 19681280 4184 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 4805 4184 312 324 0 3874 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 19220

[startup+12.7015 s]
/proc/loadavg: 0.87 0.97 0.82 2/78 30233
/proc/meminfo: memFree=1827064/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=21008 CPUtime=12.7
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 4650 0 0 0 1262 8 0 0 25 0 1 0 259288634 21512192 4615 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 5252 4615 312 324 0 4321 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 21008

[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.82 3/78 30233
/proc/meminfo: memFree=1822776/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=24964 CPUtime=25.5
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 5637 0 0 0 2539 11 0 0 25 0 1 0 259288634 25563136 5602 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134559711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 6241 5602 312 324 0 5310 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 24964

[startup+51.1014 s]
/proc/loadavg: 0.93 0.97 0.82 2/78 30233
/proc/meminfo: memFree=1820216/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=27020 CPUtime=51.08
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 6179 0 0 0 5092 16 0 0 25 0 1 0 259288634 27668480 6144 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 6755 6144 312 324 0 5824 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27020

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.83 2/78 30233
/proc/meminfo: memFree=1816632/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=30596 CPUtime=102.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 7076 0 0 0 10204 25 0 0 25 0 1 0 259288634 31330304 7041 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 7649 7041 312 324 0 6718 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30596

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.83 2/78 30233
/proc/meminfo: memFree=1813496/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=33572 CPUtime=162.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 7916 0 0 0 16194 35 0 0 25 0 1 0 259288634 34377728 7776 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 8393 7776 312 324 0 7462 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 33572

[startup+222.301 s]
/proc/loadavg: 1.04 0.99 0.85 2/78 30233
/proc/meminfo: memFree=1811960/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=35152 CPUtime=222.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8372 0 0 0 22183 46 0 0 25 0 1 0 259288634 35995648 8156 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 8788 8156 312 324 0 7857 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 35152

[startup+282.302 s]
/proc/loadavg: 1.01 0.99 0.85 2/78 30233
/proc/meminfo: memFree=1811896/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=35152 CPUtime=282.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 28168 61 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 8788 8179 312 324 0 7857 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 35152

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.86 2/78 30233
/proc/meminfo: memFree=1811896/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=35152 CPUtime=342.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 34158 71 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 8788 8179 312 324 0 7857 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 35152

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.86 2/78 30233
/proc/meminfo: memFree=1811832/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=35152 CPUtime=402.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 40148 81 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 8788 8179 312 324 0 7857 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 35152

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.87 2/78 30233
/proc/meminfo: memFree=1811768/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=35152 CPUtime=462.29
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 46137 92 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 8788 8179 312 324 0 7857 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 35152

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.88 2/78 30233
/proc/meminfo: memFree=1811768/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=35152 CPUtime=522.3
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 52128 102 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 8788 8179 312 324 0 7857 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 35152

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.88 2/78 30233
/proc/meminfo: memFree=1809080/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=37616 CPUtime=582.3
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 9084 0 0 0 58119 111 0 0 25 0 1 0 259288634 38518784 8792 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 9404 8792 312 324 0 8473 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 37616

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.89 2/78 30233
/proc/meminfo: memFree=1809080/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=37616 CPUtime=642.31
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 9122 0 0 0 64111 120 0 0 25 0 1 0 259288634 38518784 8792 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 9404 8792 312 324 0 8473 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 37616


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

/proc/meminfo: memFree=1805176/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=41012 CPUtime=1122.2
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 112028 192 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 10253 9636 312 324 0 9322 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 41012

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 0.92 2/78 30431
/proc/meminfo: memFree=1805176/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=41012 CPUtime=1182.2
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 118020 200 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 10253 9636 312 324 0 9322 0
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (KiB) 41012

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 0.92 2/78 30431
/proc/meminfo: memFree=1805048/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=41012 CPUtime=1242.21
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 124011 210 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 10253 9636 312 324 0 9322 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 41012

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1804984/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=41012 CPUtime=1302.21
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 130002 219 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 10253 9636 312 324 0 9322 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 41012

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1801336/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=44540 CPUtime=1362.21
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11409 0 0 0 135992 229 0 0 25 0 1 0 259288634 45608960 10509 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11135 10509 312 324 0 10204 0
Current children cumulated CPU time (s) 1362.21
Current children cumulated vsize (KiB) 44540

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800504/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45324 CPUtime=1422.21
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11653 0 0 0 141984 237 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11331 10703 312 324 0 10400 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 45324

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800440/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45324 CPUtime=1482.21
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11753 0 0 0 147977 244 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11331 10703 312 324 0 10400 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 45324

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800440/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45324 CPUtime=1542.21
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11803 0 0 0 153966 255 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11331 10703 312 324 0 10400 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 45324

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45324 CPUtime=1602.21
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 159960 261 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11331 10703 312 324 0 10400 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 45324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45324 CPUtime=1662.22
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 165950 272 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11331 10703 312 324 0 10400 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 45324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800376/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1722.22
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 171942 280 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 45252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1782.23
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 177937 286 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 45252

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1791.83
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 178895 288 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1791.83
Current children cumulated vsize (KiB) 45252

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1795.03
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179214 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7634999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1795.03
Current children cumulated vsize (KiB) 45252

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1798.22
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179533 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (KiB) 45252

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1799.02
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179613 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 45252

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1799.42
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179653 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 45252

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1799.83
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179693 290 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 45252

[startup+1800 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 30431
/proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956
[pid=30232] ppid=30230 vsize=45252 CPUtime=1799.93
/proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179703 290 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30232/statm: 11313 10703 312 324 0 10382 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 45252

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.01
CPU user time (s): 1797.1
CPU system time (s): 2.90956
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 45524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.1
system time used= 2.90956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 2997

runsolver used 1.45678 second user time and 4.19736 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Wed May  2 13:48:30 UTC 2007

IDJOB= 453075
IDBENCH= 48106
IDSOLVER= 163
FILE ID= node16/453075-1178113710

PBS_JOBID= 4751010

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453075-1178113710/instance-453075-1178113710.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-453075-1178113710 -o ROOT/results/node16/solver-453075-1178113710 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453075-1178113710/instance-453075-1178113710.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f4b87658792e85afbf63fc13ada788f7

RANDOM SEED= 8974411

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1843912 kB
Buffers:         68300 kB
Cached:          65812 kB
SwapCached:      12496 kB
Active:          69904 kB
Inactive:        91056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843912 kB
SwapTotal:     4192956 kB
SwapFree:      4148560 kB
Dirty:            6764 kB
Writeback:           0 kB
Mapped:          30228 kB
Slab:            36516 kB
Committed_AS: 13918296 kB
PageTables:       1836 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 node16 on Wed May  2 14:18:30 UTC 2007