Trace number 351935

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
PBS4 2007-03-23No Cert. 1800.07 1800.62

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 benchmark23777
Best CPU time to get the best result obtained on this benchmark1800.21
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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb ......
0.29/0.33	c done parsing opb.
0.29/0.33	o 66001
0.29/0.33	o 60158
0.29/0.33	o 60126
0.29/0.34	o 59940
0.29/0.34	o 56367
0.29/0.34	o 56362
0.29/0.34	o 50963
0.29/0.34	o 50886
0.29/0.34	o 50830
0.29/0.34	o 50825
0.29/0.34	o 44992
0.29/0.35	o 44991
0.29/0.35	o 44988
0.29/0.35	o 44984
0.29/0.35	o 42943
0.29/0.36	o 42938
0.29/0.36	o 42893
0.29/0.36	o 42837
0.29/0.36	o 42836
0.29/0.36	o 42829
0.29/0.36	o 42820
0.29/0.36	o 42819
0.49/0.57	o 42818
0.89/0.94	o 42815
0.89/0.94	o 42811
1.00/1.07	o 42807
1.00/1.08	o 42768
1.00/1.08	o 42755
1.00/1.08	o 40353
1.00/1.08	o 40352
1.00/1.08	o 40019
1.00/1.08	o 40015
1.00/1.08	o 38896
1.00/1.08	o 38451
1.00/1.09	o 38449
1.00/1.09	o 38447
1.00/1.09	o 38438
1.00/1.09	o 38436
1.00/1.09	o 38434
1.00/1.09	o 38429
1.00/1.09	o 38426
1.00/1.09	o 38411
1.00/1.09	o 38400
1.00/1.09	o 38395
1.00/1.10	o 38393
1.00/1.10	o 38386
1.00/1.10	o 38375
1.00/1.10	o 38371
1.00/1.10	o 38368
1.00/1.10	o 38365
1.09/1.10	o 38247
1.09/1.10	o 38245
1.09/1.10	o 38234
1.09/1.10	o 38230
1.09/1.10	o 38229
1.09/1.10	o 38216
1.09/1.10	o 38198
1.09/1.11	o 38196
1.09/1.11	o 38189
1.09/1.11	o 38188
1.09/1.11	o 38180
1.09/1.11	o 38174
1.09/1.11	o 38169
1.09/1.11	o 38165
1.09/1.11	o 38103
1.09/1.11	o 38099
1.09/1.11	o 38097
1.09/1.11	o 38091
1.09/1.11	o 38088
1.09/1.11	o 38076
1.09/1.12	o 38069
1.09/1.12	o 38055
1.09/1.12	o 38050
1.09/1.12	o 38040
1.09/1.12	o 38032
1.09/1.12	o 38029
1.09/1.12	o 38027
1.09/1.12	o 38015
1.09/1.12	o 38005
1.09/1.12	o 37999
1.09/1.12	o 37994
1.09/1.12	o 37992
1.09/1.13	o 37985
1.09/1.17	o 37977
1.19/1.22	o 37974
1.19/1.22	o 37973
1.19/1.22	o 37972
1.19/1.23	o 37970
1.19/1.23	o 37965
1.19/1.23	o 37960
1.19/1.23	o 37956
1.19/1.23	o 37955
1.19/1.23	o 37954
1.19/1.23	o 37950
1.19/1.23	o 37946
1.19/1.23	o 37943
1.19/1.23	o 37940
1.19/1.23	o 37936
1.19/1.23	o 37935
1.19/1.23	o 37934
1.19/1.24	o 37932
1.19/1.24	o 37929
1.19/1.24	o 37928
1.19/1.24	o 37927
1.19/1.24	o 37926
1.19/1.24	o 37921
1.19/1.24	o 37920
1.19/1.24	o 37916
1.19/1.24	o 37914
1.19/1.24	o 37912
1.19/1.24	o 37910
1.19/1.24	o 37907
1.19/1.24	o 37902
1.19/1.24	o 37898
1.19/1.24	o 37896
1.19/1.25	o 37891
1.19/1.25	o 37886
1.19/1.25	o 37884
1.19/1.25	o 37881
1.19/1.25	o 37878
1.19/1.25	o 37874
1.19/1.25	o 37872
1.19/1.25	o 37868
1.19/1.25	o 37865
1.19/1.25	o 37863
1.19/1.25	o 37860
1.19/1.25	o 37858
1.19/1.25	o 37857
1.19/1.25	o 37854
1.19/1.25	o 37853
1.19/1.26	o 37851
1.19/1.26	o 37848
1.19/1.26	o 37847
1.19/1.26	o 37843
1.19/1.26	o 37838
1.19/1.26	o 37833
1.19/1.26	o 37832
1.19/1.26	o 37831
1.19/1.26	o 37829
1.19/1.26	o 37828
1.19/1.26	o 37826
1.19/1.26	o 37824
1.19/1.26	o 37823
1.19/1.26	o 37820
1.19/1.26	o 37816
1.19/1.27	o 37815
1.19/1.27	o 37812
1.19/1.27	o 37810
1.19/1.27	o 37805
1.19/1.27	o 37800
1.19/1.27	o 37799
1.19/1.27	o 37798
1.19/1.27	o 37795
1.19/1.27	o 37794
1.19/1.27	o 37789
1.19/1.27	o 37787
1.19/1.27	o 37786
1.19/1.27	o 37785
1.19/1.27	o 37784
1.19/1.27	o 37781
1.19/1.28	o 37780
1.19/1.28	o 37779
1.19/1.28	o 37775
1.19/1.28	o 37770
1.19/1.28	o 37768
1.19/1.28	o 37764
1.19/1.28	o 37762
1.19/1.28	o 37758
1.19/1.28	o 37753
1.19/1.28	o 37751
1.19/1.29	o 37749
1.19/1.29	o 37745
1.19/1.29	o 37744
1.19/1.29	o 37743
1.19/1.29	o 37742
1.19/1.29	o 37737
1.19/1.29	o 37736
1.19/1.29	o 37734
1.19/1.29	o 37730
1.19/1.29	o 37728
1.19/1.29	o 37724
1.19/1.29	o 37723
1.19/1.29	o 37722
1.19/1.30	o 37718
1.29/1.30	o 37713
1.29/1.30	o 37709
1.29/1.30	o 37704
1.29/1.30	o 37703
1.29/1.30	o 37701
1.29/1.30	o 37699
1.29/1.30	o 37698
1.29/1.30	o 37695
1.29/1.30	o 37692
1.29/1.30	o 37687
1.29/1.30	o 37686
1.29/1.30	o 37684
1.29/1.31	o 37679
1.29/1.31	o 37677
1.29/1.31	o 37672
1.29/1.31	o 37671
1.29/1.31	o 37662
1.29/1.31	o 37660
1.29/1.31	o 37656
1.29/1.31	o 37655
1.29/1.31	o 37654
1.29/1.31	o 37648
1.29/1.31	o 37647
1.29/1.31	o 37642
1.29/1.31	o 37639
1.29/1.32	o 37636
1.29/1.32	o 37631
1.29/1.32	o 37628
1.29/1.32	o 37625
1.29/1.32	o 37624
1.29/1.32	o 37622
1.29/1.32	o 37620
1.29/1.32	o 37616
1.29/1.32	o 37613
1.29/1.32	o 37611
1.29/1.32	o 37607
1.29/1.32	o 37603
1.29/1.32	o 37598
1.29/1.32	o 37596
1.29/1.33	o 37593
1.29/1.33	o 37591
1.29/1.33	o 37588
1.29/1.33	o 37585
1.29/1.33	o 37581
1.29/1.33	o 37577
1.29/1.33	o 37572
1.29/1.33	o 37566
1.29/1.33	o 37565
1.29/1.33	o 37563
1.29/1.33	o 37561
1.29/1.33	o 37559
1.29/1.33	o 37556
1.29/1.34	o 37551
1.29/1.34	o 37550
1.29/1.34	o 37545
1.29/1.34	o 37542
1.29/1.34	o 37540
1.29/1.34	o 37535
1.29/1.34	o 37534
1.29/1.34	o 37530
1.29/1.34	o 37528
1.29/1.34	o 37525
1.29/1.34	o 37524
1.29/1.34	o 37523
1.29/1.34	o 37522
1.29/1.34	o 37520
1.29/1.35	o 37519
1.29/1.35	o 37515
1.29/1.35	o 37514
1.29/1.35	o 37512
1.29/1.35	o 37508
1.29/1.35	o 37505
1.29/1.35	o 37502
1.29/1.35	o 37497
1.29/1.35	o 37496
1.29/1.35	o 37494
1.29/1.35	o 37493
1.29/1.35	o 37489
1.29/1.35	o 37487
1.29/1.35	o 37485
1.29/1.36	o 37484
1.29/1.36	o 37483
1.29/1.36	o 37478
1.29/1.36	o 37477
1.29/1.36	o 37474
1.29/1.36	o 37469
1.29/1.36	o 37464
1.29/1.36	o 37461
1.29/1.36	o 37460
1.29/1.36	o 37456
1.29/1.36	o 37451
1.29/1.36	o 37448
1.29/1.36	o 37447
1.29/1.36	o 37446
1.29/1.37	o 37442
1.29/1.37	o 37441
1.29/1.37	o 37440
1.29/1.37	o 37437
1.29/1.37	o 37436
1.29/1.37	o 37433
1.29/1.37	o 37432
1.29/1.37	o 37430
1.29/1.37	o 37429
1.29/1.37	o 37428
1.29/1.37	o 37425
1.29/1.37	o 37417
1.29/1.37	o 37416
1.29/1.38	o 37413
1.29/1.38	o 37411
1.29/1.38	o 37406
1.29/1.38	o 37400
1.29/1.38	o 37397
1.29/1.38	o 37396
1.29/1.38	o 37393
1.29/1.38	o 37389
1.29/1.38	o 37388
1.29/1.38	o 37385
1.29/1.38	o 37381
1.29/1.38	o 37377
1.29/1.38	o 37372
1.29/1.39	o 37368
1.29/1.39	o 37366
1.29/1.39	o 37364
1.29/1.39	o 37361
1.29/1.39	o 37357
1.29/1.39	o 37353
1.29/1.39	o 37352
1.39/1.42	o 37351
1.49/1.59	o 37346
1.68/1.78	o 37343
1.99/2.00	o 37338
1.99/2.00	o 37333
1.99/2.00	o 37328
1.99/2.01	o 37322
1.99/2.01	o 37318
1.99/2.01	o 37315
1.99/2.01	o 37313
1.99/2.01	o 37307
1.99/2.01	o 37304
1.99/2.01	o 37302
1.99/2.01	o 37296
1.99/2.01	o 37291
1.99/2.01	o 37287
1.99/2.01	o 37285
1.99/2.01	o 37279
1.99/2.01	o 37273
1.99/2.01	o 37270
1.99/2.01	o 37264
1.99/2.02	o 37260
1.99/2.02	o 37258
1.99/2.02	o 37252
1.99/2.02	o 37248
1.99/2.02	o 37242
1.99/2.02	o 37237
1.99/2.02	o 37233
1.99/2.02	o 37231
1.99/2.02	o 37229
1.99/2.02	o 37227
1.99/2.02	o 37225
1.99/2.02	o 37223
1.99/2.02	o 37221
1.99/2.02	o 37219
1.99/2.03	o 37215
1.99/2.03	o 37213
1.99/2.03	o 37211
1.99/2.03	o 37207
1.99/2.03	o 37204
1.99/2.03	o 37202
1.99/2.03	o 37198
1.99/2.03	o 37194
1.99/2.03	o 37193
1.99/2.03	o 37188
1.99/2.03	o 37183
1.99/2.03	o 37178
1.99/2.03	o 37176
1.99/2.03	o 37175
1.99/2.03	o 37173
1.99/2.04	o 37167
1.99/2.04	o 37165
1.99/2.04	o 37161
1.99/2.04	o 37159
1.99/2.04	o 37155
1.99/2.04	o 37150
1.99/2.04	o 37149
1.99/2.04	o 37144
1.99/2.04	o 37143
1.99/2.04	o 37138
1.99/2.04	o 37136
1.99/2.04	o 37135
1.99/2.04	o 37133
1.99/2.04	o 37132
1.99/2.05	o 37130
1.99/2.05	o 37129
1.99/2.05	o 37124
1.99/2.05	o 37120
1.99/2.05	o 37118
1.99/2.05	o 37116
1.99/2.05	o 37112
1.99/2.05	o 37111
1.99/2.05	o 37106
1.99/2.05	o 37101
1.99/2.05	o 37097
1.99/2.05	o 37092
1.99/2.05	o 37089
1.99/2.05	o 37086
1.99/2.05	o 37081
1.99/2.06	o 37080
1.99/2.06	o 37075
1.99/2.06	o 37072
1.99/2.06	o 37071
1.99/2.06	o 37069
1.99/2.06	o 37068
1.99/2.06	o 37066
1.99/2.06	o 37062
1.99/2.06	o 37060
1.99/2.06	o 37059
1.99/2.06	o 37055
1.99/2.06	o 37054
1.99/2.06	o 37053
1.99/2.06	o 37050
1.99/2.06	o 37048
1.99/2.07	o 37043
1.99/2.07	o 37042
1.99/2.07	o 37039
1.99/2.07	o 37037
1.99/2.07	o 37036
1.99/2.07	o 37031
1.99/2.07	o 37029
1.99/2.07	o 37028
1.99/2.07	o 37023
1.99/2.07	o 37021
1.99/2.07	o 37017
1.99/2.07	o 37016
1.99/2.07	o 37011
1.99/2.07	o 37006
1.99/2.08	o 37005
1.99/2.08	o 37004
1.99/2.08	o 37002
1.99/2.08	o 37000
1.99/2.08	o 36999
1.99/2.08	o 36994
1.99/2.08	o 36992
1.99/2.08	o 36991
1.99/2.08	o 36986
1.99/2.08	o 36985
1.99/2.08	o 36980
1.99/2.08	o 36979
1.99/2.08	o 36976
1.99/2.08	o 36974
1.99/2.08	o 36973
1.99/2.09	o 36968
1.99/2.09	o 36967
1.99/2.09	o 36962
1.99/2.09	o 36958
1.99/2.09	o 36954
1.99/2.09	o 36950
1.99/2.09	o 36947
1.99/2.09	o 36944
1.99/2.09	o 36941
1.99/2.09	o 36937
1.99/2.09	o 36936
1.99/2.09	o 36934
1.99/2.09	o 36930
1.99/2.09	o 36928
1.99/2.09	o 36925
1.99/2.10	o 36924
1.99/2.10	o 36923
2.09/2.10	o 36922
2.09/2.10	o 36919
2.09/2.10	o 36918
2.09/2.10	o 36917
2.09/2.10	o 36916
2.09/2.10	o 36914
2.09/2.10	o 36910
2.09/2.10	o 36907
2.09/2.10	o 36905
2.09/2.10	o 36901
2.09/2.10	o 36900
2.09/2.10	o 36898
2.09/2.10	o 36896
2.09/2.11	o 36894
2.09/2.11	o 36893
2.09/2.11	o 36888
2.09/2.11	o 36879
2.09/2.11	o 36875
2.09/2.11	o 36871
2.09/2.11	o 36868
2.09/2.11	o 36866
2.09/2.11	o 36862
2.09/2.11	o 36860
2.09/2.11	o 36859
2.09/2.11	o 36858
2.09/2.11	o 36855
2.09/2.11	o 36854
2.09/2.12	o 36853
2.09/2.12	o 36852
2.09/2.12	o 36847
2.09/2.12	o 36846
2.09/2.12	o 36844
2.09/2.12	o 36841
2.09/2.12	o 36839
2.09/2.12	o 36837
2.09/2.12	o 36834
2.09/2.12	o 36830
2.09/2.12	o 36825
2.09/2.12	o 36820
2.09/2.12	o 36819
2.09/2.12	o 36818
2.09/2.12	o 36815
2.09/2.13	o 36812
2.09/2.13	o 36810
2.09/2.13	o 36809
2.09/2.13	o 36806
2.09/2.13	o 36804
2.09/2.13	o 36801
2.09/2.13	o 36800
2.09/2.13	o 36795
2.09/2.13	o 36791
2.09/2.13	o 36790
2.09/2.13	o 36786
2.09/2.13	o 36785
2.09/2.13	o 36780
2.09/2.13	o 36777
2.09/2.13	o 36772
2.09/2.14	o 36771
2.09/2.14	o 36767
2.09/2.14	o 36763
2.09/2.14	o 36759
2.09/2.14	o 36758
2.09/2.14	o 36752
2.09/2.14	o 36747
2.09/2.14	o 36744
2.09/2.14	o 36739
2.09/2.14	o 36736
2.09/2.14	o 36732
2.09/2.14	o 36731
2.09/2.14	o 36727
2.09/2.14	o 36723
2.09/2.15	o 36721
2.09/2.15	o 36720
2.09/2.15	o 36716
2.09/2.15	o 36713
2.09/2.15	o 36710
2.09/2.15	o 36706
2.09/2.15	o 36703
2.09/2.15	o 36698
2.09/2.15	o 36694
2.09/2.15	o 36692
2.09/2.15	o 36689
2.09/2.15	o 36688
2.09/2.15	o 36683
2.09/2.15	o 36679
2.09/2.16	o 36675
2.09/2.16	o 36669
2.09/2.16	o 36668
2.09/2.16	o 36664
2.09/2.16	o 36661
2.09/2.16	o 36658
2.09/2.16	o 36652
2.09/2.16	o 36649
2.09/2.16	o 36646
2.09/2.16	o 36644
2.09/2.16	o 36641
2.09/2.16	o 36638
2.09/2.16	o 36635
2.09/2.16	o 36633
2.09/2.16	o 36632
2.09/2.17	o 36628
2.09/2.17	o 36623
2.09/2.17	o 36620
2.09/2.17	o 36618
2.09/2.17	o 36615
2.09/2.17	o 36611
2.09/2.17	o 36606
2.09/2.17	o 36604
2.09/2.17	o 36603
2.09/2.17	o 36598
2.09/2.17	o 36594
2.09/2.17	o 36593
2.09/2.17	o 36587
2.09/2.17	o 36581
2.09/2.18	o 36579
2.09/2.18	o 36576
2.09/2.18	o 36572
2.09/2.18	o 36571
2.09/2.18	o 36570
2.09/2.18	o 36565
2.09/2.18	o 36563
2.09/2.18	o 36561
2.09/2.18	o 36557
2.09/2.18	o 36553
2.09/2.18	o 36548
2.09/2.18	o 36544
2.09/2.18	o 36543
2.09/2.18	o 36541
2.09/2.18	o 36537
2.09/2.19	o 36536
2.09/2.19	o 36534
2.09/2.19	o 36533
2.09/2.19	o 36530
2.09/2.19	o 36528
2.09/2.19	o 36527
2.09/2.19	o 36526
2.09/2.19	o 36523
2.09/2.19	o 36521
2.09/2.19	o 36516
2.09/2.19	o 36515
2.09/2.19	o 36512
2.09/2.19	o 36508
2.09/2.19	o 36505
2.09/2.20	o 36501
2.09/2.20	o 36497
2.09/2.20	o 36496
2.09/2.20	o 36495
2.09/2.20	o 36491
2.09/2.20	o 36490
2.19/2.20	o 36487
2.19/2.21	o 36486
2.19/2.24	o 36485
2.29/2.32	o 36480
2.29/2.32	o 36477
2.29/2.33	o 36475
2.29/2.33	o 36474
2.29/2.33	o 36473
2.29/2.33	o 36470
2.29/2.34	o 36466
2.29/2.34	o 36465
2.29/2.34	o 36462
2.29/2.34	o 36460
2.29/2.34	o 36458
2.29/2.34	o 36456
2.29/2.34	o 36455
2.29/2.34	o 36454
2.29/2.34	o 36449
2.29/2.35	o 36447
2.29/2.35	o 36446
2.29/2.35	o 36441
2.29/2.35	o 36440
2.29/2.35	o 36435
2.29/2.35	o 36430
2.29/2.35	o 36428
2.29/2.35	o 36427
2.29/2.35	o 36422
2.29/2.35	o 36417
2.29/2.35	o 36415
2.29/2.35	o 36414
2.29/2.35	o 36413
2.29/2.35	o 36408
2.29/2.35	o 36407
2.29/2.36	o 36402
2.29/2.36	o 36400
2.29/2.36	o 36398
2.29/2.36	o 36392
2.29/2.36	o 36386
2.29/2.36	o 36384
2.29/2.36	o 36383
2.29/2.36	o 36378
2.29/2.36	o 36377
2.29/2.36	o 36376
2.29/2.36	o 36373
2.29/2.36	o 36372
2.29/2.36	o 36367
2.29/2.36	o 36363
2.29/2.36	o 36361
2.29/2.36	o 36360
2.29/2.37	o 36355
2.29/2.37	o 36352
2.29/2.37	o 36348
2.29/2.37	o 36345
2.29/2.37	o 36344
2.29/2.37	o 36342
2.29/2.37	o 36341
2.29/2.37	o 36336
2.29/2.37	o 36331
2.29/2.37	o 36330
2.29/2.37	o 36329
2.29/2.37	o 36327
2.29/2.37	o 36322
2.29/2.37	o 36319
2.29/2.37	o 36314
2.29/2.38	o 36313
2.29/2.38	o 36308
2.29/2.38	o 36303
2.29/2.38	o 36302
2.29/2.38	o 36301
2.29/2.38	o 36300
2.29/2.38	o 36299
2.29/2.38	o 36297
2.29/2.38	o 36295
2.29/2.38	o 36293
2.29/2.38	o 36292
2.29/2.38	o 36291
2.29/2.38	o 36289
2.29/2.38	o 36285
2.29/2.39	o 36281
2.29/2.39	o 36278
2.29/2.39	o 36274
2.29/2.39	o 36272
2.29/2.39	o 36268
2.29/2.39	o 36265
2.29/2.39	o 36263
2.29/2.39	o 36259
2.29/2.39	o 36254
2.29/2.39	o 36253
2.29/2.39	o 36248
2.29/2.39	o 36247
2.29/2.39	o 36245
2.29/2.39	o 36243
2.29/2.39	o 36240
2.29/2.39	o 36235
2.29/2.40	o 36232
2.29/2.40	o 36231
2.39/2.40	o 36226
2.39/2.40	o 36222
2.39/2.40	o 36217
2.39/2.40	o 36213
2.39/2.40	o 36211
2.39/2.40	o 36206
2.39/2.40	o 36203
2.39/2.40	o 36202
2.39/2.40	o 36197
2.39/2.40	o 36195
2.39/2.40	o 36193
2.39/2.40	o 36192
2.39/2.40	o 36187
2.39/2.41	o 36182
2.39/2.41	o 36180
2.39/2.41	o 36178
2.39/2.41	o 36176
2.39/2.41	o 36171
2.39/2.41	o 36170
2.39/2.41	o 36167
2.39/2.41	o 36165
2.39/2.41	o 36162
2.39/2.42	o 36160
2.39/2.42	o 36156
2.39/2.42	o 36154
2.39/2.42	o 36151
2.39/2.42	o 36148
2.39/2.42	o 36145
2.39/2.42	o 36141
2.39/2.42	o 36138
2.39/2.42	o 36135
2.39/2.43	o 36131
2.39/2.43	o 36126
2.39/2.43	o 36121
2.39/2.43	o 36120
2.39/2.43	o 36115
2.39/2.43	o 36112
2.39/2.43	o 36107
2.39/2.43	o 36103
2.39/2.43	o 36101
2.39/2.43	o 36098
2.39/2.43	o 36097
2.39/2.43	o 36092
2.39/2.44	o 36090
2.39/2.44	o 36088
2.39/2.44	o 36083
2.39/2.44	o 36082
2.39/2.44	o 36081
2.39/2.44	o 36078
2.39/2.44	o 36077
2.39/2.44	o 36075
2.39/2.44	o 36073
2.39/2.44	o 36069
2.39/2.44	o 36068
2.39/2.44	o 36067
2.39/2.44	o 36065
2.39/2.45	o 36063
2.39/2.45	o 36059
2.39/2.45	o 36057
2.39/2.45	o 36056
2.39/2.45	o 36055
2.39/2.45	o 36051
2.39/2.45	o 36048
2.39/2.45	o 36047
2.39/2.45	o 36046
2.39/2.45	o 36045
2.39/2.45	o 36044
2.39/2.45	o 36041
2.39/2.45	o 36039
2.39/2.46	o 36036
2.39/2.46	o 36035
2.39/2.46	o 36030
2.39/2.46	o 36028
2.39/2.46	o 36026
2.39/2.46	o 36024
2.39/2.46	o 36022
2.39/2.46	o 36019
2.39/2.46	o 36015
2.39/2.46	o 36012
2.39/2.46	o 36011
2.39/2.46	o 36009
2.39/2.46	o 36008
2.39/2.47	o 36007
2.39/2.47	o 36003
2.39/2.47	o 36001
2.39/2.47	o 36000
2.39/2.47	o 35995
2.39/2.47	o 35992
2.39/2.47	o 35987
2.39/2.47	o 35985
2.39/2.47	o 35982
2.39/2.47	o 35978
2.39/2.47	o 35977
2.39/2.48	o 35975
2.48/2.52	o 35972
2.69/2.77	o 35968
2.69/2.77	o 35964
2.69/2.77	o 35958
2.69/2.78	o 35953
2.69/2.78	o 35950
2.69/2.78	o 35946
2.69/2.78	o 35942
2.69/2.78	o 35941
2.69/2.78	o 35936
2.69/2.78	o 35931
2.69/2.78	o 35930
2.69/2.79	o 35929
2.69/2.79	o 35923
2.69/2.79	o 35919
2.69/2.79	o 35918
2.69/2.79	o 35916
2.69/2.79	o 35912
2.69/2.79	o 35911
2.69/2.79	o 35908
2.69/2.79	o 35906
2.69/2.79	o 35902
2.69/2.79	o 35899
2.69/2.79	o 35898
2.69/2.79	o 35897
2.69/2.79	o 35895
2.69/2.79	o 35892
2.69/2.80	o 35889
2.69/2.80	o 35885
2.69/2.80	o 35881
2.79/2.80	o 35878
2.79/2.80	o 35877
2.79/2.80	o 35876
2.79/2.80	o 35871
2.79/2.80	o 35870
2.79/2.80	o 35866
2.79/2.80	o 35861
2.79/2.80	o 35860
2.79/2.80	o 35859
2.79/2.80	o 35854
2.79/2.80	o 35849
2.79/2.80	o 35847
2.79/2.80	o 35846
2.79/2.81	o 35841
2.79/2.81	o 35837
2.79/2.81	o 35836
2.79/2.81	o 35831
2.79/2.81	o 35828
2.79/2.81	o 35827
2.79/2.81	o 35826
2.79/2.81	o 35821
2.79/2.81	o 35817
2.79/2.81	o 35813
2.79/2.81	o 35811
2.79/2.81	o 35807
2.79/2.81	o 35805
2.79/2.81	o 35803
2.79/2.81	o 35802
2.79/2.81	o 35797
2.79/2.82	o 35794
2.79/2.82	o 35790
2.79/2.82	o 35789
2.79/2.82	o 35784
2.79/2.82	o 35780
2.79/2.82	o 35776
2.79/2.82	o 35775
2.79/2.82	o 35773
2.79/2.82	o 35770
2.79/2.82	o 35769
2.79/2.82	o 35764
2.79/2.82	o 35762
2.79/2.82	o 35760
2.79/2.82	o 35758
2.79/2.82	o 35753
2.79/2.82	o 35752
2.79/2.83	o 35751
2.79/2.83	o 35747
2.79/2.83	o 35746
2.79/2.83	o 35742
2.79/2.83	o 35738
2.79/2.83	o 35732
2.79/2.83	o 35729
2.79/2.83	o 35724
2.79/2.83	o 35723
2.79/2.83	o 35719
2.79/2.83	o 35716
2.79/2.83	o 35712
2.79/2.83	o 35708
2.79/2.83	o 35704
2.79/2.83	o 35703
2.79/2.84	o 35702
2.79/2.84	o 35699
2.79/2.84	o 35694
2.79/2.84	o 35691
2.79/2.84	o 35689
2.79/2.84	o 35684
2.79/2.84	o 35681
2.79/2.84	o 35679
2.79/2.84	o 35677
2.79/2.84	o 35676
2.79/2.84	o 35671
2.79/2.84	o 35668
2.79/2.84	o 35664
2.79/2.84	o 35663
2.79/2.84	o 35658
2.79/2.84	o 35653
2.79/2.84	o 35650
2.79/2.85	o 35649
2.79/2.85	o 35645
2.79/2.85	o 35639
2.79/2.85	o 35636
2.79/2.85	o 35632
2.79/2.85	o 35631
2.79/2.85	o 35630
2.79/2.85	o 35627
2.79/2.85	o 35624
2.79/2.85	o 35621
2.79/2.85	o 35618
2.79/2.85	o 35616
2.79/2.85	o 35611
2.79/2.85	o 35608
2.79/2.85	o 35604
2.79/2.86	o 35601
2.79/2.86	o 35599
2.79/2.86	o 35596
2.79/2.86	o 35593
2.79/2.87	o 35591
2.79/2.87	o 35587
2.79/2.87	o 35583
2.79/2.87	o 35579
2.79/2.87	o 35575
2.79/2.87	o 35571
2.79/2.87	o 35567
2.79/2.87	o 35565
2.79/2.87	o 35561
2.79/2.87	o 35560
2.79/2.87	o 35557
2.79/2.87	o 35553
2.79/2.87	o 35547
2.79/2.88	o 35545
2.79/2.88	o 35540
2.79/2.88	o 35535
3.09/3.10	o 35534
3.69/3.73	o 35530
3.79/3.87	o 35529
5.69/5.75	o 35527
5.79/5.84	o 35523
6.39/6.49	o 35522
6.69/6.75	o 35521
6.78/6.83	o 35520
7.09/7.12	o 35519
7.19/7.21	o 35516
7.49/7.51	o 35508
7.79/7.85	o 35505
7.98/8.05	o 35503
8.28/8.30	o 35502
9.38/9.43	o 35500
9.69/9.77	o 35496
14.29/14.38	o 35492
17.18/17.29	o 35488
19.88/19.97	o 35485
20.08/20.10	o 35483
20.59/20.66	o 35482
24.48/24.50	o 35481
29.98/30.09	o 35479
30.68/30.74	o 35474
38.88/38.92	o 35473
39.28/39.37	o 35469
43.98/44.03	o 35468
44.98/45.08	o 35467
45.47/45.50	o 35463
46.38/46.45	o 35459
47.58/47.61	o 35457
50.18/50.25	o 35453
51.37/51.47	o 35452
51.58/51.62	o 35451
51.68/51.76	o 35449
53.77/53.88	o 35448
54.17/54.24	o 35444
57.98/58.06	o 35439
58.47/58.53	o 35437
58.47/58.59	o 35436
61.58/61.66	o 35435
62.67/62.78	o 35430
62.87/62.92	o 35426
64.07/64.14	o 35424
64.17/64.29	o 35421
64.27/64.35	o 35420
64.27/64.39	o 35419
64.37/64.41	o 35415
64.37/64.48	o 35410
68.77/68.89	o 35407
69.47/69.55	o 35390
70.07/70.10	o 35389
71.37/71.45	o 35388
73.27/73.35	o 35378
73.46/73.54	o 35373
73.86/73.97	o 35371
74.37/74.42	o 35366
74.97/75.02	o 35365
77.36/77.44	o 35360
81.17/81.26	o 35359
82.47/82.56	o 35358
84.87/84.96	o 35357
85.17/85.27	o 35355
85.87/85.96	o 35353
87.66/87.76	o 35350
89.76/89.82	o 35347
89.86/89.90	o 35345
90.37/90.48	o 35343
90.57/90.69	o 35341
106.46/106.58	o 35340
118.45/118.51	o 35339
120.76/120.80	o 35334
121.45/121.59	o 35329
121.55/121.69	o 35322
123.55/123.70	o 35318
125.75/125.81	o 35314
125.85/125.97	o 35312
127.15/127.20	o 35310
127.75/127.84	o 35307
127.96/128.03	o 35303
128.16/128.24	o 35300
128.95/129.04	o 35296
129.15/129.21	o 35295
129.65/129.71	o 35292
129.95/130.00	o 35288
131.05/131.11	o 34784
131.35/131.40	o 34782
140.14/140.24	o 34777
148.95/149.03	o 34773
151.05/151.13	o 34771
151.85/151.90	o 34770
152.05/152.14	o 34767
152.75/152.82	o 34764
153.44/153.53	o 34762
153.54/153.67	o 34761
154.84/154.93	o 34757
162.24/162.38	o 34752
163.74/163.84	o 34749
163.84/163.93	o 34746
166.04/166.11	o 34744
166.34/166.48	o 34739
183.14/183.28	o 34735
184.83/184.98	o 34731
188.73/188.84	o 34729
189.23/189.31	o 34727
203.43/203.57	o 34726
205.02/205.16	o 34725
210.62/210.71	o 34722
212.03/212.18	o 34720
221.13/221.23	o 34717
230.83/230.93	o 34714
246.02/246.15	o 34713
250.91/251.06	o 34712
253.52/253.62	o 34711
261.21/261.39	o 34707
263.41/263.53	o 34706
266.11/266.28	o 34704
267.50/267.61	o 34702
268.81/268.99	o 34701
269.51/269.70	o 34699
271.31/271.41	o 34695
274.91/275.05	o 34690
277.61/277.77	o 34686
280.81/280.93	o 34681
287.71/287.88	o 34679
293.20/293.30	o 34677
304.89/305.06	o 34676
316.50/316.63	o 34674
318.39/318.59	o 34673
323.39/323.53	o 34670
324.59/324.76	o 34669
326.19/326.35	o 34668
326.60/326.71	o 34655
328.70/328.83	o 34654
329.69/329.85	o 34651
330.19/330.38	o 34648
331.79/331.96	o 34644
355.29/355.43	o 34640
376.27/376.48	o 34635
384.68/384.85	o 34630
389.87/390.00	o 34629
396.07/396.23	o 34627
397.47/397.65	o 34623
403.97/404.13	o 34621
408.86/409.04	o 34616
409.46/409.61	o 34614
412.76/412.91	o 34613
412.86/413.06	o 34611
413.86/414.07	o 34608
414.16/414.38	o 34605
417.27/417.48	o 34600
421.06/421.21	o 34597
425.47/425.66	o 34596
432.76/432.90	o 34592
436.75/436.94	o 34590
446.15/446.38	o 34585
446.55/446.73	o 34583
450.16/450.36	o 34581
450.66/450.87	o 34576
453.55/453.74	o 34573
454.15/454.34	o 34568
461.35/461.52	o 34566
473.85/474.07	o 34563
478.05/478.29	o 34562
480.55/480.74	o 34558
481.74/481.90	o 34555
483.85/484.01	o 34554
486.45/486.65	o 34549
487.44/487.60	o 34548
489.34/489.58	o 34544
489.64/489.81	o 34542
490.04/490.25	o 34539
491.44/491.70	o 34535
509.24/509.47	o 34530
509.64/509.86	o 34527
529.93/530.14	o 34525
533.93/534.15	o 34521
536.93/537.14	o 34520
537.12/537.36	o 34519
539.63/539.89	o 34514
540.32/540.53	o 34509
541.02/541.26	o 34508
551.72/551.92	o 34503
569.02/569.26	o 34500
572.21/572.41	o 34498
576.81/577.02	o 34496
577.01/577.24	o 34493
582.61/582.83	o 34491
590.21/590.41	o 34490
594.21/594.48	o 34486
595.51/595.73	o 34481
598.51/598.76	o 34477
600.91/601.12	o 34474
604.41/604.69	o 34471
633.40/633.63	o 34468
636.50/636.70	o 34463
636.60/636.88	o 34462
639.49/639.78	o 34460
640.30/640.52	o 34457
645.40/645.65	o 34455
648.99/649.24	o 34454
655.19/655.47	o 34453
656.09/656.36	o 34452
657.69/657.94	o 34448
662.79/663.05	o 34446
669.38/669.63	o 34443
675.68/675.96	o 34442
677.68/677.99	o 34440
678.19/678.50	o 34439
681.08/681.35	o 34437
684.38/684.67	o 34436
684.68/684.93	o 34431
685.58/685.83	o 34428
686.18/686.44	o 34425
690.59/690.82	o 34422
692.58/692.89	o 34421
698.38/698.66	o 34420
698.48/698.79	o 34417
698.88/699.10	o 34415
699.28/699.53	o 34412
701.37/701.60	o 34411
703.98/704.24	o 34409
704.88/705.18	o 34406
710.48/710.70	o 34404
713.47/713.71	o 34399
715.17/715.42	o 34398
721.57/721.86	o 34397
724.97/725.28	o 34394
730.87/731.16	o 34391
756.76/757.07	o 34389
759.76/760.01	o 34385
770.76/771.00	o 34384
773.26/773.51	o 34381
815.35/815.63	o 34380
846.84/847.15	o 34375
848.94/849.22	o 34372
850.83/851.12	o 34365
865.72/866.09	o 34364
868.13/868.45	o 34363
873.13/873.41	o 34361
876.32/876.69	o 34359
878.03/878.33	o 34357
879.42/879.70	o 34355
886.23/886.54	o 34351
889.92/890.23	o 34350
890.82/891.12	o 34342
891.22/891.57	o 34338
906.12/906.44	o 34335
907.91/908.24	o 34332
911.41/911.77	o 34329
914.21/914.55	o 34324
927.91/928.23	o 34321
1022.68/1023.02	o 34319
1033.37/1033.76	o 34316
1034.47/1034.85	o 34312
1051.18/1051.51	o 34309
1079.16/1079.53	o 34307
1105.16/1105.51	o 34303
1106.26/1106.62	o 34301
1119.95/1120.35	o 34300
1140.85/1141.26	o 34299
1145.54/1145.98	o 34298
1146.85/1147.28	o 34294
1151.25/1151.60	o 34292
1155.34/1155.78	o 34288
1157.04/1157.40	o 34287
1157.34/1157.78	o 34285
1200.03/1200.44	o 34282
1214.22/1214.67	o 34277
1216.32/1216.79	o 34276
1241.31/1241.79	o 34273
1304.39/1304.85	o 34269
1307.89/1308.36	o 34265
1314.59/1315.03	o 34264
1317.99/1318.48	o 34263
1351.28/1351.70	o 34258
1359.18/1359.63	o 34256
1371.77/1372.29	o 34255
1403.66/1404.18	o 34251
1465.94/1466.42	o 34248
1480.04/1480.53	o 34247
1480.34/1480.84	o 34246
1480.54/1481.08	o 34242
1497.13/1497.65	o 34237
1577.81/1578.31	o 34235
1611.30/1611.87	o 34230
1633.70/1634.29	o 34228
1634.99/1635.51	o 34224
1637.29/1637.88	o 34223
1642.99/1643.51	o 34219
1648.29/1648.81	o 34218
1648.39/1648.94	o 34214
1650.19/1650.78	o 34213
1653.59/1654.16	o 34211
1654.48/1655.09	o 34210
1659.79/1660.38	o 34208
1659.89/1660.47	o 34207
1659.99/1660.52	o 34203
1661.19/1661.72	o 34199
1665.38/1665.95	o 34197
1665.48/1666.06	o 34196
1676.99/1677.51	o 34194
1680.78/1681.39	o 34191
1682.77/1683.31	o 34190
1686.17/1686.77	o 34186
1692.97/1693.53	o 34184
1733.67/1734.25	o 34183
1752.56/1753.16	o 34181
1762.66/1763.29	o 34180
1800.05/1800.61	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node22/watcher-351935-1176617920 -o ROOT/results/node22/solver-351935-1176617920 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351935-1176617920/PBS4 /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 1.01 0.99 3/77 22693
/proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=1456 CPUtime=0
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 109709662 1490944 134 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/22693/statm: 364 134 87 219 0 141 0

