Trace number 2669298

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.1Wrong Opt.344836 5.58815 5.5909

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
MD5SUMd9b1bd39de70fdcf73e5c42a9dd94c9e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark344750
Best CPU time to get the best result obtained on this benchmark3.68644
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 344750
Optimality of the best value was proved YES
Number of variables90
Total number of constraints6
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 constraints6
Minimum length of a constraint15
Maximum length of a constraint90
Number of terms in the objective function 90
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 15032909794
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 15032909794
Number of bits of the biggest sum of numbers34
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 6/0 clauses 0/0 units 29
0.00/0.00	c vars 90
0.00/0.00	c objective 75 + 0
0.00/0.02	c 0.021996 4.85156 1 101
0.00/0.02	o 389072
0.00/0.02	c 0.022996 4.85156 1 145
0.00/0.02	o 375256
0.00/0.02	c 0.023996 4.85156 1 198
0.00/0.02	o 371632
0.00/0.02	c 0.023996 4.85156 1 238
0.00/0.02	o 370736
0.00/0.02	c 0.024996 4.85156 1 290
0.00/0.02	o 362496
0.00/0.03	c 0.025996 4.85156 6 333
0.00/0.03	o 361616
0.04/0.07	c 0.06099 4.97656 371 751
0.04/0.07	o 361526
0.04/0.08	c 0.072988 4.97656 298 904
0.04/0.08	o 361520
0.04/0.08	c 0.075988 4.97656 316 948
0.04/0.08	o 361470
0.04/0.09	c 0.076988 4.97656 318 980
0.04/0.09	o 361460
0.04/0.09	c 0.076988 4.97656 328 1020
0.04/0.09	o 361457
0.04/0.09	c 0.077988 4.97656 180 1063
0.04/0.09	o 361440
0.04/0.09	c 0.077988 4.97656 180 1089
0.04/0.09	o 361434
0.09/0.11	c 0.093985 4.97656 343 1284
0.09/0.11	o 361381
0.09/0.12	c 0.105983 4.97656 274 1419
0.09/0.12	o 361378
0.19/0.29	c 0.25696 4.97656 221 3223
0.19/0.29	o 361225
0.29/0.32	c 0.277957 4.97656 447 3489
0.29/0.32	o 361157
0.29/0.32	c 0.280957 4.97656 234 3518
0.29/0.32	o 361155
0.29/0.33	c 0.287956 4.97656 294 3599
0.29/0.33	o 361152
0.29/0.33	c 0.288956 4.97656 297 3619
0.29/0.33	o 361148
0.29/0.33	c 0.288956 4.97656 320 3664
0.29/0.33	o 361141
0.29/0.33	c 0.289955 4.97656 320 3683
0.29/0.33	o 361108
0.29/0.34	c 0.290955 4.97656 322 3703
0.29/0.34	o 361107
0.29/0.35	c 0.303953 4.97656 230 3861
0.29/0.35	o 361101
0.29/0.36	c 0.309952 4.97656 294 3947
0.29/0.36	o 361099
0.29/0.37	c 0.32595 5.10156 222 4108
0.29/0.37	o 361094
0.29/0.39	c 0.343947 5.10156 390 4318
0.29/0.39	o 361092
0.39/0.40	c 0.344947 5.10156 202 4347
0.39/0.40	o 361091
0.39/0.42	c 0.364944 5.10156 205 4603
0.39/0.42	o 361042
0.39/0.43	c 0.369943 5.10156 232 4652
0.39/0.43	o 361032
0.39/0.43	c 0.378942 5.10156 311 4753
0.39/0.43	o 360991
0.39/0.46	c 0.400939 5.10156 315 5001
0.39/0.46	o 360892
0.79/0.89	c 0.768883 5.10156 390 9340
0.79/0.89	o 360856
0.79/0.89	c 0.772882 5.10156 236 9405
0.79/0.89	o 360854
0.89/0.96	c 0.830873 5.10156 328 10044
0.89/0.96	o 360850
0.89/0.98	c 0.855869 5.10156 333 10327
0.89/0.98	o 360402
0.89/0.98	c 0.856869 5.10156 334 10353
0.89/0.98	o 360396
1.00/1.02	c 0.880866 5.10156 396 10696
1.00/1.02	o 359701
1.00/1.08	c 0.936857 5.10156 574 11348
1.00/1.08	o 359693
1.00/1.08	c 0.937857 5.10156 291 11378
1.00/1.08	o 356725
1.00/1.09	c 0.939857 5.10156 298 11415
1.00/1.09	o 356331
1.10/1.16	c 1.00385 5.10156 356 12207
1.10/1.16	o 355015
1.10/1.16	c 1.00385 5.10156 178 12257
1.10/1.16	o 351284
1.10/1.17	c 1.00485 5.10156 180 12301
1.10/1.17	o 351280
1.10/1.17	c 1.00685 5.10156 183 12344
1.10/1.17	o 351273
1.10/1.17	c 1.00785 5.10156 209 12400
1.10/1.17	o 351270
1.10/1.17	c 1.00885 5.10156 210 12432
1.10/1.17	o 351264
1.10/1.17	c 1.01285 5.10156 235 12486
1.10/1.17	o 351258
1.10/1.19	c 1.02084 5.10156 326 12604
1.10/1.19	o 351253
1.19/1.22	c 1.05284 5.22656 383 12929
1.19/1.22	o 351246
1.19/1.22	c 1.05584 5.22656 212 12980
1.19/1.22	o 351239
1.19/1.23	c 1.06284 5.22656 269 13068
1.19/1.23	o 351236
1.19/1.23	c 1.06584 5.22656 287 13114
1.19/1.23	o 351235
1.19/1.23	c 1.06584 5.22656 289 13143
1.19/1.23	o 351234
1.19/1.24	c 1.06984 5.22656 309 13189
1.19/1.24	o 351230
1.19/1.26	c 1.08983 5.22656 329 13443
1.19/1.26	o 349186
1.19/1.26	c 1.09083 5.22656 331 13466
1.19/1.26	o 349185
1.19/1.26	c 1.09183 5.22656 331 13486
1.19/1.26	o 348996
1.19/1.26	c 1.09383 5.22656 349 13524
1.19/1.26	o 348982
1.19/1.26	c 1.09483 5.22656 351 13547
1.19/1.26	o 348977
1.19/1.27	c 1.09583 5.22656 358 13575
1.19/1.27	o 348972
1.19/1.28	c 1.10483 5.22656 441 13679
1.19/1.28	o 348961
1.29/1.31	c 1.13283 5.22656 281 14019
1.29/1.31	o 348932
1.29/1.32	c 1.14083 5.22656 194 14169
1.29/1.32	o 348928
1.29/1.32	c 1.14183 5.22656 194 14199
1.29/1.32	o 348552
1.29/1.32	c 1.14283 5.22656 195 14232
1.29/1.32	o 348545
1.29/1.33	c 1.15082 5.22656 287 14355
1.29/1.33	o 348384
1.29/1.34	c 1.15182 5.22656 287 14383
1.29/1.34	o 348378
1.29/1.34	c 1.15182 5.22656 288 14411
1.29/1.34	o 348372
1.29/1.34	c 1.15482 5.22656 320 14472
1.29/1.34	o 348368
1.29/1.36	c 1.16982 5.22656 239 14662
1.29/1.36	o 347592
1.39/1.40	c 1.20982 5.22656 212 15161
1.39/1.40	o 347452
1.39/1.40	c 1.21182 5.22656 223 15201
1.39/1.40	o 347450
1.39/1.42	c 1.22881 5.22656 389 15424
1.39/1.42	o 347448
1.49/1.54	c 1.3348 5.35156 315 16628
1.49/1.54	o 347432
1.99/2.02	c 1.75973 5.35156 268 21670
1.99/2.02	o 346932
1.99/2.03	c 1.76773 5.35156 336 21768
1.99/2.03	o 346902
1.99/2.03	c 1.76873 5.35156 348 21812
1.99/2.03	o 346690
1.99/2.03	c 1.76873 5.35156 349 21841
1.99/2.03	o 346689
1.99/2.07	c 1.79873 5.35156 422 22196
1.99/2.07	o 346677
2.09/2.14	c 1.86072 5.35156 216 22981
2.09/2.14	o 346432
2.39/2.49	c 2.15567 5.35156 544 26486
2.39/2.49	o 346431
2.49/2.50	c 2.16467 5.35156 350 26585
2.49/2.50	o 346427
2.49/2.52	c 2.18167 5.35156 293 26789
2.49/2.52	o 346426
2.49/2.57	c 2.21666 5.35156 337 27185
2.49/2.57	o 346420
2.49/2.59	c 2.23966 5.35156 342 27447
2.49/2.59	o 346405
2.59/2.60	c 2.24366 5.35156 372 27496
2.59/2.60	o 346404
2.59/2.60	c 2.24566 5.35156 382 27529
2.59/2.60	o 346383
2.59/2.60	c 2.24666 5.35156 383 27552
2.59/2.60	o 346379
2.59/2.60	c 2.24866 5.35156 398 27588
2.59/2.60	o 346372
2.59/2.60	c 2.24966 5.35156 400 27616
2.59/2.60	o 346356
2.59/2.61	c 2.25466 5.35156 439 27674
2.59/2.61	o 346355
2.59/2.61	c 2.25866 5.35156 247 27723
2.59/2.61	o 346332
2.59/2.63	c 2.27365 5.35156 404 27918
2.59/2.63	o 346297
2.59/2.65	c 2.28565 5.35156 274 28081
2.59/2.65	o 346295
2.59/2.65	c 2.28765 5.35156 285 28113
2.59/2.65	o 346291
2.59/2.65	c 2.28865 5.35156 287 28134
2.59/2.65	o 346290
2.59/2.66	c 2.29065 5.35156 301 28172
2.59/2.66	o 346276
2.79/2.81	c 2.42063 5.35156 344 29648
2.79/2.81	o 346103
2.79/2.81	c 2.42163 5.35156 345 29673
2.79/2.81	o 346097
2.79/2.81	c 2.42363 5.35156 361 29714
2.79/2.81	o 346094
2.79/2.81	c 2.42663 5.35156 380 29758
2.79/2.81	o 346088
2.79/2.82	c 2.43063 5.35156 415 29821
2.79/2.82	o 346081
2.79/2.82	c 2.43263 5.35156 422 29853
2.79/2.82	o 346080
2.79/2.82	c 2.43363 5.35156 216 29882
2.79/2.82	o 346078
2.79/2.82	c 2.43463 5.35156 226 29919
2.79/2.82	o 346077
2.79/2.83	c 2.43563 5.35156 227 29946
2.79/2.83	o 346048
2.79/2.83	c 2.43563 5.35156 228 29974
2.79/2.83	o 346041
2.79/2.83	c 2.44163 5.35156 277 30045
2.79/2.83	o 346040
2.79/2.86	c 2.46362 5.47656 239 30314
2.79/2.86	o 346004
2.79/2.86	c 2.46462 5.47656 240 30340
2.79/2.86	o 345995
2.79/2.89	c 2.49062 5.47656 295 30679
2.79/2.89	o 345987
2.79/2.89	c 2.49262 5.47656 297 30705
2.79/2.89	o 345986
2.79/2.90	c 2.49262 5.47656 298 30729
2.79/2.90	o 345982
2.79/2.90	c 2.49362 5.47656 298 30752
2.79/2.90	o 345980
2.89/2.94	c 2.53561 5.47656 365 31182
2.89/2.94	o 345978
2.89/2.95	c 2.53961 5.47656 392 31232
2.89/2.95	o 345953
2.89/2.95	c 2.54061 5.47656 402 31265
2.89/2.95	o 345924
2.89/2.95	c 2.54161 5.47656 407 31294
2.89/2.95	o 345918
2.89/2.95	c 2.54261 5.47656 412 31321
2.89/2.95	o 345915
2.89/2.95	c 2.54361 5.47656 413 31345
2.89/2.95	o 345906
2.99/3.06	c 2.6406 5.47656 448 32468
2.99/3.06	o 345904
2.99/3.07	c 2.6416 5.47656 232 32500
2.99/3.07	o 345902
2.99/3.07	c 2.6426 5.47656 235 32527
2.99/3.07	o 345896
2.99/3.08	c 2.6566 5.47656 350 32685
2.99/3.08	o 345741
2.99/3.09	c 2.66059 5.47656 371 32733
2.99/3.09	o 345738
2.99/3.09	c 2.66059 5.47656 371 32756
2.99/3.09	o 345735
2.99/3.09	c 2.66359 5.47656 386 32796
2.99/3.09	o 345732
2.99/3.09	c 2.66459 5.47656 386 32819
2.99/3.09	o 345726
2.99/3.09	c 2.66559 5.47656 395 32852
2.99/3.09	o 345725
2.99/3.09	c 2.66559 5.47656 396 32878
2.99/3.09	o 345719
2.99/3.09	c 2.66759 5.47656 403 32906
2.99/3.09	o 345717
3.09/3.10	c 2.67059 5.47656 432 32960
3.09/3.10	o 345710
3.09/3.10	c 2.67159 5.47656 433 32987
3.09/3.10	o 345646
3.09/3.10	c 2.67259 5.47656 434 33016
3.09/3.10	o 345624
3.09/3.10	c 2.67359 5.47656 436 33043
3.09/3.10	o 345623
3.09/3.10	c 2.67459 5.47656 449 33079
3.09/3.10	o 345621
3.09/3.14	c 2.70859 5.47656 497 33461
3.09/3.14	o 345094
3.09/3.14	c 2.70959 5.61719 252 33488
3.09/3.14	o 345090
3.09/3.14	c 2.71159 5.61719 257 33518
3.09/3.14	o 345082
3.09/3.15	c 2.71259 5.61719 268 33552
3.09/3.15	o 345076
3.09/3.15	c 2.71459 5.61719 274 33581
3.09/3.15	o 345072
3.09/3.15	c 2.71559 5.61719 279 33609
3.09/3.15	o 345066
3.09/3.15	c 2.71659 5.61719 280 33632
3.09/3.15	o 345064
3.09/3.15	c 2.71859 5.61719 293 33668
3.09/3.15	o 345040
3.09/3.15	c 2.71859 5.61719 294 33692
3.09/3.15	o 345034
3.09/3.15	c 2.71959 5.61719 295 33716
3.09/3.15	o 345028
3.09/3.16	c 2.72059 5.61719 302 33750
3.09/3.16	o 345014
3.09/3.16	c 2.72159 5.61719 302 33778
3.09/3.16	o 345006
3.09/3.16	c 2.72159 5.61719 302 33804
3.09/3.16	o 344998
3.09/3.16	c 2.72259 5.61719 304 33835
3.09/3.16	o 344976
3.09/3.16	c 2.72758 5.61719 341 33893
3.09/3.16	o 344968
3.09/3.16	c 2.72858 5.61719 345 33916
3.09/3.16	o 344942
3.09/3.17	c 2.73158 5.61719 361 33957
3.09/3.17	o 344937
3.09/3.17	c 2.73858 5.61719 422 34048
3.09/3.17	o 344932
3.09/3.18	c 2.73858 5.61719 424 34077
3.09/3.18	o 344917
3.09/3.18	c 2.73958 5.61719 424 34104
3.09/3.18	o 344913
3.09/3.18	c 2.74058 5.61719 426 34135
3.09/3.18	o 344907
3.39/3.42	c 2.94455 5.61719 481 36564
3.39/3.42	o 344905
3.39/3.44	c 2.96155 5.61719 406 36776
3.39/3.44	o 344901
3.39/3.45	c 2.97755 5.61719 313 36984
3.39/3.45	o 344897
3.69/3.75	c 3.22451 5.61719 722 39867
3.69/3.75	o 344894
3.69/3.75	c 3.22551 5.61719 366 39902
3.69/3.75	o 344892
4.40/4.46	c 3.83842 5.61719 578 46785
4.40/4.46	o 344878
4.40/4.46	c 3.83942 5.61719 293 46817
4.40/4.46	o 344872
4.40/4.46	c 3.84042 5.61719 294 46847
4.40/4.46	o 344871
4.40/4.46	c 3.84042 5.61719 295 46876
4.40/4.46	o 344867
4.40/4.46	c 3.84142 5.61719 296 46906
4.40/4.46	o 344860
4.40/4.46	c 3.84241 5.61719 298 46940
4.40/4.46	o 344842
4.40/4.46	c 3.84341 5.61719 300 46968
4.40/4.46	o 344836
5.49/5.58	c 4.81127 5.61719 9 57842
5.49/5.58	s OPTIMUM FOUND
5.49/5.58	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

