Trace number 454095

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.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_5.opb
MD5SUMa142d6d7b95394ce9dab5e7d7d075ea6
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-25
Best CPU time to get the best result obtained on this benchmark218.328
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -25
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)1252
Sum of products size (including duplicates)2504
Number of different products626
Sum of products size1252

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/454095-1178021251/instance-454095-1178021251.opb
0.00/0.00	c File size is 15046 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: 1352 Constr: 2704 1352/100/1252 Lit: 10016 Watch. Lit: 7512
0.00/0.01	c Obj. Vars: 100 (7.39645 % 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      626     1878    3     1252     208      0      0 0.02
0.00/0.02	c Switching off LPR mode.
0.00/0.02	o -22	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      627     1978    3     1276     975      1      0 0.02
0.00/0.02	o -23	0.019
73.46/73.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
73.46/73.55	c        6    100      634     2534    3     1313    1008      8    315 0.02
73.46/73.55	c      106    100      734     9901   13     1513    1109    108   4240 0.03
73.46/73.55	c      357    100      985    28357   28     2015    1220    359   8302 0.04
73.46/73.55	c      833    100     1461    63376   43     2967    1343    835   9686 0.09
73.46/73.55	c     1646    100     2274   122985   54     4593    1478   1648   8484 0.19
73.46/73.55	c     2966    100     1532    68009   44     3087    1626    906   7930 0.37
73.46/73.55	c     5048    100     1483    63892   43     2989    1789    857   6530 0.77
73.46/73.55	c     8272    100     2490   137733   55     5003    1968   1864   6518 1.27
73.46/73.55	c    13208    100     2807   161289   57     5637    2165   2181   5893 2.24
73.46/73.55	c    20714    100     3075   180923   58     6173    2382   2449   5081 4.08
73.46/73.55	c    32076    100     1858    91634   49     3739    2621   1232   4773 6.72
73.46/73.55	c    49221    100     3184   188674   59     6391    2884   2558   4489 10.96
73.46/73.55	c    75041    100     4140   256570   61     8303    3173   3514   4141 18.12
73.46/73.55	c   113874    100     2241   119205   53     4505    3491   1615   3796 30.00
73.46/73.55	c   172228    100     2397   130061   54     4817    3841   1771   3687 46.70
73.46/73.55	o -24	73.516
102.84/102.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.84/102.98	c   243785    100     2617   145040   55     5281    1041   1991   3316 73.52
102.84/102.98	c   243885    100     2717   152298   56     5481    1146   2091   3316 73.53
102.84/102.98	c   244135    100     2967   170422   57     5981    1261   2341   3319 73.55
102.84/102.98	c   244610    100     1495    63543   42     3014    1388    869   3322 73.62
102.84/102.98	c   245423    100     2308   122326   53     4640    1527   1682   3329 73.71
102.84/102.98	c   246743    100     1540    67511   43     3104    1680    914   3338 73.91
102.84/102.98	c   248824    100     1467    62122   42     2958    1849    841   3352 74.22
102.84/102.98	c   252047    100     2445   132732   54     4914    2034   1819   3373 74.72
102.84/102.98	c   256984    100     2698   150933   55     5420    2238   2072   3388 75.85
102.84/102.98	c   264490    100     2887   163746   56     5798    2462   2261   3409 77.58
102.84/102.98	c   275851    100     4032   246523   61     8088    2709   3406   3447 80.01
102.84/102.98	c   292996    100     2438   131775   54     4900    2980   1812   3496 83.80
102.84/102.98	c   318815    100     2926   166762   56     5876    3279   2300   3493 91.25
102.84/102.98	c   357647    100     3281   192204   58     6586    3607   2655   3498 102.22
102.84/102.98	o -25	102.936
1799.92/1800.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1800.67	c   360281    100     2784   157245   56     5617    1075   2158   3500 102.94
1799.92/1800.67	c   360381    100     2884   164399   57     5817    1183   2258   3500 102.96
1799.92/1800.67	c   360631    100     1219    44199   36     2463    1302    593   3500 103.02
1799.92/1800.67	c   361107    100     1695    78140   46     3415    1433   1069   3503 103.06
1799.92/1800.67	c   361921    100     2509   136071   54     5043    1577   1883   3508 103.16
1799.92/1800.67	c   363241    100     1717    78906   45     3459    1735   1091   3514 103.35
1799.92/1800.67	c   365322    100     1616    71763   44     3257    1909    990   3524 103.64
1799.92/1800.67	c   368546    100     2559   139046   54     5143    2100   1933   3538 104.16
1799.92/1800.67	c   373482    100     2746   151829   55     5517    2311   2120   3550 105.18
1799.92/1800.67	c   380989    100     2824   156984   55     5673    2543   2198   3567 106.80
1799.92/1800.67	c   392351    100     3798   227010   59     7621    2798   3172   3583 109.48
1799.92/1800.67	c   409495    100     4617   283753   61     9259    3078   3991   3583 114.27
1799.92/1800.67	c   435315    100     4698   290149   61     9421    3386   4072   3590 121.25
1799.92/1800.67	c   474148    100     4365   265746   60     8755    3725   3739   3578 132.50
1799.92/1800.67	c   532501    100     5419   342348   63    10863    4098   4793   3523 151.14
1799.92/1800.67	c   620133    100     5460   343333   62    10945    4508   4834   3450 179.70
1799.92/1800.67	c   751685    100     4810   297518   61     9645    4959   4184   3297 227.97
1799.92/1800.67	c   949117    100     4674   288721   61     9373    5455   4048   3029 313.34
1799.92/1800.67	c  1245369    100     5720   362681   63    11465    6001   5094   2766 450.22
1799.92/1800.67	c  1689851    100     5409   340221   62    10843    6602   4783   2496 676.98
1799.92/1800.67	c  2356680    100     7445   483073   64    14915    7263   6819   2192 1074.83
1799.92/1800.67	c  3357025    100     8590   563378   65    17205    7990   7964   2009 1670.22
1799.92/1800.67	c Resources Exceeded
1799.92/1800.67	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 x27 x28 -x29
1799.92/1800.67	v -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 x56
1799.92/1800.67	v -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 -x83
1799.92/1800.67	v -x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 x99 -x100
1799.92/1800.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.67	c   52  3552550 254848  3856821     7566   492106   6940   1973 1800.00
1799.92/1800.67	c Objective: -25
1799.92/1800.67	s SATISFIABLE
1799.92/1800.67	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/node37/watcher-454095-1178021251 -o ROOT/results/node37/solver-454095-1178021251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454095-1178021251/instance-454095-1178021251.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.91 0.98 0.99 3/78 5762
/proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=11752 CPUtime=0
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 250037525 12034048 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3632753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2938 347 292 324 0 2003 0

[startup+0.098672 s]
/proc/loadavg: 0.91 0.98 0.99 3/78 5762
/proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=5372 CPUtime=0.09
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 753 0 0 0 9 0 0 0 18 0 1 0 250037525 5500928 718 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 1343 718 313 324 0 412 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5372

[startup+0.101671 s]
/proc/loadavg: 0.91 0.98 0.99 3/78 5762
/proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=5372 CPUtime=0.09
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 761 0 0 0 9 0 0 0 18 0 1 0 250037525 5500928 726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 1343 726 313 324 0 412 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5372

[startup+0.301708 s]
/proc/loadavg: 0.91 0.98 0.99 3/78 5762
/proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=6808 CPUtime=0.29
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1125 0 0 0 29 0 0 0 19 0 1 0 250037525 6971392 1090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 1702 1090 313 324 0 771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6808

[startup+0.701783 s]
/proc/loadavg: 0.91 0.98 0.99 3/78 5762
/proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=7196 CPUtime=0.69
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1213 0 0 0 68 1 0 0 23 0 1 0 250037525 7368704 1178 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 1799 1178 313 324 0 868 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7196

[startup+1.50193 s]
/proc/loadavg: 0.91 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1804648/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=7712 CPUtime=1.49
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1339 0 0 0 148 1 0 0 25 0 1 0 250037525 7897088 1304 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 1928 1304 313 324 0 997 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7712

[startup+3.10124 s]
/proc/loadavg: 0.91 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1804200/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=7968 CPUtime=3.09
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1392 0 0 0 307 2 0 0 25 0 1 0 250037525 8159232 1357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 1992 1357 313 324 0 1061 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7968

[startup+6.30284 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1803624/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=8096 CPUtime=6.29
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1449 0 0 0 626 3 0 0 25 0 1 0 250037525 8290304 1414 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2024 1414 313 324 0 1093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8096

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1803240/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=8612 CPUtime=12.68
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1579 0 0 0 1263 5 0 0 25 0 1 0 250037525 8818688 1544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2153 1544 313 324 0 1222 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8612

[startup+25.5015 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1802984/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=8996 CPUtime=25.48
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1659 0 0 0 2538 10 0 0 25 0 1 0 250037525 9211904 1624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2249 1624 313 324 0 1318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8996

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1802344/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=9636 CPUtime=51.06
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1828 0 0 0 5090 16 0 0 25 0 1 0 250037525 9867264 1793 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2409 1793 313 324 0 1478 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 9636

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1802408/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=9408 CPUtime=102.24
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1828 0 0 0 10192 32 0 0 25 0 1 0 250037525 9633792 1745 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2352 1745 313 324 0 1421 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 9408

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1802216/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=9748 CPUtime=162.22
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1953 0 0 0 16171 51 0 0 25 0 1 0 250037525 9981952 1827 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2437 1827 313 324 0 1506 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 9748

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1801704/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=10232 CPUtime=222.2
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2060 0 0 0 22155 65 0 0 25 0 1 0 250037525 10477568 1934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2558 1934 313 324 0 1627 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 10232

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1801256/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=10620 CPUtime=282.18
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2173 0 0 0 28141 77 0 0 25 0 1 0 250037525 10874880 2047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2655 2047 313 324 0 1724 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 10620

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1800744/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=11204 CPUtime=342.15
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2299 0 0 0 34128 87 0 0 25 0 1 0 250037525 11472896 2173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2801 2173 313 324 0 1870 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 11204

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1800744/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=11188 CPUtime=402.13
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2301 0 0 0 40114 99 0 0 25 0 1 0 250037525 11456512 2175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2797 2175 313 324 0 1866 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 11188

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1800232/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=11704 CPUtime=462.11
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2442 0 0 0 46100 111 0 0 25 0 1 0 250037525 11984896 2316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2926 2316 313 324 0 1995 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 11704

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1800168/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=11704 CPUtime=522.09
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2445 0 0 0 52084 125 0 0 25 0 1 0 250037525 11984896 2319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2926 2319 313 324 0 1995 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 11704

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1800232/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=11704 CPUtime=582.07
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2445 0 0 0 58070 137 0 0 25 0 1 0 250037525 11984896 2319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2926 2319 313 324 0 1995 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 11704

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1800168/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=11808 CPUtime=642.05
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2446 0 0 0 64056 149 0 0 25 0 1 0 250037525 12091392 2320 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 2952 2320 313 324 0 2021 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 11808


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

/proc/meminfo: memFree=1798952/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1121.87
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2761 0 0 0 111952 235 0 0 25 0 1 0 250037525 13316096 2635 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2635 313 324 0 2320 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 13004

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798952/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1181.85
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2761 0 0 0 117939 246 0 0 25 0 1 0 250037525 13316096 2635 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2635 313 324 0 2320 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 13004

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1241.83
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2766 0 0 0 123925 258 0 0 25 0 1 0 250037525 13316096 2640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3600534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2640 313 324 0 2320 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 13004

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798952/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1301.81
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 129911 270 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2644 313 324 0 2320 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 13004

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1361.79
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 135900 279 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2644 313 324 0 2320 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 13004

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1421.77
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 141888 289 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2644 313 324 0 2320 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 13004

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1481.74
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 147875 299 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2644 313 324 0 2320 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 13004

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1541.72
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 153862 310 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2644 313 324 0 2320 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 13004

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1601.7
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 159848 322 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2644 313 324 0 2320 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 13004

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13004 CPUtime=1661.68
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 165836 332 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3251 2644 313 324 0 2320 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 13004

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798120/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13760 CPUtime=1721.65
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 171823 342 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3440 2823 313 324 0 2509 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 13760

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13760 CPUtime=1781.63
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 177811 352 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3440 2823 313 324 0 2509 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 13760

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13760 CPUtime=1791.23
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 178770 353 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3440 2823 313 324 0 2509 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 13760

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13760 CPUtime=1794.43
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179089 354 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3440 2823 313 324 0 2509 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 13760

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13756 CPUtime=1797.62
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179407 355 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3439 2823 313 324 0 2508 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 13756

[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13756 CPUtime=1799.22
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179566 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3439 2823 313 324 0 2508 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (KiB) 13756

[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13756 CPUtime=1799.62
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179606 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3439 2823 313 324 0 2508 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 13756

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13756 CPUtime=1799.82
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179626 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3439 2823 313 324 0 2508 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 13756

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 5763
/proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956
[pid=5762] ppid=5760 vsize=13756 CPUtime=1799.92
/proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179636 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5762/statm: 3439 2823 313 324 0 2508 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 13756

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.01
CPU user time (s): 1796.43
CPU system time (s): 3.57146
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 13760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.43
system time used= 3.57146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2950
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= 10
involuntary context switches= 38296

runsolver used 1.72674 second user time and 4.03439 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Tue May  1 12:07:31 UTC 2007

IDJOB= 454095
IDBENCH= 48174
IDSOLVER= 163
FILE ID= node37/454095-1178021251

PBS_JOBID= 4728353

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  a142d6d7b95394ce9dab5e7d7d075ea6

RANDOM SEED= 953588511

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1808776 kB
Buffers:         45020 kB
Cached:         114584 kB
SwapCached:      14952 kB
Active:          87504 kB
Inactive:        95796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808776 kB
SwapTotal:     4192956 kB
SwapFree:      4145560 kB
Dirty:            6768 kB
Writeback:           0 kB
Mapped:          30372 kB
Slab:            49144 kB
Committed_AS:  3192644 kB
PageTables:       2004 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 node37 on Tue May  1 12:37:32 UTC 2007