[startup+0.044029 s]
/proc/loadavg: 0.98 1.01 0.99 3/77 22693
/proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=1452 CPUtime=0.04
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 188 0 0 0 4 0 0 0 18 0 1 0 109709662 1486848 170 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 363 170 92 219 0 140 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1452

[startup+0.102038 s]
/proc/loadavg: 0.98 1.01 0.99 3/77 22693
/proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=1708 CPUtime=0.1
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 250 0 0 0 10 0 0 0 18 0 1 0 109709662 1748992 232 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 427 232 93 219 0 204 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1708

[startup+0.302068 s]
/proc/loadavg: 0.98 1.01 0.99 3/77 22693
/proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=3404 CPUtime=0.29
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 452 0 0 0 29 0 0 0 19 0 1 0 109709662 3485696 434 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 851 434 93 219 0 628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3404

[startup+0.701129 s]
/proc/loadavg: 0.98 1.01 0.99 3/77 22693
/proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=5720 CPUtime=0.68
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 868 0 0 0 68 0 0 0 22 0 1 0 109709662 5857280 850 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 1430 851 103 219 0 1207 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5720

[startup+1.50125 s]
/proc/loadavg: 0.98 1.01 0.99 2/78 22694
/proc/meminfo: memFree=1535032/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=6048 CPUtime=1.49
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 1361 0 0 0 144 5 0 0 25 0 1 0 109709662 6193152 1343 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134596339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 1512 1343 103 219 0 1289 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6048