Verifier Data 

OK	344836

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669298-1276542754/watcher-2669298-1276542754 -o /tmp/evaluation-result-2669298-1276542754/solver-2669298-1276542754 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669298-1276542754.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.94 1.92 1.62 3/106 28987
/proc/meminfo: memFree=1838696/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=3516 CPUtime=0
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 576 0 0 0 0 0 0 0 22 0 1 0 27927242 3600384 498 1992294400 134512640 136485738 4292609728 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 879 499 197 482 0 395 0

[startup+0.059884 s]
/proc/loadavg: 1.94 1.92 1.62 3/106 28987
/proc/meminfo: memFree=1838696/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5092 CPUtime=0.04
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 998 0 0 0 4 0 0 0 24 0 1 0 27927242 5214208 914 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1273 914 245 482 0 789 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5092

[startup+0.10089 s]
/proc/loadavg: 1.94 1.92 1.62 3/106 28987
/proc/meminfo: memFree=1838696/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5092 CPUtime=0.09
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1011 0 0 0 8 1 0 0 24 0 1 0 27927242 5214208 920 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1273 920 245 482 0 789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5092

[startup+0.300927 s]
/proc/loadavg: 1.94 1.92 1.62 3/106 28987
/proc/meminfo: memFree=1838696/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5092 CPUtime=0.29
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1024 0 0 0 25 4 0 0 25 0 1 0 27927242 5214208 930 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1273 930 245 482 0 789 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5092

