Trace number 3496752

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.5.2-gmp (fixed)? (TO)4979 1800.04 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3124
Best CPU time to get the best result obtained on this benchmark1.77673
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
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 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
695.70/695.74	o 47183
695.70/695.74	o 47162
695.70/695.74	o 47158
695.70/695.74	o 47157
695.70/695.74	o 47129
695.70/695.74	o 46283
695.70/695.74	o 37884
695.70/695.74	o 37883
695.70/695.74	o 37875
695.70/695.74	o 37869
695.70/695.74	o 37868
695.70/695.74	o 37867
695.70/695.74	o 37866
695.70/695.74	o 37862
695.70/695.74	o 37861
695.70/695.74	o 37858
695.70/695.74	o 37857
695.70/695.74	o 37853
695.70/695.74	o 37852
695.70/695.74	o 37844
695.70/695.74	o 37843
695.70/695.74	o 37842
695.70/695.74	o 37840
695.70/695.74	o 37839
695.70/695.74	o 37838
695.70/695.74	o 37837
695.70/695.74	o 37836
695.70/695.74	o 37833
695.70/695.74	o 37832
695.70/695.74	o 37831
695.70/695.74	o 37828
695.70/695.74	o 37826
695.70/695.74	o 37823
695.70/695.74	o 37806
695.70/695.74	o 37804
695.70/695.74	o 37798
695.70/695.74	o 37797
695.70/695.74	o 37796
695.70/695.74	o 37790
695.70/695.74	o 37789
695.70/695.74	o 37788
695.70/695.74	o 37787
695.70/695.74	o 37785
695.70/695.74	o 37783
695.70/695.74	o 37777
695.70/695.74	o 37761
695.70/695.74	o 37751
695.70/695.74	o 37750
695.70/695.74	o 37744
695.70/695.74	o 37743
695.70/695.74	o 37742
695.70/695.74	o 37741
695.70/695.74	o 37740
695.70/695.74	o 37739
695.70/695.74	o 37738
695.70/695.74	o 37736
695.70/695.74	o 37734
695.70/695.74	o 37733
695.70/695.74	o 37732
695.70/695.74	o 37725
695.70/695.74	o 37721
695.70/695.74	o 37715
695.70/695.74	o 37714
695.70/695.74	o 37713
695.70/695.74	o 37710
695.70/695.74	o 37709
695.70/695.74	o 37707
695.70/695.74	o 37706
695.70/695.74	o 37702
695.70/695.74	o 37701
695.70/695.74	o 37700
695.70/695.74	o 37699
695.70/695.74	o 37696
695.70/695.74	o 37695
695.70/695.74	o 37694
695.70/695.74	o 37693
695.70/695.74	o 37671
695.70/695.74	o 37663
695.70/695.74	o 37662
695.70/695.74	o 37661
695.70/695.74	o 37653
695.70/695.74	o 37651
695.70/695.74	o 37640
695.70/695.74	o 37639
695.70/695.74	o 37638
695.70/695.74	o 37637
695.70/695.74	o 37636
695.70/695.74	o 37635
695.70/695.74	o 37634
695.70/695.74	o 37633
695.70/695.74	o 37632
695.70/695.74	o 37631
695.70/695.74	o 37630
695.70/695.74	o 37629
695.70/695.74	o 37628
695.70/695.74	o 37627
695.70/695.74	o 37626
695.70/695.74	o 37625
695.70/695.74	o 37619
695.70/695.74	o 37618
695.70/695.74	o 37616
695.70/695.74	o 37615
695.70/695.74	o 37614
695.70/695.74	o 37613
695.70/695.74	o 37612
695.70/695.74	o 37611
695.70/695.74	o 37610
695.70/695.74	o 37608
695.70/695.74	o 37607
695.70/695.74	o 37606
695.70/695.74	o 37605
695.70/695.74	o 37604
695.70/695.74	o 37603
695.70/695.74	o 37602
695.70/695.74	o 37601
695.70/695.74	o 37600
695.70/695.74	o 37599
695.70/695.74	o 37598
695.70/695.74	o 37597
695.70/695.74	o 37596
695.70/695.74	o 37593
695.70/695.74	o 37590
695.70/695.74	o 37579
695.70/695.74	o 37574
695.70/695.74	o 37563
695.70/695.74	o 37560
695.70/695.74	o 37559
695.70/695.74	o 37558
695.70/695.74	o 37557
695.70/695.74	o 37556
695.70/695.74	o 37555
695.70/695.74	o 37554
695.70/695.74	o 37553
695.70/695.74	o 37550
695.70/695.74	o 37549
695.70/695.74	o 37548
695.70/695.74	o 37544
695.70/695.74	o 37543
695.70/695.74	o 37542
695.70/695.74	o 37539
695.70/695.74	o 37538
695.70/695.74	o 37537
695.70/695.74	o 37536
695.70/695.74	o 37534
695.70/695.74	o 37530
695.70/695.74	o 37528
695.70/695.74	o 37527
695.70/695.74	o 37526
695.70/695.74	o 37525
695.70/695.74	o 37524
695.70/695.74	o 37521
695.70/695.74	o 37520
695.70/695.74	o 37515
695.70/695.74	o 37514
695.70/695.74	o 37512
695.70/695.74	o 37506
695.70/695.74	o 37505
695.70/695.74	o 37504
695.70/695.74	o 37500
695.70/695.74	o 37498
695.70/695.74	o 37497
695.70/695.74	o 37496
695.70/695.74	o 37495
695.70/695.74	o 37494
695.70/695.74	o 37492
695.70/695.74	o 37491
695.70/695.74	o 37490
695.70/695.74	o 37489
695.70/695.74	o 37486
695.70/695.74	o 37485
695.70/695.74	o 37484
695.70/695.74	o 37482
695.70/695.74	o 37481
695.70/695.74	o 37480
695.70/695.74	o 37479
695.70/695.74	o 37478
695.70/695.74	o 37477
695.70/695.74	o 37475
695.70/695.74	o 37474
695.70/695.74	o 37473
695.70/695.74	o 37472
695.70/695.74	o 37471
695.70/695.74	o 37470
695.70/695.74	o 37469
695.70/695.74	o 37453
695.70/695.74	o 37446
695.70/695.74	o 37443
695.70/695.74	o 37441
695.70/695.74	o 37435
695.70/695.74	o 37434
695.70/695.74	o 37433
695.70/695.74	o 37430
695.70/695.74	o 37429
695.70/695.74	o 37428
695.70/695.74	o 37427
695.70/695.74	o 37426
695.70/695.74	o 37425
695.70/695.74	o 37423
695.70/695.74	o 37422
695.70/695.74	o 37421
695.70/695.74	o 37420
695.70/695.74	o 37419
695.70/695.74	o 37418
695.70/695.74	o 37416
695.70/695.74	o 37413
695.70/695.74	o 37412
695.70/695.74	o 37411
695.70/695.74	o 37410
695.70/695.74	o 37408
695.70/695.74	o 37407
695.70/695.74	o 37404
695.70/695.74	o 37403
695.70/695.74	o 37402
695.70/695.74	o 37401
695.70/695.74	o 37400
695.70/695.74	o 37399
695.70/695.74	o 37398
695.70/695.74	o 37397
695.70/695.74	o 37396
695.70/695.74	o 37395
695.70/695.74	o 37394
695.70/695.74	o 37393
695.70/695.74	o 37386
695.70/695.74	o 37385
695.70/695.74	o 37384
695.70/695.74	o 37383
695.70/695.74	o 37382
695.70/695.74	o 37381
695.70/695.74	o 37380
695.70/695.74	o 37264
695.70/695.74	o 37263
695.70/695.74	o 37262
695.70/695.74	o 37261
695.70/695.74	o 37258
695.70/695.74	o 37252
695.70/695.74	o 37251
695.70/695.74	o 37249
695.70/695.74	o 37246
695.70/695.74	o 37245
695.70/695.74	o 37244
695.70/695.74	o 37243
695.70/695.74	o 37242
695.70/695.74	o 37241
695.70/695.74	o 37240
695.70/695.74	o 37239
695.70/695.74	o 37238
695.70/695.74	o 37236
695.70/695.74	o 37235
695.70/695.74	o 37232
695.70/695.74	o 37231
695.70/695.74	o 37227
695.70/695.74	o 37226
695.70/695.74	o 37225
695.70/695.74	o 37223
695.70/695.74	o 37222
695.70/695.74	o 37220
695.70/695.74	o 37219
695.70/695.74	o 37218
695.70/695.74	o 37216
695.70/695.74	o 37213
695.70/695.74	o 37212
695.70/695.74	o 37206
695.70/695.74	o 37204
695.70/695.74	o 37203
695.70/695.74	o 37202
695.70/695.74	o 37201
695.70/695.74	o 37199
695.70/695.74	o 37198
695.70/695.74	o 37197
695.70/695.74	o 37196
695.70/695.74	o 37195
695.70/695.74	o 37194
695.70/695.74	o 37188
695.70/695.74	o 34197
695.70/695.74	o 34196
695.70/695.74	o 34195
695.70/695.74	o 34194
695.70/695.74	o 34189
695.70/695.74	o 34188
695.70/695.74	o 34187
695.70/695.74	o 34185
695.70/695.74	o 34183
695.70/695.74	o 34180
695.70/695.74	o 34176
695.70/695.74	o 34173
695.70/695.74	o 34172
695.70/695.74	o 34171
695.70/695.74	o 34170
695.70/695.74	o 34169
695.70/695.74	o 34168
695.70/695.74	o 34166
695.70/695.74	o 34165
695.70/695.74	o 34164
695.70/695.74	o 34161
695.70/695.74	o 34158
695.70/695.74	o 34157
695.70/695.74	o 34150
695.70/695.74	o 34149
695.70/695.74	o 34145
695.70/695.74	o 34132
695.70/695.74	o 34129
695.70/695.74	o 34128
695.70/695.74	o 34126
695.70/695.74	o 34122
695.70/695.74	o 34121
695.70/695.74	o 34119
695.70/695.74	o 34118
695.70/695.74	o 34116
695.70/695.74	o 34113
695.70/695.74	o 34112
695.70/695.74	o 34111
695.70/695.74	o 34109
695.70/695.74	o 34107
695.70/695.74	o 34106
695.70/695.74	o 34078
695.70/695.74	o 34076
695.70/695.74	o 34075
695.70/695.74	o 34073
695.70/695.74	o 34072
695.70/695.74	o 34071
695.70/695.74	o 34043
695.70/695.74	o 34042
695.70/695.74	o 34041
695.70/695.74	o 34040
695.70/695.74	o 34039
695.70/695.74	o 34037
695.70/695.74	o 34036
695.70/695.74	o 34035
695.70/695.74	o 34034
695.70/695.74	o 34030
695.70/695.74	o 34029
695.70/695.74	o 34028
695.70/695.74	o 34027
695.70/695.74	o 34026
695.70/695.74	o 34025
695.70/695.74	o 34023
695.70/695.74	o 34022
695.70/695.74	o 34021
695.70/695.74	o 34020
695.70/695.74	o 34018
695.70/695.74	o 34017
695.70/695.74	o 34016
695.70/695.74	o 34015
695.70/695.74	o 34013
695.70/695.74	o 34011
695.70/695.74	o 34010
695.70/695.74	o 34009
695.70/695.74	o 33993
695.70/695.74	o 33992
695.70/695.74	o 33991
695.70/695.74	o 33987
695.70/695.74	o 33986
695.70/695.74	o 33984
695.70/695.74	o 33983
695.70/695.74	o 33982
695.70/695.74	o 33981
695.70/695.74	o 33977
695.70/695.74	o 33976
695.70/695.74	o 33973
695.70/695.74	o 33972
695.70/695.74	o 33971
695.70/695.74	o 33969
695.70/695.74	o 33968
695.70/695.74	o 33966
695.70/695.74	o 33965
695.70/695.74	o 33964
695.70/695.74	o 33963
695.70/695.74	o 33962
695.70/695.74	o 33960
695.70/695.74	o 33956
695.70/695.74	o 33933
695.70/695.74	o 33932
695.70/695.74	o 33930
695.70/695.74	o 33929
695.70/695.74	o 33889
695.70/695.74	o 33771
695.70/695.74	o 33759
695.70/695.74	o 33757
695.70/695.74	o 33746
695.70/695.74	o 33745
695.70/695.74	o 33744
695.70/695.74	o 33742
695.70/695.74	o 33741
695.70/695.74	o 33740
695.70/695.74	o 33739
695.70/695.74	o 33738
695.70/695.74	o 33737
695.70/695.74	o 33734
695.70/695.74	o 33732
695.70/695.74	o 33731
695.70/695.74	o 33729
695.70/695.74	o 33728
695.70/695.74	o 33726
695.70/695.74	o 33724
695.70/695.74	o 33722
695.70/695.74	o 33720
695.70/695.74	o 33719
695.70/695.74	o 33718
695.70/695.74	o 33717
695.70/695.74	o 33716
695.70/695.74	o 33715
695.70/695.74	o 33714
695.70/695.74	o 33712
695.70/695.74	o 33711
695.70/695.74	o 33710
695.70/695.74	o 33709
695.70/695.74	o 33708
695.70/695.74	o 33706
695.70/695.74	o 33697
695.70/695.74	o 33695
695.70/695.74	o 33688
695.70/695.74	o 33687
695.70/695.74	o 33686
695.70/695.74	o 33685
695.70/695.74	o 33684
695.70/695.74	o 33681
695.70/695.74	o 33679
695.70/695.74	o 33678
695.70/695.74	o 33677
695.70/695.74	o 33676
695.70/695.74	o 33675
695.70/695.74	o 33674
695.70/695.74	o 33673
695.70/695.74	o 33669
695.70/695.74	o 33668
695.70/695.74	o 33667
695.70/695.74	o 33666
695.70/695.74	o 33663
695.70/695.74	o 33662
695.70/695.74	o 33661
695.70/695.74	o 33660
695.70/695.74	o 33659
695.70/695.74	o 33658
695.70/695.74	o 33657
695.70/695.74	o 33654
695.70/695.74	o 33653
695.70/695.74	o 33652
695.70/695.74	o 33651
695.70/695.74	o 33650
695.70/695.74	o 33648
695.70/695.74	o 33647
695.70/695.74	o 33645
695.70/695.74	o 33644
695.70/695.74	o 33641
695.70/695.74	o 33638
695.70/695.74	o 32191
695.70/695.74	o 32155
695.70/695.74	o 32141
695.70/695.74	o 32140
695.70/695.74	o 32139
695.70/695.74	o 32138
695.70/695.74	o 32137
695.70/695.74	o 32135
695.70/695.74	o 32134
695.70/695.74	o 32133
695.70/695.74	o 32132
695.70/695.74	o 32131
695.70/695.74	o 32130
695.70/695.74	o 32129
695.70/695.74	o 32127
695.70/695.74	o 32126
695.70/695.74	o 32125
695.70/695.74	o 32124
695.70/695.74	o 32122
695.70/695.74	o 32119
695.70/695.74	o 32118
695.70/695.74	o 32115
695.70/695.74	o 32114
695.70/695.74	o 32111
695.70/695.74	o 32110
695.70/695.74	o 32108
695.70/695.74	o 32106
695.70/695.74	o 32105
695.70/695.74	o 32103
695.70/695.74	o 32097
695.70/695.74	o 32090
695.70/695.74	o 32089
695.70/695.74	o 32087
695.70/695.74	o 32086
695.70/695.74	o 32085
695.70/695.74	o 32084
695.70/695.74	o 32083
695.70/695.74	o 32080
695.70/695.74	o 32076
695.70/695.74	o 32075
695.70/695.74	o 32073
695.70/695.74	o 32072
695.70/695.74	o 32071
695.70/695.74	o 32070
695.70/695.74	o 32069
695.70/695.74	o 32068
695.70/695.74	o 32061
695.70/695.74	o 32060
695.70/695.74	o 32059
695.70/695.74	o 32058
695.70/695.74	o 32057
695.70/695.74	o 32056
695.70/695.74	o 32055
695.70/695.74	o 32053
695.70/695.74	o 32052
695.70/695.74	o 32051
695.70/695.74	o 32048
695.70/695.74	o 32046
695.70/695.74	o 32044
695.70/695.74	o 32043
695.70/695.74	o 32042
695.70/695.74	o 32024
695.70/695.74	o 32023
695.70/695.74	o 32003
695.70/695.74	o 32001
695.70/695.74	o 32000
695.70/695.74	o 31999
1800.02/1800.00	>>> Terminate signal received
1800.02/1800.00	o 31996
1800.02/1800.00	o 31992
1800.02/1800.00	o 31991
1800.02/1800.00	o 31990
1800.02/1800.00	o 31988
1800.02/1800.00	o 31987
1800.02/1800.00	o 31986
1800.02/1800.00	o 31984
1800.02/1800.00	o 31983
1800.02/1800.00	o 31982
1800.02/1800.00	o 31981
1800.02/1800.00	o 31980
1800.02/1800.00	o 31979
1800.02/1800.00	o 31978
1800.02/1800.00	o 31977
1800.02/1800.00	o 31976
1800.02/1800.00	o 31975
1800.02/1800.00	o 31974
1800.02/1800.00	o 31973
1800.02/1800.00	o 31960
1800.02/1800.00	o 31948
1800.02/1800.00	o 31933
1800.02/1800.00	o 31922
1800.02/1800.00	o 31921
1800.02/1800.00	o 31920
1800.02/1800.00	o 31919
1800.02/1800.00	o 31918
1800.02/1800.00	o 31914
1800.02/1800.00	o 31913
1800.02/1800.00	o 31909
1800.02/1800.00	o 31908
1800.02/1800.00	o 31907
1800.02/1800.00	o 31906
1800.02/1800.00	o 31905
1800.02/1800.00	o 31902
1800.02/1800.00	o 31900
1800.02/1800.00	o 31896
1800.02/1800.00	o 31895
1800.02/1800.00	o 31894
1800.02/1800.00	o 31892
1800.02/1800.00	o 31891
1800.02/1800.00	o 31889
1800.02/1800.00	o 31888
1800.02/1800.00	o 31887
1800.02/1800.00	o 31886
1800.02/1800.00	o 31884
1800.02/1800.00	o 31883
1800.02/1800.00	o 31881
1800.02/1800.00	o 31880
1800.02/1800.00	o 31876
1800.02/1800.00	o 31869
1800.02/1800.00	o 31868
1800.02/1800.00	o 31867
1800.02/1800.00	o 31866
1800.02/1800.00	o 31865
1800.02/1800.00	o 31861
1800.02/1800.00	o 20869
1800.02/1800.00	o 20867
1800.02/1800.00	o 20866
1800.02/1800.00	o 20865
1800.02/1800.00	o 20863
1800.02/1800.00	o 20862
1800.02/1800.00	o 20861
1800.02/1800.00	o 20860
1800.02/1800.00	o 20857
1800.02/1800.00	o 20854
1800.02/1800.00	o 20853
1800.02/1800.00	o 20850
1800.02/1800.00	o 20848
1800.02/1800.00	o 20846
1800.02/1800.00	o 20845
1800.02/1800.00	o 20844
1800.02/1800.00	o 20841
1800.02/1800.00	o 20840
1800.02/1800.00	o 20837
1800.02/1800.00	o 20836
1800.02/1800.00	o 20835
1800.02/1800.00	o 20834
1800.02/1800.00	o 20833
1800.02/1800.00	o 20830
1800.02/1800.00	o 20829
1800.02/1800.00	o 20827
1800.02/1800.00	o 20826
1800.02/1800.00	o 20825
1800.02/1800.00	o 20824
1800.02/1800.00	o 20823
1800.02/1800.00	o 20822
1800.02/1800.00	o 20821
1800.02/1800.00	o 20820
1800.02/1800.00	o 20818
1800.02/1800.00	o 20817
1800.02/1800.00	o 20816
1800.02/1800.00	o 20815
1800.02/1800.00	o 20814
1800.02/1800.00	o 20813
1800.02/1800.00	o 20812
1800.02/1800.00	o 20811
1800.02/1800.00	o 20810
1800.02/1800.00	o 20809
1800.02/1800.00	o 20808
1800.02/1800.00	o 20807
1800.02/1800.00	o 20801
1800.02/1800.00	o 20800
1800.02/1800.00	o 20798
1800.02/1800.00	o 20797
1800.02/1800.00	o 20796
1800.02/1800.00	o 20795
1800.02/1800.00	o 20793
1800.02/1800.00	o 20792
1800.02/1800.00	o 20790
1800.02/1800.00	o 20787
1800.02/1800.00	o 20786
1800.02/1800.00	o 20785
1800.02/1800.00	o 20781
1800.02/1800.00	o 20780
1800.02/1800.00	o 20779
1800.02/1800.00	o 20778
1800.02/1800.00	o 20776
1800.02/1800.00	o 20773
1800.02/1800.00	o 20772
1800.02/1800.00	o 20771
1800.02/1800.00	o 20770
1800.02/1800.00	o 20769
1800.02/1800.00	o 20768
1800.02/1800.00	o 20764
1800.02/1800.00	o 20759
1800.02/1800.00	o 20758
1800.02/1800.00	o 20755
1800.02/1800.00	o 20754
1800.02/1800.00	o 20753
1800.02/1800.00	o 20752
1800.02/1800.00	o 20751
1800.02/1800.00	o 20750
1800.02/1800.00	o 20749
1800.02/1800.00	o 20748
1800.02/1800.00	o 20747
1800.02/1800.00	o 20745
1800.02/1800.00	o 20744
1800.02/1800.00	o 20743
1800.02/1800.00	o 20742
1800.02/1800.00	o 20739
1800.02/1800.00	o 20738
1800.02/1800.00	o 20737
1800.02/1800.00	o 20734
1800.02/1800.00	o 20733
1800.02/1800.00	o 20058
1800.02/1800.00	o 20010
1800.02/1800.00	o 19967
1800.02/1800.00	o 18467
1800.02/1800.00	o 18466
1800.02/1800.00	o 18465
1800.02/1800.00	o 18464
1800.02/1800.00	o 18463
1800.02/1800.00	o 18461
1800.02/1800.00	o 18460
1800.02/1800.00	o 18459
1800.02/1800.00	o 18456
1800.02/1800.00	o 18455
1800.02/1800.00	o 18454
1800.02/1800.00	o 18451
1800.02/1800.00	o 18450
1800.02/1800.00	o 18449
1800.02/1800.00	o 18448
1800.02/1800.00	o 18447
1800.02/1800.00	o 18446
1800.02/1800.00	o 18445
1800.02/1800.00	o 18444
1800.02/1800.00	o 18443
1800.02/1800.00	o 18442
1800.02/1800.00	o 18441
1800.02/1800.00	o 18440
1800.02/1800.00	o 18439
1800.02/1800.00	o 18438
1800.02/1800.00	o 18437
1800.02/1800.00	o 18436
1800.02/1800.00	o 18435
1800.02/1800.00	o 18434
1800.02/1800.00	o 18433
1800.02/1800.00	o 18431
1800.02/1800.00	o 18430
1800.02/1800.00	o 18429
1800.02/1800.00	o 18427
1800.02/1800.00	o 18426
1800.02/1800.00	o 18425
1800.02/1800.00	o 18424
1800.02/1800.00	o 18422
1800.02/1800.00	o 18421
1800.02/1800.00	o 18420
1800.02/1800.00	o 18419
1800.02/1800.00	o 18417
1800.02/1800.00	o 18416
1800.02/1800.00	o 18413
1800.02/1800.00	o 18412
1800.02/1800.00	o 18411
1800.02/1800.00	o 18410
1800.02/1800.00	o 18405
1800.02/1800.00	o 18404
1800.02/1800.00	o 18403
1800.02/1800.00	o 18402
1800.02/1800.00	o 18401
1800.02/1800.00	o 18400
1800.02/1800.00	o 18399
1800.02/1800.00	o 18398
1800.02/1800.00	o 18397
1800.02/1800.00	o 18396
1800.02/1800.00	o 18392
1800.02/1800.00	o 18391
1800.02/1800.00	o 18390
1800.02/1800.00	o 18389
1800.02/1800.00	o 18388
1800.02/1800.00	o 18387
1800.02/1800.00	o 18385
1800.02/1800.00	o 18384
1800.02/1800.00	o 18383
1800.02/1800.00	o 18376
1800.02/1800.00	o 18375
1800.02/1800.00	o 18374
1800.02/1800.00	o 18372
1800.02/1800.00	o 18371
1800.02/1800.00	o 18369
1800.02/1800.00	o 18367
1800.02/1800.00	o 18366
1800.02/1800.00	o 18365
1800.02/1800.00	o 18364
1800.02/1800.00	o 18363
1800.02/1800.00	o 18362
1800.02/1800.00	o 18361
1800.02/1800.00	o 18360
1800.02/1800.00	o 18359
1800.02/1800.00	o 18358
1800.02/1800.00	o 18356
1800.02/1800.00	o 18355
1800.02/1800.00	o 18354
1800.02/1800.00	o 18353
1800.02/1800.00	o 18352
1800.02/1800.00	o 18350
1800.02/1800.00	o 18349
1800.02/1800.00	o 18346
1800.02/1800.00	o 18345
1800.02/1800.00	o 18344
1800.02/1800.00	o 18342
1800.02/1800.00	o 18336
1800.02/1800.00	o 18334
1800.02/1800.00	o 18333
1800.02/1800.00	o 18332
1800.02/1800.00	o 18331
1800.02/1800.00	o 18257
1800.02/1800.00	o 18255
1800.02/1800.00	o 18254
1800.02/1800.00	o 18253
1800.02/1800.00	o 18247
1800.02/1800.00	o 18246
1800.02/1800.00	o 18245
1800.02/1800.00	o 18244
1800.02/1800.00	o 18242
1800.02/1800.00	o 18241
1800.02/1800.00	o 18240
1800.02/1800.00	o 18239
1800.02/1800.00	o 18238
1800.02/1800.00	o 18235
1800.02/1800.00	o 18233
1800.02/1800.00	o 18232
1800.02/1800.00	o 18230
1800.02/1800.00	o 18229
1800.02/1800.00	o 18228
1800.02/1800.00	o 18227
1800.02/1800.00	o 18225
1800.02/1800.00	o 18224
1800.02/1800.00	o 18223
1800.02/1800.00	o 18220
1800.02/1800.00	o 18219
1800.02/1800.00	o 18216
1800.02/1800.00	o 18215
1800.02/1800.00	o 18214
1800.02/1800.00	o 18213
1800.02/1800.00	o 18210
1800.02/1800.00	o 18207
1800.02/1800.00	o 18202
1800.02/1800.00	o 16520
1800.02/1800.00	o 16470
1800.02/1800.00	o 16469
1800.02/1800.00	o 16430
1800.02/1800.00	o 16391
1800.02/1800.00	o 16390
1800.02/1800.00	o 16389
1800.02/1800.00	o 16385
1800.02/1800.00	o 16383
1800.02/1800.00	o 16382
1800.02/1800.00	o 16381
1800.02/1800.00	o 16380
1800.02/1800.00	o 16378
1800.02/1800.00	o 16375
1800.02/1800.00	o 16374
1800.02/1800.00	o 16373
1800.02/1800.00	o 16372
1800.02/1800.00	o 16371
1800.02/1800.00	o 16370
1800.02/1800.00	o 16368
1800.02/1800.00	o 16367
1800.02/1800.00	o 16365
1800.02/1800.00	o 16353
1800.02/1800.00	o 16352
1800.02/1800.00	o 16351
1800.02/1800.00	o 16350
1800.02/1800.00	o 16349
1800.02/1800.00	o 16348
1800.02/1800.00	o 16347
1800.02/1800.00	o 16345
1800.02/1800.00	o 16344
1800.02/1800.00	o 16343
1800.02/1800.00	o 16342
1800.02/1800.00	o 16340
1800.02/1800.00	o 16339
1800.02/1800.00	o 16338
1800.02/1800.00	o 16336
1800.02/1800.00	o 16334
1800.02/1800.00	o 16333
1800.02/1800.00	o 16328
1800.02/1800.00	o 16326
1800.02/1800.00	o 16325
1800.02/1800.00	o 16323
1800.02/1800.00	o 16321
1800.02/1800.00	o 16319
1800.02/1800.00	o 16318
1800.02/1800.00	o 16317
1800.02/1800.00	o 16316
1800.02/1800.00	o 16315
1800.02/1800.00	o 16314
1800.02/1800.00	o 16312
1800.02/1800.00	o 16311
1800.02/1800.00	o 16310
1800.02/1800.00	o 16309
1800.02/1800.00	o 16308
1800.02/1800.00	o 16306
1800.02/1800.00	o 16303
1800.02/1800.00	o 16302
1800.02/1800.00	o 16301
1800.02/1800.00	o 16298
1800.02/1800.00	o 16297
1800.02/1800.00	o 16296
1800.02/1800.00	o 16288
1800.02/1800.00	o 16283
1800.02/1800.00	o 16282
1800.02/1800.00	o 16281
1800.02/1800.00	o 16280
1800.02/1800.00	o 16277
1800.02/1800.00	o 16276
1800.02/1800.00	o 16275
1800.02/1800.00	o 16274
1800.02/1800.00	o 16273
1800.02/1800.00	o 16272
1800.02/1800.00	o 16271
1800.02/1800.00	o 16270
1800.02/1800.00	o 16267
1800.02/1800.00	o 16263
1800.02/1800.00	o 16260
1800.02/1800.00	o 16256
1800.02/1800.00	o 16255
1800.02/1800.00	o 16253
1800.02/1800.00	o 16252
1800.02/1800.00	o 16250
1800.02/1800.00	o 16249
1800.02/1800.00	o 16247
1800.02/1800.00	o 16245
1800.02/1800.00	o 16244
1800.02/1800.00	o 5494
1800.02/1800.00	o 5439
1800.02/1800.00	o 5300
1800.02/1800.00	o 5299
1800.02/1800.00	o 5297
1800.02/1800.00	o 5295
1800.02/1800.00	o 5290
1800.02/1800.00	o 5287
1800.02/1800.00	o 5286
1800.02/1800.00	o 5285
1800.02/1800.00	o 5284
1800.02/1800.00	o 5283
1800.02/1800.00	o 5282
1800.02/1800.00	o 5281
1800.02/1800.00	o 5280
1800.02/1800.00	o 5279
1800.02/1800.00	o 5277
1800.02/1800.00	o 5276
1800.02/1800.00	o 5275
1800.02/1800.00	o 5274
1800.02/1800.00	o 5273
1800.02/1800.00	o 5272
1800.02/1800.00	o 5271
1800.02/1800.00	o 5270
1800.02/1800.00	o 5269
1800.02/1800.00	o 5268
1800.02/1800.00	o 5266
1800.02/1800.00	o 5265
1800.02/1800.00	o 5264
1800.02/1800.00	o 5263
1800.02/1800.00	o 5262
1800.02/1800.00	o 5261
1800.02/1800.00	o 5259
1800.02/1800.00	o 5258
1800.02/1800.00	o 5256
1800.02/1800.00	o 5255
1800.02/1800.00	o 5254
1800.02/1800.00	o 5253
1800.02/1800.00	o 5251
1800.02/1800.00	o 5249
1800.02/1800.00	o 5248
1800.02/1800.00	o 5247
1800.02/1800.00	o 5246
1800.02/1800.00	o 5245
1800.02/1800.00	o 5244
1800.02/1800.00	o 5243
1800.02/1800.00	o 5242
1800.02/1800.00	o 5241
1800.02/1800.00	o 5240
1800.02/1800.00	o 5239
1800.02/1800.00	o 5238
1800.02/1800.00	o 5237
1800.02/1800.00	o 5236
1800.02/1800.00	o 5234
1800.02/1800.00	o 5233
1800.02/1800.00	o 5232
1800.02/1800.00	o 5230
1800.02/1800.00	o 5229
1800.02/1800.00	o 5228
1800.02/1800.00	o 5227
1800.02/1800.00	o 5226
1800.02/1800.00	o 5225
1800.02/1800.00	o 5224
1800.02/1800.00	o 5208
1800.02/1800.00	o 5207
1800.02/1800.00	o 5203
1800.02/1800.00	o 5202
1800.02/1800.00	o 5201
1800.02/1800.00	o 5200
1800.02/1800.00	o 5142
1800.02/1800.00	o 5141
1800.02/1800.00	o 5128
1800.02/1800.00	o 5122
1800.02/1800.00	o 5121
1800.02/1800.00	o 5119
1800.02/1800.00	o 5118
1800.02/1800.00	o 5115
1800.02/1800.00	o 5114
1800.02/1800.00	o 5112
1800.02/1800.00	o 5111
1800.02/1800.00	o 5110
1800.02/1800.00	o 5109
1800.02/1800.00	o 5108
1800.02/1800.00	o 5106
1800.02/1800.00	o 5105
1800.02/1800.00	o 5104
1800.02/1800.00	o 5102
1800.02/1800.00	o 5101
1800.02/1800.00	o 5099
1800.02/1800.00	o 5097
1800.02/1800.00	o 5092
1800.02/1800.00	o 5081
1800.02/1800.00	o 5080
1800.02/1800.00	o 5079
1800.02/1800.00	o 5078
1800.02/1800.00	o 5077
1800.02/1800.00	o 5076
1800.02/1800.00	o 5075
1800.02/1800.00	o 5073
1800.02/1800.00	o 5071
1800.02/1800.00	o 5070
1800.02/1800.00	o 5068
1800.02/1800.00	o 5066
1800.02/1800.00	o 5065
1800.02/1800.00	o 5064
1800.02/1800.00	o 5063
1800.02/1800.00	o 5062
1800.02/1800.00	o 5061
1800.02/1800.00	o 5060
1800.02/1800.00	o 5059
1800.02/1800.00	o 5058
1800.02/1800.00	o 5057
1800.02/1800.00	o 5056
1800.02/1800.00	o 5055
1800.02/1800.00	o 5054
1800.02/1800.00	o 5052
1800.02/1800.00	o 5051
1800.02/1800.00	o 5050
1800.02/1800.00	o 5049
1800.02/1800.00	o 5048
1800.02/1800.00	o 5047
1800.02/1800.00	o 5046
1800.02/1800.00	o 5045
1800.02/1800.00	o 5044
1800.02/1800.00	o 5043
1800.02/1800.00	o 5042
1800.02/1800.00	o 5041
1800.02/1800.00	o 5040
1800.02/1800.00	o 5039
1800.02/1800.00	o 5038
1800.02/1800.00	o 5037
1800.02/1800.00	o 5036
1800.02/1800.00	o 5035
1800.02/1800.00	o 5034
1800.02/1800.00	o 5033
1800.02/1800.00	o 5032
1800.02/1800.00	o 5031
1800.02/1800.00	o 5030
1800.02/1800.00	o 5029
1800.02/1800.00	o 5028
1800.02/1800.00	o 5027
1800.02/1800.00	o 5026
1800.02/1800.00	o 5025
1800.02/1800.00	o 5021
1800.02/1800.00	o 5020
1800.02/1800.00	o 5019
1800.02/1800.00	o 5018
1800.02/1800.00	o 5017
1800.02/1800.00	o 5016
1800.02/1800.00	o 5015
1800.02/1800.00	o 5014
1800.02/1800.00	o 5013
1800.02/1800.00	o 5012
1800.02/1800.00	o 5008
1800.02/1800.00	o 5007
1800.02/1800.00	o 5006
1800.02/1800.00	o 5005
1800.02/1800.00	o 5004
1800.02/1800.00	o 5003
1800.02/1800.00	o 5002
1800.02/1800.00	o 5000
1800.02/1800.00	o 4997
1800.02/1800.00	o 4994
1800.02/1800.00	o 4993
1800.02/1800.00	o 4985
1800.02/1800.00	o 4984
1800.02/1800.00	o 4982
1800.02/1800.00	o 4979
1800.02/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 x1762 -x1763 -x1764 x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 x2362 -x2363 -x2364 x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 x2447 -x2448 -x2449 x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 x2756

