Trace number 2682747

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB/CT 0.1 fixedOPT10447498 0.38594 0.385583

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-p0291.opb
MD5SUM5dbbb39821171ddf7cf17b36f56beeda
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10447498
Best CPU time to get the best result obtained on this benchmark0.38594
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10447498
Optimality of the best value was proved YES
Number of variables290
Total number of constraints205
Number of constraints which are clauses189
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint2
Maximum length of a constraint53
Number of terms in the objective function 288
Biggest coefficient in the objective function 80000000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 686402651
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 80000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 686402651
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 16/0 clauses 189/0 units 0
0.00/0.00	c vars 290
0.00/0.00	c objective 288 + -90390
0.04/0.05	c 0.044993 7.75781 1 446
0.04/0.05	o 110950718
0.04/0.05	c 0.046992 7.91797 1 693
0.04/0.05	o 93394798
0.04/0.05	c 0.048992 7.91797 1 804
0.04/0.05	o 93394526
0.04/0.05	c 0.049992 7.91797 1 1043
0.04/0.05	o 57378356
0.04/0.05	c 0.050992 7.91797 2 1112
0.04/0.05	o 50901480
0.04/0.06	c 0.052991 7.91797 2 1254
0.04/0.06	o 48486307
0.04/0.06	c 0.053991 7.91797 3 1323
0.04/0.06	o 47616562
0.04/0.06	c 0.055991 7.91797 4 1422
0.04/0.06	o 47615949
0.04/0.06	c 0.057991 7.91797 9 1481
0.04/0.06	o 47613040
0.04/0.06	c 0.058991 7.91797 9 1533
0.04/0.06	o 47600787
0.04/0.07	c 0.05999 7.91797 10 1583
0.04/0.07	o 47597233
0.04/0.07	c 0.06299 7.91797 17 1704
0.04/0.07	o 42754068
0.04/0.07	c 0.06399 7.91797 17 1804
0.04/0.07	o 41411824
0.04/0.07	c 0.06399 7.91797 16 1897
0.04/0.07	o 40981814
0.04/0.07	c 0.06399 7.91797 16 1990
0.04/0.07	o 40795220
0.04/0.07	c 0.06499 7.91797 17 2083
0.04/0.07	o 40150700
0.04/0.08	c 0.065989 7.91797 17 2172
0.04/0.08	o 39778780
0.04/0.08	c 0.066989 7.91797 17 2250
0.04/0.08	o 39757082
0.04/0.08	c 0.068989 7.91797 18 2334
0.04/0.08	o 39633450
0.04/0.08	c 0.069989 7.91797 18 2415
0.04/0.08	o 39487020
0.04/0.08	c 0.070989 7.91797 18 2499
0.04/0.08	o 39297702
0.04/0.08	c 0.071989 7.91797 17 2539
0.04/0.08	o 39293902
0.04/0.08	c 0.072988 7.91797 17 2624
0.04/0.08	o 38778872
0.04/0.09	c 0.074988 7.91797 17 2690
0.04/0.09	o 38732390
0.04/0.09	c 0.075988 7.91797 17 2754
0.04/0.09	o 38728000
0.04/0.09	c 0.075988 7.91797 17 2796
0.04/0.09	o 38724598
0.04/0.09	c 0.076988 7.91797 17 2863
0.04/0.09	o 38695130
0.04/0.09	c 0.077988 7.91797 17 2928
0.04/0.09	o 38679372
0.04/0.09	c 0.078987 7.91797 17 2957
0.04/0.09	o 38678630
0.04/0.09	c 0.078987 7.91797 17 3004
0.04/0.09	o 38673580
0.04/0.09	c 0.078987 7.91797 17 3042
0.04/0.09	o 38671220
0.04/0.10	c 0.079987 7.91797 17 3106
0.04/0.10	o 38598990
0.09/0.10	c 0.081987 7.91797 18 3141
0.09/0.10	o 38596834
0.09/0.10	c 0.081987 7.91797 18 3163
0.09/0.10	o 38595954
0.09/0.10	c 0.082987 8.04688 18 3191
0.09/0.10	o 38594634
0.09/0.10	c 0.083987 8.04688 18 3225
0.09/0.10	o 38591930
0.09/0.10	c 0.085986 8.04688 18 3263
0.09/0.10	o 38584090
0.09/0.10	c 0.086986 8.04688 18 3293
0.09/0.10	o 38584072
0.09/0.10	c 0.086986 8.04688 18 3326
0.09/0.10	o 38579110
0.09/0.10	c 0.087986 8.04688 18 3345
0.09/0.11	o 38578972
0.09/0.11	c 0.089986 8.04688 20 3517
0.09/0.11	o 32259178
0.09/0.11	c 0.089986 8.04688 20 3600
0.09/0.11	o 32255162
0.09/0.11	c 0.091986 8.04688 21 3722
0.09/0.11	o 23175086
0.09/0.11	c 0.092985 8.04688 21 3828
0.09/0.11	o 23074016
0.09/0.11	c 0.093985 8.04688 21 3911
0.09/0.11	o 23070177
0.09/0.11	c 0.094985 8.04688 21 4022
0.09/0.11	o 23007390
0.09/0.11	c 0.095985 8.04688 21 4119
0.09/0.11	o 23000966
0.09/0.12	c 0.096985 8.04688 21 4216
0.09/0.12	o 22993980
0.09/0.12	c 0.098984 8.04688 21 4317
0.09/0.12	o 22988270
0.09/0.12	c 0.099984 8.04688 21 4388
0.09/0.12	o 22987598
0.09/0.12	c 0.100984 8.04688 21 4476
0.09/0.12	o 22964423
0.09/0.12	c 0.100984 8.04688 23 4582
0.09/0.12	o 22964044
0.09/0.13	c 0.104984 8.04688 42 4673
0.09/0.13	o 15895777
0.09/0.13	c 0.105983 8.04688 28 4742
0.09/0.13	o 13732243
0.09/0.13	c 0.105983 8.04688 28 4779
0.09/0.13	o 13731657
0.09/0.13	c 0.106983 8.04688 28 4834
0.09/0.13	o 13648093
0.09/0.13	c 0.107983 8.04688 29 4876
0.09/0.13	o 13644989
0.09/0.13	c 0.108983 8.04688 32 4916
0.09/0.13	o 13632909
0.09/0.13	c 0.108983 8.04688 33 4960
0.09/0.13	o 13584545
0.09/0.14	c 0.109983 8.04688 32 4989
0.09/0.14	o 13579129
0.09/0.14	c 0.111982 8.04688 32 5026
0.09/0.14	o 13574201
0.09/0.14	c 0.112982 8.04688 32 5050
0.09/0.14	o 13573637
0.09/0.14	c 0.112982 8.04688 32 5086
0.09/0.14	o 13560521
0.09/0.14	c 0.113982 8.04688 32 5118
0.09/0.14	o 13549733
0.09/0.14	c 0.114982 8.04688 34 5213
0.09/0.14	o 13538837
0.09/0.14	c 0.115982 8.04688 20 5269
0.09/0.14	o 13538593
0.09/0.14	c 0.115982 8.04688 20 5368
0.09/0.14	o 13318179
0.09/0.14	c 0.115982 8.04688 20 5422
0.09/0.14	o 13317963
0.09/0.15	c 0.116982 8.04688 20 5516
0.09/0.15	o 13310191
0.09/0.15	c 0.117982 8.04688 20 5577
0.09/0.15	o 13309827
0.09/0.15	c 0.118981 8.04688 20 5669
0.09/0.15	o 13286989
0.09/0.15	c 0.118981 8.04688 20 5764
0.09/0.15	o 13284849
0.09/0.15	c 0.119981 8.17188 20 5850
0.09/0.15	o 13249289
0.09/0.15	c 0.120981 8.17188 20 5908
0.09/0.15	o 13248571
0.09/0.15	c 0.121981 8.17188 20 6002
0.09/0.15	o 13225603
0.09/0.15	c 0.122981 8.17188 20 6055
0.09/0.15	o 13225497
0.09/0.15	c 0.123981 8.17188 20 6153
0.09/0.15	o 13021581
0.09/0.16	c 0.124981 8.17188 20 6224
0.09/0.16	o 13018693
0.09/0.16	c 0.12598 8.17188 20 6314
0.09/0.16	o 12964221
0.09/0.16	c 0.12698 8.17188 20 6396
0.09/0.16	o 12934763
0.09/0.16	c 0.12798 8.17188 20 6447
0.09/0.16	o 12934087
0.09/0.16	c 0.12898 8.17188 20 6520
0.09/0.16	o 12930757
0.09/0.16	c 0.12898 8.17188 20 6588
0.09/0.16	o 12925621
0.09/0.16	c 0.12898 8.17188 20 6654
0.09/0.16	o 12922449
0.09/0.16	c 0.12898 8.17188 20 6764
0.09/0.16	o 12471914
0.09/0.16	c 0.13098 8.17188 22 6835
0.09/0.16	o 12471908
0.09/0.17	c 0.131979 8.17188 33 6895
0.09/0.17	o 12376019
0.09/0.17	c 0.132979 8.17188 33 6953
0.09/0.17	o 12375439
0.09/0.17	c 0.133979 8.17188 33 6997
0.09/0.17	o 12375055
0.09/0.17	c 0.134979 8.17188 33 7074
0.09/0.17	o 12370697
0.09/0.17	c 0.135979 8.17188 33 7176
0.09/0.17	o 12251111
0.09/0.17	c 0.136979 8.17188 33 7285
0.09/0.17	o 12239983
0.09/0.17	c 0.137979 8.17188 33 7379
0.09/0.17	o 12215619
0.09/0.17	c 0.137979 8.17188 33 7489
0.09/0.17	o 12212765
0.09/0.18	c 0.138978 8.17188 33 7598
0.09/0.18	o 12068393
0.09/0.18	c 0.139978 8.17188 33 7664
0.09/0.18	o 12067985
0.09/0.18	c 0.140978 8.17188 33 7769
0.09/0.18	o 11755481
0.09/0.18	c 0.142978 8.17188 33 7843
0.09/0.18	o 11750225
0.09/0.18	c 0.143978 8.17188 33 7904
0.09/0.18	o 11742045
0.09/0.18	c 0.143978 8.17188 33 7972
0.09/0.18	o 11732729
0.09/0.18	c 0.144977 8.17188 33 8048
0.09/0.18	o 11728725
0.09/0.18	c 0.145977 8.17188 33 8120
0.09/0.18	o 11727849
0.09/0.18	c 0.146977 8.17188 33 8172
0.09/0.18	o 11727506
0.09/0.19	c 0.147977 8.17188 33 8266
0.09/0.19	o 11688859
0.09/0.19	c 0.148977 8.17188 33 8357
0.09/0.19	o 11664359
0.09/0.19	c 0.149977 8.17188 33 8446
0.09/0.19	o 11647703
0.09/0.19	c 0.150977 8.17188 33 8511
0.09/0.19	o 11644679
0.09/0.19	c 0.151976 8.17188 33 8602
0.09/0.19	o 11630667
0.09/0.19	c 0.152976 8.17188 33 8665
0.09/0.19	o 11624679
0.09/0.19	c 0.153976 8.17188 33 8741
0.09/0.19	o 11624385
0.09/0.19	c 0.154976 8.29688 33 8810
0.09/0.19	o 11623559
0.09/0.19	c 0.155976 8.29688 33 8877
0.09/0.19	o 11618437
0.09/0.20	c 0.156976 8.29688 33 8926
0.09/0.20	o 11614937
0.19/0.20	c 0.157975 8.29688 33 9001
0.19/0.20	o 11613693
0.19/0.20	c 0.158975 8.29688 33 9078
0.19/0.20	o 11608931
0.19/0.20	c 0.159975 8.29688 33 9151
0.19/0.20	o 11606465
0.19/0.20	c 0.161975 8.29688 33 9209
0.19/0.20	o 11603771
0.19/0.20	c 0.162975 8.29688 33 9272
0.19/0.20	o 11602087
0.19/0.20	c 0.162975 8.29688 33 9333
0.19/0.20	o 11600003
0.19/0.20	c 0.163975 8.29688 33 9396
0.19/0.20	o 11599327
0.19/0.20	c 0.164974 8.29688 33 9475
0.19/0.20	o 11590069
0.19/0.21	c 0.165974 8.29688 33 9540
0.19/0.21	o 11583249
0.19/0.21	c 0.166974 8.29688 33 9593
0.19/0.21	o 11583097
0.19/0.21	c 0.167974 8.29688 33 9661
0.19/0.21	o 11581967
0.19/0.21	c 0.168974 8.29688 33 9740
0.19/0.21	o 11568641
0.19/0.21	c 0.169974 8.29688 33 9803
0.19/0.21	o 11563283
0.19/0.21	c 0.170974 8.29688 33 9862
0.19/0.21	o 11562021
0.19/0.21	c 0.171973 8.29688 33 9901
0.19/0.21	o 11560735
0.19/0.21	c 0.172973 8.29688 33 9940
0.19/0.21	o 11560239
0.19/0.21	c 0.172973 8.29688 33 10005
0.19/0.21	o 11559301
0.19/0.22	c 0.173973 8.29688 33 10083
0.19/0.22	o 11548149
0.19/0.22	c 0.174973 8.29688 33 10155
0.19/0.22	o 11544917
0.19/0.22	c 0.175973 8.29688 33 10238
0.19/0.22	o 11504637
0.19/0.22	c 0.176973 8.29688 33 10287
0.19/0.22	o 11504073
0.19/0.22	c 0.177972 8.29688 33 10339
0.19/0.22	o 11503529
0.19/0.22	c 0.178972 8.29688 33 10402
0.19/0.22	o 11500681
0.19/0.22	c 0.180972 8.29688 33 10456
0.19/0.22	o 11500045
0.19/0.22	c 0.181972 8.29688 33 10521
0.19/0.22	o 11491737
0.19/0.22	c 0.182972 8.29688 33 10566
0.19/0.22	o 11491655
0.19/0.23	c 0.183972 8.29688 33 10606
0.19/0.23	o 11491199
0.19/0.23	c 0.184971 8.29688 33 10665
0.19/0.23	o 11481477
0.19/0.23	c 0.185971 8.29688 33 10730
0.19/0.23	o 11471781
0.19/0.23	c 0.186971 8.29688 33 10788
0.19/0.23	o 11470353
0.19/0.23	c 0.186971 8.29688 33 10819
0.19/0.23	o 11469349
0.19/0.23	c 0.186971 8.29688 33 10880
0.19/0.23	o 11462925
0.19/0.23	c 0.187971 8.29688 33 10916
0.19/0.23	o 11462569
0.19/0.23	c 0.188971 8.29688 33 10943
0.19/0.23	o 11461767
0.19/0.23	c 0.189971 8.29688 33 10979
0.19/0.23	o 11461227
0.19/0.24	c 0.19097 8.42188 33 11005
0.19/0.24	o 11460155
0.19/0.24	c 0.19197 8.42188 33 11028
0.19/0.24	o 11460045
0.19/0.24	c 0.19297 8.42188 33 11053
0.19/0.24	o 11459323
0.19/0.24	c 0.19397 8.42188 33 11076
0.19/0.24	o 11459281
0.19/0.24	c 0.19397 8.42188 34 11135
0.19/0.24	o 11458377
0.19/0.24	c 0.19597 8.42188 39 11177
0.19/0.24	o 11454603
0.19/0.24	c 0.19697 8.42188 44 11248
0.19/0.24	o 11448573
0.19/0.25	c 0.197969 8.42188 47 11335
0.19/0.25	o 11441928
0.19/0.25	c 0.198969 8.42188 51 11401
0.19/0.25	o 11434851
0.19/0.25	c 0.199969 8.42188 51 11471
0.19/0.25	o 11432202
0.19/0.25	c 0.199969 8.42188 51 11528
0.19/0.25	o 11430880
0.19/0.25	c 0.199969 8.42188 51 11596
0.19/0.25	o 11425550
0.19/0.25	c 0.200969 8.42188 51 11656
0.19/0.25	o 11423398
0.19/0.25	c 0.201969 8.42188 51 11725
0.19/0.25	o 11416576
0.19/0.25	c 0.202969 8.42188 51 11788
0.19/0.25	o 11414128
0.19/0.26	c 0.202969 8.42188 51 11837
0.19/0.26	o 11413536
0.19/0.26	c 0.203968 8.42188 51 11877
0.19/0.26	o 11412938
0.19/0.26	c 0.204968 8.42188 51 11941
0.19/0.26	o 11405370
0.19/0.26	c 0.204968 8.42188 51 11965
0.19/0.26	o 11405284
0.19/0.26	c 0.205968 8.42188 51 12034
0.19/0.26	o 11400740
0.19/0.26	c 0.206968 8.42188 51 12087
0.19/0.26	o 11400060
0.19/0.26	c 0.208968 8.42188 51 12134
0.19/0.26	o 11397834
0.19/0.26	c 0.209968 8.42188 51 12181
0.19/0.26	o 11396006
0.19/0.26	c 0.209968 8.42188 51 12244
0.19/0.26	o 11381874
0.19/0.27	c 0.210967 8.42188 51 12277
0.19/0.27	o 11381244
0.19/0.27	c 0.211967 8.42188 51 12306
0.19/0.27	o 11380776
0.19/0.27	c 0.212967 8.42188 51 12333
0.19/0.27	o 11380356
0.19/0.27	c 0.213967 8.42188 51 12376
0.19/0.27	o 11378462
0.19/0.27	c 0.214967 8.42188 51 12422
0.19/0.27	o 11368596
0.19/0.27	c 0.215967 8.42188 51 12448
0.19/0.27	o 11367208
0.19/0.27	c 0.216967 8.42188 51 12471
0.19/0.27	o 11366794
0.19/0.27	c 0.218966 8.42188 51 12496
0.19/0.27	o 11365856
0.19/0.27	c 0.219966 8.42188 51 12517
0.19/0.27	o 11365504
0.19/0.28	c 0.220966 8.54688 51 12537
0.19/0.28	o 11364976
0.19/0.28	c 0.221966 8.54688 52 12665
0.19/0.28	o 10953102
0.19/0.28	c 0.221966 8.54688 55 12707
0.19/0.28	o 10952865
0.19/0.28	c 0.222966 8.54688 59 12773
0.19/0.28	o 10938399
0.19/0.28	c 0.223965 8.54688 60 12882
0.19/0.28	o 10688524
0.19/0.28	c 0.223965 8.54688 60 12946
0.19/0.28	o 10686716
0.19/0.28	c 0.223965 8.54688 60 13031
0.19/0.28	o 10685140
0.19/0.29	c 0.224965 8.54688 60 13111
0.19/0.29	o 10674332
0.19/0.29	c 0.225965 8.54688 60 13190
0.19/0.29	o 10656640
0.19/0.29	c 0.227965 8.54688 60 13240
0.19/0.29	o 10656511
0.19/0.29	c 0.228965 8.54688 60 13320
0.19/0.29	o 10653722
0.19/0.29	c 0.228965 8.54688 60 13385
0.19/0.29	o 10652372
0.19/0.29	c 0.229965 8.54688 60 13454
0.19/0.29	o 10647980
0.19/0.29	c 0.229965 8.54688 60 13513
0.19/0.29	o 10647868
0.19/0.29	c 0.230964 8.54688 60 13581
0.19/0.29	o 10642260
0.19/0.29	c 0.230964 8.54688 60 13661
0.19/0.29	o 10639718
0.19/0.30	c 0.231964 8.54688 60 13745
0.19/0.30	o 10624322
0.29/0.30	c 0.233964 8.54688 60 13813
0.29/0.30	o 10622288
0.29/0.30	c 0.234964 8.54688 60 13881
0.29/0.30	o 10619884
0.29/0.30	c 0.234964 8.54688 60 13970
0.29/0.30	o 10605926
0.29/0.30	c 0.235964 8.54688 60 14040
0.29/0.30	o 10605888
0.29/0.30	c 0.236963 8.54688 60 14130
0.29/0.30	o 10560354
0.29/0.30	c 0.237963 8.54688 60 14195
0.29/0.30	o 10559788
0.29/0.30	c 0.238963 8.54688 60 14260
0.29/0.30	o 10558536
0.29/0.30	c 0.240963 8.54688 60 14328
0.29/0.30	o 10557244
0.29/0.31	c 0.241963 8.54688 60 14400
0.29/0.31	o 10547338
0.29/0.31	c 0.242963 8.54688 60 14467
0.29/0.31	o 10545324
0.29/0.31	c 0.243962 8.54688 60 14545
0.29/0.31	o 10536326
0.29/0.31	c 0.244962 8.54688 60 14614
0.29/0.31	o 10535904
0.29/0.31	c 0.245962 8.54688 60 14686
0.29/0.31	o 10533352
0.29/0.31	c 0.246962 8.54688 60 14737
0.29/0.31	o 10532504
0.29/0.31	c 0.246962 8.54688 60 14799
0.29/0.31	o 10530434
0.29/0.31	c 0.248962 8.54688 60 14829
0.29/0.31	o 10530232
0.29/0.32	c 0.252961 8.54688 99 14938
0.29/0.32	o 10527394
0.29/0.32	c 0.253961 8.54688 98 14990
0.29/0.32	o 10525586
0.29/0.32	c 0.254961 8.54688 98 15058
0.29/0.32	o 10509838
0.29/0.32	c 0.255961 8.54688 98 15109
0.29/0.32	o 10507262
0.29/0.32	c 0.25696 8.67188 98 15152
0.29/0.32	o 10506030
0.29/0.33	c 0.25796 8.67188 98 15219
0.29/0.33	o 10495420
0.29/0.33	c 0.25896 8.67188 98 15259
0.29/0.33	o 10495152
0.29/0.33	c 0.25996 8.67188 98 15290
0.29/0.33	o 10492838
0.29/0.33	c 0.26196 8.67188 98 15343
0.29/0.33	o 10488666
0.29/0.33	c 0.26296 8.67188 98 15359
0.29/0.33	o 10488430
0.29/0.33	c 0.263959 8.67188 98 15385
0.29/0.33	o 10486812
0.29/0.33	c 0.263959 8.67188 98 15398
0.29/0.33	o 10486462
0.29/0.33	c 0.263959 8.67188 98 15437
0.29/0.33	o 10484728
0.29/0.33	c 0.264959 8.67188 98 15481
0.29/0.33	o 10483202
0.29/0.34	c 0.265959 8.67188 98 15515
0.29/0.34	o 10482080
0.29/0.34	c 0.266959 8.67188 98 15552
0.29/0.34	o 10480308
0.29/0.34	c 0.268959 8.67188 101 15581
0.29/0.34	o 10479208
0.29/0.34	c 0.268959 8.67188 101 15611
0.29/0.34	o 10477672
0.29/0.34	c 0.268959 8.67188 101 15648
0.29/0.34	o 10477478
0.29/0.34	c 0.268959 8.67188 101 15679
0.29/0.34	o 10477246
0.29/0.34	c 0.269958 8.67188 101 15714
0.29/0.34	o 10473792
0.29/0.34	c 0.270958 8.67188 101 15741
0.29/0.34	o 10473290
0.29/0.35	c 0.271958 8.67188 101 15783
0.29/0.35	o 10467090
0.29/0.35	c 0.271958 8.67188 101 15819
0.29/0.35	o 10465570
0.29/0.35	c 0.272958 8.67188 101 15845
0.29/0.35	o 10465530
0.29/0.35	c 0.273958 8.67188 101 15874
0.29/0.35	o 10463552
0.29/0.35	c 0.274958 8.67188 101 15908
0.29/0.35	o 10455882
0.29/0.35	c 0.275958 8.67188 101 15930
0.29/0.35	o 10454622
0.29/0.35	c 0.276957 8.67188 101 15946
0.29/0.35	o 10454618
0.29/0.35	c 0.277957 8.67188 101 15972
0.29/0.35	o 10452256
0.29/0.35	c 0.278957 8.67188 101 15994
0.29/0.35	o 10449936
0.29/0.36	c 0.279957 8.67188 101 16013
0.29/0.36	o 10447498
0.29/0.36	c 0.284956 8.67188 101 16034
0.29/0.36	s OPTIMUM FOUND
0.29/0.36	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 -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 -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 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290

