Trace number 455415

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.16SAT-11 1800.02 1800.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUM2468d4642d986af58e932976ec0c4f0e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
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)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

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/455415-1178042905/instance-455415-1178042905.opb
0.00/0.00	c File size is 16481 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: 1332 Constr: 2616 1282/102/1232 Lit: 8924 Watch. Lit: 7594
0.00/0.01	c Obj. Vars: 50 (3.75375 % of total variables)
0.39/0.43	c Pre-processing Time: 0.429 s
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1332     2616     8924    3     7594   14601      0      0 0.43
0.39/0.43	c Switching off LPR mode.
0.39/0.43	o -1	0.431
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1332     2617     8974    3     7597   14635      1      0 0.43
0.39/0.43	o -2	0.433
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1332     2618     9024    3     7601   14685      2      0 0.43
0.39/0.43	o -3	0.435
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        2   1332     2621     9206    3     7610   14701      5      4 0.43
0.39/0.44	o -4	0.443
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c       65   1332     2685    13648    5     7742   14718     69    146 0.44
0.59/0.60	c      165   1332     2785    20250    7     7942   16190    169    363 0.45
0.59/0.60	c      415   1332     3035    36526   12     8442   17810    419    859 0.48
0.59/0.60	c      890   1332     3510    71303   20     9392   19592    894   1636 0.54
0.59/0.60	o -5	0.6
7.98/8.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.98/8.03	c     1325   1332     3946   103070   26    10269   14735   1330   2204 0.60
7.98/8.03	c     1425   1332     4046   109507   27    10469   16209   1430   2309 0.62
7.98/8.03	c     1675   1332     4296   126256   29    10969   17830   1680   2584 0.65
7.98/8.03	c     2151   1332     4772   156674   32    11921   19614   2156   3021 0.71
7.98/8.03	c     2964   1332     5585   207757   37    13547   21576   2969   3601 0.82
7.98/8.03	c     4284   1332     6905   302406   43    16187   23734   4289   4011 1.07
7.98/8.03	c     6365   1332     8986   449515   50    20349   26108   6370   4043 1.57
7.98/8.03	c     9588   1332    12209   673202   55    26795   28719   9593   4120 2.33
7.98/8.03	c    14525   1332    17146   998010   58    36669   31591  14530   3432 4.23
7.98/8.03	o -6	8.025
50.77/50.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.77/50.85	c    20351   1332    22973  1420787   61    48329   14751  20357   2535 8.03
50.77/50.85	c    20451   1332    10093   546495   54    22554   16227   7477   2163 9.45
50.77/50.85	c    20701   1332    10343   562746   54    23054   17850   7727   2176 9.51
50.77/50.85	c    21176   1332    10818   590931   54    24004   19636   8202   2202 9.62
50.77/50.85	c    21989   1332    11631   641772   55    25630   21600   9015   2235 9.84
50.77/50.85	c    23309   1332    12951   724778   55    28270   23761  10335   2279 10.23
50.77/50.85	c    25390   1332    15032   852377   56    32432   26138  12416   2277 11.15
50.77/50.85	c    28613   1332    18255  1057572   57    38878   28752  15639   2317 12.35
50.77/50.85	c    33549   1332    23191  1375286   59    48750   31628  20575   2187 15.34
50.77/50.85	c    41056   1332    30698  1862805   60    63764   34791  28082   1909 21.50
50.77/50.85	c    52417   1332    17325  1001981   57    37018   38271  14709   1506 34.79
50.77/50.85	c    69561   1332    34469  2306025   66    71306   42099  31853   1382 50.31
50.77/50.85	o -9	50.832
53.37/53.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.37/53.43	c    69779   1332    34688  2315370   66    71753   14768  32072   1372 50.83
53.37/53.43	o -10	53.414
53.37/53.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.37/53.50	c    69792   1332    10015   575854   57    22411   14785   7399   1306 53.41
53.37/53.50	c    69892   1332    10115   581609   57    22611   16264   7499   1307 53.46
53.37/53.50	o -11	53.476
1799.96/1800.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1800.63	c    69964   1332    10188   585548   57    22768   14801   7572   1308 53.48
1799.96/1800.63	c    70064   1332    10288   590962   57    22968   16282   7672   1309 53.49
1799.96/1800.63	c    70314   1332    10538   604368   57    23468   17911   7922   1313 53.55
1799.96/1800.63	c    70789   1332    11013   629944   57    24418   19703   8397   1318 53.69
1799.96/1800.63	c    71603   1332    11827   672388   56    26046   21674   9211   1329 53.87
1799.96/1800.63	c    72923   1332    13147   742829   56    28686   23842  10531   1345 54.19
1799.96/1800.63	c    75004   1332    15228   851959   55    32848   26227  12612   1371 54.70
1799.96/1800.63	c    78227   1332    18451  1024377   55    39294   28850  15835   1395 56.04
1799.96/1800.63	c    83164   1332    23388  1299429   55    49168   31736  20772   1417 58.66
1799.96/1800.63	c    90670   1332    30894  1746808   56    64180   34910  28278   1426 63.55
1799.96/1800.63	c   102031   1332    17450   917430   52    37273   38402  14834   1352 75.45
1799.96/1800.63	c   119175   1332    34594  2013955   58    71561   42243  31978   1357 87.79
1799.96/1800.63	c   144994   1332    28345  1629367   57    59063   46468  25729   1308 110.78
1799.96/1800.63	c   183826   1332    31051  1816730   58    64475   51115  28435   1239 148.35
1799.96/1800.63	c   242179   1332    48658  3053147   62    99689   56227  46042   1079 224.33
1799.96/1800.63	c   329811   1332    44758  2613411   58    91889   61850  42142   1001 329.40
1799.96/1800.63	c   461363   1332    22637  1307718   57    47647   68036  20021    873 528.23
1799.96/1800.63	c   658795   1332    48079  3002295   62    98531   74840  45463    734 897.43
1799.96/1800.63	c   955047   1332    24358  1544560   63    51089   82325  21742    599 1593.09
1799.96/1800.63	c Resources Exceeded
1799.96/1800.63	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29
1799.96/1800.63	v -x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 x48 -x49 -x50 x91 -x70 x89 -x76 -x62 -x99 x65
1799.96/1800.63	v -x78 x96 -x93 x64 x73 -x75 -x82 -x87 -x51 -x80 -x100 -x94 -x88 -x55 -x74 x68 -x81 x53 -x59 -x71 -x77 -x83 x84 -x98 -x52 -x66 -x92
1799.96/1800.63	v -x61 -x97 -x54 x67 -x58 -x79 -x72 -x95 -x57 -x60 -x63 -x85 -x86 -x56 x69 -x90
1799.96/1800.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.63	c   50  1081908    740  1088586    79787  4995298  77171    601 1800.00
1799.96/1800.63	c Objective: -11
1799.96/1800.63	s SATISFIABLE
1799.96/1800.63	c Total time: 1800 s