Verifier Data 

OK	4979

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3496752-1307920540/watcher-3496752-1307920540 -o /var/tmp/evaluation-result-3496752-1307920540/solver-3496752-1307920540 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496752-1307920540.opb --verbosity=0 --format=opb --randomseed=1539272566 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.84 1.09 2/177 24006
/proc/meminfo: memFree=3260064/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=8332 CPUtime=0 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 903652558 8531968 475 33554432000 4194304 6957856 140737224376224 18446744073709551615 4640805 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 2083 482 229 675 0 1399 0

[startup+0.0985569 s]
/proc/loadavg: 2.00 1.84 1.09 2/177 24006
/proc/meminfo: memFree=3260064/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=15028 CPUtime=0.09 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 2387 0 0 0 9 0 0 0 25 0 1 0 903652558 15388672 2183 33554432000 4194304 6957856 140737224376224 18446744073709551615 5311771 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 3757 2183 273 675 0 3073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15028

[startup+0.100553 s]
/proc/loadavg: 2.00 1.84 1.09 2/177 24006
/proc/meminfo: memFree=3260064/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=15028 CPUtime=0.09 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 2387 0 0 0 9 0 0 0 25 0 1 0 903652558 15388672 2183 33554432000 4194304 6957856 140737224376224 18446744073709551615 5934561 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 3757 2183 273 675 0 3073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15028

