Trace number 4437579

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
Hybrid-LSMabP+Exact 2024-07-11SAT41202 1869.01 1872.29

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
MD5SUM206b08b420dad9af66531a7207372127
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41202
Best CPU time to get the best result obtained on this benchmark0.09333
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1945
Total number of constraints3355
Number of constraints which are clauses3355
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint55
Number of terms in the objective function 1036
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1671510
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1671510
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

1868.93/1872.25	o 202010
1868.93/1872.25	o 194101
1868.93/1872.25	o 192325
1868.93/1872.25	o 190973
1868.93/1872.25	o 189253
1868.93/1872.25	o 187901
1868.93/1872.25	o 186248
1868.93/1872.25	o 184934
1868.93/1872.25	o 183594
1868.93/1872.25	o 183354
1868.93/1872.25	o 181976
1868.93/1872.25	o 180270
1868.93/1872.25	o 180140
1868.93/1872.25	o 179786
1868.93/1872.25	o 178550
1868.93/1872.25	o 177404
1868.93/1872.25	o 176992
1868.93/1872.25	o 175672
1868.93/1872.25	o 175260
1868.93/1872.25	o 175216
1868.93/1872.25	o 175158
1868.93/1872.25	o 173568
1868.93/1872.25	o 172660
1868.93/1872.25	o 172576
1868.93/1872.25	o 172512
1868.93/1872.25	o 172454
1868.93/1872.25	o 172314
1868.93/1872.25	o 172248
1868.93/1872.25	o 172164
1868.93/1872.25	o 172100
1868.93/1872.25	o 172042
1868.93/1872.25	o 171990
1868.93/1872.25	o 171926
1868.93/1872.25	o 171860
1868.93/1872.25	o 171822
1868.93/1872.25	o 171764
1868.93/1872.25	o 171189
1868.93/1872.25	o 170960
1868.93/1872.25	o 170902
1868.93/1872.25	o 170650
1868.93/1872.25	o 170584
1868.93/1872.25	o 170557
1868.93/1872.25	o 170491
1868.93/1872.25	o 170262
1868.93/1872.25	o 170204
1868.93/1872.25	o 170179
1868.93/1872.25	o 170147
1868.93/1872.25	o 170127
1868.93/1872.25	o 170083
1868.93/1872.25	o 169961
1868.93/1872.25	o 169947
1868.93/1872.25	o 168706
1868.93/1872.25	o 168503
1868.93/1872.25	o 168471
1868.93/1872.25	o 168393
1868.93/1872.25	o 168373
1868.93/1872.25	o 168329
1868.93/1872.25	o 168299
1868.93/1872.25	o 168093
1868.93/1872.25	o 168061
1868.93/1872.25	o 167983
1868.93/1872.25	o 167963
1868.93/1872.25	o 167919
1868.93/1872.25	o 167893
1868.93/1872.25	o 167797
1868.93/1872.25	o 167751
1868.93/1872.25	o 167554
1868.93/1872.25	o 167516
1868.93/1872.25	o 167342
1868.93/1872.25	o 167099
1868.93/1872.25	o 166977
1868.93/1872.25	o 166957
1868.93/1872.25	o 166899
1868.93/1872.25	o 165559
1868.93/1872.25	o 165541
1868.93/1872.25	o 165523
1868.93/1872.25	o 165271
1868.93/1872.25	o 165257
1868.93/1872.25	o 164329
1868.93/1872.25	o 164327
1868.93/1872.25	o 164297
1868.93/1872.25	o 164283
1868.93/1872.25	o 164245
1868.93/1872.25	o 164071
1868.93/1872.25	o 164065
1868.93/1872.25	o 164007
1868.93/1872.25	o 163949
1868.93/1872.25	o 163909
1868.93/1872.25	o 163901
1868.93/1872.25	o 163857
1868.93/1872.25	o 163767
1868.93/1872.25	o 163729
1868.93/1872.25	o 162403
1868.93/1872.25	o 162372
1868.93/1872.25	o 162340
1868.93/1872.25	o 162262
1868.93/1872.25	o 162242
1868.93/1872.25	o 162198
1868.93/1872.25	o 162160
1868.93/1872.25	o 162111
1868.93/1872.25	o 162085
1868.93/1872.25	o 162047
1868.93/1872.25	o 162015
1868.93/1872.25	o 161937
1868.93/1872.25	o 161917
1868.93/1872.25	o 161873
1868.93/1872.25	o 161853
1868.93/1872.25	o 161833
1868.93/1872.25	o 161789
1868.93/1872.25	o 161751
1868.93/1872.25	o 161566
1868.93/1872.25	o 161508
1868.93/1872.25	o 161242
1868.93/1872.25	o 161223
1868.93/1872.25	o 161193
1868.93/1872.25	o 161179
1868.93/1872.25	o 161173
1868.93/1872.25	o 161159
1868.93/1872.25	o 161121
1868.93/1872.25	o 160999
1868.93/1872.25	o 160979
1868.93/1872.25	o 160941
1868.93/1872.25	o 160819
1868.93/1872.25	o 160767
1868.93/1872.25	o 159383
1868.93/1872.25	o 159198
1868.93/1872.25	o 159195
1868.93/1872.25	o 158992
1868.93/1872.25	o 158960
1868.93/1872.25	o 158882
1868.93/1872.25	o 158862
1868.93/1872.25	o 158818
1868.93/1872.25	o 158792
1868.93/1872.25	o 158754
1868.93/1872.25	o 158740
1868.93/1872.25	o 158676
1868.93/1872.25	o 158534
1868.93/1872.25	o 158508
1868.93/1872.25	o 158470
1868.93/1872.25	o 158461
1868.93/1872.25	o 158435
1868.93/1872.25	o 158339
1868.93/1872.25	o 158261
1868.93/1872.25	o 158241
1868.93/1872.25	o 158197
1868.93/1872.25	o 158183
1868.93/1872.25	o 158166
1868.93/1872.25	o 158082
1868.93/1872.25	o 158062
1868.93/1872.25	o 158018
1868.93/1872.25	o 157992
1868.93/1872.25	o 157954
1868.93/1872.25	o 157916
1868.93/1872.25	o 157858
1868.93/1872.25	o 157852
1868.93/1872.25	o 157730
1868.93/1872.25	o 156114
1868.93/1872.25	o 154582
1868.93/1872.25	o 154526
1868.93/1872.25	o 154468
1868.93/1872.25	o 154410
1868.93/1872.25	o 154010
1868.93/1872.25	o 153952
1868.93/1872.25	o 153949
1868.93/1872.25	o 153746
1868.93/1872.25	o 153714
1868.93/1872.25	o 153636
1868.93/1872.25	o 153616
1868.93/1872.25	o 153572
1868.93/1872.25	o 153360
1868.93/1872.25	o 153270
1868.93/1872.25	o 153230
1868.93/1872.25	o 153108
1868.93/1872.25	o 152899
1868.93/1872.25	o 152725
1868.93/1872.25	o 152711
1868.93/1872.25	o 152673
1868.93/1872.25	o 152493
1868.93/1872.25	o 151179
1868.93/1872.25	o 151161
1868.93/1872.25	o 150995
1868.93/1872.25	o 150871
1868.93/1872.25	o 149455
1868.93/1872.25	o 149444
1868.93/1872.25	o 149406
1868.93/1872.25	o 149368
1868.93/1872.25	o 149194
1868.93/1872.25	o 149176
1868.93/1872.25	o 149161
1868.93/1872.25	o 149109
1868.93/1872.25	o 148912
1868.93/1872.25	o 148910
1868.93/1872.25	o 148788
1868.93/1872.25	o 148710
1868.93/1872.25	o 148690
1868.93/1872.25	o 148646
1868.93/1872.25	o 148417
1868.93/1872.25	o 148359
1868.93/1872.25	o 148339
1868.93/1872.25	o 148295
1868.93/1872.25	o 148237
1868.93/1872.25	o 148173
1868.93/1872.25	o 147970
1868.93/1872.25	o 147912
1868.93/1872.25	o 147784
1868.93/1872.25	o 147778
1868.93/1872.25	o 147720
1868.93/1872.25	o 147546
1868.93/1872.25	o 147424
1868.93/1872.25	o 147418
1868.93/1872.25	o 147366
1868.93/1872.25	o 147307
1868.93/1872.25	o 147272
1868.93/1872.25	o 147200
1868.93/1872.25	o 147032
1868.93/1872.25	o 145654
1868.93/1872.25	o 145630
1868.93/1872.25	o 145560
1868.93/1872.25	o 144603
1868.93/1872.25	o 144579
1868.93/1872.25	o 144553
1868.93/1872.25	o 144515
1868.93/1872.25	o 144501
1868.93/1872.25	o 144455
1868.93/1872.25	o 144258
1868.93/1872.25	o 144257
1868.93/1872.25	o 144243
1868.93/1872.25	o 144173
1868.93/1872.25	o 142528
1868.93/1872.25	o 142521
1868.93/1872.25	o 142463
1868.93/1872.25	o 141625
1868.93/1872.25	o 141622
1868.93/1872.25	o 141608
1868.93/1872.25	o 141552
1868.93/1872.25	o 141500
1868.93/1872.25	o 141486
1868.93/1872.25	o 141422
1868.93/1872.25	o 141404
1868.93/1872.25	o 141219
1868.93/1872.25	o 141161
1868.93/1872.25	o 141097
1868.93/1872.25	o 141031
1868.93/1872.25	o 141002
1868.93/1872.25	o 140984
1868.93/1872.25	o 140946
1868.93/1872.25	o 140932
1868.93/1872.25	o 140900
1868.93/1872.25	o 140874
1868.93/1872.25	o 140868
1868.93/1872.25	o 140790
1868.93/1872.25	o 140668
1868.93/1872.25	o 140659
1868.93/1872.25	o 140625
1868.93/1872.25	o 139372
1868.93/1872.25	o 139346
1868.93/1872.25	o 139236
1868.93/1872.25	o 137974
1868.93/1872.25	o 137953
1868.93/1872.25	o 137939
1868.93/1872.25	o 137921
1868.93/1872.25	o 137869
1868.93/1872.25	o 137803
1868.93/1872.25	o 136903
1868.93/1872.25	o 136767
1868.93/1872.25	o 136674
1868.93/1872.25	o 136616
1868.93/1872.25	o 136538
1868.93/1872.25	o 136480
1868.93/1872.25	o 136455
1868.93/1872.25	o 136441
1868.93/1872.25	o 136439
1868.93/1872.25	o 136425
1868.93/1872.25	o 136407
1868.93/1872.25	o 135491
1868.93/1872.25	o 135465
1868.93/1872.25	o 135427
1868.93/1872.25	o 135369
1868.93/1872.25	o 135305
1868.93/1872.25	o 135291
1868.93/1872.25	o 135117
1868.93/1872.25	o 135099
1868.93/1872.25	o 135047
1868.93/1872.25	o 134867
1868.93/1872.25	o 134782
1868.93/1872.25	o 134768
1868.93/1872.25	o 134710
1868.93/1872.25	o 134692
1868.93/1872.25	o 134550
1868.93/1872.25	o 134524
1868.93/1872.25	o 134478
1868.93/1872.25	o 134281
1868.93/1872.25	o 134101
1868.93/1872.25	o 134089
1868.93/1872.25	o 134075
1868.93/1872.25	o 134011
1868.93/1872.25	o 133857
1868.93/1872.25	o 133672
1868.93/1872.25	o 133614
1868.93/1872.25	o 133588
1868.93/1872.25	o 133585
1868.93/1872.25	o 133478
1868.93/1872.25	o 133374
1868.93/1872.25	o 133298
1868.93/1872.25	o 133292
1868.93/1872.25	o 133124
1868.93/1872.25	o 133066
1868.93/1872.25	o 133060
1868.93/1872.25	o 132802
1868.93/1872.25	o 131488
1868.93/1872.25	o 131476
1868.93/1872.25	o 131442
1868.93/1872.25	o 131424
1868.93/1872.25	o 131404
1868.93/1872.25	o 131386
1868.93/1872.25	o 131326
1868.93/1872.25	o 131306
1868.93/1872.25	o 131262
1868.93/1872.25	o 131244
1868.93/1872.25	o 131239
1868.93/1872.25	o 131195
1868.93/1872.25	o 131155
1868.93/1872.25	o 131137
1868.93/1872.25	o 131131
1868.93/1872.25	o 131129
1868.93/1872.25	o 131085
1868.93/1872.25	o 131067
1868.93/1872.25	o 131015
1868.93/1872.25	o 130975
1868.93/1872.25	o 130957
1868.93/1872.25	o 130942
1868.93/1872.25	o 130928
1868.93/1872.25	o 130902
1868.93/1872.25	o 130901
1868.93/1872.25	o 130835
1868.93/1872.25	o 130792
1868.93/1872.25	o 130688
1868.93/1872.25	o 130612
1868.93/1872.25	o 130388
1868.93/1872.25	o 130310
1868.93/1872.25	o 130156
1868.93/1872.25	o 130150
1868.93/1872.25	o 129970
1868.93/1872.25	o 129912
1868.93/1872.25	o 128282
1868.93/1872.25	o 128279
1868.93/1872.25	o 126783
1868.93/1872.25	o 126777
1868.93/1872.25	o 126699
1868.93/1872.25	o 125425
1868.93/1872.25	o 125408
1868.93/1872.25	o 125394
1868.93/1872.25	o 125348
1868.93/1872.25	o 125151
1868.93/1872.25	o 125023
1868.93/1872.25	o 125020
1868.93/1872.25	o 124817
1868.93/1872.25	o 124791
1868.93/1872.25	o 124707
1868.93/1872.25	o 124643
1868.93/1872.25	o 124469
1868.93/1872.25	o 124347
1868.93/1872.25	o 124104
1868.93/1872.25	o 124061
1868.93/1872.25	o 124053
1868.93/1872.25	o 123977
1868.93/1872.25	o 123965
1868.93/1872.25	o 123939
1868.93/1872.25	o 122535
1868.93/1872.25	o 122517
1868.93/1872.25	o 122511
1868.93/1872.25	o 122499
1868.93/1872.25	o 122467
1868.93/1872.25	o 122345
1868.93/1872.25	o 122331
1868.93/1872.25	o 122293
1868.93/1872.25	o 122279
1868.93/1872.25	o 122201
1868.93/1872.25	o 122189
1868.93/1872.25	o 120571
1868.93/1872.25	o 120431
1868.93/1872.25	o 120395
1868.93/1872.25	o 118777
1868.93/1872.25	o 118776
1868.93/1872.25	o 118745
1868.93/1872.25	o 118733
1868.93/1872.25	o 118720
1868.93/1872.25	o 118706
1868.93/1872.25	o 118695
1868.93/1872.25	o 118689
1868.93/1872.25	o 118675
1868.93/1872.25	o 118655
1868.93/1872.25	o 118611
1868.93/1872.25	o 118608
1868.93/1872.25	o 118590
1868.93/1872.25	o 118492
1868.93/1872.25	o 118486
1868.93/1872.25	o 118408
1868.93/1872.25	o 118304
1868.93/1872.25	o 118286
1868.93/1872.25	o 118285
1868.93/1872.25	o 118271
1868.93/1872.25	o 118074
1868.93/1872.25	o 117894
1868.93/1872.25	o 117827
1868.93/1872.25	o 117784
1868.93/1872.25	o 117767
1868.93/1872.25	o 117749
1868.93/1872.25	o 117691
1868.93/1872.25	o 117677
1868.93/1872.25	o 117559
1868.93/1872.25	o 117437
1868.93/1872.25	o 117425
1868.93/1872.25	o 117414
1868.93/1872.25	o 117386
1868.93/1872.25	o 117368
1868.93/1872.25	o 117353
1868.93/1872.25	o 117310
1868.93/1872.25	o 117306
1868.93/1872.25	o 117292
1868.93/1872.25	o 117289
1868.93/1872.25	o 117277
1868.93/1872.25	o 117234
1868.93/1872.25	o 117140
1868.93/1872.25	o 117115
1868.93/1872.25	o 117097
1868.93/1872.25	o 116969
1868.93/1872.25	o 115722
1868.93/1872.25	o 115711
1868.93/1872.25	o 115703
1868.93/1872.25	o 115689
1868.93/1872.25	o 115651
1868.93/1872.25	o 115575
1868.93/1872.25	o 115557
1868.93/1872.25	o 115348
1868.93/1872.25	o 113790
1868.93/1872.25	o 112554
1868.93/1872.25	o 112538
1868.93/1872.25	o 112524
1868.93/1872.25	o 112512
1868.93/1872.25	o 112490
1868.93/1872.25	o 112476
1868.93/1872.25	o 112464
1868.93/1872.25	o 112460
1868.93/1872.25	o 112446
1868.93/1872.25	o 112435
1868.93/1872.25	o 112417
1868.93/1872.25	o 112386
1868.93/1872.25	o 112374
1868.93/1872.25	o 112350
1868.93/1872.25	o 112336
1868.93/1872.25	o 111607
1868.93/1872.25	o 111337
1868.93/1872.25	o 111323
1868.93/1872.25	o 111143
1868.93/1872.25	o 111137
1868.93/1872.25	o 111123
1868.93/1872.25	o 111065
1868.93/1872.25	o 111007
1868.93/1872.25	o 110989
1868.93/1872.25	o 110986
1868.93/1872.25	o 110862
1868.93/1872.25	o 110824
1868.93/1872.25	o 110816
1868.93/1872.25	o 110812
1868.93/1872.25	o 110798
1868.93/1872.25	o 110792
1868.93/1872.25	o 110784
1868.93/1872.25	o 110766
1868.93/1872.25	o 110752
1868.93/1872.25	o 110714
1868.93/1872.25	o 109452
1868.93/1872.25	o 109445
1868.93/1872.25	o 109393
1868.93/1872.25	o 109265
1868.93/1872.25	o 109091
1868.93/1872.25	o 109033
1868.93/1872.25	o 108879
1868.93/1872.25	o 108694
1868.93/1872.25	o 108636
1868.93/1872.25	o 108448
1868.93/1872.25	o 108384
1868.93/1872.25	o 108318
1868.93/1872.25	o 108242
1868.93/1872.25	o 108234
1868.93/1872.25	o 108220
1868.93/1872.25	o 108208
1868.93/1872.25	o 108132
1868.93/1872.25	o 107894
1868.93/1872.25	o 107874
1868.93/1872.25	o 107854
1868.93/1872.25	o 106733
1868.93/1872.25	o 106666
1868.93/1872.25	o 106623
1868.93/1872.25	o 106580
1868.93/1872.25	o 104984
1868.93/1872.25	o 103670
1868.93/1872.25	o 102304
1868.93/1872.25	o 102287
1868.93/1872.25	o 102284
1868.93/1872.25	o 102266
1868.93/1872.25	o 102254
1868.93/1872.25	o 102251
1868.93/1872.25	o 102245
1868.93/1872.25	o 102201
1868.93/1872.25	o 102187
1868.93/1872.25	o 102176
1868.93/1872.25	o 102162
1868.93/1872.25	o 102158
1868.93/1872.25	o 102144
1868.93/1872.25	o 102136
1868.93/1872.25	o 100976
1868.93/1872.25	o 100970
1868.93/1872.25	o 100892
1868.93/1872.25	o 100880
1868.93/1872.25	o 100862
1868.93/1872.25	o 100848
1868.93/1872.25	o 100738
1868.93/1872.25	o 100500
1868.93/1872.25	o 99078
1868.93/1872.25	o 99053
1868.93/1872.25	o 99035
1868.93/1872.25	o 99021
1868.93/1872.25	o 99009
1868.93/1872.25	o 98971
1868.93/1872.25	o 98733
1868.93/1872.25	o 98720
1868.93/1872.25	o 98702
1868.93/1872.25	o 98690
1868.93/1872.25	o 98624
1868.93/1872.25	o 98566
1868.93/1872.25	o 98412
1868.93/1872.25	o 98407
1868.93/1872.25	o 98349
1868.93/1872.25	o 98169
1868.93/1872.25	o 98102
1868.93/1872.25	o 98091
1868.93/1872.25	o 98073
1868.93/1872.25	o 98059
1868.93/1872.25	o 97923
1868.93/1872.25	o 97915
1868.93/1872.25	o 97761
1868.93/1872.25	o 97639
1868.93/1872.25	o 97569
1868.93/1872.25	o 97431
1868.93/1872.25	o 97329
1868.93/1872.25	o 97279
1868.93/1872.25	o 97065
1868.93/1872.25	o 97060
1868.93/1872.25	o 97046
1868.93/1872.25	o 97002
1868.93/1872.25	o 96944
1868.93/1872.25	o 96938
1868.93/1872.25	o 96860
1868.93/1872.25	o 96802
1868.93/1872.25	o 96790
1868.93/1872.25	o 96776
1868.93/1872.25	o 96712
1868.93/1872.25	o 96558
1868.93/1872.25	o 96315
1868.93/1872.25	o 96091
1868.93/1872.25	o 96013
1868.93/1872.25	o 95859
1868.93/1872.25	o 95847
1868.93/1872.25	o 95839
1868.93/1872.25	o 95821
1868.93/1872.25	o 95807
1868.93/1872.25	o 95803
1868.93/1872.25	o 95789
1868.93/1872.25	o 95783
1868.93/1872.25	o 95717
1868.93/1872.25	o 95703
1868.93/1872.25	o 95685
1868.93/1872.25	o 95682
1868.93/1872.25	o 95670
1868.93/1872.25	o 95490
1868.93/1872.25	o 95447
1868.93/1872.25	o 95204
1868.93/1872.25	o 95098
1868.93/1872.25	o 93445
1868.93/1872.25	o 93430
1868.93/1872.25	o 93372
1868.93/1872.25	o 93360
1868.93/1872.25	o 92072
1868.93/1872.25	o 92029
1868.93/1872.25	o 91104
1868.93/1872.25	o 91086
1868.93/1872.25	o 90877
1868.93/1872.25	o 90703
1868.93/1872.25	o 90497
1868.93/1872.25	o 90419
1868.93/1872.25	o 90271
1868.93/1872.25	o 90242
1868.93/1872.25	o 90228
1868.93/1872.25	o 90220
1868.93/1872.25	o 90188
1868.93/1872.25	o 90174
1868.93/1872.25	o 90162
1868.93/1872.25	o 89463
1868.93/1872.25	o 89449
1868.93/1872.25	o 89437
1868.93/1872.25	o 89425
1868.93/1872.25	o 89411
1868.93/1872.25	o 89373
1868.93/1872.25	o 89315
1868.93/1872.25	o 89072
1868.93/1872.25	o 89055
1868.93/1872.25	o 89043
1868.93/1872.25	o 89005
1868.93/1872.25	o 88962
1868.93/1872.25	o 88860
1868.93/1872.25	o 88855
1868.93/1872.25	o 88617
1868.93/1872.25	o 87027
1868.93/1872.25	o 86835
1868.93/1872.25	o 85573
1868.93/1872.25	o 84311
1868.93/1872.25	o 84308
1868.93/1872.25	o 84270
1868.93/1872.25	o 84227
1868.93/1872.25	o 84079
1868.93/1872.25	o 82683
1868.93/1872.25	o 82676
1868.93/1872.25	o 82656
1868.93/1872.25	o 81368
1868.93/1872.25	o 81330
1868.93/1872.25	o 81303
1868.93/1872.25	o 81301
1868.93/1872.25	o 81289
1868.93/1872.25	o 81286
1868.93/1872.25	o 81188
1868.93/1872.25	o 81179
1868.93/1872.25	o 80341
1868.93/1872.25	o 80129
1868.93/1872.25	o 80039
1868.93/1872.25	o 79999
1868.93/1872.25	o 79929
1868.93/1872.25	o 79877
1868.93/1872.25	o 79767
1868.93/1872.25	o 79764
1868.93/1872.25	o 79752
1868.93/1872.25	o 79734
1868.93/1872.25	o 78420
1868.93/1872.25	o 78377
1868.93/1872.25	o 76883
1868.93/1872.25	o 76878
1868.93/1872.25	o 76877
1868.93/1872.25	o 76834
1868.93/1872.25	o 76814
1868.93/1872.25	o 76802
1868.93/1872.25	o 76744
1868.93/1872.25	o 76730
1868.93/1872.25	o 76726
1868.93/1872.25	o 76724
1868.93/1872.25	o 76712
1868.93/1872.25	o 76710
1868.93/1872.25	o 76704
1868.93/1872.25	o 76692
1868.93/1872.25	o 76666
1868.93/1872.25	o 76663
1868.93/1872.25	o 76651
1868.93/1872.25	o 76622
1868.93/1872.25	o 76608
1868.93/1872.25	o 76570
1868.93/1872.25	o 76558
1868.93/1872.25	o 76506
1868.93/1872.25	o 76494
1868.93/1872.25	o 76492
1868.93/1872.25	o 76480
1868.93/1872.25	o 76474
1868.93/1872.25	o 76456
1868.93/1872.25	o 76390
1868.93/1872.25	o 76208
1868.93/1872.25	o 76170
1868.93/1872.25	o 76155
1868.93/1872.25	o 76033
1868.93/1872.25	o 75981
1868.93/1872.25	o 75969
1868.93/1872.25	o 75957
1868.93/1872.25	o 75914
1868.93/1872.25	o 75760
1868.93/1872.25	o 75717
1868.93/1872.25	o 75569
1868.93/1872.25	o 75565
1868.93/1872.25	o 75551
1868.93/1872.25	o 75354
1868.93/1872.25	o 75302
1868.93/1872.25	o 75174
1868.93/1872.25	o 73860
1868.93/1872.25	o 73756
1868.93/1872.25	o 73738
1868.93/1872.25	o 73695
1868.93/1872.25	o 73668
1868.93/1872.25	o 73654
1868.93/1872.25	o 73646
1868.93/1872.25	o 73644
1868.93/1872.25	o 73600
1868.93/1872.25	o 73588
1868.93/1872.25	o 73364
1868.93/1872.25	o 73286
1868.93/1872.25	o 73132
1868.93/1872.25	o 72979
1868.93/1872.25	o 72941
1868.93/1872.25	o 71227
1868.93/1872.25	o 71223
1868.93/1872.25	o 71210
1868.93/1872.25	o 71198
1868.93/1872.25	o 71184
1868.93/1872.25	o 71120
1868.93/1872.25	o 71069
1868.93/1872.25	o 71057
1868.93/1872.25	o 71013
1868.93/1872.25	o 71005
1868.93/1872.25	o 70991
1868.93/1872.25	o 70973
1868.93/1872.25	o 70961
1868.93/1872.25	o 70949
1868.93/1872.25	o 70929
1868.93/1872.25	o 70911
1868.93/1872.25	o 70897
1868.93/1872.25	o 70869
1868.93/1872.25	o 70865
1868.93/1872.25	o 70851
1868.93/1872.25	o 70839
1868.93/1872.25	o 70808
1868.93/1872.25	o 70796
1868.93/1872.25	o 70730
1868.93/1872.25	o 70724
1868.93/1872.25	o 70712
1868.93/1872.25	o 70706
1868.93/1872.25	o 70692
1868.93/1872.25	o 70686
1868.93/1872.25	o 70674
1868.93/1872.25	o 70661
1868.93/1872.25	o 70649
1868.93/1872.25	o 70643
1868.93/1872.25	o 70631
1868.93/1872.25	o 70588
1868.93/1872.25	o 70574
1868.93/1872.25	o 70536
1868.93/1872.25	o 70382
1868.93/1872.25	o 70364
1868.93/1872.25	o 70359
1868.93/1872.25	o 70353
1868.93/1872.25	o 70339
1868.93/1872.25	o 70335
1868.93/1872.25	o 70321
1868.93/1872.25	o 70315
1868.93/1872.25	o 70257
1868.93/1872.25	o 70239
1868.93/1872.25	o 70051
1868.93/1872.25	o 69987
1868.93/1872.25	o 69921
1868.93/1872.25	o 68146
1868.93/1872.25	o 68145
1868.93/1872.25	o 68127
1868.93/1872.25	o 68115
1868.93/1872.25	o 68106
1868.93/1872.25	o 68098
1868.93/1872.25	o 68084
1868.93/1872.25	o 68040
1868.93/1872.25	o 68038
1868.93/1872.25	o 68026
1868.93/1872.25	o 67995
1868.93/1872.25	o 67957
1868.93/1872.25	o 67955
1868.93/1872.25	o 67951
1868.93/1872.25	o 67937
1868.93/1872.25	o 67922
1868.93/1872.25	o 67858
1868.93/1872.25	o 67844
1868.93/1872.25	o 67786
1868.93/1872.25	o 67606
1868.93/1872.25	o 67554
1868.93/1872.25	o 67540
1868.93/1872.25	o 67522
1868.93/1872.25	o 67452
1868.93/1872.25	o 67400
1868.93/1872.25	o 67342
1868.93/1872.25	o 67218
1868.93/1872.25	o 67180
1868.93/1872.25	o 67160
1868.93/1872.25	o 67142
1868.93/1872.25	o 67139
1868.93/1872.25	o 67032
1868.93/1872.25	o 66921
1868.93/1872.25	o 66780
1868.93/1872.25	o 66778
1868.93/1872.25	o 66766
1868.93/1872.25	o 66502
1868.93/1872.25	o 66493
1868.93/1872.25	o 66450
1868.93/1872.25	o 65162
1868.93/1872.25	o 65135
1868.93/1872.25	o 65110
1868.93/1872.25	o 65106
1868.93/1872.25	o 65092
1868.93/1872.25	o 65089
1868.93/1872.25	o 65071
1868.93/1872.25	o 65069
1868.93/1872.25	o 65063
1868.93/1872.25	o 65019
1868.93/1872.25	o 65005
1868.93/1872.25	o 64993
1868.93/1872.25	o 64987
1868.93/1872.25	o 64975
1868.93/1872.25	o 64946
1868.93/1872.25	o 64944
1868.93/1872.25	o 64932
1868.93/1872.25	o 64926
1868.93/1872.25	o 64908
1868.93/1872.25	o 64906
1868.93/1872.25	o 64894
1868.93/1872.25	o 64880
1868.93/1872.25	o 64854
1868.93/1872.25	o 64842
1868.93/1872.25	o 64828
1868.93/1872.25	o 64822
1868.93/1872.25	o 64808
1868.93/1872.25	o 64802
1868.93/1872.25	o 64790
1868.93/1872.25	o 64779
1868.93/1872.25	o 64761
1868.93/1872.25	o 64732
1868.93/1872.25	o 64730
1868.93/1872.25	o 64718
1868.93/1872.25	o 64712
1868.93/1872.25	o 64706
1868.93/1872.25	o 64694
1868.93/1872.25	o 64680
1868.93/1872.25	o 64679
1868.93/1872.25	o 64673
1868.93/1872.25	o 64659
1868.93/1872.25	o 64641
1868.93/1872.25	o 64636
1868.93/1872.25	o 64632
1868.93/1872.25	o 64630
1868.93/1872.25	o 64618
1868.93/1872.25	o 64601
1868.93/1872.25	o 64589
1868.93/1872.25	o 64587
1868.93/1872.25	o 64575
1868.93/1872.25	o 64562
1868.93/1872.25	o 64550
1868.93/1872.25	o 64546
1868.93/1872.25	o 64532
1868.93/1872.25	o 64526
1868.93/1872.25	o 64520
1868.93/1872.25	o 64508
1868.93/1872.25	o 64504
1868.93/1872.25	o 64490
1868.93/1872.25	o 64468
1868.93/1872.25	o 64456
1868.93/1872.25	o 64452
1868.93/1872.25	o 64450
1868.93/1872.25	o 64438
1868.93/1872.25	o 64416
1868.93/1872.25	o 64404
1868.93/1872.25	o 64346
1868.93/1872.25	o 64342
1868.93/1872.25	o 64328
1868.93/1872.25	o 64313
1868.93/1872.25	o 64267
1868.93/1872.25	o 64209
1868.93/1872.25	o 64145
1868.93/1872.25	o 64133
1868.93/1872.25	o 64087
1868.93/1872.25	o 64075
1868.93/1872.25	o 64073
1868.93/1872.25	o 64061
1868.93/1872.25	o 64059
1868.93/1872.25	o 64015
1868.93/1872.25	o 64003
1868.93/1872.25	o 63962
1868.93/1872.25	o 63884
1868.93/1872.25	o 63864
1868.93/1872.25	o 63820
1868.93/1872.25	o 63756
1868.93/1872.25	o 63742
1868.93/1872.25	o 63724
1868.93/1872.25	o 63716
1868.93/1872.25	o 63672
1868.93/1872.25	o 63660
1868.93/1872.25	o 63602
1868.93/1872.25	o 63495
1868.93/1872.25	o 63489
1868.93/1872.25	o 63411
1868.93/1872.25	o 63385
1868.93/1872.25	o 63258
1868.93/1872.25	o 63220
1868.93/1872.25	o 63177
1868.93/1872.25	o 63176
1868.93/1872.25	o 63164
1868.93/1872.25	o 63158
1868.93/1872.25	o 63146
1868.93/1872.25	o 63134
1868.93/1872.25	o 63122
1868.93/1872.25	o 63108
1868.93/1872.25	o 63068
1868.93/1872.25	o 63056
1868.93/1872.25	o 62992
1868.93/1872.25	o 62946
1868.93/1872.25	o 62934
1868.93/1872.25	o 62933
1868.93/1872.25	o 62919
1868.93/1872.25	o 62913
1868.93/1872.25	o 62861
1868.93/1872.25	o 62856
1868.93/1872.25	o 62844
1868.93/1872.25	o 62840
1868.93/1872.25	o 62838
1868.93/1872.25	o 62826
1868.93/1872.25	o 62797
1868.93/1872.25	o 62795
1868.93/1872.25	o 62783
1868.93/1872.25	o 62778
1868.93/1872.25	o 62740
1868.93/1872.25	o 62738
1868.93/1872.25	o 62724
1868.93/1872.25	o 62681
1868.93/1872.25	o 62638
1868.93/1872.25	o 62626
1868.93/1872.25	o 62498
1868.93/1872.25	o 62324
1868.93/1872.25	o 62281
1868.93/1872.25	o 62238
1868.93/1872.25	o 62133
1868.93/1872.25	o 62086
1868.93/1872.25	o 62074
1868.93/1872.25	o 62072
1868.93/1872.25	o 62060
1868.93/1872.25	o 62028
1868.93/1872.25	o 62016
1868.93/1872.25	o 62002
1868.93/1872.25	o 61950
1868.93/1872.25	o 61932
1868.93/1872.25	o 61874
1868.93/1872.25	o 61872
1868.93/1872.25	o 61860
1868.93/1872.25	o 61808
1868.93/1872.25	o 61698
1868.93/1872.25	o 60186
1868.93/1872.25	o 60184
1868.93/1872.25	o 60170
1868.93/1872.25	o 59210
1868.93/1872.25	o 59207
1868.93/1872.25	o 59004
1868.93/1872.25	o 58972
1868.93/1872.25	o 58894
1868.93/1872.25	o 58830
1868.93/1872.25	o 58826
1868.93/1872.25	o 58812
1868.93/1872.25	o 58771
1868.93/1872.25	o 58707
1868.93/1872.25	o 58692
1868.93/1872.25	o 58634
1868.93/1872.25	o 58590
1868.93/1872.25	o 58576
1868.93/1872.25	o 58475
1868.93/1872.25	o 58397
1868.93/1872.25	o 58333
1868.93/1872.25	o 58327
1868.93/1872.25	o 58295
1868.93/1872.25	o 58231
1868.93/1872.25	o 58167
1868.93/1872.25	o 58153
1868.93/1872.25	o 58115
1868.93/1872.25	o 58109
1868.93/1872.25	o 58095
1868.93/1872.25	o 58077
1868.93/1872.25	o 58063
1868.93/1872.25	o 58019
1868.93/1872.25	o 58007
1868.93/1872.25	o 57993
1868.93/1872.25	o 57955
1868.93/1872.25	o 57941
1868.93/1872.25	o 57923
1868.93/1872.25	o 57912
1868.93/1872.25	o 57868
1868.93/1872.25	o 57758
1868.93/1872.25	o 57694
1868.93/1872.25	o 57680
1868.93/1872.25	o 57651
1868.93/1872.25	o 57637
1868.93/1872.25	o 57562
1868.93/1872.25	o 57548
1868.93/1872.25	o 57544
1868.93/1872.25	o 57530
1868.93/1872.25	o 57518
1868.93/1872.25	o 57506
1868.93/1872.25	o 57492
1868.93/1872.25	o 57480
1868.93/1872.25	o 55792
1868.93/1872.25	o 55711
1868.93/1872.25	o 55667
1868.93/1872.25	o 55635
1868.93/1872.25	o 55603
1868.93/1872.25	o 55551
1868.93/1872.25	o 55537
1868.93/1872.25	o 55473
1868.93/1872.25	o 55467
1868.93/1872.25	o 55415
1868.93/1872.25	o 55390
1868.93/1872.25	o 55372
1868.93/1872.25	o 55344
1868.93/1872.25	o 55292
1868.93/1872.25	o 55274
1868.93/1872.25	o 55262
1868.93/1872.25	o 55256
1868.93/1872.25	o 55244
1868.93/1872.25	o 55226
1868.93/1872.25	o 55216
1868.93/1872.25	o 55198
1868.93/1872.25	o 55190
1868.93/1872.25	o 55172
1868.93/1872.25	o 55160
1868.93/1872.25	o 55158
1868.93/1872.25	o 55140
1868.93/1872.25	o 55128
1868.93/1872.25	o 55125
1868.93/1872.25	o 55113
1868.93/1872.25	o 55082
1868.93/1872.25	o 55070
1868.93/1872.25	o 55038
1868.93/1872.25	o 55030
1868.93/1872.25	o 54960
1868.93/1872.25	o 54896
1868.93/1872.25	o 54888
1868.93/1872.25	o 54876
1868.93/1872.25	o 54858
1868.93/1872.25	o 54846
1868.93/1872.25	o 54834
1868.93/1872.25	o 54756
1868.93/1872.25	o 54749
1868.93/1872.25	o 54714
1868.93/1872.25	o 54683
1868.93/1872.25	o 54671
1868.93/1872.25	o 54653
1868.93/1872.25	o 54650
1868.93/1872.25	o 54607
1868.93/1872.25	o 54543
1868.93/1872.25	o 54537
1868.93/1872.25	o 54485
1868.93/1872.25	o 54478
1868.93/1872.25	o 54414
1868.93/1872.25	o 54396
1868.93/1872.25	o 54393
1868.93/1872.25	o 54329
1868.93/1872.25	o 54286
1868.93/1872.25	o 54280
1868.93/1872.25	o 54266
1868.93/1872.25	o 54202
1868.93/1872.25	o 54170
1868.93/1872.25	o 54106
1868.93/1872.25	o 54103
1868.93/1872.25	o 54097
1868.93/1872.25	o 54033
1868.93/1872.25	o 53981
1868.93/1872.25	o 53963
1868.93/1872.25	o 53920
1868.93/1872.25	o 53862
1868.93/1872.25	o 53842
1868.93/1872.25	o 53836
1868.93/1872.25	o 53822
1868.93/1872.25	o 53778
1868.93/1872.25	o 53772
1868.93/1872.25	o 53720
1868.93/1872.25	o 53700
1868.93/1872.25	o 53642
1868.93/1872.25	o 53634
1868.93/1872.25	o 53590
1868.93/1872.25	o 53538
1868.93/1872.25	o 53520
1868.93/1872.25	o 53511
1868.93/1872.25	o 53502
1868.93/1872.25	o 53479
1868.93/1872.25	o 53421
1868.93/1872.25	o 53317
1868.93/1872.25	o 53311
1868.93/1872.25	o 53259
1868.93/1872.25	o 53241
1868.93/1872.25	o 53210
1868.93/1872.25	o 53198
1868.93/1872.25	o 53189
1868.93/1872.25	o 53175
1868.93/1872.25	o 53131
1868.93/1872.25	o 53113
1868.93/1872.25	o 53073
1868.93/1872.25	o 53067
1868.93/1872.25	o 53015
1868.93/1872.25	o 53003
1868.93/1872.25	o 52951
1868.93/1872.25	o 52905
1868.93/1872.25	o 52899
1868.93/1872.25	o 52847
1868.93/1872.25	o 52846
1868.93/1872.25	o 52832
1868.93/1872.25	o 52780
1868.93/1872.25	o 52737
1868.93/1872.25	o 52627
1868.93/1872.25	o 52563
1868.93/1872.25	o 52549
1868.93/1872.25	o 52505
1868.93/1872.25	o 52493
1868.93/1872.25	o 52421
1868.93/1872.25	o 52357
1868.93/1872.25	o 52319
1868.93/1872.25	o 52261
1868.93/1872.25	o 52218
1868.93/1872.25	o 52190
1868.93/1872.25	o 52165
1868.93/1872.25	o 52157
1868.93/1872.25	o 52099
1868.93/1872.25	o 52056
1868.93/1872.25	o 52040
1868.93/1872.25	o 51997
1868.93/1872.25	o 51954
1868.93/1872.25	o 50648
1868.93/1872.25	o 50645
1868.93/1872.25	o 50602
1868.93/1872.25	o 50572
1868.93/1872.25	o 50560
1868.93/1872.25	o 50553
1868.93/1872.25	o 50529
1868.93/1872.25	o 50517
1868.93/1872.25	o 50500
1868.93/1872.25	o 50486
1868.93/1872.25	o 50474
1868.93/1872.25	o 50472
1868.93/1872.25	o 50420
1868.93/1872.25	o 50413
1868.93/1872.25	o 50377
1868.93/1872.25	o 50357
1868.93/1872.25	o 50335
1868.93/1872.25	o 50329
1868.93/1872.25	o 50271
1868.93/1872.25	o 50265
1868.93/1872.25	o 50213
1868.93/1872.25	o 50177
1868.93/1872.25	o 50162
1868.93/1872.25	o 50110
1868.93/1872.25	o 50104
1868.93/1872.25	o 50090
1868.93/1872.25	o 50046
1868.93/1872.25	o 50024
1868.93/1872.25	o 49988
1868.93/1872.25	o 49945
1868.93/1872.25	o 49919
1868.93/1872.25	o 49907
1868.93/1872.25	o 49902
1868.93/1872.25	o 49864
1868.93/1872.25	o 49833
1868.93/1872.25	o 49827
1868.93/1872.25	o 49775
1868.93/1872.25	o 49763
1868.93/1872.25	o 49755
1868.93/1872.25	o 49711
1868.93/1872.25	o 49675
1868.93/1872.25	o 49652
1868.93/1872.25	o 49645
1868.93/1872.25	o 49609
1868.93/1872.25	o 49604
1868.93/1872.25	o 49566
1868.93/1872.25	o 49464
1868.93/1872.25	o 49463
1868.93/1872.25	o 49363
1868.93/1872.25	o 49276
1868.93/1872.25	o 49265
1868.93/1872.25	o 47933
1868.93/1872.25	o 46749
1868.93/1872.25	o 46736
1868.93/1872.25	o 46724
1868.93/1872.25	o 46686
1868.93/1872.25	o 46660
1868.93/1872.25	o 46648
1868.93/1872.25	o 46642
1868.93/1872.25	o 46628
1868.93/1872.25	o 46584
1868.93/1872.25	o 46563
1868.93/1872.25	o 46551
1868.93/1872.25	o 46499
1868.93/1872.25	o 46487
1868.93/1872.25	o 46429
1868.93/1872.25	o 46417
1868.93/1872.25	o 46359
1868.93/1872.25	o 46319
1868.93/1872.25	o 46307
1868.93/1872.25	o 46299
1868.93/1872.25	o 46241
1868.93/1872.25	o 46227
1868.93/1872.25	o 46041
1868.93/1872.25	o 46027
1868.93/1872.25	o 45809
1868.93/1872.25	o 45397
1868.93/1872.25	o 45295
1868.93/1872.25	o 45173
1868.93/1872.25	o 44015
1868.93/1872.25	o 42430
1868.93/1872.25	o 42374
1868.93/1872.25	o 42322
1868.93/1872.25	o 42308
1868.93/1872.25	o 42250
1868.93/1872.25	o 42192
1868.93/1872.25	o 42134
1868.93/1872.25	o 42035
1868.93/1872.25	o 41791
1868.93/1872.25	o 41568
1868.93/1872.25	o 41498
1868.93/1872.25	o 41446
1868.93/1872.25	o 41324
1868.93/1872.25	o 41260
1868.93/1872.25	o 41252
1868.93/1872.25	o 41240
1868.93/1872.25	o 41202
1868.93/1872.25	s SATISFIABLE
1868.93/1872.25	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