Verifier Data (download as text)

OK	-11

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-455415-1178042905 -o ROOT/results/node25/solver-455415-1178042905 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455415-1178042905/instance-455415-1178042905.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.99 1.00 1.00 3/64 27212
/proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=11756 CPUtime=0
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 252207547 12038144 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 2939 346 291 324 0 2003 0

[startup+0.050701 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 27212
/proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=4612 CPUtime=0.04
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 566 0 0 0 4 0 0 0 18 0 1 0 252207547 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 1153 530 307 324 0 222 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4612

[startup+0.101709 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 27212
/proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=4612 CPUtime=0.09
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 566 0 0 0 9 0 0 0 18 0 1 0 252207547 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 1153 530 307 324 0 222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301743 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 27212
/proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=4612 CPUtime=0.29
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 566 0 0 0 29 0 0 0 19 0 1 0 252207547 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 1153 530 307 324 0 222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612

[startup+0.701811 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 27212
/proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=6700 CPUtime=0.69
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 1091 0 0 0 68 1 0 0 23 0 1 0 252207547 6860800 1055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 1675 1055 313 324 0 744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6700

[startup+1.50195 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1836952/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=10712 CPUtime=1.48
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 2081 0 0 0 147 1 0 0 25 0 1 0 252207547 10969088 2045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 2678 2045 313 324 0 1747 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10712

[startup+3.10122 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1831960/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=16260 CPUtime=3.08
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 3478 0 0 0 306 2 0 0 25 0 1 0 252207547 16650240 3442 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 4065 3442 313 324 0 3134 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16260

[startup+6.30177 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1824304/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=22208 CPUtime=6.29
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 4977 0 0 0 624 5 0 0 25 0 1 0 252207547 22740992 4941 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 5552 4941 313 324 0 4621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22208

[startup+12.7019 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1820424/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=25024 CPUtime=12.68
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 5675 0 0 0 1262 6 0 0 25 0 1 0 252207547 25624576 5639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 6256 5639 313 324 0 5325 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25024

[startup+25.5011 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1810200/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=35516 CPUtime=25.47
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 8289 0 0 0 2537 10 0 0 25 0 1 0 252207547 36368384 8253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 8879 8253 313 324 0 7948 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 35516

[startup+51.1014 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1805848/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=39612 CPUtime=51.07
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 9370 0 0 0 5092 15 0 0 25 0 1 0 252207547 40562688 9298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 9903 9298 313 324 0 8972 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39612

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1801304/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=44028 CPUtime=102.26
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 10527 0 0 0 10203 23 0 0 25 0 1 0 252207547 45084672 10374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 11007 10374 313 324 0 10076 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44028

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1797144/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=48172 CPUtime=162.23
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 11626 0 0 0 16192 31 0 0 25 0 1 0 252207547 49328128 11426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 12043 11426 313 324 0 11112 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 48172

[startup+222.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 27213
/proc/meminfo: memFree=1791640/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=53596 CPUtime=222.21
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 13039 0 0 0 22182 39 0 0 25 0 1 0 252207547 54882304 12787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 13399 12787 313 324 0 12468 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 53596

[startup+282.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1786200/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=59036 CPUtime=282.19
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 14443 0 0 0 28172 47 0 0 25 0 1 0 252207547 60452864 14134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 14759 14134 313 324 0 13828 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 59036

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1786200/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=59036 CPUtime=342.17
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 14500 0 0 0 34163 54 0 0 25 0 1 0 252207547 60452864 14134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 14759 14134 313 324 0 13828 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 59036

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1783832/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=61376 CPUtime=402.15
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 15146 0 0 0 40154 61 0 0 25 0 1 0 252207547 62849024 14718 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 15344 14718 313 324 0 14413 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 61376

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1781144/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=64084 CPUtime=462.12
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 15874 0 0 0 46148 64 0 0 25 0 1 0 252207547 65622016 15384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 16021 15384 313 324 0 15090 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 64084

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1781080/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=64084 CPUtime=522.11
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 15936 0 0 0 52140 71 0 0 25 0 1 0 252207547 65622016 15384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 16021 15384 313 324 0 15090 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 64084

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1778392/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=67176 CPUtime=582.08
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 16786 0 0 0 58129 79 0 0 25 0 1 0 252207547 68788224 16166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 16794 16166 313 324 0 15863 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 67176

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1778008/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=67176 CPUtime=642.07
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 16786 0 0 0 64124 83 0 0 25 0 1 0 252207547 68788224 16166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 16794 16166 313 324 0 15863 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 67176


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

/proc/meminfo: memFree=1767512/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=77516 CPUtime=1121.9
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 19678 0 0 0 112067 123 0 0 25 0 1 0 252207547 79376384 18772 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 19379 18772 313 324 0 18448 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 77516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1767512/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=77516 CPUtime=1181.87
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 19678 0 0 0 118059 128 0 0 25 0 1 0 252207547 79376384 18772 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 19379 18772 313 324 0 18448 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 77516

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1767512/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=77644 CPUtime=1241.86
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 19693 0 0 0 124052 134 0 0 25 0 1 0 252207547 79507456 18787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 19411 18787 313 324 0 18480 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 77644

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1765336/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=79704 CPUtime=1301.84
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20276 0 0 0 130047 137 0 0 25 0 1 0 252207547 81616896 19295 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 19926 19295 313 324 0 18995 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 79704

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1765336/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=79704 CPUtime=1361.82
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20276 0 0 0 136039 143 0 0 25 0 1 0 252207547 81616896 19295 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 19926 19295 313 324 0 18995 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 79704

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=81504 CPUtime=1421.8
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20815 0 0 0 142033 147 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20376 19759 313 324 0 19445 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 81504

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=81504 CPUtime=1481.77
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20815 0 0 0 148025 152 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20376 19759 313 324 0 19445 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 81504

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=81504 CPUtime=1541.75
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20890 0 0 0 154020 155 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20376 19759 313 324 0 19445 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 81504

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=81504 CPUtime=1601.73
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20890 0 0 0 160015 158 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20376 19759 313 324 0 19445 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 81504

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1763480/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=81516 CPUtime=1661.71
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20893 0 0 0 166004 167 0 0 25 0 1 0 252207547 83472384 19762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20379 19762 313 324 0 19448 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 81516

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1721.69
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 171998 171 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 82184

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1781.67
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 177989 178 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 82184

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1791.27
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 178948 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 82184

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1794.47
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179268 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 82184

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1797.66
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179587 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 82184

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1799.26
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179747 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1799.26
Current children cumulated vsize (KiB) 82184

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1799.66
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179787 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 82184

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1799.86
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179807 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1799.86
Current children cumulated vsize (KiB) 82184

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27213
/proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956
[pid=27212] ppid=27210 vsize=82184 CPUtime=1799.96
/proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179817 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27212/statm: 20546 19939 313 324 0 19615 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 82184

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.02
CPU user time (s): 1798.21
CPU system time (s): 1.81172
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 82184

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

runsolver used 1.47778 second user time and 3.44148 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  1 18:08:25 UTC 2007

IDJOB= 455415
IDBENCH= 48262
IDSOLVER= 163
FILE ID= node25/455415-1178042905

PBS_JOBID= 4728448

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/bsg/normalized-bsg_50_10_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455415-1178042905/instance-455415-1178042905.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-455415-1178042905 -o ROOT/results/node25/solver-455415-1178042905 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455415-1178042905/instance-455415-1178042905.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  2468d4642d986af58e932976ec0c4f0e

RANDOM SEED= 789943757

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1842296 kB
Buffers:         68988 kB
Cached:          72540 kB
SwapCached:       3856 kB
Active:         105968 kB
Inactive:        49536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842296 kB
SwapTotal:     4192956 kB
SwapFree:      4182940 kB
Dirty:            6792 kB
Writeback:           0 kB
Mapped:          19228 kB
Slab:            44172 kB
Committed_AS:  7522160 kB
PageTables:       1488 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 node25 on Tue May  1 18:38:26 UTC 2007