[startup+0.300518 s]
/proc/loadavg: 2.00 1.84 1.09 2/177 24006
/proc/meminfo: memFree=3260064/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=10676 CPUtime=0.29 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 2397 0 0 0 29 0 0 0 25 0 1 0 903652558 10932224 2192 33554432000 4194304 6957856 140737224376224 18446744073709551615 5311844 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 2669 2192 277 675 0 1985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10676

[startup+0.700407 s]
/proc/loadavg: 2.00 1.84 1.09 2/177 24006
/proc/meminfo: memFree=3260064/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=11308 CPUtime=0.69 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 2500 0 0 0 69 0 0 0 25 0 1 0 903652558 11579392 2294 33554432000 4194304 6957856 140737224376224 18446744073709551615 5934057 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 2827 2294 286 675 0 2143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11308

[startup+1.5003 s]
/proc/loadavg: 2.00 1.84 1.09 3/178 24007
/proc/meminfo: memFree=3251648/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=12324 CPUtime=1.49 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 2761 0 0 0 149 0 0 0 25 0 1 0 903652558 12619776 2550 33554432000 4194304 6957856 140737224376224 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 3081 2550 286 675 0 2397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12324

[startup+3.10104 s]
/proc/loadavg: 2.00 1.84 1.09 3/178 24007
/proc/meminfo: memFree=3249664/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=15012 CPUtime=3.09 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 3319 0 0 0 309 0 0 0 25 0 1 0 903652558 15372288 3099 33554432000 4194304 6957856 140737224376224 18446744073709551615 4869759 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 3753 3099 286 675 0 3069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15012

