Trace number 455400

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 (TO)-11 1800.06 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
MD5SUM0619afe86d0e2ffb4ad28e9f2f441c24
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.02
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)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

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/455400-1178042738/instance-455400-1178042738.opb
0.00/0.00	c File size is 16255 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: 1312 Constr: 2576 1262/102/1212 Lit: 8784 Watch. Lit: 7474
0.00/0.01	c Obj. Vars: 50 (3.81098 % of total variables)
0.39/0.41	c Pre-processing Time: 0.41 s
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1312     2576     8784    3     7474   14303      0      0 0.41
0.39/0.41	c Switching off LPR mode.
0.39/0.41	o -1	0.412
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1312     2577     8834    3     7477   14336      1      0 0.41
0.39/0.41	o -2	0.413
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1312     2578     8884    3     7481   14386      2      0 0.41
0.39/0.41	o -3	0.415
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   1312     2579     8934    3     7486   14453      3      0 0.41
0.39/0.42	o -4	0.416
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   1312     2580     8984    3     7492   14536      4      0 0.42
0.39/0.42	o -5	0.418
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   1312     2581     9034    3     7499   14636      5      0 0.42
0.39/0.42	o -6	0.42
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c       11   1312     2593     9698    3     7529   14653     17     26 0.42
0.39/0.44	c      111   1312     2693    15851    5     7729   16119    117    255 0.43
0.39/0.44	o -7	0.438
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c      164   1312     2747    18740    6     7844   14669    171    374 0.44
0.49/0.59	c      264   1312     2847    25075    8     8044   16136    271    585 0.45
0.49/0.59	c      514   1312     3097    40783   13     8544   17750    521   1084 0.47
0.49/0.59	c      989   1312     3572    70819   19     9494   19526    996   1866 0.53
0.49/0.59	o -8	0.593
30.78/30.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.78/30.89	c     1583   1312     4167   107830   25    10692   14686   1591   2664 0.59
30.78/30.89	c     1683   1312     4267   112844   26    10892   16155   1691   2777 0.61
30.78/30.89	c     1933   1312     4517   127529   28    11392   17771   1941   3015 0.64
30.78/30.89	c     2408   1312     4992   154914   31    12342   19549   2416   3425 0.70
30.78/30.89	c     3221   1312     5805   201653   34    13968   21504   3229   4021 0.80
30.78/30.89	c     4542   1312     7126   273592   38    16610   23655   4550   4756 0.95
30.78/30.89	c     6623   1312     9207   383911   41    20772   26021   6631   5126 1.29
30.78/30.89	c     9846   1312    12430   570499   45    27218   28624   9854   4798 2.05
30.78/30.89	c    14782   1312    17366   878468   50    37090   31487  14790   3824 3.87
30.78/30.89	c    22288   1312    24872  1343425   54    52102   34636  22296   2721 8.19
30.78/30.89	c    33649   1312    36233  2029617   56    74824   38100  33657   1932 17.41
30.78/30.89	o -9	30.887
1583.68/1584.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1583.68/1584.12	c    46422   1312    21003  1116477   53    44345   14469  18427   1502 30.89
1583.68/1584.12	c    46524   1312     9914   448199   45    22159   15916   7338   1470 31.63
1583.68/1584.12	c    46774   1312    10164   466600   45    22659   17508   7588   1475 31.70
1583.68/1584.12	c    47249   1312    10639   493383   46    23609   19259   8063   1484 31.84
1583.68/1584.12	c    48062   1312    11452   538065   46    25235   21185   8876   1497 32.09
1583.68/1584.12	c    49382   1312    12772   613372   48    27875   23304  10196   1518 32.51
1583.68/1584.12	c    51464   1312    14854   734470   49    32039   25635  12278   1544 33.33
1583.68/1584.12	c    54687   1312    18077   917013   50    38485   28199  15501   1582 34.55
1583.68/1584.12	c    59623   1312    23013  1214354   52    48357   31019  20437   1604 37.17
1583.68/1584.12	c    67129   1312    30519  1662177   54    63369   34121  27943   1563 42.94
1583.68/1584.12	c    78490   1312    17810   951417   53    37951   37534  15234   1449 54.14
1583.68/1584.12	c    95634   1312    34954  2091087   59    72239   41288  32378   1392 68.69
1583.68/1584.12	c   121453   1312    29710  1776235   59    61751   45417  27134   1247 97.33
1583.68/1584.12	c   160285   1312    33465  2025507   60    69261   49959  30889   1139 140.65
1583.68/1584.12	c   218637   1312    52282  3438224   65   106895   54955  49706   1007 217.02
1583.68/1584.12	c   306269   1312    51095  3747630   73   104521   60451  48519    864 354.25
1583.68/1584.12	c   437821   1312    33236  2327093   70    68803   66497  30660    758 576.89
1583.68/1584.12	c   635254   1312    63298  4501865   71   128927   73147  60722    654 970.57
1583.68/1584.12	c   931506   1312    47721  3426252   71    97773   80462  45145    588 1583.13
1583.68/1584.12	o -10	1583.71
1596.68/1597.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1596.68/1597.18	c   931736   1312    47952  3437888   71    98245   14486  45376    588 1583.71
1596.68/1597.18	c   931836   1312     9920   569158   57    22172   15935   7344    583 1596.61
1596.68/1597.18	c   932086   1312    10170   582439   57    22672   17529   7594    583 1596.71
1596.68/1597.18	o -11	1596.77
1800.03/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.50	c   932213   1312    10298   588949   57    22939   14503   7722    583 1596.77
1800.03/1800.50	c   932313   1312    10398   594650   57    23139   15954   7822    583 1596.81
1800.03/1800.50	c   932563   1312    10648   608196   57    23639   17550   8072    583 1596.88
1800.03/1800.50	c   933038   1312    11123   637306   57    24589   19306   8547    584 1597.02
1800.03/1800.50	c   933851   1312    11936   681032   57    26215   21237   9360    584 1597.28
1800.03/1800.50	c   935171   1312    13256   752750   56    28855   23361  10680    585 1597.69
1800.03/1800.50	c   937252   1312    15337   869704   56    33017   25698  12761    586 1598.63
1800.03/1800.50	c   940475   1312    18560  1065421   57    39463   28268  15984    587 1600.17
1800.03/1800.50	c   945412   1312    23497  1334284   56    49337   31095  20921    589 1603.23
1800.03/1800.50	c   952919   1312    31004  1763670   56    64351   34205  28428    592 1608.65
1800.03/1800.50	c   964280   1312    18222   927790   50    38777   37626  15646    592 1626.12
1800.03/1800.50	c   981424   1312    35366  2010881   56    73065   41389  32790    597 1641.39
1800.03/1800.50	c  1007243   1312    30027  1679116   55    62387   45528  27451    602 1671.62
1800.03/1800.50	c  1046075   1312    33683  1837906   54    69699   50081  31107    612 1708.41
1800.03/1800.50	c  1104427   1312    52445  2975397   56   107223   55090  49869    622 1773.73
1800.03/1800.50	c Caught signal: 15
1800.03/1800.50	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.03/1800.50	v -x30 -x31 -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 x47 x48 -x49 -x50 -x76 -x66 -x61 x73 -x77 -x83
1800.03/1800.50	v -x71 -x100 -x74 x82 -x56 -x60 x67 -x85 x88 x95 -x51 -x99 -x79 -x87 -x65 -x80 -x55 -x63 -x68 -x98 -x52 -x84 -x97 -x78 -x59 -x58
1800.03/1800.50	v x89 -x93 -x94 -x53 x62 -x91 x72 -x64 -x86 x57 -x81 -x96 x54 -x90 -x69 -x70 -x75 x92
1800.03/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.50	c   59  1110896    384  1119605    33976  1917088  31400    617 1800.04
1800.03/1800.50	c Objective: -11
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	c Total time: 1800.04 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/node50/watcher-455400-1178042738 -o ROOT/results/node50/solver-455400-1178042738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455400-1178042738/instance-455400-1178042738.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.98 3/64 27888
/proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=19564 CPUtime=0
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 159118964 20033536 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 2938 345 291 324 0 2003 0