[startup+3.10149 s]
/proc/loadavg: 0.98 1.01 0.99 2/78 22694
/proc/meminfo: memFree=1533112/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=10600 CPUtime=3.09
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 1825 0 0 0 297 12 0 0 25 0 1 0 109709662 10854400 1758 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 2650 1758 104 219 0 2427 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10600

[startup+6.30198 s]
/proc/loadavg: 0.98 1.01 0.99 2/78 22694
/proc/meminfo: memFree=1530040/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=11260 CPUtime=6.29
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 2433 0 0 0 615 14 0 0 25 0 1 0 109709662 11530240 2269 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 2815 2269 104 219 0 2592 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11260

[startup+12.702 s]
/proc/loadavg: 0.98 1.01 0.99 2/78 22694
/proc/meminfo: memFree=1523896/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=19872 CPUtime=12.69
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 3991 0 0 0 1249 20 0 0 25 0 1 0 109709662 20348928 3827 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 4968 3827 104 219 0 4745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19872

[startup+25.5019 s]
/proc/loadavg: 0.99 1.01 0.99 2/78 22694
/proc/meminfo: memFree=1522744/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=21448 CPUtime=25.48
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 4464 0 0 0 2523 25 0 0 25 0 1 0 109709662 21962752 4107 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 5362 4107 104 219 0 5139 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21448

