Trace number 455421

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)-11 1800.13 1800.7

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.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/455421-1178043018/instance-455421-1178043018.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.426 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.427
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.428
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.429
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.437
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c       65   1332     2685    13648    5     7742   14718     69    148 0.44
0.49/0.59	c      165   1332     2785    20250    7     7942   16190    169    367 0.45
0.49/0.59	c      415   1332     3035    36526   12     8442   17810    419    868 0.48
0.49/0.59	c      890   1332     3510    71303   20     9392   19592    894   1651 0.54
0.49/0.59	o -5	0.594
7.98/8.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.98/8.00	c     1325   1332     3946   103070   26    10269   14735   1330   2230 0.59
7.98/8.00	c     1425   1332     4046   109507   27    10469   16209   1430   2336 0.61
7.98/8.00	c     1675   1332     4296   126256   29    10969   17830   1680   2613 0.64
7.98/8.00	c     2151   1332     4772   156674   32    11921   19614   2156   3055 0.70
7.98/8.00	c     2964   1332     5585   207757   37    13547   21576   2969   3641 0.81
7.98/8.00	c     4284   1332     6905   302406   43    16187   23734   4289   4045 1.06
7.98/8.00	c     6365   1332     8986   449515   50    20349   26108   6370   4077 1.56
7.98/8.00	c     9588   1332    12209   673202   55    26795   28719   9593   4145 2.31
7.98/8.00	c    14525   1332    17146   998010   58    36669   31591  14530   3446 4.21
7.98/8.00	o -6	7.998
50.67/50.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.67/50.70	c    20351   1332    22973  1420787   61    48329   14751  20357   2544 8.00
50.67/50.70	c    20451   1332    10093   546495   54    22554   16227   7477   2168 9.43
50.67/50.70	c    20701   1332    10343   562746   54    23054   17850   7727   2181 9.49
50.67/50.70	c    21176   1332    10818   590931   54    24004   19636   8202   2207 9.59
50.67/50.70	c    21989   1332    11631   641772   55    25630   21600   9015   2241 9.81
50.67/50.70	c    23309   1332    12951   724778   55    28270   23761  10335   2285 10.20
50.67/50.70	c    25390   1332    15032   852377   56    32432   26138  12416   2284 11.12
50.67/50.70	c    28613   1332    18255  1057572   57    38878   28752  15639   2324 12.31
50.67/50.70	c    33549   1332    23191  1375286   59    48750   31628  20575   2194 15.29
50.67/50.70	c    41056   1332    30698  1862805   60    63764   34791  28082   1915 21.43
50.67/50.70	c    52417   1332    17325  1001981   57    37018   38271  14709   1510 34.70
50.67/50.70	c    69561   1332    34469  2306025   66    71306   42099  31853   1386 50.17
50.67/50.70	o -9	50.69
53.17/53.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.17/53.28	c    69779   1332    34688  2315370   66    71753   14768  32072   1376 50.69
53.17/53.28	o -10	53.268
53.27/53.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.27/53.34	c    69792   1332    10015   575854   57    22411   14785   7399   1310 53.27
53.27/53.34	c    69892   1332    10115   581609   57    22611   16264   7499   1310 53.31
53.27/53.34	o -11	53.329
1800.10/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.60	c    69964   1332    10188   585548   57    22768   14801   7572   1311 53.33
1800.10/1800.60	c    70064   1332    10288   590962   57    22968   16282   7672   1313 53.35
1800.10/1800.60	c    70314   1332    10538   604368   57    23468   17911   7922   1316 53.40
1800.10/1800.60	c    70789   1332    11013   629944   57    24418   19703   8397   1322 53.54
1800.10/1800.60	c    71603   1332    11827   672388   56    26046   21674   9211   1332 53.72
1800.10/1800.60	c    72923   1332    13147   742829   56    28686   23842  10531   1349 54.03
1800.10/1800.60	c    75004   1332    15228   851959   55    32848   26227  12612   1374 54.55
1800.10/1800.60	c    78227   1332    18451  1024377   55    39294   28850  15835   1399 55.88
1800.10/1800.60	c    83164   1332    23388  1299429   55    49168   31736  20772   1421 58.49
1800.10/1800.60	c    90670   1332    30894  1746808   56    64180   34910  28278   1431 63.36
1800.10/1800.60	c   102031   1332    17450   917430   52    37273   38402  14834   1356 75.23
1800.10/1800.60	c   119175   1332    34594  2013955   58    71561   42243  31978   1361 87.53
1800.10/1800.60	c   144994   1332    28345  1629367   57    59063   46468  25729   1312 110.47
1800.10/1800.61	c   183826   1332    31051  1816730   58    64475   51115  28435   1243 147.85
1800.10/1800.61	c   242179   1332    48658  3053147   62    99689   56227  46042   1082 223.65
1800.10/1800.61	c   329811   1332    44758  2613411   58    91889   61850  42142   1004 328.37
1800.10/1800.61	c   461363   1332    22637  1307718   57    47647   68036  20021    876 526.47
1800.10/1800.61	c   658795   1332    48079  3002295   62    98531   74840  45463    736 894.34
1800.10/1800.61	c   955047   1332    24358  1544560   63    51089   82325  21742    601 1589.04
1800.10/1800.61	c Caught signal: 15
1800.10/1800.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29
1800.10/1800.61	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
1800.10/1800.61	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
1800.10/1800.61	v -x61 -x97 -x54 x67 -x58 -x79 -x72 -x95 -x57 -x60 -x63 -x85 -x86 -x56 x69 -x90
1800.10/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.61	c   50  1083756    745  1090441    81635  5123068  79019    602 1800.11
1800.10/1800.61	c Objective: -11
1800.10/1800.61	s SATISFIABLE
1800.10/1800.61	c Total time: 1800.11 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/node60/watcher-455421-1178043018 -o ROOT/results/node60/solver-455421-1178043018 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455421-1178043018/instance-455421-1178043018.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: 1.00 1.00 1.00 3/64 29709
/proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=19568 CPUtime=0
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 252211762 20037632 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5803296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 4892 340 288 324 0 3957 0