[startup+6.30051 s]
/proc/loadavg: 2.00 1.84 1.09 3/178 24007
/proc/meminfo: memFree=3240420/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=26508 CPUtime=6.29 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 5597 0 0 0 629 0 0 0 25 0 1 0 903652558 27144192 5364 33554432000 4194304 6957856 140737224376224 18446744073709551615 5924269 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 6627 5364 288 675 0 5943 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26508

[startup+12.7004 s]
/proc/loadavg: 2.00 1.84 1.10 3/178 24008
/proc/meminfo: memFree=3241568/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=26516 CPUtime=12.69 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 8201 0 0 0 1268 1 0 0 25 0 1 0 903652558 27152384 4834 33554432000 4194304 6957856 140737224376224 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 6629 4834 288 675 0 5945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26516

[startup+25.5003 s]
/proc/loadavg: 2.00 1.85 1.11 3/178 24008
/proc/meminfo: memFree=3224556/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=45260 CPUtime=25.49 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 12310 0 0 0 2548 1 0 0 25 0 1 0 903652558 46346240 8926 33554432000 4194304 6957856 140737224376224 18446744073709551615 5922280 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 11315 8926 288 675 0 10631 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45260

[startup+51.101 s]
/proc/loadavg: 2.00 1.86 1.13 3/178 24009
/proc/meminfo: memFree=3136724/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=113456 CPUtime=51.09 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 30955 0 0 0 5105 4 0 0 25 0 1 0 903652558 116178944 21149 33554432000 4194304 6957856 140737224376224 18446744073709551615 4643923 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 28364 21149 288 675 0 27680 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 113456