[startup+0.701004 s]
/proc/loadavg: 1.94 1.92 1.62 3/106 28987
/proc/meminfo: memFree=1838696/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5220 CPUtime=0.69
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1062 0 0 0 60 9 0 0 25 0 1 0 27927242 5345280 952 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1305 952 245 482 0 821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5220

[startup+1.50114 s]
/proc/loadavg: 1.94 1.92 1.62 2/107 28988
/proc/meminfo: memFree=1835712/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5476 CPUtime=1.49
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1157 0 0 0 129 20 0 0 25 0 1 0 27927242 5607424 1005 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1369 1005 245 482 0 885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5476

[startup+3.10144 s]
/proc/loadavg: 1.94 1.92 1.62 2/107 28988
/proc/meminfo: memFree=1835340/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5604 CPUtime=3.09
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1267 0 0 0 267 42 0 0 25 0 1 0 27927242 5738496 1057 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1401 1057 245 482 0 917 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5604

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

[startup+4.70073 s]
/proc/loadavg: 1.86 1.90 1.61 2/107 28988
/proc/meminfo: memFree=1834968/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5748 CPUtime=4.69
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1347 0 0 0 404 65 0 0 25 0 1 0 27927242 5885952 1099 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1437 1099 245 482 0 953 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 5748

[startup+5.1008 s]
/proc/loadavg: 1.86 1.90 1.61 2/107 28988
/proc/meminfo: memFree=1834968/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5748 CPUtime=5.09
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1348 0 0 0 439 70 0 0 25 0 1 0 27927242 5885952 1100 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1437 1100 245 482 0 953 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 5748

