Trace number 41544

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
PBS 4.1L? (TO) 1800.72 1801.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM38a2c469f9dc1120b8fe634a693ac03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10829
Best CPU time to get the best result obtained on this benchmark1801.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10829
Optimality of the best value was proved NO
Number of variables548
Total number of constraints166
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints126
Minimum length of a constraint2
Maximum length of a constraint143
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb ......
0.31	c done parsing opb.
0.31	o 66001
0.31	o 60158
0.31	o 60126
0.31	o 59940
0.31	o 56367
0.32	o 56362
0.32	o 50963
0.32	o 50886
0.32	o 50830
0.32	o 50825
0.32	o 44992
0.32	o 44991
0.33	o 44988
0.33	o 44984
0.33	o 42943
0.33	o 42938
0.33	o 42893
0.34	o 42837
0.34	o 42836
0.34	o 42829
0.34	o 42820
0.34	o 42819
0.54	o 42818
0.89	o 42815
0.89	o 42811
1.02	o 42807
1.02	o 42768
1.02	o 42755
1.02	o 40353
1.02	o 40352
1.02	o 40019
1.03	o 40015
1.03	o 38896
1.03	o 38451
1.03	o 38449
1.03	o 38447
1.03	o 38438
1.03	o 38436
1.03	o 38434
1.03	o 38429
1.04	o 38426
1.04	o 38411
1.04	o 38400
1.04	o 38395
1.04	o 38393
1.04	o 38386
1.04	o 38375
1.04	o 38371
1.04	o 38368
1.04	o 38365
1.04	o 38247
1.04	o 38245
1.04	o 38234
1.05	o 38230
1.05	o 38229
1.05	o 38216
1.05	o 38198
1.05	o 38196
1.05	o 38189
1.05	o 38188
1.05	o 38180
1.05	o 38174
1.05	o 38169
1.05	o 38165
1.05	o 38103
1.05	o 38099
1.06	o 38097
1.06	o 38091
1.06	o 38088
1.06	o 38076
1.06	o 38069
1.06	o 38055
1.06	o 38050
1.06	o 38040
1.06	o 38032
1.06	o 38029
1.06	o 38027
1.06	o 38015
1.06	o 38005
1.07	o 37999
1.07	o 37994
1.07	o 37992
1.07	o 37985
1.11	o 37977
1.16	o 37974
1.16	o 37973
1.16	o 37972
1.16	o 37970
1.17	o 37965
1.17	o 37960
1.17	o 37956
1.17	o 37955
1.17	o 37954
1.17	o 37950
1.17	o 37946
1.17	o 37943
1.17	o 37940
1.17	o 37936
1.17	o 37935
1.17	o 37934
1.17	o 37932
1.17	o 37929
1.18	o 37928
1.18	o 37927
1.18	o 37926
1.18	o 37921
1.18	o 37920
1.18	o 37916
1.18	o 37914
1.18	o 37912
1.18	o 37910
1.18	o 37907
1.18	o 37902
1.18	o 37898
1.18	o 37896
1.18	o 37891
1.18	o 37886
1.19	o 37884
1.19	o 37881
1.19	o 37878
1.19	o 37874
1.19	o 37872
1.19	o 37868
1.19	o 37865
1.19	o 37863
1.19	o 37860
1.19	o 37858
1.19	o 37857
1.19	o 37854
1.19	o 37853
1.19	o 37851
1.19	o 37848
1.20	o 37847
1.20	o 37843
1.20	o 37838
1.20	o 37833
1.20	o 37832
1.20	o 37831
1.20	o 37829
1.20	o 37828
1.20	o 37826
1.20	o 37824
1.20	o 37823
1.20	o 37820
1.20	o 37816
1.20	o 37815
1.21	o 37812
1.21	o 37810
1.21	o 37805
1.21	o 37800
1.21	o 37799
1.21	o 37798
1.21	o 37795
1.21	o 37794
1.21	o 37789
1.21	o 37787
1.21	o 37786
1.21	o 37785
1.21	o 37784
1.21	o 37781
1.21	o 37780
1.22	o 37779
1.22	o 37775
1.22	o 37770
1.22	o 37768
1.22	o 37764
1.22	o 37762
1.22	o 37758
1.22	o 37753
1.22	o 37751
1.22	o 37749
1.23	o 37745
1.23	o 37744
1.23	o 37743
1.23	o 37742
1.23	o 37737
1.23	o 37736
1.23	o 37734
1.23	o 37730
1.23	o 37728
1.23	o 37724
1.23	o 37723
1.23	o 37722
1.23	o 37718
1.24	o 37713
1.24	o 37709
1.24	o 37704
1.24	o 37703
1.24	o 37701
1.24	o 37699
1.24	o 37698
1.24	o 37695
1.24	o 37692
1.24	o 37687
1.24	o 37686
1.24	o 37684
1.24	o 37679
1.25	o 37677
1.25	o 37672
1.25	o 37671
1.25	o 37662
1.25	o 37660
1.25	o 37656
1.25	o 37655
1.25	o 37654
1.25	o 37648
1.25	o 37647
1.25	o 37642
1.25	o 37639
1.25	o 37636
1.26	o 37631
1.26	o 37628
1.26	o 37625
1.26	o 37624
1.26	o 37622
1.26	o 37620
1.26	o 37616
1.26	o 37613
1.26	o 37611
1.26	o 37607
1.26	o 37603
1.26	o 37598
1.26	o 37596
1.27	o 37593
1.27	o 37591
1.27	o 37588
1.27	o 37585
1.27	o 37581
1.27	o 37577
1.27	o 37572
1.27	o 37566
1.27	o 37565
1.27	o 37563
1.27	o 37561
1.27	o 37559
1.27	o 37556
1.28	o 37551
1.28	o 37550
1.28	o 37545
1.28	o 37542
1.28	o 37540
1.28	o 37535
1.28	o 37534
1.28	o 37530
1.28	o 37528
1.28	o 37525
1.28	o 37524
1.28	o 37523
1.28	o 37522
1.28	o 37520
1.29	o 37519
1.29	o 37515
1.29	o 37514
1.29	o 37512
1.29	o 37508
1.29	o 37505
1.29	o 37502
1.29	o 37497
1.29	o 37496
1.29	o 37494
1.29	o 37493
1.29	o 37489
1.29	o 37487
1.29	o 37485
1.30	o 37484
1.30	o 37483
1.30	o 37478
1.30	o 37477
1.30	o 37474
1.30	o 37469
1.30	o 37464
1.30	o 37461
1.30	o 37460
1.30	o 37456
1.30	o 37451
1.30	o 37448
1.30	o 37447
1.30	o 37446
1.31	o 37442
1.31	o 37441
1.31	o 37440
1.31	o 37437
1.31	o 37436
1.31	o 37433
1.31	o 37432
1.31	o 37430
1.31	o 37429
1.31	o 37428
1.31	o 37425
1.31	o 37417
1.32	o 37416
1.32	o 37413
1.32	o 37411
1.32	o 37406
1.32	o 37400
1.32	o 37397
1.32	o 37396
1.32	o 37393
1.32	o 37389
1.32	o 37388
1.32	o 37385
1.32	o 37381
1.32	o 37377
1.33	o 37372
1.33	o 37368
1.33	o 37366
1.33	o 37364
1.33	o 37361
1.33	o 37357
1.33	o 37353
1.33	o 37352
1.36	o 37351
1.52	o 37346
1.70	o 37343
1.92	o 37338
1.92	o 37333
1.92	o 37328
1.92	o 37322
1.92	o 37318
1.93	o 37315
1.93	o 37313
1.93	o 37307
1.93	o 37304
1.93	o 37302
1.93	o 37296
1.93	o 37291
1.93	o 37287
1.93	o 37285
1.93	o 37279
1.93	o 37273
1.93	o 37270
1.93	o 37264
1.93	o 37260
1.94	o 37258
1.94	o 37252
1.94	o 37248
1.94	o 37242
1.94	o 37237
1.94	o 37233
1.94	o 37231
1.94	o 37229
1.94	o 37227
1.94	o 37225
1.94	o 37223
1.94	o 37221
1.94	o 37219
1.94	o 37215
1.94	o 37213
1.95	o 37211
1.95	o 37207
1.95	o 37204
1.95	o 37202
1.95	o 37198
1.95	o 37194
1.95	o 37193
1.95	o 37188
1.95	o 37183
1.95	o 37178
1.95	o 37176
1.95	o 37175
1.95	o 37173
1.95	o 37167
1.96	o 37165
1.96	o 37161
1.96	o 37159
1.96	o 37155
1.96	o 37150
1.96	o 37149
1.96	o 37144
1.96	o 37143
1.96	o 37138
1.96	o 37136
1.96	o 37135
1.96	o 37133
1.96	o 37132
1.96	o 37130
1.97	o 37129
1.97	o 37124
1.97	o 37120
1.97	o 37118
1.97	o 37116
1.97	o 37112
1.97	o 37111
1.97	o 37106
1.97	o 37101
1.97	o 37097
1.97	o 37092
1.97	o 37089
1.97	o 37086
1.97	o 37081
1.97	o 37080
1.98	o 37075
1.98	o 37072
1.98	o 37071
1.98	o 37069
1.98	o 37068
1.98	o 37066
1.98	o 37062
1.98	o 37060
1.98	o 37059
1.98	o 37055
1.98	o 37054
1.98	o 37053
1.98	o 37050
1.98	o 37048
1.99	o 37043
1.99	o 37042
1.99	o 37039
1.99	o 37037
1.99	o 37036
1.99	o 37031
1.99	o 37029
1.99	o 37028
1.99	o 37023
1.99	o 37021
1.99	o 37017
1.99	o 37016
1.99	o 37011
1.99	o 37006
1.99	o 37005
2.00	o 37004
2.00	o 37002
2.00	o 37000
2.00	o 36999
2.00	o 36994
2.00	o 36992
2.00	o 36991
2.00	o 36986
2.00	o 36985
2.00	o 36980
2.00	o 36979
2.00	o 36976
2.00	o 36974
2.00	o 36973
2.01	o 36968
2.01	o 36967
2.01	o 36962
2.01	o 36958
2.01	o 36954
2.01	o 36950
2.01	o 36947
2.01	o 36944
2.01	o 36941
2.01	o 36937
2.01	o 36936
2.01	o 36934
2.01	o 36930
2.01	o 36928
2.01	o 36925
2.02	o 36924
2.02	o 36923
2.02	o 36922
2.02	o 36919
2.02	o 36918
2.02	o 36917
2.02	o 36916
2.02	o 36914
2.02	o 36910
2.02	o 36907
2.02	o 36905
2.02	o 36901
2.02	o 36900
2.02	o 36898
2.02	o 36896
2.03	o 36894
2.03	o 36893
2.03	o 36888
2.03	o 36879
2.03	o 36875
2.03	o 36871
2.03	o 36868
2.03	o 36866
2.03	o 36862
2.03	o 36860
2.03	o 36859
2.03	o 36858
2.03	o 36855
2.03	o 36854
2.04	o 36853
2.04	o 36852
2.04	o 36847
2.04	o 36846
2.04	o 36844
2.04	o 36841
2.04	o 36839
2.04	o 36837
2.04	o 36834
2.04	o 36830
2.04	o 36825
2.04	o 36820
2.04	o 36819
2.04	o 36818
2.04	o 36815
2.05	o 36812
2.05	o 36810
2.05	o 36809
2.05	o 36806
2.05	o 36804
2.05	o 36801
2.05	o 36800
2.05	o 36795
2.05	o 36791
2.05	o 36790
2.05	o 36786
2.05	o 36785
2.05	o 36780
2.05	o 36777
2.06	o 36772
2.06	o 36771
2.06	o 36767
2.06	o 36763
2.06	o 36759
2.06	o 36758
2.06	o 36752
2.06	o 36747
2.06	o 36744
2.06	o 36739
2.06	o 36736
2.06	o 36732
2.06	o 36731
2.06	o 36727
2.07	o 36723
2.07	o 36721
2.07	o 36720
2.07	o 36716
2.07	o 36713
2.07	o 36710
2.07	o 36706
2.07	o 36703
2.07	o 36698
2.07	o 36694
2.07	o 36692
2.07	o 36689
2.07	o 36688
2.07	o 36683
2.08	o 36679
2.08	o 36675
2.08	o 36669
2.08	o 36668
2.08	o 36664
2.08	o 36661
2.08	o 36658
2.08	o 36652
2.08	o 36649
2.08	o 36646
2.08	o 36644
2.08	o 36641
2.08	o 36638
2.08	o 36635
2.09	o 36633
2.09	o 36632
2.09	o 36628
2.09	o 36623
2.09	o 36620
2.09	o 36618
2.09	o 36615
2.09	o 36611
2.09	o 36606
2.09	o 36604
2.09	o 36603
2.09	o 36598
2.09	o 36594
2.09	o 36593
2.09	o 36587
2.10	o 36581
2.10	o 36579
2.10	o 36576
2.10	o 36572
2.10	o 36571
2.10	o 36570
2.10	o 36565
2.10	o 36563
2.10	o 36561
2.10	o 36557
2.10	o 36553
2.10	o 36548
2.10	o 36544
2.10	o 36543
2.11	o 36541
2.11	o 36537
2.11	o 36536
2.11	o 36534
2.11	o 36533
2.11	o 36530
2.11	o 36528
2.11	o 36527
2.11	o 36526
2.11	o 36523
2.11	o 36521
2.11	o 36516
2.11	o 36515
2.11	o 36512
2.12	o 36508
2.12	o 36505
2.12	o 36501
2.12	o 36497
2.12	o 36496
2.12	o 36495
2.12	o 36491
2.12	o 36490
2.12	o 36487
2.13	o 36486
2.16	o 36485
2.24	o 36480
2.24	o 36477
2.25	o 36475
2.25	o 36474
2.25	o 36473
2.25	o 36470
2.26	o 36466
2.26	o 36465
2.26	o 36462
2.26	o 36460
2.26	o 36458
2.26	o 36456
2.26	o 36455
2.26	o 36454
2.26	o 36449
2.26	o 36447
2.26	o 36446
2.27	o 36441
2.27	o 36440
2.27	o 36435
2.27	o 36430
2.27	o 36428
2.27	o 36427
2.27	o 36422
2.27	o 36417
2.27	o 36415
2.27	o 36414
2.27	o 36413
2.27	o 36408
2.27	o 36407
2.27	o 36402
2.27	o 36400
2.28	o 36398
2.28	o 36392
2.28	o 36386
2.28	o 36384
2.28	o 36383
2.28	o 36378
2.28	o 36377
2.28	o 36376
2.28	o 36373
2.28	o 36372
2.28	o 36367
2.28	o 36363
2.28	o 36361
2.28	o 36360
2.28	o 36355
2.28	o 36352
2.29	o 36348
2.29	o 36345
2.29	o 36344
2.29	o 36342
2.29	o 36341
2.29	o 36336
2.29	o 36331
2.29	o 36330
2.29	o 36329
2.29	o 36327
2.29	o 36322
2.29	o 36319
2.29	o 36314
2.29	o 36313
2.30	o 36308
2.30	o 36303
2.30	o 36302
2.30	o 36301
2.30	o 36300
2.30	o 36299
2.30	o 36297
2.30	o 36295
2.30	o 36293
2.30	o 36292
2.30	o 36291
2.30	o 36289
2.30	o 36285
2.30	o 36281
2.30	o 36278
2.31	o 36274
2.31	o 36272
2.31	o 36268
2.31	o 36265
2.31	o 36263
2.31	o 36259
2.31	o 36254
2.31	o 36253
2.31	o 36248
2.31	o 36247
2.31	o 36245
2.31	o 36243
2.31	o 36240
2.31	o 36235
2.31	o 36232
2.32	o 36231
2.32	o 36226
2.32	o 36222
2.32	o 36217
2.32	o 36213
2.32	o 36211
2.32	o 36206
2.32	o 36203
2.32	o 36202
2.32	o 36197
2.32	o 36195
2.32	o 36193
2.32	o 36192
2.32	o 36187
2.33	o 36182
2.33	o 36180
2.33	o 36178
2.33	o 36176
2.33	o 36171
2.33	o 36170
2.33	o 36167
2.33	o 36165
2.33	o 36162
2.34	o 36160
2.34	o 36156
2.34	o 36154
2.34	o 36151
2.34	o 36148
2.34	o 36145
2.34	o 36141
2.34	o 36138
2.34	o 36135
2.35	o 36131
2.35	o 36126
2.35	o 36121
2.35	o 36120
2.35	o 36115
2.35	o 36112
2.35	o 36107
2.35	o 36103
2.35	o 36101
2.35	o 36098
2.35	o 36097
2.35	o 36092
2.35	o 36090
2.36	o 36088
2.36	o 36083
2.36	o 36082
2.36	o 36081
2.36	o 36078
2.36	o 36077
2.36	o 36075
2.36	o 36073
2.36	o 36069
2.36	o 36068
2.36	o 36067
2.36	o 36065
2.37	o 36063
2.37	o 36059
2.37	o 36057
2.37	o 36056
2.37	o 36055
2.37	o 36051
2.37	o 36048
2.37	o 36047
2.37	o 36046
2.37	o 36045
2.37	o 36044
2.37	o 36041
2.37	o 36039
2.38	o 36036
2.38	o 36035
2.38	o 36030
2.38	o 36028
2.38	o 36026
2.38	o 36024
2.38	o 36022
2.38	o 36019
2.38	o 36015
2.38	o 36012
2.38	o 36011
2.38	o 36009
2.38	o 36008
2.39	o 36007
2.39	o 36003
2.39	o 36001
2.39	o 36000
2.39	o 35995
2.39	o 35992
2.39	o 35987
2.39	o 35985
2.39	o 35982
2.39	o 35978
2.39	o 35977
2.40	o 35975
2.44	o 35972
2.68	o 35968
2.68	o 35964
2.69	o 35958
2.69	o 35953
2.69	o 35950
2.69	o 35946
2.69	o 35942
2.69	o 35941
2.69	o 35936
2.70	o 35931
2.70	o 35930
2.70	o 35929
2.70	o 35923
2.70	o 35919
2.70	o 35918
2.70	o 35916
2.70	o 35912
2.70	o 35911
2.70	o 35908
2.70	o 35906
2.70	o 35902
2.70	o 35899
2.70	o 35898
2.70	o 35897
2.71	o 35895
2.71	o 35892
2.71	o 35889
2.71	o 35885
2.71	o 35881
2.71	o 35878
2.71	o 35877
2.71	o 35876
2.71	o 35871
2.71	o 35870
2.71	o 35866
2.71	o 35861
2.71	o 35860
2.71	o 35859
2.71	o 35854
2.71	o 35849
2.72	o 35847
2.72	o 35846
2.72	o 35841
2.72	o 35837
2.72	o 35836
2.72	o 35831
2.72	o 35828
2.72	o 35827
2.72	o 35826
2.72	o 35821
2.72	o 35817
2.72	o 35813
2.72	o 35811
2.72	o 35807
2.72	o 35805
2.72	o 35803
2.73	o 35802
2.73	o 35797
2.73	o 35794
2.73	o 35790
2.73	o 35789
2.73	o 35784
2.73	o 35780
2.73	o 35776
2.73	o 35775
2.73	o 35773
2.73	o 35770
2.73	o 35769
2.73	o 35764
2.73	o 35762
2.73	o 35760
2.74	o 35758
2.74	o 35753
2.74	o 35752
2.74	o 35751
2.74	o 35747
2.74	o 35746
2.74	o 35742
2.74	o 35738
2.74	o 35732
2.74	o 35729
2.74	o 35724
2.74	o 35723
2.74	o 35719
2.74	o 35716
2.74	o 35712
2.74	o 35708
2.75	o 35704
2.75	o 35703
2.75	o 35702
2.75	o 35699
2.75	o 35694
2.75	o 35691
2.75	o 35689
2.75	o 35684
2.75	o 35681
2.75	o 35679
2.75	o 35677
2.75	o 35676
2.75	o 35671
2.75	o 35668
2.75	o 35664
2.75	o 35663
2.75	o 35658
2.76	o 35653
2.76	o 35650
2.76	o 35649
2.76	o 35645
2.76	o 35639
2.76	o 35636
2.76	o 35632
2.76	o 35631
2.76	o 35630
2.76	o 35627
2.76	o 35624
2.76	o 35621
2.76	o 35618
2.76	o 35616
2.76	o 35611
2.76	o 35608
2.77	o 35604
2.77	o 35601
2.77	o 35599
2.77	o 35596
2.78	o 35593
2.78	o 35591
2.78	o 35587
2.78	o 35583
2.78	o 35579
2.78	o 35575
2.78	o 35571
2.78	o 35567
2.78	o 35565
2.78	o 35561
2.78	o 35560
2.78	o 35557
2.79	o 35553
2.79	o 35547
2.79	o 35545
2.79	o 35540
2.79	o 35535
3.00	o 35534
3.63	o 35530
3.77	o 35529
5.59	o 35527
5.68	o 35523
6.32	o 35522
6.57	o 35521
6.65	o 35520
6.93	o 35519
7.02	o 35516
7.31	o 35508
7.63	o 35505
7.83	o 35503
8.06	o 35502
9.18	o 35500
9.52	o 35496
14.07	o 35492
16.99	o 35488
19.64	o 35485
19.77	o 35483
20.32	o 35482
24.08	o 35481
29.58	o 35479
30.23	o 35474
38.40	o 35473
38.85	o 35469
43.45	o 35468
44.48	o 35467
44.89	o 35463
45.84	o 35459
46.97	o 35457
49.57	o 35453
50.78	o 35452
50.93	o 35451
51.07	o 35449
53.20	o 35448
53.57	o 35444
57.38	o 35439
57.86	o 35437
57.92	o 35436
60.95	o 35435
62.04	o 35430
62.19	o 35426
63.39	o 35424
63.53	o 35421
63.58	o 35420
63.63	o 35419
63.65	o 35415
63.72	o 35410
68.05	o 35407
68.70	o 35390
69.25	o 35389
70.58	o 35388
72.48	o 35378
72.66	o 35373
73.10	o 35371
73.54	o 35366
74.15	o 35365
76.57	o 35360
80.38	o 35359
81.65	o 35358
84.01	o 35357
84.31	o 35355
84.98	o 35353
86.76	o 35350
88.77	o 35347
88.86	o 35345
89.43	o 35343
89.64	o 35341
105.40	o 35340
117.25	o 35339
119.54	o 35334
120.32	o 35329
120.42	o 35322
122.40	o 35318
124.48	o 35314
124.64	o 35312
125.85	o 35310
126.48	o 35307
126.65	o 35303
126.87	o 35300
127.66	o 35296
127.83	o 35295
128.32	o 35292
128.62	o 35288
129.71	o 34784
130.00	o 34782
138.83	o 34777
147.50	o 34773
149.59	o 34771
150.36	o 34770
150.60	o 34767
151.28	o 34764
151.99	o 34762
152.13	o 34761
153.39	o 34757
160.83	o 34752
162.27	o 34749
162.36	o 34746
164.49	o 34744
164.86	o 34739
181.54	o 34735
183.22	o 34731
187.01	o 34729
187.47	o 34727
201.65	o 34726
203.21	o 34725
208.68	o 34722
210.14	o 34720
219.19	o 34717
228.73	o 34714
243.87	o 34713
248.72	o 34712
251.27	o 34711
259.03	o 34707
261.14	o 34706
263.84	o 34704
265.16	o 34702
266.52	o 34701
267.22	o 34699
268.91	o 34695
272.55	o 34690
275.26	o 34686
278.44	o 34681
285.30	o 34679
290.67	o 34677
302.39	o 34676
313.84	o 34674
315.80	o 34673
320.71	o 34670
321.92	o 34669
323.48	o 34668
323.84	o 34655
325.93	o 34654
326.93	o 34651
327.45	o 34648
329.01	o 34644
352.32	o 34640
373.21	o 34635
381.55	o 34630
386.62	o 34629
392.81	o 34627
394.23	o 34623
400.69	o 34621
405.52	o 34616
406.07	o 34614
409.33	o 34613
409.48	o 34611
410.49	o 34608
410.80	o 34605
413.91	o 34600
417.64	o 34597
422.03	o 34596
429.16	o 34592
433.20	o 34590
442.56	o 34585
442.91	o 34583
446.47	o 34581
446.97	o 34576
449.82	o 34573
450.42	o 34568
457.61	o 34566
470.00	o 34563
474.23	o 34562
476.68	o 34558
477.85	o 34555
479.93	o 34554
482.52	o 34549
483.47	o 34548
485.41	o 34544
485.63	o 34542
486.07	o 34539
487.49	o 34535
505.14	o 34530
505.53	o 34527
525.64	o 34525
529.60	o 34521
532.59	o 34520
532.81	o 34519
535.35	o 34514
535.99	o 34509
536.73	o 34508
547.22	o 34503
564.46	o 34500
567.56	o 34498
572.17	o 34496
572.39	o 34493
577.98	o 34491
585.44	o 34490
589.46	o 34486
590.72	o 34481
593.75	o 34477
596.12	o 34474
599.65	o 34471
628.29	o 34468
631.38	o 34463
631.56	o 34462
634.47	o 34460
635.22	o 34457
640.31	o 34455
643.83	o 34454
650.01	o 34453
650.90	o 34452
652.49	o 34448
657.61	o 34446
664.09	o 34443
670.37	o 34442
672.40	o 34440
672.91	o 34439
675.77	o 34437
679.06	o 34436
679.32	o 34431
680.20	o 34428
680.80	o 34425
685.09	o 34422
687.12	o 34421
692.89	o 34420
693.02	o 34417
693.33	o 34415
693.76	o 34412
695.83	o 34411
698.45	o 34409
699.38	o 34406
704.80	o 34404
707.77	o 34399
709.48	o 34398
715.92	o 34397
719.31	o 34394
725.08	o 34391
750.80	o 34389
753.76	o 34385
764.63	o 34384
767.10	o 34381
808.83	o 34380
840.12	o 34375
842.16	o 34372
844.02	o 34365
858.90	o 34364
861.22	o 34363
866.10	o 34361
869.36	o 34359
870.99	o 34357
872.37	o 34355
879.17	o 34351
882.81	o 34350
883.68	o 34342
884.13	o 34338
898.94	o 34335
900.71	o 34332
904.18	o 34329
906.94	o 34324
920.55	o 34321
1014.55	o 34319
1025.16	o 34316
1026.23	o 34312
1042.77	o 34309
1070.61	o 34307
1096.47	o 34303
1097.58	o 34301
1111.16	o 34300
1131.90	o 34299
1136.61	o 34298
1137.90	o 34294
1142.16	o 34292
1146.29	o 34288
1147.89	o 34287
1148.27	o 34285
1190.59	o 34282
1204.67	o 34277
1206.78	o 34276
1231.61	o 34273
1294.18	o 34269
1297.66	o 34265
1304.25	o 34264
1307.68	o 34263
1340.63	o 34258
1348.49	o 34256
1361.05	o 34255
1392.70	o 34251
1454.50	o 34248
1468.50	o 34247
1468.81	o 34246
1469.06	o 34242
1485.49	o 34237
1565.56	o 34235
1598.93	o 34230
1621.20	o 34228
1622.42	o 34224
1624.77	o 34223
1630.37	o 34219
1635.63	o 34218
1635.76	o 34214
1637.60	o 34213
1640.95	o 34211
1641.88	o 34210
1647.13	o 34208
1647.22	o 34207
1647.28	o 34203
1648.47	o 34199
1652.68	o 34197
1652.79	o 34196
1664.15	o 34194
1668.01	o 34191
1669.92	o 34190
1673.36	o 34186
1680.07	o 34184
1720.52	o 34183
1739.30	o 34181
1749.37	o 34180
1786.55	o 34178
1799.81	o 34175

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node71/watcher-41544-1149369142 -o ROOT/results/node71/solver-41544-1149369142 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb 718486201 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1437856/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=1400 CPUtime=0
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 202583852 1433600 141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 350 141 97 232 0 115 0

