Trace number 454830

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-25 1800.01 1800.46

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.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/454830-1178032073/instance-454830-1178032073.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.007 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.018 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.018
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.018
49.67/49.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.67/49.70	c        2    100      626     2218    3     1296    1007      4    105 0.02
49.67/49.70	c      102    100      726     9575   13     1496    1108    104   4250 0.02
49.67/49.70	c      353    100      977    27951   28     1998    1219    355   8609 0.04
49.67/49.70	c      828    100     1452    62804   43     2948    1341    830   9857 0.08
49.67/49.70	c     1642    100     2266   122138   53     4576    1476   1644   8923 0.18
49.67/49.70	c     2963    100     1536    68403   44     3095    1624    914   7776 0.38
49.67/49.70	c     5044    100     1495    65431   43     3013    1787    873   7257 0.69
49.67/49.70	c     8270    100     2514   139637   55     5051    1966   1892   6269 1.32
49.67/49.70	c    13206    100     2843   163140   57     5709    2163   2221   5815 2.27
49.67/49.70	c    20712    100     3174   187199   58     6371    2380   2552   5437 3.81
49.67/49.70	c    32073    100     1989   101674   51     4001    2619   1367   4704 6.82
49.67/49.70	c    49218    100     3391   203023   59     6805    2881   2769   4439 11.09
49.67/49.70	c    75037    100     4383   275253   62     8789    3170   3761   4198 17.87
49.67/49.70	c   113869    100     2579   144600   56     5181    3488   1957   3829 29.74
49.67/49.70	c   172222    100     2821   160628   56     5665    3837   2199   3494 49.28
49.67/49.70	o -24	49.679
1611.89/1612.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1611.89/1612.39	c   174345    100     4945   316651   64     9937    1040   4323   3509 49.68
1611.89/1612.39	c   174446    100     1244    46829   37     2512    1145    622   3508 49.72
1611.89/1612.39	c   174698    100     1496    65054   43     3016    1260    874   3512 49.74
1611.89/1612.39	c   175174    100     1972    99530   50     3968    1387   1350   3517 49.80
1611.89/1612.39	c   175987    100     2785   158239   56     5594    1526   2163   3525 49.92
1611.89/1612.39	c   177307    100     2033   103546   50     4090    1679   1411   3538 50.11
1611.89/1612.39	c   179388    100     1964    98106   49     3952    1847   1342   3556 50.44
1611.89/1612.39	c   182611    100     2943   169353   57     5910    2032   2321   3580 51.00
1611.89/1612.39	c   187547    100     3216   188642   58     6456    2236   2594   3609 51.96
1611.89/1612.39	c   195053    100     3402   200523   58     6828    2460   2780   3625 53.80
1611.89/1612.39	c   206415    100     2032   102481   50     4088    2707   1410   3625 56.93
1611.89/1612.39	c   223559    100     3174   185777   58     6372    2978   2552   3656 61.14
1611.89/1612.39	c   249379    100     3770   227782   60     7564    3276   3148   3661 68.11
1611.89/1612.39	c   288211    100     4216   260431   61     8456    3604   3594   3611 79.81
1611.89/1612.39	c   346563    100     3362   198377   59     6748    3965   2740   3478 99.63
1611.89/1612.39	c   434196    100     5377   342562   63    10778    4362   4755   3242 133.89
1611.89/1612.39	c   565749    100     4125   252772   61     8274    4799   3503   3002 188.42
1611.89/1612.39	c   763182    100     4878   308009   63     9780    5279   4256   2787 273.80
1611.89/1612.39	c  1059434    100     4851   306113   63     9726    5807   4229   2633 402.29
1611.89/1612.39	c  1503917    100     6818   446641   65    13660    6388   6196   2446 614.78
1611.89/1612.39	c  2170745    100     6948   458705   66    13920    7027   6326   2179 995.86
1611.89/1612.39	o -25	1611.99
1799.94/1800.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.45	c  3168894    100     6707   439692   65    13463    1073   6085   1965 1611.99
1799.94/1800.45	c  3168994    100     1260    47152   37     2545    1181    638   1965 1612.08
1799.94/1800.45	c  3169244    100     1510    65054   43     3045    1300    888   1965 1612.11
1799.94/1800.45	c  3169720    100     1986    99027   49     3997    1431   1364   1966 1612.15
1799.94/1800.45	c  3170534    100     2800   156969   56     5625    1575   2178   1966 1612.29
1799.94/1800.45	c  3171855    100     2023   101252   50     4071    1733   1401   1967 1612.49
1799.94/1800.45	c  3173936    100     1923    93653   48     3871    1907   1301   1968 1612.76
1799.94/1800.45	c  3177159    100     2874   161577   56     5773    2098   2252   1969 1613.25
1799.94/1800.45	c  3182095    100     3071   174274   56     6167    2308   2449   1971 1614.24
1799.94/1800.45	c  3189601    100     3155   181024   57     6335    2539   2533   1973 1615.83
1799.94/1800.45	c  3200963    100     4187   255066   60     8399    2793   3565   1977 1618.83
1799.94/1800.45	c  3218108    100     2345   123476   52     4715    3073   1723   1981 1623.74
1799.94/1800.45	c  3243927    100     2523   135142   53     5071    3381   1901   1988 1631.57
1799.94/1800.45	c  3282761    100     2314   121524   52     4653    3720   1692   1997 1643.33
1799.94/1800.45	c  3341113    100     3617   213860   59     7259    4093   2995   2010 1661.65
1799.94/1800.45	c  3428746    100     3926   233354   59     7877    4503   3304   2022 1695.09
1799.94/1800.45	c  3560298    100     3700   220221   59     7425    4954   3078   2038 1746.51
1799.94/1800.45	c Resources Exceeded
1799.94/1800.45	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
1799.94/1800.45	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
1799.94/1800.45	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
1799.94/1800.45	v x83 -x84 x85 x86 x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100
1799.94/1800.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.45	c   54  3684701 309005  4060895     6813   441739   6191   2047 1800.00
1799.94/1800.45	c Objective: -25
1799.94/1800.45	s SATISFIABLE
1799.94/1800.45	c Total time: 1800 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/node26/watcher-454830-1178032073 -o ROOT/results/node26/solver-454830-1178032073 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454830-1178032073/instance-454830-1178032073.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.66 0.92 0.97 3/77 783
/proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=11752 CPUtime=0
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 251124118 12034048 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2938 348 292 324 0 2003 0