[startup+0.042084 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29709
/proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=4612 CPUtime=0.03
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 563 0 0 0 3 0 0 0 18 0 1 0 252211762 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 1153 528 305 324 0 223 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4612

[startup+0.101078 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29709
/proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=4612 CPUtime=0.09
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 563 0 0 0 9 0 0 0 18 0 1 0 252211762 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 1153 528 305 324 0 223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301097 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29709
/proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=4612 CPUtime=0.29
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 563 0 0 0 29 0 0 0 19 0 1 0 252211762 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 1153 528 305 324 0 223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612

[startup+0.701135 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29709
/proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=6700 CPUtime=0.69
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 1098 0 0 0 69 0 0 0 23 0 1 0 252211762 6860800 1063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 1675 1063 311 324 0 745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6700

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1881352/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=10712 CPUtime=1.49
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 2095 0 0 0 148 1 0 0 25 0 1 0 252211762 10969088 2060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 2678 2060 311 324 0 1748 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10712

[startup+3.10137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1876424/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=16260 CPUtime=3.09
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 3482 0 0 0 307 2 0 0 25 0 1 0 252211762 16650240 3447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 4065 3447 311 324 0 3135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16260

[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1868616/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=22336 CPUtime=6.29
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 4983 0 0 0 626 3 0 0 25 0 1 0 252211762 22872064 4948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 5584 4948 311 324 0 4654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22336

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1864648/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=25024 CPUtime=12.68
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 5672 0 0 0 1265 3 0 0 25 0 1 0 252211762 25624576 5637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 6256 5637 311 324 0 5326 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25024

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1854408/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=35516 CPUtime=25.48
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 8302 0 0 0 2542 6 0 0 25 0 1 0 252211762 36368384 8267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 8879 8267 311 324 0 7949 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35516

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1849992/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=39612 CPUtime=51.07
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 9367 0 0 0 5100 7 0 0 25 0 1 0 252211762 40562688 9296 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 9903 9296 311 324 0 8973 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39612

[startup+102.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1845576/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=44028 CPUtime=102.26
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 10524 0 0 0 10218 8 0 0 25 0 1 0 252211762 45084672 10372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 11007 10372 311 324 0 10077 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44028

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1841352/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=48172 CPUtime=162.24
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 11623 0 0 0 16215 9 0 0 25 0 1 0 252211762 49328128 11424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 12043 11424 311 324 0 11113 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48172

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1835848/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=53596 CPUtime=222.22
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 13036 0 0 0 22212 10 0 0 25 0 1 0 252211762 54882304 12785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 13399 12785 311 324 0 12469 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 53596

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1830472/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=59036 CPUtime=282.22
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 14440 0 0 0 28209 13 0 0 25 0 1 0 252211762 60452864 14132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 14759 14132 311 324 0 13829 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 59036

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1830408/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=59036 CPUtime=342.2
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 14497 0 0 0 34207 13 0 0 25 0 1 0 252211762 60452864 14132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 14759 14132 311 324 0 13829 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59036

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1828104/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=61376 CPUtime=402.17
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 15143 0 0 0 40204 13 0 0 25 0 1 0 252211762 62849024 14716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 15344 14716 311 324 0 14414 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 61376

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1825416/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=64084 CPUtime=462.16
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 15871 0 0 0 46202 14 0 0 25 0 1 0 252211762 65622016 15382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5968223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 16021 15382 311 324 0 15091 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 64084

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1825352/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=64080 CPUtime=522.15
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 15933 0 0 0 52201 14 0 0 25 0 1 0 252211762 65617920 15382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 16020 15382 311 324 0 15090 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 64080

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1822216/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=67176 CPUtime=582.13
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 16783 0 0 0 58199 14 0 0 25 0 1 0 252211762 68788224 16164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 16794 16164 311 324 0 15864 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 67176

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1822216/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=67176 CPUtime=642.11
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 16783 0 0 0 64197 14 0 0 25 0 1 0 252211762 68788224 16164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 16794 16164 311 324 0 15864 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 67176


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1818760/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=70924 CPUtime=822.06
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 17788 0 0 0 82190 16 0 0 25 0 1 0 252211762 72626176 17101 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 17731 17101 311 324 0 16801 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 70924

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1814216/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=75048 CPUtime=882.04
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 18889 0 0 0 88186 18 0 0 25 0 1 0 252211762 76849152 18134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 18762 18134 311 324 0 17832 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 75048

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1814280/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=75064 CPUtime=942.03
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 18893 0 0 0 94185 18 0 0 25 0 1 0 252211762 76865536 18138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 18766 18138 311 324 0 17836 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 75064

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1813384/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=75840 CPUtime=1002.01
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19172 0 0 0 100183 18 0 0 25 0 1 0 252211762 77660160 18342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 18960 18342 311 324 0 18030 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 75840

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1813448/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=75840 CPUtime=1062
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19172 0 0 0 106181 19 0 0 25 0 1 0 252211762 77660160 18342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 18960 18342 311 324 0 18030 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 75840

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1811656/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=77516 CPUtime=1121.97
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19675 0 0 0 112178 19 0 0 25 0 1 0 252211762 79376384 18770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 19379 18770 311 324 0 18449 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 77516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1811656/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=77516 CPUtime=1181.96
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19675 0 0 0 118177 19 0 0 25 0 1 0 252211762 79376384 18770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 19379 18770 311 324 0 18449 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 77516

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1810248/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=79184 CPUtime=1241.95
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20084 0 0 0 124175 20 0 0 25 0 1 0 252211762 81084416 19179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 19796 19179 311 324 0 18866 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 79184

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1809544/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=79704 CPUtime=1301.93
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20273 0 0 0 130173 20 0 0 25 0 1 0 252211762 81616896 19293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 19926 19293 311 324 0 18996 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 79704

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1809544/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=79704 CPUtime=1361.91
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20273 0 0 0 136171 20 0 0 25 0 1 0 252211762 81616896 19293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 19926 19293 311 324 0 18996 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 79704

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1807560/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=81504 CPUtime=1421.9
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20812 0 0 0 142169 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20376 19757 311 324 0 19446 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 81504

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1807624/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=81504 CPUtime=1481.88
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20812 0 0 0 148167 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20376 19757 311 324 0 19446 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 81504

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1807560/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=81504 CPUtime=1541.86
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20887 0 0 0 154165 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20376 19757 311 324 0 19446 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 81504

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1807624/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=81504 CPUtime=1601.84
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20887 0 0 0 160163 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20376 19757 311 324 0 19446 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 81504

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1807624/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=81528 CPUtime=1661.83
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20893 0 0 0 166161 22 0 0 25 0 1 0 252211762 83484672 19763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20382 19763 311 324 0 19452 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 81528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1806856/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=82184 CPUtime=1721.81
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 21149 0 0 0 172159 22 0 0 25 0 1 0 252211762 84156416 19937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20546 19937 311 324 0 19616 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 82184

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1806856/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=82184 CPUtime=1781.8
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 21149 0 0 0 178158 22 0 0 25 0 1 0 252211762 84156416 19937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20546 19937 311 324 0 19616 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 82184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29710
/proc/meminfo: memFree=1806856/2055920 swapFree=4183252/4192956
[pid=29709] ppid=29707 vsize=82184 CPUtime=1800.1
/proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 21149 0 0 0 179988 22 0 0 25 0 1 0 252211762 84156416 19937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551033 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29709/statm: 20546 19937 311 324 0 19616 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 82184

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

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

Child status: 15
Real time (s): 1800.7
CPU time (s): 1800.13
CPU user time (s): 1799.89
CPU system time (s): 0.238963
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 82512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.238963
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= 2474

runsolver used 1.41778 second user time and 3.50647 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May  1 18:10:18 UTC 2007

IDJOB= 455421
IDBENCH= 48262
IDSOLVER= 199
FILE ID= node60/455421-1178043018

PBS_JOBID= 4728442

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  2468d4642d986af58e932976ec0c4f0e

RANDOM SEED= 701501323

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1886696 kB
Buffers:         34908 kB
Cached:          65276 kB
SwapCached:       3244 kB
Active:          69900 kB
Inactive:        39940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1886696 kB
SwapTotal:     4192956 kB
SwapFree:      4183252 kB
Dirty:            6604 kB
Writeback:           0 kB
Mapped:          15520 kB
Slab:            45428 kB
Committed_AS:  4310300 kB
PageTables:       1464 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 node60 on Tue May  1 18:40:21 UTC 2007