[startup+102.306 s]
/proc/loadavg: 2.00 1.88 1.18 3/178 24010
/proc/meminfo: memFree=3181832/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=113456 CPUtime=102.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 64505 0 0 0 10221 9 0 0 25 0 1 0 903652558 116178944 19248 33554432000 4194304 6957856 140737224376224 18446744073709551615 5918124 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 28364 19248 288 675 0 27680 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 113456

[startup+162.3 s]
/proc/loadavg: 2.00 1.90 1.22 3/178 24011
/proc/meminfo: memFree=3201236/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=162.29 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 82884 0 0 0 16217 12 0 0 25 0 1 0 903652558 65675264 14744 33554432000 4194304 6957856 140737224376224 18446744073709551615 5934057 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 14744 288 675 0 15350 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 64136

[startup+222.301 s]
/proc/loadavg: 2.00 1.91 1.27 3/178 24013
/proc/meminfo: memFree=3195852/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=222.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 102293 0 0 0 22215 15 0 0 25 0 1 0 903652558 65675264 15568 33554432000 4194304 6957856 140737224376224 18446744073709551615 4837040 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 15568 288 675 0 15350 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 64136

[startup+282.301 s]
/proc/loadavg: 2.00 1.93 1.31 3/178 24015
/proc/meminfo: memFree=3137040/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=282.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 102293 0 0 0 28215 15 0 0 25 0 1 0 903652558 65675264 15568 33554432000 4194304 6957856 140737224376224 18446744073709551615 5924269 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 15568 288 675 0 15350 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 64136

