Trace number 454836

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)-25 1800.01 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_3.opb
MD5SUM737bdf32fd69c002d569e68c523af4bf
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark217.679
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1244
Sum of products size (including duplicates)2488
Number of different products622
Sum of products size1244

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/454836-1178032130/instance-454836-1178032130.opb
0.00/0.00	c File size is 14952 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.008 s
0.00/0.01	c Var: 1344 Constr: 2688 1344/100/1244 Lit: 9952 Watch. Lit: 7464
0.00/0.01	c Obj. Vars: 100 (7.44048 % of total variables)
0.00/0.02	c Pre-processing Time: 0.019 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    100      622     1866    3     1244     207      0      0 0.02
0.00/0.02	c Switching off LPR mode.
0.00/0.02	o -21	0.019
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    100      623     1966    3     1267     940      1      0 0.02
0.00/0.02	o -23	0.019
49.38/49.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.38/49.50	c        2    100      626     2218    3     1296    1007      4    105 0.02
49.38/49.50	c      102    100      726     9575   13     1496    1108    104   4080 0.03
49.38/49.50	c      353    100      977    27951   28     1998    1219    355   8404 0.04
49.38/49.50	c      828    100     1452    62804   43     2948    1341    830   9857 0.08
49.38/49.50	c     1642    100     2266   122138   53     4576    1476   1644   8923 0.18
49.38/49.50	c     2963    100     1536    68403   44     3095    1624    914   7776 0.38
49.38/49.50	c     5044    100     1495    65431   43     3013    1787    873   7236 0.70
49.38/49.50	c     8270    100     2514   139637   55     5051    1966   1892   6260 1.32
49.38/49.50	c    13206    100     2843   163140   57     5709    2163   2221   5799 2.28
49.38/49.50	c    20712    100     3174   187199   58     6371    2380   2552   5410 3.83
49.38/49.50	c    32073    100     1989   101674   51     4001    2619   1367   4685 6.84
49.38/49.50	c    49218    100     3391   203023   59     6805    2881   2769   4448 11.06
49.38/49.50	c    75037    100     4383   275253   62     8789    3170   3761   4225 17.76
49.38/49.50	c   113869    100     2579   144600   56     5181    3488   1957   3840 29.65
49.38/49.50	c   172222    100     2821   160628   56     5665    3837   2199   3507 49.10
49.38/49.50	o -24	49.484
1603.75/1604.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1603.75/1604.25	c   174345    100     4945   316651   64     9937    1040   4323   3523 49.48
1603.75/1604.25	c   174446    100     1244    46829   37     2512    1145    622   3522 49.52
1603.75/1604.25	c   174698    100     1496    65054   43     3016    1260    874   3526 49.55
1603.75/1604.25	c   175174    100     1972    99530   50     3968    1387   1350   3531 49.60
1603.75/1604.25	c   175987    100     2785   158239   56     5594    1526   2163   3539 49.72
1603.75/1604.25	c   177307    100     2033   103546   50     4090    1679   1411   3552 49.91
1603.75/1604.25	c   179388    100     1964    98106   49     3952    1847   1342   3571 50.23
1603.75/1604.25	c   182611    100     2943   169353   57     5910    2032   2321   3595 50.78
1603.75/1604.25	c   187547    100     3216   188642   58     6456    2236   2594   3626 51.72
1603.75/1604.25	c   195053    100     3402   200523   58     6828    2460   2780   3643 53.53
1603.75/1604.25	c   206415    100     2032   102481   50     4088    2707   1410   3644 56.63
1603.75/1604.25	c   223559    100     3174   185777   58     6372    2978   2552   3674 60.84
1603.75/1604.25	c   249379    100     3770   227782   60     7564    3276   3148   3676 67.83
1603.75/1604.25	c   288211    100     4216   260431   61     8456    3604   3594   3629 79.40
1603.75/1604.25	c   346563    100     3362   198377   59     6748    3965   2740   3497 99.10
1603.75/1604.25	c   434196    100     5377   342562   63    10778    4362   4755   3255 133.37
1603.75/1604.25	c   565749    100     4125   252772   61     8274    4799   3503   3011 187.83
1603.75/1604.25	c   763182    100     4878   308009   63     9780    5279   4256   2797 272.83
1603.75/1604.25	c  1059434    100     4851   306113   63     9726    5807   4229   2642 400.85
1603.75/1604.25	c  1503917    100     6818   446641   65    13660    6388   6196   2456 612.21
1603.75/1604.25	c  2170745    100     6948   458705   66    13920    7027   6326   2189 991.38
1603.75/1604.25	o -25	1603.81
1800.00/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.50	c  3168894    100     6707   439692   65    13463    1073   6085   1975 1603.81
1800.00/1800.50	c  3168994    100     1260    47152   37     2545    1181    638   1975 1603.90
1800.00/1800.50	c  3169244    100     1510    65054   43     3045    1300    888   1975 1603.92
1800.00/1800.50	c  3169720    100     1986    99027   49     3997    1431   1364   1976 1603.97
1800.00/1800.50	c  3170534    100     2800   156969   56     5625    1575   2178   1976 1604.10
1800.00/1800.50	c  3171855    100     2023   101252   50     4071    1733   1401   1977 1604.30
1800.00/1800.50	c  3173936    100     1923    93653   48     3871    1907   1301   1978 1604.57
1800.00/1800.50	c  3177159    100     2874   161577   56     5773    2098   2252   1979 1605.05
1800.00/1800.50	c  3182095    100     3071   174274   56     6167    2308   2449   1981 1606.04
1800.00/1800.50	c  3189601    100     3155   181024   57     6335    2539   2533   1984 1607.60
1800.00/1800.50	c  3200963    100     4187   255066   60     8399    2793   3565   1987 1610.56
1800.00/1800.50	c  3218108    100     2345   123476   52     4715    3073   1723   1992 1615.45
1800.00/1800.50	c  3243927    100     2523   135142   53     5071    3381   1901   1998 1623.27
1800.00/1800.50	c  3282761    100     2314   121524   52     4653    3720   1692   2007 1634.97
1800.00/1800.50	c  3341113    100     3617   213860   59     7259    4093   2995   2020 1653.25
1800.00/1800.50	c  3428746    100     3926   233354   59     7877    4503   3304   2032 1686.65
1800.00/1800.50	c  3560298    100     3700   220221   59     7425    4954   3078   2048 1737.91
1800.00/1800.50	c Caught signal: 15
1800.00/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
1800.00/1800.50	v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 x38 x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55
1800.00/1800.50	v -x56 -x57 x58 -x59 x60 -x61 x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 -x80 -x81 -x82
1800.00/1800.50	v x83 -x84 x85 x86 x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100
1800.00/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.50	c   54  3706727 310553  4084691     6120   392074   5498   2059 1800.01
1800.00/1800.50	c Objective: -25
1800.00/1800.50	s SATISFIABLE
1800.00/1800.50	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-25

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-454836-1178032130 -o ROOT/results/node60/solver-454836-1178032130 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454836-1178032130/instance-454836-1178032130.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.92 0.98 0.99 3/64 28557
/proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=11752 CPUtime=0
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 251122993 12034048 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5874536 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2938 344 290 324 0 2004 0