Verifier Data 

OK	41202

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (58424 MiB free)
  memory of node 1: 64510 MiB (63653 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437579-1722971803/watcher-4437579-1722971803 -o /tmp/evaluation-result-4437579-1722971803/solver-4437579-1722971803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722971803-346496 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437579-1722971803.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=346545, runsolver pid=346537

[startup+0.100581 s]*
/proc/loadavg: 3.01 4.05 4.16 6/263 346569
/proc/meminfo: memFree=124984432/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=21700 memory=9188 CPUtime=0.09 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 889 0 0 0 9 0 0 0 20 0 1 0 63778631 22220800 2297 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5425 2297 1105 2753 0 2078 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40292 KiB
Current children cumulated memory: 12928 KiB

[startup+0.205968 s]*
/proc/loadavg: 3.01 4.05 4.16 6/263 346569
/proc/meminfo: memFree=124982100/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=0.19 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1453 0 0 0 19 0 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+0.305024 s]*
/proc/loadavg: 3.01 4.05 4.16 6/263 346569
/proc/meminfo: memFree=124981276/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=0.3 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 29 1 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+0.700197 s]
/proc/loadavg: 3.01 4.05 4.16 6/263 346569
/proc/meminfo: memFree=124980424/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=0.68 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 65 3 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+1.50019 s]
/proc/loadavg: 3.01 4.05 4.16 6/263 346569
/proc/meminfo: memFree=124980372/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=1.48 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 142 6 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+3.1049 s]
/proc/loadavg: 3.09 4.05 4.16 6/263 346569
/proc/meminfo: memFree=124978328/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=3.08 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 296 12 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+6.30019 s]
/proc/loadavg: 3.09 4.05 4.16 6/263 346569
/proc/meminfo: memFree=124978320/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=6.28 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 600 28 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+12.7002 s]
/proc/loadavg: 3.31 4.07 4.16 6/263 346571
/proc/meminfo: memFree=124978032/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=12.66 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 1209 57 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+25.5002 s]
/proc/loadavg: 3.41 4.06 4.16 6/263 346572
/proc/meminfo: memFree=124977708/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=25.44 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 2434 110 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+51.1049 s]
/proc/loadavg: 3.68 4.07 4.16 6/263 346577
/proc/meminfo: memFree=124977172/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 698 622 264 0 134 0
[pid=346550] ppid=346545 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/346550/stat : 346550 (timeout) S 346545 346550 346484 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 237 134679101440 94216142446592 94216142481608 140727640956768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94216144579024 94216144581156 94216171065344 140727640962083 140727640962205 140727640962205 140727640969191 0
/proc/346550/statm: 2165 237 212 9 0 87 0
[pid=346551] ppid=346550 vsize=22980 memory=10808 CPUtime=51 cores=1,3
/proc/346551/stat : 346551 (LS-MabP) R 346550 346550 346484 0 -1 4194304 1607 0 0 0 4861 239 0 0 20 0 1 0 63778631 23531520 2702 134679101440 4194304 15467897 140729067090496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56180736 140729067095095 140729067095204 140729067095204 140729067102190 0
/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+102.3 s]
/proc/loadavg: 3.93 4.07 4.16 6/262 346586
/proc/meminfo: memFree=124976248/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63778631 10170368 698 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0

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