[startup+0.044459 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 783
/proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=4840 CPUtime=0.03
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 632 0 0 0 3 0 0 0 18 0 1 0 251124118 4956160 597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 1210 597 313 324 0 279 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4840

[startup+0.102464 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 783
/proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=5500 CPUtime=0.09
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 773 0 0 0 9 0 0 0 18 0 1 0 251124118 5632000 738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 1375 738 313 324 0 444 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5500

[startup+0.301482 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 783
/proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=6936 CPUtime=0.29
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1134 0 0 0 29 0 0 0 19 0 1 0 251124118 7102464 1099 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 1734 1099 313 324 0 803 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6936

[startup+0.70252 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 783
/proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=7320 CPUtime=0.69
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1245 0 0 0 68 1 0 0 23 0 1 0 251124118 7495680 1210 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 1830 1210 313 324 0 899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7320

[startup+1.50159 s]
/proc/loadavg: 0.66 0.92 0.97 2/78 784
/proc/meminfo: memFree=1787752/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=7576 CPUtime=1.48
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1310 0 0 0 147 1 0 0 25 0 1 0 251124118 7757824 1275 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 1894 1275 313 324 0 963 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7576

[startup+3.10174 s]
/proc/loadavg: 0.66 0.92 0.97 2/78 784
/proc/meminfo: memFree=1787432/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=7836 CPUtime=3.09
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1388 0 0 0 307 2 0 0 25 0 1 0 251124118 8024064 1353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 1959 1353 313 324 0 1028 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7836

[startup+6.30104 s]
/proc/loadavg: 0.69 0.92 0.97 2/78 784
/proc/meminfo: memFree=1786920/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=8092 CPUtime=6.28
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1450 0 0 0 625 3 0 0 25 0 1 0 251124118 8286208 1415 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2023 1415 313 324 0 1092 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8092

[startup+12.7016 s]
/proc/loadavg: 0.71 0.92 0.97 2/78 784
/proc/meminfo: memFree=1786432/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=8612 CPUtime=12.68
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1576 0 0 0 1263 5 0 0 25 0 1 0 251124118 8818688 1541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024972 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2153 1541 313 324 0 1222 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8612

[startup+25.5018 s]
/proc/loadavg: 0.77 0.92 0.97 2/78 784
/proc/meminfo: memFree=1786240/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=8992 CPUtime=25.48
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1654 0 0 0 2539 9 0 0 25 0 1 0 251124118 9207808 1619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2248 1619 313 324 0 1317 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8992

[startup+51.1012 s]
/proc/loadavg: 0.85 0.93 0.97 2/78 784
/proc/meminfo: memFree=1785792/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=9248 CPUtime=51.07
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1736 0 0 0 5092 15 0 0 25 0 1 0 251124118 9469952 1701 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2312 1701 313 324 0 1381 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9248

[startup+102.306 s]
/proc/loadavg: 0.93 0.94 0.97 2/78 784
/proc/meminfo: memFree=1785408/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=9744 CPUtime=102.27
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1868 0 0 0 10197 30 0 0 25 0 1 0 251124118 9977856 1809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2436 1809 313 324 0 1505 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9744

[startup+162.302 s]
/proc/loadavg: 0.97 0.95 0.97 2/78 784
/proc/meminfo: memFree=1785024/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=10124 CPUtime=162.24
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1974 0 0 0 16181 43 0 0 25 0 1 0 251124118 10366976 1915 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2531 1915 313 324 0 1600 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10124

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 784
/proc/meminfo: memFree=1784576/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=10608 CPUtime=222.23
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2087 0 0 0 22165 58 0 0 25 0 1 0 251124118 10862592 2028 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2652 2028 313 324 0 1721 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 10608

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 784
/proc/meminfo: memFree=1784128/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=11120 CPUtime=282.22
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2208 0 0 0 28151 71 0 0 25 0 1 0 251124118 11386880 2149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2780 2149 313 324 0 1849 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 11120

[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 784
/proc/meminfo: memFree=1784064/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=11116 CPUtime=342.2
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2215 0 0 0 34137 83 0 0 25 0 1 0 251124118 11382784 2156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2779 2156 313 324 0 1848 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 11116

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 784
/proc/meminfo: memFree=1784128/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=11108 CPUtime=402.18
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2215 0 0 0 40123 95 0 0 25 0 1 0 251124118 11374592 2156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2777 2156 313 324 0 1846 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 11108

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 784
/proc/meminfo: memFree=1783616/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=11620 CPUtime=462.17
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2349 0 0 0 46112 105 0 0 25 0 1 0 251124118 11898880 2290 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2905 2290 313 324 0 1974 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 11620

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 784
/proc/meminfo: memFree=1783552/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=11620 CPUtime=522.16
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2349 0 0 0 52099 117 0 0 25 0 1 0 251124118 11898880 2290 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2905 2290 313 324 0 1974 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 11620

[startup+582.302 s]
/proc/loadavg: 1.06 0.99 0.98 2/78 784
/proc/meminfo: memFree=1783488/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=11620 CPUtime=582.14
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2352 0 0 0 58084 130 0 0 25 0 1 0 251124118 11898880 2293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 2905 2293 313 324 0 1974 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 11620

[startup+642.301 s]
/proc/loadavg: 1.08 1.00 0.98 2/78 784
/proc/meminfo: memFree=1782912/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12248 CPUtime=642.12
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2500 0 0 0 64071 141 0 0 25 0 1 0 251124118 12541952 2441 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3062 2441 313 324 0 2131 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 12248


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

/proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1122.01
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 111971 230 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 12884

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1182
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 117958 242 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 12884

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1241.98
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 123946 252 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 12884

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1301.97
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 129935 262 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 12884

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782144/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1361.95
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 135922 273 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 12884

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782144/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1421.94
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 141911 283 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13025007 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 12884

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782080/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1481.92
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 147898 294 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 12884

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1541.9
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 153886 304 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 12884

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12884 CPUtime=1601.89
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 159874 315 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3221 2610 313 324 0 2290 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 12884

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12624 CPUtime=1661.87
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 165855 332 0 0 25 0 1 0 251124118 12926976 2550 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3156 2550 313 324 0 2225 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 12624

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782336/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12524 CPUtime=1721.86
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 171838 348 0 0 25 0 1 0 251124118 12824576 2525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3131 2525 313 324 0 2200 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 12524

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782464/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12400 CPUtime=1781.85
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 177825 360 0 0 25 0 1 0 251124118 12697600 2494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3100 2494 313 324 0 2169 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 12400

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12352 CPUtime=1791.45
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 178783 362 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3088 2482 313 324 0 2157 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 12352

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12352 CPUtime=1794.65
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179102 363 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3088 2482 313 324 0 2157 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 12352

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12352 CPUtime=1797.84
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179421 363 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3088 2482 313 324 0 2157 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 12352

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12352 CPUtime=1798.65
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179501 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3088 2482 313 324 0 2157 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 12352

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12352 CPUtime=1799.44
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179580 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3088 2482 313 324 0 2157 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 12352

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12352 CPUtime=1799.84
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179620 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3088 2482 313 324 0 2157 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 12352

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 784
/proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956
[pid=783] ppid=781 vsize=12352 CPUtime=1799.94
/proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179630 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/783/statm: 3088 2482 313 324 0 2157 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 12352

Child status: 0
Real time (s): 1800.46
CPU time (s): 1800.01
CPU user time (s): 1796.36
CPU system time (s): 3.64545
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 12884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.36
system time used= 3.64545
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= 38661

runsolver used 1.37779 second user time and 3.79942 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 15:07:53 UTC 2007

IDJOB= 454830
IDBENCH= 48223
IDSOLVER= 163
FILE ID= node26/454830-1178032073

PBS_JOBID= 4728408

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  737bdf32fd69c002d569e68c523af4bf

RANDOM SEED= 664118890

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1792072 kB
Buffers:         54644 kB
Cached:         118060 kB
SwapCached:       3416 kB
Active:         108628 kB
Inactive:        88612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792072 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            6884 kB
Writeback:           0 kB
Mapped:          30604 kB
Slab:            52268 kB
Committed_AS:  2464756 kB
PageTables:       1716 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 node26 on Tue May  1 15:37:54 UTC 2007