Verifier Data 

OK	10447498

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682747-1277477087/watcher-2682747-1277477087 -o /tmp/evaluation-result-2682747-1277477087/solver-2682747-1277477087 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682747-1277477087.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.98 0.83 3/105 31272
/proc/meminfo: memFree=1809908/2059040 swapFree=4139628/4192956
[pid=31272] ppid=31270 vsize=3444 CPUtime=0
/proc/31272/stat : 31272 (pbct) R 31270 31272 31166 0 -1 4202496 564 0 0 0 0 0 0 0 25 0 1 0 89002168 3526656 483 1992294400 134512640 136421960 4289224560 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31272/statm: 861 485 189 467 0 392 0

[startup+0.0491869 s]
/proc/loadavg: 1.00 0.98 0.83 3/105 31272
/proc/meminfo: memFree=1809908/2059040 swapFree=4139628/4192956
[pid=31272] ppid=31270 vsize=7808 CPUtime=0.04
/proc/31272/stat : 31272 (pbct) R 31270 31272 31166 0 -1 4202496 1630 0 0 0 4 0 0 0 25 0 1 0 89002168 7995392 1549 1992294400 134512640 136421960 4289224560 18446744073709551615 134930292 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31272/statm: 1952 1549 204 467 0 1483 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7808

[startup+0.101192 s]
/proc/loadavg: 1.00 0.98 0.83 3/105 31272
/proc/meminfo: memFree=1809908/2059040 swapFree=4139628/4192956
[pid=31272] ppid=31270 vsize=8104 CPUtime=0.09
/proc/31272/stat : 31272 (pbct) R 31270 31272 31166 0 -1 4202496 1778 0 0 0 8 1 0 0 25 0 1 0 89002168 8298496 1665 1992294400 134512640 136421960 4289224560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31272/statm: 2026 1665 236 467 0 1557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8104