[startup+0.0571539 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28557
/proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=4972 CPUtime=0.04
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 666 0 0 0 4 0 0 0 18 0 1 0 251122993 5091328 632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 1243 632 311 324 0 313 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4972

[startup+0.101158 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28557
/proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=5368 CPUtime=0.09
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 766 0 0 0 9 0 0 0 18 0 1 0 251122993 5496832 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 1342 732 311 324 0 412 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5368

[startup+0.301177 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28557
/proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=6936 CPUtime=0.29
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1131 0 0 0 28 1 0 0 19 0 1 0 251122993 7102464 1097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 1734 1097 311 324 0 804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6936

[startup+0.701216 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28557
/proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=7320 CPUtime=0.69
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1242 0 0 0 68 1 0 0 23 0 1 0 251122993 7495680 1208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 1830 1208 311 324 0 900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7320

[startup+1.5013 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1881104/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=7576 CPUtime=1.49
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1308 0 0 0 148 1 0 0 25 0 1 0 251122993 7757824 1274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 1894 1274 311 324 0 964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7576

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1880656/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=7836 CPUtime=3.09
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1385 0 0 0 308 1 0 0 25 0 1 0 251122993 8024064 1351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 1959 1351 311 324 0 1029 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7836

[startup+6.30176 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1880016/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=8092 CPUtime=6.29
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1447 0 0 0 628 1 0 0 25 0 1 0 251122993 8286208 1413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5965662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2023 1413 311 324 0 1093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8092

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1879568/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=8612 CPUtime=12.69
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1573 0 0 0 1268 1 0 0 25 0 1 0 251122993 8818688 1539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2153 1539 311 324 0 1223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8612

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1879248/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=8992 CPUtime=25.48
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1651 0 0 0 2547 1 0 0 25 0 1 0 251122993 9207808 1617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2248 1617 311 324 0 1318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8992

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1878928/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=9248 CPUtime=51.07
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1733 0 0 0 5106 1 0 0 25 0 1 0 251122993 9469952 1699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2312 1699 311 324 0 1382 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9248

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1878544/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=9728 CPUtime=102.26
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1865 0 0 0 10225 1 0 0 25 0 1 0 251122993 9961472 1807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2432 1807 311 324 0 1502 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9728

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1878096/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=10124 CPUtime=162.24
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1971 0 0 0 16223 1 0 0 25 0 1 0 251122993 10366976 1913 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2531 1913 311 324 0 1601 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10124

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1877584/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=10608 CPUtime=222.23
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2084 0 0 0 22221 2 0 0 25 0 1 0 251122993 10862592 2026 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2652 2026 311 324 0 1722 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 10608

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1877072/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=11120 CPUtime=282.22
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2205 0 0 0 28220 2 0 0 25 0 1 0 251122993 11386880 2147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2780 2147 311 324 0 1850 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 11120

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1877072/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=11116 CPUtime=342.2
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2212 0 0 0 34218 2 0 0 25 0 1 0 251122993 11382784 2154 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2779 2154 311 324 0 1849 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 11116

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1877008/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=11620 CPUtime=402.18
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2339 0 0 0 40216 2 0 0 25 0 1 0 251122993 11898880 2281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2905 2281 311 324 0 1975 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 11620

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1876496/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=11620 CPUtime=462.16
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2346 0 0 0 46214 2 0 0 25 0 1 0 251122993 11898880 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2905 2288 311 324 0 1975 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 11620

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1876432/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=11620 CPUtime=522.15
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2346 0 0 0 52213 2 0 0 25 0 1 0 251122993 11898880 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2905 2288 311 324 0 1975 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 11620

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1876432/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=11620 CPUtime=582.13
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2349 0 0 0 58211 2 0 0 25 0 1 0 251122993 11898880 2291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 2905 2291 311 324 0 1975 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 11620

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875792/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12248 CPUtime=642.12
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2499 0 0 0 64210 2 0 0 25 0 1 0 251122993 12541952 2441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3062 2441 311 324 0 2132 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 12248


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875728/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12244 CPUtime=882.05
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2500 0 0 0 88202 3 0 0 25 0 1 0 251122993 12537856 2442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3061 2442 311 324 0 2131 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 12244

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875728/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12244 CPUtime=942.03
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2500 0 0 0 94200 3 0 0 25 0 1 0 251122993 12537856 2442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3061 2442 311 324 0 2131 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 12244

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1002.02
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2661 0 0 0 100199 3 0 0 25 0 1 0 251122993 13193216 2603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2603 311 324 0 2291 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 12884

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1062
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2661 0 0 0 106197 3 0 0 25 0 1 0 251122993 13193216 2603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2603 311 324 0 2291 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 12884

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1121.98
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 112195 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 12884

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875024/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1181.96
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 118193 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 12884

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875024/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1241.95
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 124192 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 12884

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1301.94
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 130191 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 12884

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875024/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1361.92
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 136189 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 12884

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1421.9
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 142187 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 12884

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1481.88
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 148185 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 12884

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1874896/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1541.86
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 154183 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 12884

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1874896/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12884 CPUtime=1601.85
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 160182 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3221 2608 311 324 0 2291 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 12884

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12600 CPUtime=1661.83
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 166180 3 0 0 25 0 1 0 251122993 12902400 2542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3150 2542 311 324 0 2220 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 12600

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28558
/proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12500 CPUtime=1721.81
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 172178 3 0 0 25 0 1 0 251122993 12800000 2517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3125 2517 311 324 0 2195 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 12500

[startup+1782.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 28558
/proc/meminfo: memFree=1875152/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12364 CPUtime=1781.8
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 178176 4 0 0 25 0 1 0 251122993 12660736 2483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3091 2483 311 324 0 2161 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 12364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 28558
/proc/meminfo: memFree=1875216/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12320 CPUtime=1800
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 179996 4 0 0 25 0 1 0 251122993 12615680 2472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552323 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3080 2472 311 324 0 2150 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 12320

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: 1.04 1.00 1.00 2/65 28558
/proc/meminfo: memFree=1875216/2055920 swapFree=4183252/4192956
[pid=28557] ppid=28555 vsize=12320 CPUtime=1800
/proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 179996 4 0 0 25 0 1 0 251122993 12615680 2472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552323 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28557/statm: 3080 2472 311 324 0 2150 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 12320

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.97
CPU system time (s): 0.044993
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 12884

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

runsolver used 1.26481 second user time and 3.66044 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May  1 15:08:50 UTC 2007

IDJOB= 454836
IDBENCH= 48223
IDSOLVER= 199
FILE ID= node60/454836-1178032130

PBS_JOBID= 4728378

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  737bdf32fd69c002d569e68c523af4bf

RANDOM SEED= 126785022

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:       1885168 kB
Buffers:         31952 kB
Cached:          63812 kB
SwapCached:       3244 kB
Active:          73444 kB
Inactive:        37812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885168 kB
SwapTotal:     4192956 kB
SwapFree:      4183252 kB
Dirty:            6592 kB
Writeback:           0 kB
Mapped:          21292 kB
Slab:            45444 kB
Committed_AS:  4313652 kB
PageTables:       1480 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 15:38:53 UTC 2007