Trace number 2682743

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 fixedOPT258411 2.28165 2.28173

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-p0282.opb
MD5SUM3d08eecd6841b46afc4009161d25bc6a
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark258411
Best CPU time to get the best result obtained on this benchmark2.28165
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 258411
Optimality of the best value was proved YES
Number of variables282
Total number of constraints221
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints44
Minimum length of a constraint2
Maximum length of a constraint57
Number of terms in the objective function 282
Biggest coefficient in the objective function 160646
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 1302615
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 160646
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 1302615
Number of bits of the biggest sum of numbers21
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 44/0 clauses 177/0 units 0
0.00/0.00	c vars 282
0.00/0.00	c objective 282 + 0
0.04/0.09	c 0.071989 9.82031 1 520
0.04/0.09	o 667765
0.04/0.09	c 0.074988 10.0117 3 757
0.04/0.09	o 636342
0.04/0.09	c 0.077988 10.0117 3 983
0.04/0.09	o 576845
0.09/0.10	c 0.079987 10.0117 3 1224
0.09/0.10	o 550210
0.09/0.10	c 0.081987 10.0117 3 1456
0.09/0.10	o 526008
0.09/0.10	c 0.083987 10.0117 3 1628
0.09/0.10	o 526007
0.09/0.11	c 0.085986 10.0117 3 1850
0.09/0.11	o 495741
0.09/0.11	c 0.088986 10.0117 3 2068
0.09/0.11	o 439968
0.09/0.12	c 0.103984 10.0117 67 2317
0.09/0.12	o 439962
0.09/0.14	c 0.111982 10.0117 99 2398
0.09/0.14	o 433738
0.09/0.14	c 0.117982 10.0117 112 2518
0.09/0.14	o 433728
0.09/0.15	c 0.120981 10.0117 114 2724
0.09/0.15	o 425152
0.09/0.15	c 0.123981 10.0117 114 2895
0.09/0.15	o 424967
0.09/0.15	c 0.12698 10.0117 115 3061
0.09/0.15	o 424596
0.09/0.16	c 0.12898 10.0117 115 3214
0.09/0.16	o 424594
0.09/0.16	c 0.131979 10.0117 115 3395
0.09/0.16	o 423735
0.09/0.16	c 0.133979 10.0117 115 3576
0.09/0.16	o 422963
0.09/0.16	c 0.135979 10.0117 115 3749
0.09/0.16	o 422454
0.09/0.17	c 0.138978 10.0117 115 3917
0.09/0.17	o 422385
0.09/0.17	c 0.141978 10.0117 115 4058
0.09/0.17	o 422375
0.09/0.17	c 0.144977 10.0117 115 4237
0.09/0.17	o 421879
0.09/0.18	c 0.147977 10.0117 115 4387
0.09/0.18	o 421878
0.09/0.18	c 0.150977 10.0117 115 4551
0.09/0.18	o 421427
0.09/0.18	c 0.153976 10.0117 117 4657
0.09/0.18	o 421407
0.09/0.19	c 0.155976 10.0117 125 4739
0.09/0.19	o 421375
0.09/0.19	c 0.160975 10.0117 135 4837
0.09/0.19	o 413633
0.19/0.20	c 0.168974 10.0117 157 4969
0.19/0.20	o 413617
0.19/0.21	c 0.174973 10.1328 175 5058
0.19/0.21	o 413613
0.19/0.22	c 0.186971 10.1328 204 5193
0.19/0.22	o 413296
0.19/0.23	c 0.19297 10.1328 215 5291
0.19/0.23	o 413289
0.19/0.23	c 0.19597 10.1328 217 5436
0.19/0.23	o 384407
0.19/0.23	c 0.197969 10.1328 217 5574
0.19/0.23	o 383298
0.19/0.24	c 0.199969 10.1328 217 5712
0.19/0.24	o 380340
0.19/0.24	c 0.202969 10.1328 217 5841
0.19/0.24	o 379742
0.19/0.24	c 0.204968 10.1328 217 5944
0.19/0.24	o 379732
0.19/0.25	c 0.207968 10.1328 217 6072
0.19/0.25	o 379566
0.19/0.25	c 0.210967 10.1328 217 6191
0.19/0.25	o 379429
0.19/0.25	c 0.213967 10.1328 217 6296
0.19/0.25	o 379414
0.19/0.25	c 0.216967 10.1328 217 6414
0.19/0.25	o 379221
0.19/0.26	c 0.219966 10.1328 217 6519
0.19/0.26	o 379220
0.19/0.26	c 0.221966 10.1328 217 6595
0.19/0.26	o 379218
0.19/0.26	c 0.224965 10.1328 217 6712
0.19/0.26	o 379078
0.19/0.27	c 0.227965 10.1328 217 6804
0.19/0.27	o 379066
0.19/0.27	c 0.230964 10.1328 217 6908
0.19/0.27	o 378991
0.19/0.27	c 0.233964 10.1328 217 7023
0.19/0.27	o 378797
0.19/0.28	c 0.236963 10.1328 217 7111
0.19/0.28	o 378796
0.19/0.28	c 0.239963 10.1328 218 7184
0.19/0.28	o 378793
0.19/0.28	c 0.240963 10.1328 219 7291
0.19/0.28	o 378771
0.19/0.28	c 0.243962 10.1328 219 7396
0.19/0.28	o 378703
0.19/0.29	c 0.246962 10.1328 219 7508
0.19/0.29	o 378440
0.19/0.29	c 0.249962 10.1328 219 7594
0.19/0.29	o 378424
0.19/0.29	c 0.252961 10.1328 219 7690
0.19/0.29	o 378406
0.29/0.30	c 0.255961 10.1328 219 7756
0.29/0.30	o 378403
0.29/0.30	c 0.25896 10.1328 219 7826
0.29/0.30	o 378387
0.29/0.30	c 0.26096 10.1328 219 7911
0.29/0.30	o 378291
0.29/0.31	c 0.263959 10.1328 219 7978
0.29/0.31	o 378284
0.29/0.31	c 0.265959 10.1328 219 8057
0.29/0.31	o 378272
0.29/0.31	c 0.267959 10.1328 219 8135
0.29/0.31	o 378270
0.29/0.31	c 0.269958 10.1328 219 8201
0.29/0.31	o 378266
0.29/0.32	c 0.270958 10.3008 219 8285
0.29/0.32	o 378158
0.29/0.32	c 0.272958 10.3008 219 8337
0.29/0.32	o 378149
0.29/0.32	c 0.273958 10.3008 219 8382
0.29/0.32	o 378148
0.29/0.33	c 0.276957 10.3008 219 8448
0.29/0.33	o 378128
0.29/0.33	c 0.279957 10.3008 219 8494
0.29/0.33	o 378125
0.29/0.33	c 0.282956 10.3008 219 8553
0.29/0.33	o 378102
0.29/0.33	c 0.285956 10.3008 219 8605
0.29/0.33	o 378097
0.29/0.34	c 0.288956 10.3008 219 8655
0.29/0.34	o 378090
0.29/0.34	c 0.291955 10.3008 219 8705
0.29/0.34	o 378084
0.29/0.34	c 0.293955 10.3008 219 8744
0.29/0.34	o 378079
0.29/0.35	c 0.296954 10.3008 219 8805
0.29/0.35	o 378038
0.29/0.35	c 0.299954 10.3008 219 8849
0.29/0.35	o 378027
0.29/0.35	c 0.301954 10.3008 219 8898
0.29/0.35	o 378020
0.29/0.36	c 0.303953 10.3008 219 8938
0.29/0.36	o 378015
0.29/0.36	c 0.306953 10.3008 219 8988
0.29/0.36	o 378011
0.29/0.36	c 0.309952 10.3008 219 9035
0.29/0.36	o 377995
0.29/0.36	c 0.312952 10.3008 219 9081
0.29/0.36	o 377977
0.29/0.37	c 0.313952 10.3008 219 9119
0.29/0.37	o 377976
0.29/0.37	c 0.316951 10.3008 219 9158
0.29/0.37	o 377967
0.29/0.37	c 0.318951 10.3008 219 9189
0.29/0.37	o 377966
0.29/0.38	c 0.320951 10.3008 219 9224
0.29/0.38	o 377965
0.29/0.38	c 0.32395 10.3008 219 9262
0.29/0.38	o 377956
0.29/0.38	c 0.32695 10.3008 219 9295
0.29/0.38	o 377953
0.29/0.39	c 0.329949 10.3008 219 9324
0.29/0.39	o 377946
0.29/0.39	c 0.332949 10.3008 219 9356
0.29/0.39	o 377941
0.29/0.39	c 0.334949 10.3008 219 9386
0.29/0.39	o 377929
0.29/0.39	c 0.337948 10.3008 219 9403
0.29/0.39	o 377926
0.39/0.40	c 0.340948 10.3008 219 9419
0.39/0.40	o 377916
0.39/0.40	c 0.347947 10.3008 229 9480
0.39/0.40	o 377914
0.39/0.41	c 0.351946 10.3008 230 9656
0.39/0.41	o 361274
0.39/0.41	c 0.354946 10.3008 230 9782
0.39/0.41	o 361263
0.39/0.41	c 0.357945 10.3008 230 9914
0.39/0.41	o 361252
0.39/0.42	c 0.360945 10.3008 230 10074
0.39/0.42	o 361146
0.39/0.45	c 0.39194 10.3008 345 10328
0.39/0.45	o 361058
0.39/0.46	c 0.397939 10.3008 359 10446
0.39/0.46	o 361057
0.39/0.47	c 0.404938 10.3008 377 10623
0.39/0.47	o 361004
0.49/0.50	c 0.431934 10.4258 481 10916
0.49/0.50	o 336388
0.49/0.50	c 0.433934 10.4258 481 11070
0.49/0.50	o 336089
0.49/0.50	c 0.436933 10.4258 481 11218
0.49/0.50	o 335930
0.49/0.51	c 0.439933 10.4258 481 11370
0.49/0.51	o 335468
0.49/0.51	c 0.442932 10.4258 481 11520
0.49/0.51	o 335024
0.49/0.51	c 0.444932 10.4258 481 11666
0.49/0.51	o 334807
0.49/0.52	c 0.447931 10.4258 481 11806
0.49/0.52	o 334731
0.49/0.52	c 0.450931 10.4258 481 11942
0.49/0.52	o 334644
0.49/0.52	c 0.452931 10.4258 481 12076
0.49/0.52	o 334591
0.49/0.53	c 0.45593 10.4258 481 12223
0.49/0.53	o 334578
0.49/0.53	c 0.45993 10.4258 481 12368
0.49/0.53	o 334293
0.49/0.53	c 0.460929 10.4258 481 12492
0.49/0.53	o 334222
0.49/0.54	c 0.463929 10.4258 481 12636
0.49/0.54	o 334071
0.49/0.54	c 0.465929 10.4258 481 12769
0.49/0.54	o 334064
0.49/0.54	c 0.467928 10.4258 481 12893
0.49/0.54	o 334063
0.49/0.55	c 0.471928 10.4258 481 13013
0.49/0.55	o 334060
0.49/0.55	c 0.474927 10.4258 481 13138
0.49/0.55	o 334056
0.49/0.55	c 0.476927 10.4258 481 13285
0.49/0.55	o 333736
0.49/0.56	c 0.486925 10.4258 507 13435
0.49/0.56	o 320667
0.49/0.57	c 0.490925 10.4258 511 13550
0.49/0.57	o 296102
0.49/0.57	c 0.493924 10.4258 511 13639
0.49/0.57	o 295972
0.49/0.57	c 0.496924 10.4258 511 13719
0.49/0.57	o 295953
0.49/0.58	c 0.499924 10.4258 511 13805
0.49/0.58	o 295883
0.49/0.58	c 0.502923 10.4258 511 13883
0.49/0.58	o 295854
0.49/0.58	c 0.505923 10.4258 511 13966
0.49/0.58	o 295696
0.49/0.58	c 0.508922 10.4258 511 14045
0.49/0.58	o 295677
0.49/0.59	c 0.511922 10.4258 511 14105
0.49/0.59	o 295662
0.49/0.59	c 0.513921 10.4258 511 14179
0.49/0.59	o 295642
0.49/0.59	c 0.515921 10.4258 511 14230
0.49/0.59	o 295641
0.59/0.60	c 0.518921 10.4258 511 14292
0.59/0.60	o 295638
0.59/0.60	c 0.52192 10.4258 511 14354
0.59/0.60	o 295635
0.59/0.60	c 0.52492 10.4258 511 14419
0.59/0.60	o 295622
0.59/0.61	c 0.527919 10.5508 511 14493
0.59/0.61	o 295524
0.59/0.61	c 0.530919 10.5508 511 14551
0.59/0.61	o 295508
0.59/0.61	c 0.533918 10.5508 511 14597
0.59/0.61	o 295502
0.59/0.61	c 0.536918 10.5508 511 14637
0.59/0.61	o 295497
0.59/0.62	c 0.539917 10.5508 511 14694
0.59/0.62	o 295472
0.59/0.62	c 0.542917 10.5508 511 14741
0.59/0.62	o 295467
0.59/0.62	c 0.545917 10.5508 511 14777
0.59/0.62	o 295465
0.59/0.63	c 0.548916 10.5508 511 14817
0.59/0.63	o 295461
0.59/0.63	c 0.551916 10.5508 511 14931
0.59/0.63	o 293510
0.59/0.63	c 0.554915 10.5508 511 15037
0.59/0.63	o 292793
0.59/0.64	c 0.557915 10.5508 511 15136
0.59/0.64	o 292759
0.59/0.64	c 0.559914 10.5508 511 15240
0.59/0.64	o 291291
0.59/0.64	c 0.562914 10.5508 511 15320
0.59/0.64	o 291282
0.59/0.65	c 0.565913 10.5508 512 15409
0.59/0.65	o 291173
0.59/0.65	c 0.567913 10.5508 515 15482
0.59/0.65	o 291172
0.59/0.65	c 0.570913 10.5508 515 15563
0.59/0.65	o 291084
0.59/0.66	c 0.572912 10.5508 515 15640
0.59/0.66	o 291019
0.59/0.66	c 0.575912 10.5508 515 15710
0.59/0.66	o 291010
0.59/0.66	c 0.578911 10.5508 515 15779
0.59/0.66	o 290992
0.59/0.67	c 0.58591 10.5508 529 15897
0.59/0.67	o 289951
0.59/0.67	c 0.59091 10.5508 536 16002
0.59/0.67	o 289912
0.59/0.68	c 0.593909 10.5508 537 16097
0.59/0.68	o 289895
0.59/0.68	c 0.597909 10.5508 539 16195
0.59/0.68	o 289513
0.59/0.68	c 0.600908 10.5508 539 16277
0.59/0.68	o 289501
0.59/0.69	c 0.603908 10.5508 539 16373
0.59/0.69	o 289275
0.59/0.69	c 0.606907 10.5508 539 16460
0.59/0.69	o 289023
0.59/0.69	c 0.609907 10.5508 539 16540
0.59/0.69	o 289020
0.59/0.69	c 0.612906 10.5508 539 16609
0.59/0.69	o 289014
0.69/0.70	c 0.615906 10.5508 539 16682
0.69/0.70	o 289013
0.69/0.70	c 0.617906 10.5508 539 16754
0.69/0.70	o 289003
0.69/0.70	c 0.620905 10.5508 539 16838
0.69/0.70	o 288689
0.69/0.71	c 0.622905 10.5508 539 16898
0.69/0.71	o 288651
0.69/0.71	c 0.625904 10.5508 539 16953
0.69/0.71	o 288642
0.69/0.71	c 0.628904 10.5508 539 16996
0.69/0.71	o 288638
0.69/0.72	c 0.631903 10.5508 539 17047
0.69/0.72	o 288603
0.69/0.72	c 0.634903 10.5508 539 17095
0.69/0.72	o 288578
0.69/0.72	c 0.637903 10.5508 539 17130
0.69/0.72	o 288574
0.69/0.72	c 0.639902 10.6641 539 17179
0.69/0.72	o 288528
0.69/0.73	c 0.642902 10.6641 539 17193
0.69/0.73	o 288526
0.69/0.73	c 0.644901 10.6641 540 17245
0.69/0.73	o 288520
0.69/0.73	c 0.646901 10.6641 540 17316
0.69/0.73	o 288504
0.69/0.74	c 0.649901 10.6641 544 17376
0.69/0.74	o 288496
0.69/0.74	c 0.6539 10.6641 551 17444
0.69/0.74	o 288478
0.69/0.75	c 0.6569 10.6641 551 17507
0.69/0.75	o 288449
0.69/0.75	c 0.659899 10.6641 551 17559
0.69/0.75	o 288444
0.69/0.75	c 0.662899 10.6641 551 17610
0.69/0.75	o 288440
0.69/0.75	c 0.665898 10.6641 551 17665
0.69/0.75	o 288430
0.69/0.76	c 0.668898 10.6641 551 17717
0.69/0.76	o 288426
0.69/0.76	c 0.671897 10.6641 551 17747
0.69/0.76	o 288424
0.69/0.76	c 0.673897 10.6641 551 17808
0.69/0.76	o 288364
0.69/0.77	c 0.676897 10.6641 551 17846
0.69/0.77	o 288359
0.79/0.80	c 0.705892 10.6641 666 18016
0.79/0.80	o 288356
0.79/0.84	c 0.739887 10.6641 777 18218
0.79/0.84	o 288355
0.99/1.00	c 0.893864 10.7891 1356 19052
0.99/1.00	o 287134
0.99/1.02	c 0.906862 10.7891 720 19194
0.99/1.02	o 287124
0.99/1.07	c 0.958854 10.7891 940 19548
0.99/1.07	o 285218
0.99/1.09	c 0.975851 10.7891 987 19712
0.99/1.09	o 285216
1.10/1.19	c 1.06484 10.7891 695 20229
1.10/1.19	o 285213
1.19/1.22	c 1.08583 10.7891 770 20399
1.19/1.22	o 285190
1.19/1.26	c 1.12583 10.7891 921 20678
1.19/1.26	o 285189
1.19/1.29	c 1.14983 10.7891 1006 20900
1.19/1.29	o 285139
1.19/1.30	c 1.15582 10.7891 1020 20997
1.19/1.30	o 284738
1.29/1.30	c 1.16082 10.7891 1023 21120
1.29/1.30	o 284737
1.29/1.31	c 1.16882 10.7891 1040 21203
1.29/1.31	o 284725
1.29/1.39	c 1.23781 10.7891 1294 21557
1.29/1.39	o 284722
1.39/1.41	c 1.26081 10.7891 729 21711
1.39/1.41	o 284714
1.39/1.42	c 1.26681 10.7891 749 21853
1.39/1.42	o 284712
1.39/1.48	c 1.3168 10.7891 936 22104
1.39/1.48	o 284708
1.39/1.49	c 1.3258 10.7891 580 22163
1.39/1.49	o 284703
1.49/1.53	c 1.36479 10.7891 729 22389
1.49/1.53	o 284698
1.49/1.54	c 1.37279 10.7891 745 22479
1.49/1.54	o 284680
1.49/1.58	c 1.40779 10.7891 920 22759
1.49/1.58	o 284676
1.49/1.58	c 1.40979 10.7891 922 22800
1.49/1.58	o 284661
1.59/1.60	c 1.42878 10.7891 931 22979
1.59/1.60	o 284583
1.59/1.61	c 1.43878 10.7891 958 23076
1.59/1.61	o 284580
1.59/1.63	c 1.45378 10.7891 1003 23231
1.59/1.63	o 280911
1.59/1.66	c 1.47978 10.7891 1105 23450
1.59/1.66	o 278358
1.59/1.66	c 1.48277 10.7891 1105 23510
1.59/1.66	o 278332
1.59/1.67	c 1.48477 10.7891 1105 23580
1.59/1.67	o 278067
1.59/1.67	c 1.48677 10.7891 1105 23637
1.59/1.67	o 278057
1.59/1.67	c 1.48877 10.7891 1105 23704
1.59/1.67	o 277792
1.59/1.68	c 1.49077 10.918 1105 23764
1.59/1.68	o 277789
1.59/1.68	c 1.49277 10.918 1105 23824
1.59/1.68	o 277783
1.59/1.68	c 1.49577 10.918 1105 23884
1.59/1.68	o 277771
1.59/1.69	c 1.49777 10.918 1105 23931
1.59/1.69	o 277765
1.59/1.69	c 1.49977 10.918 1105 23986
1.59/1.69	o 277727
1.59/1.69	c 1.50277 10.918 1105 24039
1.59/1.69	o 277684
1.59/1.70	c 1.50577 10.918 1105 24087
1.59/1.70	o 277673
1.69/1.70	c 1.50877 10.918 1105 24132
1.69/1.70	o 277669
1.69/1.70	c 1.51077 10.918 1105 24172
1.69/1.70	o 277662
1.69/1.70	c 1.51277 10.918 1105 24208
1.69/1.70	o 277654
1.69/1.71	c 1.51577 10.918 1105 24245
1.69/1.71	o 277642
1.69/1.71	c 1.51777 10.918 1105 24301
1.69/1.71	o 277614
1.69/1.71	c 1.52077 10.918 1105 24353
1.69/1.71	o 277581
1.69/1.72	c 1.52277 10.918 1105 24396
1.69/1.72	o 277580
1.69/1.72	c 1.52577 10.918 1105 24442
1.69/1.72	o 277571
1.69/1.72	c 1.52777 10.918 1105 24480
1.69/1.72	o 277565
1.69/1.73	c 1.53077 10.918 1105 24524
1.69/1.73	o 277550
1.69/1.73	c 1.53377 10.918 1105 24561
1.69/1.73	o 277547
1.69/1.73	c 1.53677 10.918 1105 24597
1.69/1.73	o 277541
1.69/1.74	c 1.53977 10.918 1105 24631
1.69/1.74	o 277531
1.69/1.74	c 1.54276 10.918 1105 24663
1.69/1.74	o 277523
1.69/1.74	c 1.54676 10.918 1106 24740
1.69/1.74	o 277417
1.69/1.75	c 1.54976 10.918 1106 24793
1.69/1.75	o 277416
1.69/1.75	c 1.55276 10.918 1106 24865
1.69/1.75	o 277379
1.69/1.75	c 1.55576 10.918 1108 24953
1.69/1.75	o 275053
1.69/1.77	c 1.57576 10.918 1171 25136
1.69/1.77	o 274949
1.79/1.81	c 1.61275 10.918 1281 25377
1.79/1.81	o 269842
1.79/1.85	c 1.64875 10.918 1404 25625
1.79/1.85	o 267859
1.79/1.86	c 1.65675 10.918 728 25705
1.79/1.86	o 267845
1.79/1.87	c 1.66275 10.918 734 25833
1.79/1.87	o 263765
1.79/1.88	c 1.66975 10.918 754 25895
1.79/1.88	o 263763
1.79/1.89	c 1.68374 10.918 800 26009
1.79/1.89	o 263759
1.89/1.91	c 1.69674 10.918 667 26079
1.89/1.91	o 263758
1.89/1.93	c 1.71574 10.918 734 26265
1.89/1.93	o 262749
1.89/1.93	c 1.71874 10.918 418 26317
1.89/1.93	o 262744
1.89/1.94	c 1.72274 10.918 423 26375
1.89/1.94	o 262726
1.89/1.96	c 1.74473 10.918 496 26529
1.89/1.96	o 262718
1.89/1.96	c 1.74773 10.918 432 26573
1.89/1.96	o 262716
1.89/1.97	c 1.75373 10.918 447 26671
1.89/1.97	o 262711
1.89/1.97	c 1.75673 10.918 447 26711
1.89/1.97	o 262709
1.89/1.97	c 1.75873 10.918 447 26745
1.89/1.97	o 262704
1.89/1.98	c 1.76073 10.918 447 26780
1.89/1.98	o 262702
1.89/1.98	c 1.76173 11.043 447 26827
1.89/1.98	o 262674
1.89/1.98	c 1.76373 11.043 447 26865
1.89/1.98	o 262671
1.89/1.98	c 1.76573 11.043 447 26887
1.89/1.98	o 262670
1.89/1.99	c 1.76773 11.043 447 26922
1.89/1.99	o 262658
1.89/1.99	c 1.76973 11.043 447 26947
1.89/1.99	o 262652
1.89/1.99	c 1.77373 11.043 453 26994
1.89/1.99	o 262646
1.99/2.02	c 1.79473 11.043 545 27114
1.99/2.02	o 262644
1.99/2.02	c 1.80073 11.043 561 27233
1.99/2.02	o 262035
1.99/2.03	c 1.81072 11.043 427 27300
1.99/2.03	o 262034
1.99/2.04	c 1.81872 11.043 447 27406
1.99/2.04	o 261718
1.99/2.05	c 1.82572 11.043 467 27541
1.99/2.05	o 259687
1.99/2.05	c 1.82872 11.043 473 27642
1.99/2.05	o 259472
1.99/2.05	c 1.83072 11.043 29 27717
1.99/2.05	o 259471
1.99/2.06	c 1.83272 11.043 29 27779
1.99/2.06	o 259470
1.99/2.06	c 1.83372 11.043 29 27866
1.99/2.06	o 259467
1.99/2.06	c 1.83472 11.043 29 27933
1.99/2.06	o 259463
1.99/2.06	c 1.83672 11.043 29 28018
1.99/2.06	o 259447
1.99/2.06	c 1.83772 11.043 29 28088
1.99/2.06	o 259439
1.99/2.06	c 1.83972 11.043 29 28144
1.99/2.06	o 259438
1.99/2.07	c 1.84072 11.043 29 28212
1.99/2.07	o 259430
1.99/2.07	c 1.84272 11.043 29 28280
1.99/2.07	o 259414
1.99/2.07	c 1.84372 11.043 29 28355
1.99/2.07	o 259411
1.99/2.07	c 1.84472 11.043 21 28413
1.99/2.07	o 259409
1.99/2.07	c 1.84672 11.043 21 28472
1.99/2.07	o 259402
1.99/2.07	c 1.84672 11.043 21 28547
1.99/2.07	o 259366
1.99/2.07	c 1.84872 11.043 21 28606
1.99/2.07	o 259354
1.99/2.08	c 1.84972 11.043 21 28665
1.99/2.08	o 259347
1.99/2.08	c 1.85072 11.043 21 28735
1.99/2.08	o 259346
1.99/2.08	c 1.85172 11.043 21 28788
1.99/2.08	o 259344
1.99/2.08	c 1.85272 11.043 21 28868
1.99/2.08	o 259323
1.99/2.08	c 1.85472 11.043 21 28927
1.99/2.08	o 259322
1.99/2.08	c 1.85572 11.043 21 28986
1.99/2.08	o 259315
1.99/2.09	c 1.85772 11.043 21 29051
1.99/2.09	o 259309
1.99/2.09	c 1.85872 11.043 21 29114
1.99/2.09	o 259303
1.99/2.09	c 1.86072 11.043 21 29156
1.99/2.09	o 259301
1.99/2.09	c 1.86272 11.043 21 29210
1.99/2.09	o 259298
1.99/2.09	c 1.86372 11.043 21 29266
1.99/2.09	o 259297
1.99/2.09	c 1.86572 11.043 21 29317
1.99/2.09	o 259296
1.99/2.10	c 1.86672 11.043 21 29377
1.99/2.10	o 259290
1.99/2.10	c 1.86772 11.043 21 29435
1.99/2.10	o 259282
2.10/2.10	c 1.86871 11.043 21 29489
2.10/2.10	o 259281
2.10/2.10	c 1.86972 11.043 21 29557
2.10/2.10	o 259277
2.10/2.10	c 1.87172 11.043 21 29643
2.10/2.10	o 259206
2.10/2.10	c 1.87271 11.043 21 29701
2.10/2.10	o 259196
2.10/2.10	c 1.87471 11.043 21 29758
2.10/2.10	o 259189
2.10/2.11	c 1.87571 11.043 21 29830
2.10/2.11	o 259167
2.10/2.11	c 1.87771 11.043 21 29888
2.10/2.11	o 259163
2.10/2.11	c 1.87871 11.043 21 29957
2.10/2.11	o 259136
2.10/2.11	c 1.87971 11.043 21 30000
2.10/2.11	o 259135
2.10/2.11	c 1.88071 11.043 21 30061
2.10/2.11	o 259133
2.10/2.11	c 1.88171 11.043 21 30121
2.10/2.11	o 259130
2.10/2.12	c 1.88371 11.043 21 30194
2.10/2.12	o 259046
2.10/2.12	c 1.88471 11.043 21 30229
2.10/2.12	o 259043
2.10/2.12	c 1.88671 11.043 21 30281
2.10/2.12	o 259036
2.10/2.12	c 1.88771 11.043 21 30322
2.10/2.12	o 259029
2.10/2.12	c 1.88971 11.043 21 30371
2.10/2.12	o 259004
2.10/2.12	c 1.89071 11.043 21 30398
2.10/2.12	o 258998
2.10/2.12	c 1.89171 11.043 21 30433
2.10/2.12	o 258991
2.10/2.13	c 1.89371 11.043 21 30461
2.10/2.13	o 258990
2.10/2.13	c 1.89371 11.1836 21 30490
2.10/2.13	o 258987
2.10/2.13	c 1.89571 11.1836 21 30517
2.10/2.13	o 258986
2.10/2.13	c 1.89571 11.1836 21 30539
2.10/2.13	o 258985
2.10/2.13	c 1.89771 11.1836 21 30579
2.10/2.13	o 258982
2.10/2.13	c 1.89871 11.1836 21 30612
2.10/2.13	o 258971
2.10/2.14	c 1.90071 11.1836 21 30631
2.10/2.14	o 258970
2.10/2.14	c 1.90271 11.1836 21 30653
2.10/2.14	o 258967
2.10/2.14	c 1.90271 11.1836 21 30668
2.10/2.14	o 258965
2.10/2.14	c 1.90471 11.1836 21 30684
2.10/2.14	o 258964
2.10/2.14	c 1.90571 11.1836 21 30695
2.10/2.14	o 258962
2.10/2.14	c 1.90771 11.1836 21 30704
2.10/2.14	o 258961
2.10/2.15	c 1.90771 11.1836 21 30718
2.10/2.15	o 258958
2.10/2.15	c 1.90971 11.1836 21 30726
2.10/2.15	o 258957
2.10/2.15	c 1.91071 11.1836 21 30733
2.10/2.15	o 258955
2.10/2.15	c 1.91271 11.1836 22 30784
2.10/2.15	o 258951
2.10/2.15	c 1.91371 11.1836 24 30860
2.10/2.15	o 258913
2.10/2.15	c 1.91571 11.1836 25 30896
2.10/2.15	o 258910
2.10/2.16	c 1.91671 11.1836 25 30938
2.10/2.16	o 258907
2.10/2.16	c 1.91871 11.1836 25 30971
2.10/2.16	o 258905
2.10/2.16	c 1.91971 11.1836 25 31003
2.10/2.16	o 258901
2.10/2.16	c 1.92171 11.1836 25 31054
2.10/2.16	o 258900
2.10/2.16	c 1.92371 11.1836 25 31127
2.10/2.16	o 258841
2.10/2.16	c 1.92471 11.1836 21 31174
2.10/2.16	o 258839
2.10/2.16	c 1.92671 11.1836 21 31213
2.10/2.16	o 258834
2.10/2.17	c 1.92771 11.1836 21 31254
2.10/2.17	o 258827
2.10/2.17	c 1.92971 11.1836 21 31285
2.10/2.17	o 258824
2.10/2.17	c 1.93071 11.1836 21 31317
2.10/2.17	o 258823
2.10/2.17	c 1.93271 11.1836 21 31358
2.10/2.17	o 258814
2.10/2.17	c 1.93371 11.1836 21 31401
2.10/2.17	o 258813
2.10/2.17	c 1.93571 11.1836 21 31437
2.10/2.17	o 258811
2.10/2.18	c 1.9367 11.1836 21 31470
2.10/2.18	o 258810
2.10/2.18	c 1.9387 11.1836 21 31510
2.10/2.18	o 258809
2.10/2.18	c 1.93971 11.1836 6 31542
2.10/2.18	o 258803
2.10/2.18	c 1.9417 11.1836 6 31576
2.10/2.18	o 258802
2.10/2.18	c 1.9427 11.1836 6 31620
2.10/2.18	o 258798
2.10/2.18	c 1.9447 11.1836 6 31665
2.10/2.18	o 258794
2.10/2.18	c 1.9457 11.1836 6 31699
2.10/2.18	o 258787
2.10/2.19	c 1.9477 11.1836 6 31732
2.10/2.19	o 258780
2.10/2.19	c 1.9477 11.1836 6 31777
2.10/2.19	o 258777
2.10/2.19	c 1.9497 11.1836 6 31799
2.10/2.19	o 258773
2.10/2.19	c 1.9497 11.1836 6 31830
2.10/2.19	o 258771
2.10/2.19	c 1.9517 11.1836 6 31858
2.10/2.19	o 258763
2.10/2.19	c 1.9517 11.1836 6 31888
2.10/2.19	o 258753
2.10/2.19	c 1.9537 11.1836 6 31903
2.10/2.19	o 258752
2.10/2.20	c 1.9547 11.1836 6 31922
2.10/2.20	o 258747
2.10/2.20	c 1.9567 11.1836 6 31951
2.10/2.20	o 258737
2.10/2.20	c 1.9577 11.1836 6 31964
2.10/2.20	o 258735
2.10/2.20	c 1.9587 11.1836 6 31980
2.10/2.20	o 258732
2.10/2.20	c 1.9597 11.1836 6 31994
2.10/2.20	o 258728
2.10/2.20	c 1.9607 11.1836 6 31999
2.10/2.20	o 258727
2.20/2.20	c 1.9627 11.1836 6 32006
2.20/2.20	o 258725
2.20/2.21	c 1.9637 11.1836 6 32012
2.20/2.21	o 258723
2.20/2.21	c 1.9657 11.1836 11 32093
2.20/2.21	o 258684
2.20/2.21	c 1.9667 11.1836 15 32139
2.20/2.21	o 258682
2.20/2.21	c 1.9687 11.1836 15 32201
2.20/2.21	o 258672
2.20/2.21	c 1.9687 11.1836 15 32241
2.20/2.21	o 258671
2.20/2.22	c 1.9697 11.1836 15 32309
2.20/2.22	o 258659
2.20/2.22	c 1.9707 11.1836 15 32379
2.20/2.22	o 258633
2.20/2.22	c 1.9717 11.1836 15 32451
2.20/2.22	o 258620
2.20/2.22	c 1.9737 11.1836 15 32505
2.20/2.22	o 258616
2.20/2.22	c 1.9747 11.3086 15 32544
2.20/2.22	o 258615
2.20/2.22	c 1.9757 11.3086 7 32601
2.20/2.22	o 258607
2.20/2.22	c 1.9777 11.3086 7 32651
2.20/2.22	o 258604
2.20/2.22	c 1.9777 11.3086 7 32728
2.20/2.22	o 258497
2.20/2.23	c 1.9787 11.3086 7 32782
2.20/2.23	o 258488
2.20/2.23	c 1.9797 11.3086 7 32826
2.20/2.23	o 258477
2.20/2.23	c 1.9817 11.3086 7 32871
2.20/2.23	o 258451
2.20/2.23	c 1.9817 11.3086 7 32894
2.20/2.23	o 258448
2.20/2.23	c 1.9827 11.3086 7 32921
2.20/2.23	o 258446
2.20/2.23	c 1.9827 11.3086 7 32951
2.20/2.23	o 258438
2.20/2.23	c 1.9827 11.3086 7 32970
2.20/2.23	o 258435
2.20/2.23	c 1.9847 11.3086 7 32987
2.20/2.23	o 258431
2.20/2.24	c 1.9857 11.3086 7 33008
2.20/2.24	o 258425
2.20/2.24	c 1.9867 11.3086 7 33022
2.20/2.24	o 258423
2.20/2.24	c 1.9877 11.3086 0 33038
2.20/2.24	o 258422
2.20/2.24	c 1.9887 11.3086 0 33057
2.20/2.24	o 258415
2.20/2.24	c 1.9897 11.3086 0 33065
2.20/2.24	o 258414
2.20/2.24	c 1.9907 11.3086 0 33073
2.20/2.24	o 258411
2.20/2.24	c 1.9917 11.3086 4 33077
2.20/2.24	s OPTIMUM FOUND
2.20/2.24	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