[startup+5.50887 s]
/proc/loadavg: 1.86 1.90 1.61 2/107 28988
/proc/meminfo: memFree=1834844/2059040 swapFree=4140300/4192956
[pid=28987] ppid=28985 vsize=5748 CPUtime=5.49
/proc/28987/stat : 28987 (pbct) R 28985 28987 28399 0 -1 4202496 1349 0 0 0 474 75 0 0 25 0 1 0 27927242 5885952 1101 1992294400 134512640 136485738 4292609728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28987/statm: 1437 1101 245 482 0 953 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 5748

Child status: 0
Real time (s): 5.5909
CPU time (s): 5.58815
CPU user time (s): 4.81727
CPU system time (s): 0.770882
CPU usage (%): 99.9508
Max. virtual memory (cumulated for all children) (KiB): 5748

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

runsolver used 0.018997 second user time and 0.045993 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-14 21:12:34
IDJOB=2669298
IDBENCH=2374
IDSOLVER=1170
FILE ID=node027/2669298-1276542754
PBS_JOBID= 11173463
Free space on /tmp= 62480 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669298-1276542754/watcher-2669298-1276542754 -o /tmp/evaluation-result-2669298-1276542754/solver-2669298-1276542754 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2669298-1276542754.opb

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

MD5SUM BENCH= d9b1bd39de70fdcf73e5c42a9dd94c9e
RANDOM SEED=1422139435

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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:       1839224 kB
Buffers:         30088 kB
Cached:         109400 kB
SwapCached:       5712 kB
Active:          80012 kB
Inactive:        72340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1839224 kB
SwapTotal:     4192956 kB
SwapFree:      4140300 kB
Dirty:            2092 kB
Writeback:           0 kB
AnonPages:       11420 kB
Mapped:          13052 kB
Slab:            45584 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182688 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node027 at 2010-06-14 21:12:40