[startup+342.301 s]
/proc/loadavg: 2.00 1.94 1.35 3/178 24017
/proc/meminfo: memFree=3177272/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=342.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 127709 0 0 0 34212 18 0 0 25 0 1 0 903652558 65675264 15568 33554432000 4194304 6957856 140737224376224 18446744073709551615 5314165 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 15568 288 675 0 15350 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 64136

[startup+402.301 s]
/proc/loadavg: 2.00 1.95 1.39 3/178 24018
/proc/meminfo: memFree=3177336/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=402.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 127709 0 0 0 40212 18 0 0 25 0 1 0 903652558 65675264 15568 33554432000 4194304 6957856 140737224376224 18446744073709551615 4455192 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 15568 288 675 0 15350 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 64136

[startup+462.301 s]
/proc/loadavg: 2.00 1.95 1.43 3/178 24020
/proc/meminfo: memFree=3177392/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=462.29 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 137364 0 0 0 46210 19 0 0 25 0 1 0 903652558 65675264 15568 33554432000 4194304 6957856 140737224376224 18446744073709551615 5922200 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 15568 288 675 0 15350 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 64136

[startup+522.301 s]
/proc/loadavg: 2.00 1.96 1.46 3/178 24021
/proc/meminfo: memFree=3177348/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=522.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 150818 0 0 0 52208 22 0 0 25 0 1 0 903652558 65675264 15568 33554432000 4194304 6957856 140737224376224 18446744073709551615 5934933 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 15568 288 675 0 15350 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 64136