/proc/346551/statm: 5745 2702 1169 2753 0 2398 0
Current children cumulated CPU time: 1779.26 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 14548 KiB

[startup+1842.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 347646
/proc/meminfo: memFree=124534456/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=129852 memory=116236 CPUtime=44.17 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 16847 0 0 0 4411 6 0 0 20 0 1 0 63958431 132968448 29059 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32463 29059 804 745 0 31528 0
Current children cumulated CPU time: 1839.11 s
Current children cumulated vsize: 148444 KiB
Current children cumulated memory: 120132 KiB

[startup+1872.29 s]
# the end of solver process 346545 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1783.22 s, system=85.7884 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1843.2 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 347646
/proc/meminfo: memFree=124526980/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=129852 memory=116236 CPUtime=45.07 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 16847 0 0 0 4501 6 0 0 20 0 1 0 63958431 132968448 29059 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32463 29059 804 745 0 31528 0
Current children cumulated CPU time: 1840.01 s
Current children cumulated vsize: 148444 KiB
Current children cumulated memory: 120132 KiB

[startup+1856 s]*
/proc/loadavg: 4.22 4.13 4.10 5/264 347649
/proc/meminfo: memFree=124500516/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=129852 memory=116236 CPUtime=57.84 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 16868 0 0 0 5778 6 0 0 20 0 1 0 63958431 132968448 29059 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32463 29059 804 745 0 31528 0
Current children cumulated CPU time: 1852.78 s
Current children cumulated vsize: 148444 KiB
Current children cumulated memory: 120132 KiB

[startup+1862.4 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 347650
/proc/meminfo: memFree=124492548/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=130268 memory=116528 CPUtime=64.22 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 16945 0 0 0 6416 6 0 0 20 0 1 0 63958431 133394432 29132 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32567 29132 804 745 0 31632 0
Current children cumulated CPU time: 1859.16 s
Current children cumulated vsize: 148860 KiB
Current children cumulated memory: 120424 KiB

[startup+1868.8 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 347653
/proc/meminfo: memFree=124491880/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=130588 memory=116680 CPUtime=70.6 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 17054 0 0 0 7054 6 0 0 20 0 1 0 63958431 133722112 29170 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32647 29170 804 745 0 31712 0
Current children cumulated CPU time: 1865.54 s
Current children cumulated vsize: 149180 KiB
Current children cumulated memory: 120576 KiB

[startup+1870.4 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 347653
/proc/meminfo: memFree=124491860/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=130588 memory=116680 CPUtime=72.2 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 17061 0 0 0 7214 6 0 0 20 0 1 0 63958431 133722112 29170 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32647 29170 804 745 0 31712 0
Current children cumulated CPU time: 1867.14 s
Current children cumulated vsize: 149180 KiB
Current children cumulated memory: 120576 KiB

[startup+1871.2 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 347653
/proc/meminfo: memFree=124491860/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=130588 memory=116680 CPUtime=72.99 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 17061 0 0 0 7293 6 0 0 20 0 1 0 63958431 133722112 29170 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32647 29170 804 745 0 31712 0
Current children cumulated CPU time: 1867.93 s
Current children cumulated vsize: 149180 KiB
Current children cumulated memory: 120576 KiB

[startup+1872 s]*
/proc/loadavg: 4.16 4.12 4.10 5/264 347653
/proc/meminfo: memFree=124491860/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=130588 memory=116680 CPUtime=73.8 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 17062 0 0 0 7374 6 0 0 20 0 1 0 63958431 133722112 29170 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32647 29170 804 745 0 31712 0
Current children cumulated CPU time: 1868.74 s
Current children cumulated vsize: 149180 KiB
Current children cumulated memory: 120576 KiB

[startup+1872.2 s]
/proc/loadavg: 4.16 4.12 4.10 5/264 347653
/proc/meminfo: memFree=124491860/131524600 swapFree=131071216/131071996
[pid=346545] ppid=346537 vsize=9932 memory=2848 CPUtime=1794.94 cores=1,3
/proc/346545/stat : 346545 (Hybrid-LSMabP+E) S 346537 346545 346484 0 -1 4194304 272 1947 0 0 0 0 170923 8571 20 0 1 0 63778631 10170368 712 134679101440 93903574732800 93903575812120 140736213685472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93903577910576 93903577957764 93903597109248 140736213693418 140736213693563 140736213693563 140736213700578 0
/proc/346545/statm: 2483 712 622 264 0 134 0
[pid=347516] ppid=346545 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/347516/stat : 347516 (timeout) S 346545 347516 346484 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 262 134679101440 94257535168512 94257535203528 140735301018816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94257537300944 94257537303076 94257558401024 140735301026804 140735301026973 140735301026973 140735301033959 0
/proc/347516/statm: 2165 262 238 9 0 87 0
[pid=347517] ppid=347516 vsize=130588 memory=116680 CPUtime=73.99 cores=1,3
/proc/347517/stat : 347517 (Exact) R 347516 347516 346484 0 -1 4194304 17062 0 0 0 7393 6 0 0 20 0 1 0 63958431 133722112 29170 134679101440 4194304 7243121 140735628492736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 12705792 140735628502032 140735628502182 140735628502182 140735628509168 0
/proc/347517/statm: 32647 29170 804 745 0 31712 0
Current children cumulated CPU time: 1868.93 s
Current children cumulated vsize: 149180 KiB
Current children cumulated memory: 120576 KiB

Child status: 0

Real time (s): 1872.29
CPU time (s): 1869.01
CPU user time (s): 1783.22
CPU system time (s): 85.7884
CPU usage (%): 99.8248
Max. virtual memory (cumulated for all children) (KiB): 149180
Max. memory (cumulated for all children) (KiB): 120576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.22
system time used= 85.7884
maximum resident set size= 116680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 534


# summary of solver processes directly reported to runsolver:
#   pid: 346545
#   total CPU time (s): 1869.01
#   total CPU user time (s): 1783.22
#   total CPU system time (s): 85.7884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.39334 second user time and 7.71409 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-08-06 21:16:43
IDJOB=4437579
IDBENCH=148154
IDSOLVER=3071
FILE ID=nodeC021/4437579-1722971803
RUNJOBID= nodeC021-1722971803-346496
SLURM_JOB_ID= 8259074
Free space on /tmp= 890084 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437579-1722971803/watcher-4437579-1722971803 -o /tmp/evaluation-result-4437579-1722971803/solver-4437579-1722971803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722971803-346496 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437579-1722971803.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 206b08b420dad9af66531a7207372127
RANDOM SEED=579335312

nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3637.090
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3611.309
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3547.021
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3629.114
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3607.159
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3625.859
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3611.607
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3593.508
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125010840 kB
MemAvailable:   129760436 kB
Buffers:          353252 kB
Cached:          5238856 kB
SwapCached:           56 kB
Active:           608160 kB
Inactive:        5374384 kB
Active(anon):       1420 kB
Inactive(anon):   426660 kB
Active(file):     606740 kB
Inactive(file):  4947724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             83136 kB
Writeback:             0 kB
AnonPages:        388456 kB
Mapped:            98648 kB
Shmem:             37592 kB
KReclaimable:      69556 kB
Slab:             162936 kB
SReclaimable:      69556 kB
SUnreclaim:        93380 kB
KernelStack:        3844 kB
PageTables:         9968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     777200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      293588 kB
DirectMap2M:    18354176 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC021 at 2024-08-06 21:47:56