[startup+51.1018 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1518904/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=24052 CPUtime=51.07
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 5770 0 0 0 5073 34 0 0 25 0 1 0 109709662 24629248 5028 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 6013 5028 104 219 0 5790 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24052

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1516408/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=25348 CPUtime=102.27
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 6419 0 0 0 10175 52 0 0 25 0 1 0 109709662 25956352 5677 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 6337 5677 104 219 0 6114 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25348

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1510840/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=45952 CPUtime=162.24
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 8582 0 0 0 16156 68 0 0 25 0 1 0 109709662 47054848 7071 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 11488 7071 104 219 0 11265 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45952

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1508984/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=46988 CPUtime=222.23
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 9016 0 0 0 22141 82 0 0 25 0 1 0 109709662 48115712 7505 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 11747 7505 104 219 0 11524 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46988

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1506936/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=47952 CPUtime=282.2
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 9584 0 0 0 28126 94 0 0 25 0 1 0 109709662 49102848 8073 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 11988 8073 104 219 0 11765 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 47952

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1505144/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=49084 CPUtime=342.19
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 9960 0 0 0 34112 107 0 0 25 0 1 0 109709662 50262016 8449 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 12271 8449 104 219 0 12048 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49084

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1503672/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=55744 CPUtime=402.17
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 11860 0 0 0 40100 117 0 0 25 0 1 0 109709662 57081856 8812 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 13936 8812 104 219 0 13713 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 55744

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1501880/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=56560 CPUtime=462.15
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 12295 0 0 0 46088 127 0 0 25 0 1 0 109709662 57917440 9247 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 14140 9247 104 219 0 13917 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 56560

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1500536/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=57484 CPUtime=522.14
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 12633 0 0 0 52073 141 0 0 25 0 1 0 109709662 58863616 9585 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 14371 9585 104 219 0 14148 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 57484

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1499320/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=58148 CPUtime=582.11
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 12923 0 0 0 58061 150 0 0 25 0 1 0 109709662 59543552 9875 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 14537 9875 104 219 0 14314 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 58148

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22694
/proc/meminfo: memFree=1498104/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=58684 CPUtime=642.1
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 13222 0 0 0 64051 159 0 0 25 0 1 0 109709662 60092416 10174 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 14671 10174 104 219 0 14448 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 58684


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

[startup+822.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 22694
/proc/meminfo: memFree=1494520/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=60500 CPUtime=822.04
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 14089 0 0 0 82016 188 0 0 25 0 1 0 109709662 61952000 11041 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 15125 11041 104 219 0 14902 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 60500

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 22694
/proc/meminfo: memFree=1493432/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=61184 CPUtime=882.03
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 14354 0 0 0 88005 198 0 0 25 0 1 0 109709662 62652416 11306 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 15296 11306 104 219 0 15073 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 61184

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 22694
/proc/meminfo: memFree=1492216/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=61328 CPUtime=942
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 14643 0 0 0 93995 205 0 0 25 0 1 0 109709662 62799872 11595 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 15332 11595 104 219 0 15109 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 61328

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22694
/proc/meminfo: memFree=1491064/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=74484 CPUtime=1001.99
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 17996 0 0 0 99986 213 0 0 25 0 1 0 109709662 76271616 11875 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 18621 11875 104 219 0 18398 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 74484

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22694
/proc/meminfo: memFree=1490104/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=75256 CPUtime=1061.96
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18233 0 0 0 105976 220 0 0 25 0 1 0 109709662 77062144 12112 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 18814 12112 104 219 0 18591 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 75256

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1489080/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=75416 CPUtime=1121.94
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18472 0 0 0 111967 227 0 0 25 0 1 0 109709662 77225984 12351 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 18854 12351 104 219 0 18631 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 75416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1488120/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=76236 CPUtime=1181.93
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18710 0 0 0 117957 236 0 0 25 0 1 0 109709662 78065664 12589 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19059 12589 104 219 0 18836 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 76236

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1487160/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=76236 CPUtime=1241.91
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18925 0 0 0 123947 244 0 0 25 0 1 0 109709662 78065664 12804 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19059 12804 104 219 0 18836 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 76236

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1486264/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=77252 CPUtime=1301.9
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 19151 0 0 0 129940 250 0 0 25 0 1 0 109709662 79106048 13030 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19313 13030 104 219 0 19090 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 77252

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1485304/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=77252 CPUtime=1361.88
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 19379 0 0 0 135932 256 0 0 25 0 1 0 109709662 79106048 13258 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19313 13258 104 219 0 19090 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 77252

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1484344/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=78336 CPUtime=1421.86
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 19625 0 0 0 141924 262 0 0 25 0 1 0 109709662 80216064 13504 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19584 13504 104 219 0 19361 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 78336

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1481272/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=78336 CPUtime=1481.84
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 20373 0 0 0 147917 267 0 0 25 0 1 0 109709662 80216064 14252 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19584 14252 104 219 0 19361 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 78336

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1480504/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=79476 CPUtime=1541.82
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 20572 0 0 0 153909 273 0 0 25 0 1 0 109709662 81383424 14451 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19869 14451 104 219 0 19646 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 79476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1476920/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=79476 CPUtime=1601.8
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 21491 0 0 0 159902 278 0 0 25 0 1 0 109709662 81383424 15370 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19869 15370 104 219 0 19646 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 79476

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1474168/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=79796 CPUtime=1661.79
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 22177 0 0 0 165893 286 0 0 25 0 1 0 109709662 81711104 16056 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 19949 16057 104 219 0 19726 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 79796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1471032/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=80836 CPUtime=1721.77
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 22940 0 0 0 171885 292 0 0 25 0 1 0 109709662 82776064 16819 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 20209 16819 104 219 0 19986 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 80836

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1470200/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=80836 CPUtime=1781.75
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 23139 0 0 0 177879 296 0 0 25 0 1 0 109709662 82776064 17018 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 20209 17018 104 219 0 19986 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 80836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22696
/proc/meminfo: memFree=1469944/2055920 swapFree=4169464/4192956
[pid=22693] ppid=22691 vsize=80836 CPUtime=1800.05
/proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 23202 0 0 0 179707 298 0 0 25 0 1 0 109709662 82776064 17081 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22693/statm: 20209 17081 104 219 0 19986 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 80836

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1797.07
CPU system time (s): 2.99754
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 80836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.07
system time used= 2.99754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23203
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= 8
involuntary context switches= 3712

runsolver used 2.11268 second user time and 4.45232 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Sun Apr 15 06:18:40 UTC 2007

IDJOB= 351935
IDBENCH= 1866
IDSOLVER= 157
FILE ID= node22/351935-1176617920

PBS_JOBID= 4557052

Free space on /tmp= 66563 MiB

SOLVER NAME= PBS4 2007-03-23
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= /tmp/evaluation/351935-1176617920/PBS4 /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-351935-1176617920 -o ROOT/results/node22/conversion-351935-1176617920 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-351935-1176617920 -o ROOT/results/node22/solver-351935-1176617920 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/351935-1176617920/PBS4 /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  38a2c469f9dc1120b8fe634a693ac03d

RANDOM SEED= 771118516

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
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.265
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:       1539480 kB
Buffers:         47020 kB
Cached:         352684 kB
SwapCached:       2108 kB
Active:         128772 kB
Inactive:       296148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1539480 kB
SwapTotal:     4192956 kB
SwapFree:      4169464 kB
Dirty:            1224 kB
Writeback:           0 kB
Mapped:          40100 kB
Slab:            77232 kB
Committed_AS:   630932 kB
PageTables:       1680 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node22 on Sun Apr 15 06:48:43 UTC 2007