[startup+582.301 s]
/proc/loadavg: 2.05 1.98 1.50 3/178 24023
/proc/meminfo: memFree=3139344/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=64136 CPUtime=582.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 171992 0 0 0 58206 24 0 0 25 0 1 0 903652558 65675264 15568 33554432000 4194304 6957856 140737224376224 18446744073709551615 5934062 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 16034 15568 288 675 0 15350 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 64136

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 1.99 1.60 3/178 24029
/proc/meminfo: memFree=3136380/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=94372 CPUtime=822.31 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 219552 0 0 0 82200 31 0 0 25 0 1 0 903652558 96636928 15754 33554432000 4194304 6957856 140737224376224 18446744073709551615 4851115 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 23593 15754 288 675 0 22909 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 94372

[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.63 3/178 24031
/proc/meminfo: memFree=3130748/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=75696 CPUtime=882.31 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 254614 0 0 0 88195 36 0 0 25 0 1 0 903652558 77512704 18458 33554432000 4194304 6957856 140737224376224 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 18924 18458 288 675 0 18240 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 75696

[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.65 3/178 24033
/proc/meminfo: memFree=3133668/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=75696 CPUtime=942.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 263981 0 0 0 94193 37 0 0 25 0 1 0 903652558 77512704 18458 33554432000 4194304 6957856 140737224376224 18446744073709551615 5922134 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 18924 18458 288 675 0 18240 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 75696

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/178 24034
/proc/meminfo: memFree=3129408/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=75696 CPUtime=1002.3 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 263981 0 0 0 100193 37 0 0 25 0 1 0 903652558 77512704 18458 33554432000 4194304 6957856 140737224376224 18446744073709551615 5932541 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 18924 18458 288 675 0 18240 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 75696

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 24035
/proc/meminfo: memFree=3128608/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=75696 CPUtime=1062.31 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 272113 0 0 0 106193 38 0 0 25 0 1 0 903652558 77512704 18458 33554432000 4194304 6957856 140737224376224 18446744073709551615 5917999 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 18924 18458 288 675 0 18240 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 75696

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/178 24037
/proc/meminfo: memFree=3165140/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=75696 CPUtime=1122.31 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 291624 0 0 0 112191 40 0 0 25 0 1 0 903652558 77512704 18458 33554432000 4194304 6957856 140737224376224 18446744073709551615 5922598 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 18924 18458 288 675 0 18240 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 75696

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/178 24039
/proc/meminfo: memFree=3119708/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=75696 CPUtime=1182.31 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 291624 0 0 0 118191 40 0 0 25 0 1 0 903652558 77512704 18458 33554432000 4194304 6957856 140737224376224 18446744073709551615 5915124 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 18924 18458 288 675 0 18240 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 75696

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/178 24041
/proc/meminfo: memFree=3116296/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=75696 CPUtime=1242.31 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 301973 0 0 0 124190 41 0 0 25 0 1 0 903652558 77512704 18458 33554432000 4194304 6957856 140737224376224 18446744073709551615 4851115 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 18924 18458 288 675 0 18240 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 75696

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/178 24042
/proc/meminfo: memFree=3098752/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=101544 CPUtime=1302.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 311444 0 0 0 130190 42 0 0 25 0 1 0 903652558 103981056 20074 33554432000 4194304 6957856 140737224376224 18446744073709551615 5915102 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 25386 20074 288 675 0 24702 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 101544

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/178 24043
/proc/meminfo: memFree=3087796/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=132188 CPUtime=1362.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 335158 0 0 0 136186 46 0 0 25 0 1 0 903652558 135360512 29097 33554432000 4194304 6957856 140737224376224 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 33047 29097 288 675 0 32363 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 132188

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.77 3/178 24045
/proc/meminfo: memFree=3123696/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1422.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 343219 0 0 0 142185 47 0 0 25 0 1 0 903652558 84856832 18976 33554432000 4194304 6957856 140737224376224 18446744073709551615 5915210 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 18976 288 675 0 20033 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 82868

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/178 24047
/proc/meminfo: memFree=3127260/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1482.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 351879 0 0 0 148184 48 0 0 25 0 1 0 903652558 84856832 20039 33554432000 4194304 6957856 140737224376224 18446744073709551615 4869741 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 20039 288 675 0 20033 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 82868

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/178 24049
/proc/meminfo: memFree=3158448/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1542.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 352092 0 0 0 154184 48 0 0 25 0 1 0 903652558 84856832 20251 33554432000 4194304 6957856 140737224376224 18446744073709551615 5918129 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 20251 288 675 0 20033 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 82868

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/178 24050
/proc/meminfo: memFree=3126520/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1602.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 361946 0 0 0 160183 49 0 0 25 0 1 0 903652558 84856832 20251 33554432000 4194304 6957856 140737224376224 18446744073709551615 4852284 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 20251 288 675 0 20033 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 82868

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/178 24052
/proc/meminfo: memFree=3125464/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1662.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 370249 0 0 0 166182 50 0 0 25 0 1 0 903652558 84856832 20251 33554432000 4194304 6957856 140737224376224 18446744073709551615 5934607 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 20251 288 675 0 20033 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 82868

[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 1.82 3/178 24092
/proc/meminfo: memFree=3213256/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1722.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 397328 0 0 0 172178 54 0 0 25 0 1 0 903652558 84856832 20251 33554432000 4194304 6957856 140737224376224 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 20251 288 675 0 20033 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 82868

[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.83 3/178 24094
/proc/meminfo: memFree=3193736/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1782.32 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 423713 0 0 0 178175 57 0 0 25 0 1 0 903652558 84856832 20251 33554432000 4194304 6957856 140737224376224 18446744073709551615 5918180 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 20251 288 675 0 20033 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 82868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.83 3/178 24094
/proc/meminfo: memFree=3201160/32951124 swapFree=67054520/67111528
[pid=24006] ppid=24004 vsize=82868 CPUtime=1800.02 cores=0,2,4,6
/proc/24006/stat : 24006 (minisatid-gmp) R 24004 24006 23709 0 -1 4202496 423713 0 0 0 179945 57 0 0 25 0 1 0 903652558 84856832 20251 33554432000 4194304 6957856 140737224376224 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/24006/statm: 20717 20251 288 675 0 20033 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 82868

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

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

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.04
CPU user time (s): 1799.46
CPU system time (s): 0.583911
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 144276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.583911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423716
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= 4
involuntary context switches= 2630

runsolver used 2.6386 second user time and 5.55415 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-13 01:15:41
IDJOB=3496752
IDBENCH=1871
IDSOLVER=1990
FILE ID=node130/3496752-1307920540
RUNJOBID= node130-1307919795-23727
PBS_JOBID= 13559649
Free space on /var/tmp= 2904 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3496752-1307920540/watcher-3496752-1307920540 -o /var/tmp/evaluation-result-3496752-1307920540/solver-3496752-1307920540 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3496752-1307920540.opb --verbosity=0 --format=opb --randomseed=1539272566

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef
RANDOM SEED=1539272566

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3260368 kB
Buffers:         74180 kB
Cached:       28624476 kB
SwapCached:      10292 kB
Active:       14178188 kB
Inactive:     14608584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3260368 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:            3120 kB
Writeback:           0 kB
AnonPages:       85620 kB
Mapped:          14308 kB
Slab:           839040 kB
PageTables:       4456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   279160 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2904 MiB
End job on node130 at 2011-06-13 01:45:43