[startup+0.05262 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 27888
/proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=4612 CPUtime=0.04
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 562 0 0 0 4 0 0 0 18 0 1 0 159118964 4722688 527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 1153 527 307 324 0 222 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4612

[startup+0.101623 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 27888
/proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=4612 CPUtime=0.09
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 159118964 4722688 527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 1153 527 307 324 0 222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301642 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 27888
/proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=4612 CPUtime=0.29
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 562 0 0 0 29 0 0 0 19 0 1 0 159118964 4722688 527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 1153 527 307 324 0 222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612

[startup+0.701677 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 27888
/proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=6692 CPUtime=0.69
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 1103 0 0 0 68 1 0 0 23 0 1 0 159118964 6852608 1068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 1673 1068 313 324 0 742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6692

[startup+1.50175 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1792464/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=10980 CPUtime=1.49
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 2169 0 0 0 147 2 0 0 25 0 1 0 159118964 11243520 2134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 2745 2134 313 324 0 1814 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10980

[startup+3.10189 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1787984/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=15776 CPUtime=3.09
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 3349 0 0 0 306 3 0 0 25 0 1 0 159118964 16154624 3314 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 3944 3314 313 324 0 3013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15776

[startup+6.30117 s]
/proc/loadavg: 0.86 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1780944/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=21356 CPUtime=6.29
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 4742 0 0 0 625 4 0 0 25 0 1 0 159118964 21868544 4707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 5339 4707 313 324 0 4408 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21356

[startup+12.7017 s]
/proc/loadavg: 0.87 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1772120/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=29492 CPUtime=12.69
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 6799 0 0 0 1262 7 0 0 25 0 1 0 159118964 30199808 6764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 7373 6764 313 324 0 6442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29492

[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1761560/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=39456 CPUtime=25.49
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 9306 0 0 0 2539 10 0 0 25 0 1 0 159118964 40402944 9232 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 9864 9232 313 324 0 8933 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39456

[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1761496/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=39456 CPUtime=51.05
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 9359 0 0 0 5091 14 0 0 25 0 1 0 159118964 40402944 9250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8348996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 9864 9250 313 324 0 8933 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39456

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1756760/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=44248 CPUtime=102.24
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 10587 0 0 0 10204 20 0 0 25 0 1 0 159118964 45309952 10436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 11062 10436 313 324 0 10131 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 44248

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1750936/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=50704 CPUtime=162.23
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 12253 0 0 0 16193 30 0 0 25 0 1 0 159118964 51920896 12056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 12676 12056 313 324 0 11745 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50704

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27889
/proc/meminfo: memFree=1745048/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=56264 CPUtime=222.21
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 13678 0 0 0 22185 36 0 0 25 0 1 0 159118964 57614336 13431 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 14066 13431 313 324 0 13135 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 56264

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1741080/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=59756 CPUtime=282.19
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 14634 0 0 0 28177 42 0 0 25 0 1 0 159118964 61190144 14332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 14939 14332 313 324 0 14008 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 59756

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1739288/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=61556 CPUtime=342.18
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 15132 0 0 0 34170 48 0 0 25 0 1 0 159118964 63033344 14775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 15389 14775 313 324 0 14458 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 61556

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1729880/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=70984 CPUtime=402.16
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17539 0 0 0 40161 55 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 17746 17121 313 324 0 16815 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 70984

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1729944/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=70984 CPUtime=462.15
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17539 0 0 0 46152 63 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 17746 17121 313 324 0 16815 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 70984

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1729944/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=70984 CPUtime=522.14
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17600 0 0 0 52145 69 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 17746 17121 313 324 0 16815 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 70984

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1730008/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=70984 CPUtime=582.12
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17600 0 0 0 58138 74 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 17746 17121 313 324 0 16815 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 70984

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1726872/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=73960 CPUtime=642.11
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 18428 0 0 0 64131 80 0 0 25 0 1 0 159118964 75735040 17882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 18490 17882 313 324 0 17559 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 73960


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1722712/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=78220 CPUtime=882.05
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 19603 0 0 0 88104 101 0 0 25 0 1 0 159118964 80097280 18923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 19555 18923 313 324 0 18624 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 78220

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1722712/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=78220 CPUtime=942.03
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 19603 0 0 0 94097 106 0 0 25 0 1 0 159118964 80097280 18923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551220 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 19555 18923 313 324 0 18624 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 78220

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719064/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81876 CPUtime=1002.02
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20588 0 0 0 100090 112 0 0 25 0 1 0 159118964 83841024 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20469 19835 313 324 0 19538 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 81876

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719064/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81876 CPUtime=1062.01
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20588 0 0 0 106084 117 0 0 25 0 1 0 159118964 83841024 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20469 19835 313 324 0 19538 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 81876

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81876 CPUtime=1121.99
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20661 0 0 0 112077 122 0 0 25 0 1 0 159118964 83841024 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20469 19835 313 324 0 19538 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 81876

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81868 CPUtime=1181.98
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20661 0 0 0 118072 126 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20467 19835 313 324 0 19536 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 81868

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719064/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81868 CPUtime=1241.97
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20661 0 0 0 124065 132 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20467 19835 313 324 0 19536 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 81868

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81868 CPUtime=1301.95
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20734 0 0 0 130059 136 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20467 19835 313 324 0 19536 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 81868

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81868 CPUtime=1361.94
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20734 0 0 0 136052 142 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20467 19835 313 324 0 19536 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 81868

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81856 CPUtime=1421.93
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20807 0 0 0 142048 145 0 0 25 0 1 0 159118964 83820544 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20464 19835 313 324 0 19533 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 81856

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=81856 CPUtime=1481.9
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20807 0 0 0 148039 151 0 0 25 0 1 0 159118964 83820544 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20464 19835 313 324 0 19533 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 81856

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=83772 CPUtime=1541.89
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21355 0 0 0 154034 155 0 0 25 0 1 0 159118964 85782528 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20943 20310 313 324 0 20012 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 83772

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=83772 CPUtime=1601.87
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 160027 160 0 0 25 0 1 0 159118964 85782528 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20943 20310 313 324 0 20012 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 83772

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=83772 CPUtime=1661.86
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 166020 166 0 0 25 0 1 0 159118964 85782528 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20943 20310 313 324 0 20012 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 83772

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=83768 CPUtime=1721.85
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 172010 175 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20942 20310 313 324 0 20011 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 83768

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1717144/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=83768 CPUtime=1781.84
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 178002 182 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20942 20310 313 324 0 20011 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 83768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1717144/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=83768 CPUtime=1800.03
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 179821 182 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20942 20310 313 324 0 20011 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 83768

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27891
/proc/meminfo: memFree=1717144/2055920 swapFree=4183752/4192956
[pid=27888] ppid=27886 vsize=83768 CPUtime=1800.03
/proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 179821 182 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27888/statm: 20942 20310 313 324 0 20011 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 83768

Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1798.22
CPU system time (s): 1.83772
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 83772

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

runsolver used 1.49177 second user time and 3.43648 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue May  1 18:05:38 UTC 2007

IDJOB= 455400
IDBENCH= 48261
IDSOLVER= 163
FILE ID= node50/455400-1178042738

PBS_JOBID= 4728401

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0619afe86d0e2ffb4ad28e9f2f441c24

RANDOM SEED= 700510

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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:       1798000 kB
Buffers:         79956 kB
Cached:         107276 kB
SwapCached:       3168 kB
Active:         123920 kB
Inactive:        75680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798000 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:            6756 kB
Writeback:           0 kB
Mapped:          16016 kB
Slab:            44280 kB
Committed_AS:  4830924 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 node50 on Tue May  1 18:35:41 UTC 2007