[startup+10.0026 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1424568/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=19920 CPUtime=9.97
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 3585 0 0 0 980 17 0 0 25 0 1 0 202583852 20398080 3414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 4980 3414 108 232 0 4745 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 19920

[startup+20.009 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1422072/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=21360 CPUtime=19.97
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 4406 0 0 0 1977 20 0 0 25 0 1 0 202583852 21872640 4042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 5340 4042 108 232 0 5105 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 21360

[startup+30.0154 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1421496/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=21652 CPUtime=29.98
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 4540 0 0 0 2975 23 0 0 25 0 1 0 202583852 22171648 4176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 5413 4176 108 232 0 5178 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 21652

[startup+40.0218 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1419448/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=22092 CPUtime=39.98
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 5050 0 0 0 3972 26 0 0 25 0 1 0 202583852 22622208 4686 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 5523 4686 108 232 0 5288 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 22092

[startup+50.0299 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1417976/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=24100 CPUtime=49.99
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 5777 0 0 0 4969 30 0 0 25 0 1 0 202583852 24678400 5028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6025 5028 108 232 0 5790 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 24100

[startup+60.0366 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1417272/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=24456 CPUtime=59.99
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 5986 0 0 0 5965 34 0 0 25 0 1 0 202583852 25042944 5237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6114 5237 108 232 0 5879 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 24456

[startup+70.0439 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1416760/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=24688 CPUtime=70
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6108 0 0 0 6962 38 0 0 25 0 1 0 202583852 25280512 5359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552196 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6172 5359 108 232 0 5937 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 24688

[startup+80.0503 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1416312/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=24984 CPUtime=80
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6219 0 0 0 7958 42 0 0 25 0 1 0 202583852 25583616 5470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6246 5470 108 232 0 6011 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 24984

[startup+90.0567 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1415864/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=25252 CPUtime=90
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6330 0 0 0 8955 45 0 0 25 0 1 0 202583852 25858048 5581 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6313 5581 108 232 0 6078 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 25252

[startup+100.063 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1415544/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=25396 CPUtime=100.01
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6409 0 0 0 9953 48 0 0 25 0 1 0 202583852 26005504 5660 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6349 5660 108 232 0 6114 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 25396

[startup+110.069 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1415096/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=25548 CPUtime=110.01
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6514 0 0 0 10951 50 0 0 25 0 1 0 202583852 26161152 5765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6387 5765 108 232 0 6152 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 25548

[startup+120.076 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1414008/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=25688 CPUtime=120.01
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6790 0 0 0 11949 52 0 0 25 0 1 0 202583852 26304512 6041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 6422 6041 108 232 0 6187 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 25688

[startup+130.082 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1412792/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=45476 CPUtime=130.02
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 7871 0 0 0 12946 56 0 0 25 0 1 0 202583852 46567424 6353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11369 6353 108 232 0 11134 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 45476

[startup+140.089 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1410616/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=45656 CPUtime=140.02
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8412 0 0 0 13943 59 0 0 25 0 1 0 202583852 46751744 6894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11414 6894 108 232 0 11179 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 45656

[startup+150.095 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1410232/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=46000 CPUtime=150.03
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8513 0 0 0 14942 61 0 0 25 0 1 0 202583852 47104000 6995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11500 6995 108 232 0 11265 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 46000

[startup+160.101 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1409976/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=46000 CPUtime=160.03
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8576 0 0 0 15939 64 0 0 25 0 1 0 202583852 47104000 7058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11500 7058 108 232 0 11265 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 46000

[startup+170.108 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1409592/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=46204 CPUtime=170.03
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8663 0 0 0 16938 65 0 0 25 0 1 0 202583852 47312896 7145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11551 7145 108 232 0 11316 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 46204

[startup+180.114 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1409336/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=46420 CPUtime=180.04
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8735 0 0 0 17936 68 0 0 25 0 1 0 202583852 47534080 7217 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11605 7217 108 232 0 11370 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 46420

[startup+190.121 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1408952/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=46652 CPUtime=190.04
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8828 0 0 0 18934 70 0 0 25 0 1 0 202583852 47771648 7310 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11663 7310 108 232 0 11428 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 46652

[startup+200.127 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1408760/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=46792 CPUtime=200.04
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8878 0 0 0 19932 72 0 0 25 0 1 0 202583852 47915008 7360 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 11698 7360 108 232 0 11463 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 46792

[startup+210.133 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21277
/proc/meminfo: memFree=1408440/2055920 swapFree=4182212/4192956

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

/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23204 0 0 0 177876 285 0 0 25 0 1 0 202583852 82825216 17076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17076 108 232 0 19986 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 80884

[startup+1783.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369592/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1782.61
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23205 0 0 0 177976 285 0 0 25 0 1 0 202583852 82825216 17077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17077 108 232 0 19986 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 80884

[startup+1784.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369592/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1783.61
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23207 0 0 0 178076 285 0 0 25 0 1 0 202583852 82825216 17079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17079 108 232 0 19986 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 80884

[startup+1785.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369592/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1784.62
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23209 0 0 0 178177 285 0 0 25 0 1 0 202583852 82825216 17081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17081 108 232 0 19986 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 80884

[startup+1786.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369528/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1785.62
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23222 0 0 0 178277 285 0 0 25 0 1 0 202583852 82825216 17094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17094 108 232 0 19986 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 80884

[startup+1787.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369528/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1786.62
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23224 0 0 0 178377 285 0 0 25 0 1 0 202583852 82825216 17096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17096 108 232 0 19986 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 80884

[startup+1788.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369464/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1787.63
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23232 0 0 0 178477 286 0 0 25 0 1 0 202583852 82825216 17104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17104 108 232 0 19986 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 80884

[startup+1789.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369464/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1788.64
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23233 0 0 0 178578 286 0 0 25 0 1 0 202583852 82825216 17105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17105 108 232 0 19986 0
Current children cumulated CPU time (s) 1788.64
Current children cumulated vsize (Kb) 80884

[startup+1790.19 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369464/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1789.64
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23235 0 0 0 178678 286 0 0 25 0 1 0 202583852 82825216 17107 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17107 108 232 0 19986 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 80884

[startup+1791.19 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1790.65
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23241 0 0 0 178779 286 0 0 25 0 1 0 202583852 82825216 17113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17113 108 232 0 19986 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (Kb) 80884

[startup+1792.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1791.65
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23242 0 0 0 178879 286 0 0 25 0 1 0 202583852 82825216 17114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17114 108 232 0 19986 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 80884

[startup+1793.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1792.66
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23244 0 0 0 178980 286 0 0 25 0 1 0 202583852 82825216 17116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17116 108 232 0 19986 0
Current children cumulated CPU time (s) 1792.66
Current children cumulated vsize (Kb) 80884

[startup+1794.21 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1793.66
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23245 0 0 0 179080 286 0 0 25 0 1 0 202583852 82825216 17117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17117 108 232 0 19986 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 80884

[startup+1795.21 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1794.67
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23247 0 0 0 179181 286 0 0 25 0 1 0 202583852 82825216 17119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17119 108 232 0 19986 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (Kb) 80884

[startup+1796.22 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1795.67
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23248 0 0 0 179281 286 0 0 25 0 1 0 202583852 82825216 17120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17120 108 232 0 19986 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 80884

[startup+1797.22 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1796.68
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23256 0 0 0 179382 286 0 0 25 0 1 0 202583852 82825216 17128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17128 108 232 0 19986 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (Kb) 80884

[startup+1798.23 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1797.68
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23257 0 0 0 179482 286 0 0 25 0 1 0 202583852 82825216 17129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17129 108 232 0 19986 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 80884

[startup+1799.23 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1798.68
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23269 0 0 0 179582 286 0 0 25 0 1 0 202583852 82825216 17141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17141 108 232 0 19986 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 80884

[startup+1800.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1799.69
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23271 0 0 0 179683 286 0 0 25 0 1 0 202583852 82825216 17143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17143 108 232 0 19986 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (Kb) 80884

[startup+1801.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369272/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1800.69
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23273 0 0 0 179783 286 0 0 25 0 1 0 202583852 82825216 17145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17145 108 232 0 19986 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 80884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 21279
/proc/meminfo: memFree=1369272/2055920 swapFree=4182212/4192956
[pid=21277] ppid=21275 vsize=80884 CPUtime=1800.7
/proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23273 0 0 0 179784 286 0 0 25 0 1 0 202583852 82825216 17145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21277/statm: 20221 17145 108 232 0 19986 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 80884

Sending SIGTERM to -21277
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.28
CPU time (s): 1800.72
CPU user time (s): 1797.84
CPU system time (s): 2.87456
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (Kb): 80884
The end

Launcher Data (download as text)

Begin job on node71 on Sat Jun  3 21:12:22 UTC 2006


FILE ID= 41544-1149369142

PBS_JOBID= 312088

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb 718486201
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-41544-1149369142 -o ROOT/results/node71/solver-41544-1149369142 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb 718486201

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  38a2c469f9dc1120b8fe634a693ac03d

RANDOM SEED= 718486201


/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.236
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.236
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:       1438000 kB
Buffers:         33296 kB
Cached:         511052 kB
SwapCached:       2372 kB
Active:          87508 kB
Inactive:       465432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1438000 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          15092 kB
Slab:            50912 kB
Committed_AS:   353716 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node71 on Sat Jun  3 21:42:23 UTC 2006