Verifier Data 

OK	258411

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682743-1277477000/watcher-2682743-1277477000 -o /tmp/evaluation-result-2682743-1277477000/solver-2682743-1277477000 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682743-1277477000.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: 0.99 0.97 0.74 3/106 25257
/proc/meminfo: memFree=1803124/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=3048 CPUtime=0
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 459 0 0 0 0 0 0 0 22 0 1 0 123303637 3121152 378 1992294400 134512640 136421960 4286845632 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 762 380 188 467 0 293 0

[startup+0.0520671 s]
/proc/loadavg: 0.99 0.97 0.74 3/106 25257
/proc/meminfo: memFree=1803124/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=6540 CPUtime=0.04
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 1342 0 0 0 3 1 0 0 24 0 1 0 123303637 6696960 1261 1992294400 134512640 136421960 4286845632 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 1635 1262 193 467 0 1166 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6540

[startup+0.101074 s]
/proc/loadavg: 0.99 0.97 0.74 3/106 25257
/proc/meminfo: memFree=1803124/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=10248 CPUtime=0.09
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 2276 0 0 0 7 2 0 0 24 0 1 0 123303637 10493952 2192 1992294400 134512640 136421960 4286845632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 2562 2192 236 467 0 2093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10248

[startup+0.301096 s]
/proc/loadavg: 0.99 0.97 0.74 3/106 25257
/proc/meminfo: memFree=1803124/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=10372 CPUtime=0.29
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 2362 0 0 0 25 4 0 0 25 0 1 0 123303637 10620928 2229 1992294400 134512640 136421960 4286845632 18446744073709551615 135025658 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 2593 2229 236 467 0 2124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10372