[startup+0.301214 s]
/proc/loadavg: 1.00 0.98 0.83 3/105 31272
/proc/meminfo: memFree=1809908/2059040 swapFree=4139628/4192956
[pid=31272] ppid=31270 vsize=8748 CPUtime=0.29
/proc/31272/stat : 31272 (pbct) R 31270 31272 31166 0 -1 4202496 2094 0 0 0 23 6 0 0 25 0 1 0 89002168 8957952 1815 1992294400 134512640 136421960 4289224560 18446744073709551615 135026217 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31272/statm: 2187 1815 236 467 0 1718 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8748

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

Child status: 0
Real time (s): 0.385583
CPU time (s): 0.38594
CPU user time (s): 0.304953
CPU system time (s): 0.080987
CPU usage (%): 100.093
Max. virtual memory (cumulated for all children) (KiB): 8748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.304953
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2195
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= 1
involuntary context switches= 3

runsolver used 0.006998 second user time and 0.017997 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-25 16:44:47
IDJOB=2682747
IDBENCH=1519
IDSOLVER=1192
FILE ID=node082/2682747-1277477087
PBS_JOBID= 11190486
Free space on /tmp= 62360 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682747-1277477087/watcher-2682747-1277477087 -o /tmp/evaluation-result-2682747-1277477087/solver-2682747-1277477087 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682747-1277477087.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5dbbb39821171ddf7cf17b36f56beeda
RANDOM SEED=512940650

node082.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1810312 kB
Buffers:         26140 kB
Cached:         120344 kB
SwapCached:       6156 kB
Active:          68656 kB
Inactive:        91376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1810312 kB
SwapTotal:     4192956 kB
SwapFree:      4139628 kB
Dirty:            1872 kB
Writeback:           0 kB
AnonPages:       12136 kB
Mapped:          11920 kB
Slab:            66756 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62356 MiB
End job on node082 at 2010-06-25 16:44:47