[startup+0.701143 s]
/proc/loadavg: 0.99 0.97 0.74 3/106 25257
/proc/meminfo: memFree=1803124/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=10800 CPUtime=0.69
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 2575 0 0 0 61 8 0 0 25 0 1 0 123303637 11059200 2339 1992294400 134512640 136421960 4286845632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 2700 2339 236 467 0 2231 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10800

[startup+1.50124 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 25258
/proc/meminfo: memFree=1794312/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=11044 CPUtime=1.49
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 2679 0 0 0 133 16 0 0 25 0 1 0 123303637 11309056 2402 1992294400 134512640 136421960 4286845632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 2761 2402 236 467 0 2292 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11044

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

[startup+1.90128 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 25258
/proc/meminfo: memFree=1794312/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=11176 CPUtime=1.89
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 2765 0 0 0 168 21 0 0 25 0 1 0 123303637 11444224 2444 1992294400 134512640 136421960 4286845632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 2794 2444 236 467 0 2325 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 11176

[startup+2.1013 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 25258
/proc/meminfo: memFree=1793940/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=11304 CPUtime=2.1
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 2846 0 0 0 187 23 0 0 25 0 1 0 123303637 11575296 2471 1992294400 134512640 136421960 4286845632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 2826 2471 236 467 0 2357 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 11304

[startup+2.20832 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 25258
/proc/meminfo: memFree=1793940/2059040 swapFree=4138920/4192956
[pid=25257] ppid=25255 vsize=11448 CPUtime=2.2
/proc/25257/stat : 25257 (pbct) R 25255 25257 25034 0 -1 4202496 2950 0 0 0 196 24 0 0 25 0 1 0 123303637 11722752 2510 1992294400 134512640 136421960 4286845632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25257/statm: 2862 2510 236 467 0 2393 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 11448

Child status: 0
Real time (s): 2.28173
CPU time (s): 2.28165
CPU user time (s): 2.02469
CPU system time (s): 0.25696
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 11448

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

runsolver used 0.011998 second user time and 0.024996 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-25 16:43:20
IDJOB=2682743
IDBENCH=1511
IDSOLVER=1192
FILE ID=node006/2682743-1277477000
PBS_JOBID= 11190529
Free space on /tmp= 62544 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-p0282.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682743-1277477000/watcher-2682743-1277477000 -o /tmp/evaluation-result-2682743-1277477000/solver-2682743-1277477000 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682743-1277477000.opb

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

MD5SUM BENCH= 3d08eecd6841b46afc4009161d25bc6a
RANDOM SEED=2104420222

node006.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.204
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.40
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.204
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1803528 kB
Buffers:         39448 kB
Cached:         117572 kB
SwapCached:       6936 kB
Active:          82592 kB
Inactive:        88360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1803528 kB
SwapTotal:     4192956 kB
SwapFree:      4138920 kB
Dirty:            1900 kB
Writeback:           0 kB
AnonPages:       12492 kB
Mapped:          11356 kB
Slab:            62608 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183004 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62540 MiB
End job on node006 at 2010-06-25 16:43:22