Trace number 4454634

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
mixed-bag 2024-07-19? (TO) 3600.84 3609.91

DiagnosticValue
AM1LB3583104
LOWERBOUND-156484
NAM1S1176
NCORES180
NEXHAUSTED0
NPBCORES11
NPBREFORM0
NTRIMMED116
SCIPUB-2560

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb
MD5SUM1839e390ed6efb0b7de52ce1d96beb02
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 benchmark-2592
Best CPU time to get the best result obtained on this benchmark564.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 32076
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 4162422
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 4162422
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.10/0.20	c [STEP] preprocessing with Papilo
0.32/0.37	c [STEP] solving with SCIP
299.63/300.68	c [STEP] preprocessing done, loading into solver
299.74/300.77	c [STEP] solving
299.74/300.77	c #variables 36719 #constraints 37335
299.74/300.77	c SMALL=int, LARGE=long long
299.74/300.78	d SCIPUB -2560
299.74/300.78	c bounds - >= -3802877 @ 299.484
299.74/300.78	c stratification level: 64
305.82/306.81	c bounds - >= -177853 @ 302.374
305.82/306.81	c bounds - >= -176893 @ 302.463
305.82/306.81	c bounds - >= -175933 @ 302.467
305.82/306.81	c bounds - >= -174909 @ 302.47
305.82/306.81	c bounds - >= -174013 @ 302.473
305.82/306.81	c bounds - >= -173373 @ 302.477
305.82/306.81	c bounds - >= -172989 @ 302.48
305.82/306.81	c bounds - >= -172925 @ 302.485
305.82/306.81	c bounds - >= -172861 @ 302.489
305.82/306.81	c bounds - >= -172797 @ 302.493
305.82/306.81	c bounds - >= -172349 @ 302.497
305.82/306.81	c bounds - >= -171901 @ 302.501
305.82/306.81	c bounds - >= -171453 @ 302.504
305.82/306.81	c bounds - >= -171069 @ 302.509
305.82/306.81	c bounds - >= -170813 @ 302.515
305.82/306.81	c bounds - >= -170621 @ 302.518
305.82/306.81	c bounds - >= -170557 @ 302.525
305.82/306.81	c bounds - >= -170493 @ 302.531
305.82/306.81	c bounds - >= -170429 @ 302.537
305.82/306.81	c bounds - >= -169917 @ 302.558
305.82/306.81	c bounds - >= -169789 @ 302.564
305.82/306.81	c bounds - >= -169725 @ 302.57
305.82/306.81	c bounds - >= -169661 @ 302.575
305.82/306.81	c bounds - >= -169597 @ 302.581
305.82/306.81	c bounds - >= -169469 @ 302.586
305.82/306.81	c bounds - >= -169405 @ 302.591
305.82/306.81	c bounds - >= -169341 @ 302.596
305.82/306.81	c bounds - >= -169213 @ 302.602
305.82/306.81	c bounds - >= -169149 @ 302.608
305.82/306.81	c bounds - >= -169085 @ 302.613
305.82/306.81	c bounds - >= -169021 @ 302.621
305.82/306.81	c bounds - >= -168957 @ 302.629
305.82/306.81	c bounds - >= -168893 @ 302.634
305.82/306.81	c bounds - >= -168829 @ 302.647
305.82/306.81	c bounds - >= -168765 @ 302.654
305.82/306.81	c bounds - >= -168701 @ 302.667
305.82/306.81	c bounds - >= -168637 @ 302.675
305.82/306.81	c bounds - >= -168573 @ 302.683
305.82/306.81	c bounds - >= -168509 @ 302.706
305.82/306.81	c bounds - >= -168445 @ 302.712
305.82/306.81	c bounds - >= -168381 @ 302.722
305.82/306.81	c bounds - >= -168317 @ 302.732
305.82/306.81	c bounds - >= -168253 @ 302.739
305.82/306.81	c bounds - >= -168189 @ 302.744
305.82/306.81	c bounds - >= -168125 @ 302.752
305.82/306.81	c bounds - >= -168061 @ 302.761
305.82/306.81	c bounds - >= -167997 @ 302.772
305.82/306.81	c bounds - >= -167933 @ 302.781
305.82/306.81	c bounds - >= -167869 @ 302.788
305.82/306.81	c bounds - >= -167805 @ 302.795
305.82/306.81	c bounds - >= -167741 @ 302.802
305.82/306.81	c bounds - >= -167677 @ 302.812
305.82/306.81	c bounds - >= -167613 @ 302.819
305.82/306.81	c bounds - >= -167549 @ 302.84
305.82/306.81	c bounds - >= -167485 @ 302.863
305.82/306.81	c bounds - >= -167421 @ 302.873
305.82/306.81	c bounds - >= -167357 @ 302.881
305.82/306.81	c bounds - >= -167293 @ 302.897
305.82/306.81	c bounds - >= -167229 @ 302.907
305.82/306.81	c bounds - >= -167165 @ 302.914
305.82/306.81	c bounds - >= -167101 @ 302.922
305.82/306.81	c bounds - >= -167037 @ 302.932
305.82/306.81	c bounds - >= -166973 @ 302.94
305.82/306.81	c bounds - >= -166909 @ 302.971
305.82/306.81	c bounds - >= -166845 @ 302.979
305.82/306.81	c bounds - >= -166781 @ 302.99
305.82/306.81	c bounds - >= -166717 @ 303.004
305.82/306.81	c bounds - >= -166653 @ 303.022
305.82/306.81	c bounds - >= -166589 @ 303.052
305.82/306.81	c bounds - >= -166525 @ 303.063
305.82/306.81	c bounds - >= -166461 @ 303.072
305.82/306.81	c bounds - >= -166397 @ 303.08
305.82/306.81	c bounds - >= -166333 @ 303.096
305.82/306.81	c bounds - >= -166269 @ 303.105
305.82/306.81	c bounds - >= -166205 @ 303.157
305.82/306.81	c bounds - >= -164744 @ 303.161
305.82/306.81	c bounds - >= -164680 @ 303.168
305.82/306.81	c bounds - >= -164488 @ 303.18
305.82/306.81	c bounds - >= -164424 @ 303.187
305.82/306.81	c bounds - >= -164360 @ 303.194
305.82/306.81	c bounds - >= -164296 @ 303.202
305.82/306.81	c bounds - >= -164232 @ 303.209
305.82/306.81	c bounds - >= -164168 @ 303.215
305.82/306.81	c bounds - >= -164104 @ 303.22
305.82/306.81	c bounds - >= -163976 @ 303.23
305.82/306.81	c bounds - >= -163912 @ 303.238
305.82/306.81	c bounds - >= -163848 @ 303.246
305.82/306.81	c bounds - >= -163784 @ 303.254
305.82/306.81	c bounds - >= -163720 @ 303.272
305.82/306.81	c bounds - >= -163383 @ 303.281
305.82/306.81	c bounds - >= -163319 @ 303.287
305.82/306.81	c bounds - >= -163191 @ 303.293
305.82/306.81	c bounds - >= -163127 @ 303.299
305.82/306.81	c bounds - >= -163063 @ 303.305
305.82/306.81	c bounds - >= -162999 @ 303.313
305.82/306.81	c bounds - >= -162935 @ 303.321
305.82/306.81	c bounds - >= -162871 @ 303.328
305.82/306.81	c bounds - >= -162807 @ 303.335
305.82/306.81	c bounds - >= -162743 @ 303.343
305.82/306.81	c bounds - >= -162436 @ 303.364
305.82/306.81	c bounds - >= -162372 @ 303.386
305.82/306.81	c bounds - >= -162308 @ 303.471
305.82/306.81	c bounds - >= -162244 @ 303.607
305.82/306.81	c bounds - >= -162180 @ 303.787
305.82/306.81	c bounds - >= -162116 @ 303.812
305.82/306.81	c bounds - >= -162052 @ 303.828
305.82/306.81	c bounds - >= -161988 @ 303.846
305.82/306.81	c bounds - >= -161924 @ 303.885
305.82/306.81	c #Conflicts:       1000 | #Constraints:      39788
305.82/306.81	c bounds - >= -161860 @ 304.113
305.82/306.81	c bounds - >= -161796 @ 304.432
305.82/306.81	c bounds - >= -161732 @ 304.448
305.82/306.81	c bounds - >= -161668 @ 304.457
305.82/306.81	c bounds - >= -161604 @ 304.477
305.82/306.81	c bounds - >= -161540 @ 304.486
305.82/306.81	c bounds - >= -161476 @ 304.502
305.82/306.81	c bounds - >= -161412 @ 304.713
305.82/306.81	c bounds - >= -161348 @ 304.723
305.82/306.81	c bounds - >= -161284 @ 304.773
305.82/306.81	c bounds - >= -161220 @ 304.779
305.82/306.81	c bounds - >= -161156 @ 304.802
305.82/306.81	c bounds - >= -161092 @ 304.83
305.82/306.81	c bounds - >= -161028 @ 305.172
305.82/306.81	c bounds - >= -160964 @ 305.211
305.82/306.81	c bounds - >= -160900 @ 305.259
305.82/306.81	c bounds - >= -160836 @ 305.304
305.82/306.81	c #Conflicts:       2000 | #Constraints:      40805
305.82/306.81	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c bounds - >= -160772 @ 305.43
763.19/765.32	c bounds - >= -160708 @ 305.468
763.19/765.32	c bounds - >= -160644 @ 305.674
763.19/765.32	c bounds - >= -160580 @ 305.697
763.19/765.32	c bounds - >= -160516 @ 305.742
763.19/765.32	c bounds - >= -160452 @ 305.837
763.19/765.32	c bounds - >= -160388 @ 305.905
763.19/765.32	c bounds - >= -160324 @ 305.947
763.19/765.32	c bounds - >= -160260 @ 305.958
763.19/765.32	c bounds - >= -160196 @ 305.978
763.19/765.32	c #Conflicts:       3000 | #Constraints:      39043
763.19/765.32	c bounds - >= -160132 @ 306.002
763.19/765.32	c bounds - >= -160068 @ 306.225
763.19/765.32	c bounds - >= -160004 @ 307.156
763.19/765.32	c bounds - >= -159940 @ 307.184
763.19/765.32	c bounds - >= -159876 @ 307.206
763.19/765.32	c bounds - >= -159812 @ 307.251
763.19/765.32	c bounds - >= -159748 @ 307.389
763.19/765.32	c #Conflicts:       4000 | #Constraints:      40050
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c bounds - >= -159684 @ 307.953
763.19/765.32	c #Conflicts:       5000 | #Constraints:      39460
763.19/765.32	c bounds - >= -159620 @ 308.741
763.19/765.32	c bounds - >= -159428 @ 308.878
763.19/765.32	c bounds - >= -159364 @ 308.901
763.19/765.32	c bounds - >= -159300 @ 308.928
763.19/765.32	c bounds - >= -159236 @ 308.94
763.19/765.32	c bounds - >= -159172 @ 309.213
763.19/765.32	c #Conflicts:       6000 | #Constraints:      40466
763.19/765.32	c bounds - >= -159108 @ 309.611
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c bounds - >= -159044 @ 309.99
763.19/765.32	c #Conflicts:       7000 | #Constraints:      39502
763.19/765.32	c bounds - >= -158980 @ 310.658
763.19/765.32	c bounds - >= -158916 @ 310.878
763.19/765.32	c bounds - >= -158852 @ 310.936
763.19/765.32	c bounds - >= -158596 @ 311.058
763.19/765.32	c bounds - >= -158340 @ 311.07
763.19/765.32	c bounds - >= -158276 @ 311.119
763.19/765.32	c bounds - >= -157956 @ 311.19
763.19/765.32	c bounds - >= -157892 @ 311.22
763.19/765.32	c bounds - >= -157828 @ 311.233
763.19/765.32	c bounds - >= -157764 @ 311.357
763.19/765.32	c bounds - >= -157700 @ 311.441
763.19/765.32	c bounds - >= -157572 @ 311.47
763.19/765.32	c bounds - >= -157508 @ 311.491
763.19/765.32	c bounds - >= -157444 @ 311.524
763.19/765.32	c bounds - >= -157380 @ 311.544
763.19/765.32	c bounds - >= -157316 @ 311.559
763.19/765.32	c bounds - >= -157252 @ 311.584
763.19/765.32	c bounds - >= -157188 @ 311.607
763.19/765.32	c bounds - >= -157124 @ 311.625
763.19/765.32	c bounds - >= -157060 @ 311.641
763.19/765.32	c bounds - >= -156996 @ 311.659
763.19/765.32	c bounds - >= -156932 @ 311.671
763.19/765.32	c bounds - >= -156868 @ 311.682
763.19/765.32	c bounds - >= -156804 @ 311.697
763.19/765.32	c bounds - >= -156740 @ 311.728
763.19/765.32	c bounds - >= -156676 @ 311.751
763.19/765.32	c bounds - >= -156612 @ 311.775
763.19/765.32	c bounds - >= -156548 @ 311.804
763.19/765.32	c bounds - >= -156484 @ 313.979
763.19/765.32	c #Conflicts:       8000 | #Constraints:      40532
763.19/765.32	c #Conflicts:       9000 | #Constraints:      41532
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      10000 | #Constraints:      39457
763.19/765.32	c #Conflicts:      11000 | #Constraints:      40457
763.19/765.32	c #Conflicts:      12000 | #Constraints:      41457
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      13000 | #Constraints:      40022
763.19/765.32	c #Conflicts:      14000 | #Constraints:      41022
763.19/765.32	c #Conflicts:      15000 | #Constraints:      42022
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      16000 | #Constraints:      40287
763.19/765.32	c #Conflicts:      17000 | #Constraints:      41287
763.19/765.32	c #Conflicts:      18000 | #Constraints:      42287
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      19000 | #Constraints:      40351
763.19/765.32	c #Conflicts:      20000 | #Constraints:      41351
763.19/765.32	c #Conflicts:      21000 | #Constraints:      42351
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      22000 | #Constraints:      39756
763.19/765.32	c #Conflicts:      23000 | #Constraints:      40756
763.19/765.32	c #Conflicts:      24000 | #Constraints:      41756
763.19/765.32	c #Conflicts:      25000 | #Constraints:      42756
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      26000 | #Constraints:      40371
763.19/765.32	c #Conflicts:      27000 | #Constraints:      41371
763.19/765.32	c #Conflicts:      28000 | #Constraints:      42371
763.19/765.32	c #Conflicts:      29000 | #Constraints:      43371
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      30000 | #Constraints:      40774
763.19/765.32	c #Conflicts:      31000 | #Constraints:      41774
763.19/765.32	c #Conflicts:      32000 | #Constraints:      42774
763.19/765.32	c #Conflicts:      33000 | #Constraints:      43774
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      34000 | #Constraints:      40990
763.19/765.32	c #Conflicts:      35000 | #Constraints:      41990
763.19/765.32	c #Conflicts:      36000 | #Constraints:      42990
763.19/765.32	c #Conflicts:      37000 | #Constraints:      43990
763.19/765.32	c INPROCESSING
763.19/765.32	c GARBAGE COLLECT
763.19/765.32	c #Conflicts:      38000 | #Constraints:      41027
763.19/765.32	c #Conflicts:      39000 | #Constraints:      42027
763.19/765.32	c #Conflicts:      40000 | #Constraints:      43027
2317.19/2323.15	c #Conflicts:      41000 | #Constraints:      44027
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      42000 | #Constraints:      40830
2317.19/2323.15	c #Conflicts:      43000 | #Constraints:      41830
2317.19/2323.15	c #Conflicts:      44000 | #Constraints:      42830
2317.19/2323.15	c #Conflicts:      45000 | #Constraints:      43830
2317.19/2323.15	c #Conflicts:      46000 | #Constraints:      44830
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      47000 | #Constraints:      41419
2317.19/2323.15	c #Conflicts:      48000 | #Constraints:      42419
2317.19/2323.15	c #Conflicts:      49000 | #Constraints:      43419
2317.19/2323.15	c #Conflicts:      50000 | #Constraints:      44419
2317.19/2323.15	c #Conflicts:      51000 | #Constraints:      45419
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      52000 | #Constraints:      41836
2317.19/2323.15	c #Conflicts:      53000 | #Constraints:      42836
2317.19/2323.15	c #Conflicts:      54000 | #Constraints:      43836
2317.19/2323.15	c #Conflicts:      55000 | #Constraints:      44836
2317.19/2323.15	c #Conflicts:      56000 | #Constraints:      45836
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      57000 | #Constraints:      42065
2317.19/2323.15	c #Conflicts:      58000 | #Constraints:      43065
2317.19/2323.15	c #Conflicts:      59000 | #Constraints:      44065
2317.19/2323.15	c #Conflicts:      60000 | #Constraints:      45065
2317.19/2323.15	c #Conflicts:      61000 | #Constraints:      46065
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      62000 | #Constraints:      42070
2317.19/2323.15	c #Conflicts:      63000 | #Constraints:      43070
2317.19/2323.15	c #Conflicts:      64000 | #Constraints:      44070
2317.19/2323.15	c #Conflicts:      65000 | #Constraints:      45070
2317.19/2323.15	c #Conflicts:      66000 | #Constraints:      46070
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      67000 | #Constraints:      41876
2317.19/2323.15	c #Conflicts:      68000 | #Constraints:      42876
2317.19/2323.15	c #Conflicts:      69000 | #Constraints:      43876
2317.19/2323.15	c #Conflicts:      70000 | #Constraints:      44876
2317.19/2323.15	c #Conflicts:      71000 | #Constraints:      45876
2317.19/2323.15	c #Conflicts:      72000 | #Constraints:      46876
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      73000 | #Constraints:      42464
2317.19/2323.15	c #Conflicts:      74000 | #Constraints:      43464
2317.19/2323.15	c #Conflicts:      75000 | #Constraints:      44464
2317.19/2323.15	c #Conflicts:      76000 | #Constraints:      45464
2317.19/2323.15	c #Conflicts:      77000 | #Constraints:      46464
2317.19/2323.15	c #Conflicts:      78000 | #Constraints:      47464
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      79000 | #Constraints:      42874
2317.19/2323.15	c #Conflicts:      80000 | #Constraints:      43874
2317.19/2323.15	c #Conflicts:      81000 | #Constraints:      44874
2317.19/2323.15	c #Conflicts:      82000 | #Constraints:      45874
2317.19/2323.15	c #Conflicts:      83000 | #Constraints:      46874
2317.19/2323.15	c #Conflicts:      84000 | #Constraints:      47874
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      85000 | #Constraints:      43111
2317.19/2323.15	c #Conflicts:      86000 | #Constraints:      44111
2317.19/2323.15	c #Conflicts:      87000 | #Constraints:      45111
2317.19/2323.15	c #Conflicts:      88000 | #Constraints:      46111
2317.19/2323.15	c #Conflicts:      89000 | #Constraints:      47111
2317.19/2323.15	c #Conflicts:      90000 | #Constraints:      48111
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      91000 | #Constraints:      43131
2317.19/2323.15	c #Conflicts:      92000 | #Constraints:      44131
2317.19/2323.15	c #Conflicts:      93000 | #Constraints:      45131
2317.19/2323.15	c #Conflicts:      94000 | #Constraints:      46131
2317.19/2323.15	c #Conflicts:      95000 | #Constraints:      47131
2317.19/2323.15	c #Conflicts:      96000 | #Constraints:      48131
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:      97000 | #Constraints:      42928
2317.19/2323.15	c #Conflicts:      98000 | #Constraints:      43928
2317.19/2323.15	c #Conflicts:      99000 | #Constraints:      44928
2317.19/2323.15	c #Conflicts:     100000 | #Constraints:      45928
2317.19/2323.15	c #Conflicts:     101000 | #Constraints:      46928
2317.19/2323.15	c #Conflicts:     102000 | #Constraints:      47928
2317.19/2323.15	c #Conflicts:     103000 | #Constraints:      48928
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:     104000 | #Constraints:      43562
2317.19/2323.15	c #Conflicts:     105000 | #Constraints:      44562
2317.19/2323.15	c #Conflicts:     106000 | #Constraints:      45562
2317.19/2323.15	c #Conflicts:     107000 | #Constraints:      46562
2317.19/2323.15	c #Conflicts:     108000 | #Constraints:      47562
2317.19/2323.15	c #Conflicts:     109000 | #Constraints:      48562
2317.19/2323.15	c #Conflicts:     110000 | #Constraints:      49562
2317.19/2323.15	c INPROCESSING
2317.19/2323.15	c GARBAGE COLLECT
2317.19/2323.15	c #Conflicts:     111000 | #Constraints:      43946
3600.72/3609.84	c #Conflicts:     112000 | #Constraints:      44946
3600.72/3609.84	c #Conflicts:     113000 | #Constraints:      45946
3600.72/3609.84	c #Conflicts:     114000 | #Constraints:      46946
3600.72/3609.84	c #Conflicts:     115000 | #Constraints:      47946
3600.72/3609.84	c #Conflicts:     116000 | #Constraints:      48946
3600.72/3609.84	c #Conflicts:     117000 | #Constraints:      49946
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     118000 | #Constraints:      44157
3600.72/3609.84	c #Conflicts:     119000 | #Constraints:      45157
3600.72/3609.84	c #Conflicts:     120000 | #Constraints:      46157
3600.72/3609.84	c #Conflicts:     121000 | #Constraints:      47157
3600.72/3609.84	c #Conflicts:     122000 | #Constraints:      48157
3600.72/3609.84	c #Conflicts:     123000 | #Constraints:      49157
3600.72/3609.84	c #Conflicts:     124000 | #Constraints:      50157
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     125000 | #Constraints:      44203
3600.72/3609.84	c #Conflicts:     126000 | #Constraints:      45203
3600.72/3609.84	c #Conflicts:     127000 | #Constraints:      46203
3600.72/3609.84	c #Conflicts:     128000 | #Constraints:      47203
3600.72/3609.84	c #Conflicts:     129000 | #Constraints:      48203
3600.72/3609.84	c #Conflicts:     130000 | #Constraints:      49203
3600.72/3609.84	c #Conflicts:     131000 | #Constraints:      50203
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     132000 | #Constraints:      43791
3600.72/3609.84	c #Conflicts:     133000 | #Constraints:      44791
3600.72/3609.84	c #Conflicts:     134000 | #Constraints:      45791
3600.72/3609.84	c #Conflicts:     135000 | #Constraints:      46791
3600.72/3609.84	c #Conflicts:     136000 | #Constraints:      47791
3600.72/3609.84	c #Conflicts:     137000 | #Constraints:      48791
3600.72/3609.84	c #Conflicts:     138000 | #Constraints:      49791
3600.72/3609.84	c #Conflicts:     139000 | #Constraints:      50791
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     140000 | #Constraints:      44241
3600.72/3609.84	c #Conflicts:     141000 | #Constraints:      45241
3600.72/3609.84	c #Conflicts:     142000 | #Constraints:      46241
3600.72/3609.84	c #Conflicts:     143000 | #Constraints:      47241
3600.72/3609.84	c #Conflicts:     144000 | #Constraints:      48241
3600.72/3609.84	c #Conflicts:     145000 | #Constraints:      49241
3600.72/3609.84	c #Conflicts:     146000 | #Constraints:      50241
3600.72/3609.84	c #Conflicts:     147000 | #Constraints:      51241
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     148000 | #Constraints:      44673
3600.72/3609.84	c #Conflicts:     149000 | #Constraints:      45673
3600.72/3609.84	c #Conflicts:     150000 | #Constraints:      46673
3600.72/3609.84	c #Conflicts:     151000 | #Constraints:      47673
3600.72/3609.84	c #Conflicts:     152000 | #Constraints:      48673
3600.72/3609.84	c #Conflicts:     153000 | #Constraints:      49673
3600.72/3609.84	c #Conflicts:     154000 | #Constraints:      50673
3600.72/3609.84	c #Conflicts:     155000 | #Constraints:      51673
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     156000 | #Constraints:      44917
3600.72/3609.84	c #Conflicts:     157000 | #Constraints:      45917
3600.72/3609.84	c #Conflicts:     158000 | #Constraints:      46917
3600.72/3609.84	c #Conflicts:     159000 | #Constraints:      47917
3600.72/3609.84	c #Conflicts:     160000 | #Constraints:      48917
3600.72/3609.84	c #Conflicts:     161000 | #Constraints:      49917
3600.72/3609.84	c #Conflicts:     162000 | #Constraints:      50917
3600.72/3609.84	c #Conflicts:     163000 | #Constraints:      51917
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     164000 | #Constraints:      44930
3600.72/3609.84	c #Conflicts:     165000 | #Constraints:      45930
3600.72/3609.84	c #Conflicts:     166000 | #Constraints:      46930
3600.72/3609.84	c #Conflicts:     167000 | #Constraints:      47930
3600.72/3609.84	c #Conflicts:     168000 | #Constraints:      48930
3600.72/3609.84	c #Conflicts:     169000 | #Constraints:      49930
3600.72/3609.84	c #Conflicts:     170000 | #Constraints:      50930
3600.72/3609.84	c #Conflicts:     171000 | #Constraints:      51930
3600.72/3609.84	c INPROCESSING
3600.72/3609.84	c GARBAGE COLLECT
3600.72/3609.84	c #Conflicts:     172000 | #Constraints:      44701
3600.72/3609.84	c #Conflicts:     173000 | #Constraints:      45701
3600.72/3609.84	c #Conflicts:     174000 | #Constraints:      46701
3600.72/3609.84	c #Conflicts:     175000 | #Constraints:      47701
3600.72/3609.84	c Program interrupted by user.
3600.72/3609.84	c cpu time 3583.64 s
3600.72/3609.84	c deterministic time 76858488670 7.69e+10
3600.72/3609.84	c optimization time 74.243 s
3600.72/3609.84	c total solve time 3209.92 s
3600.72/3609.84	c core-guided solve time 3209.92 s
3600.72/3609.84	c propagation time 715.646 s
3600.72/3609.84	c conflict analysis time 2403.76 s
3600.72/3609.84	c propagations 1303847034
3600.72/3609.84	c resolve steps 6338742
3600.72/3609.84	c decisions 21303241
3600.72/3609.84	c conflicts 175229
3600.72/3609.84	c restarts 481
3600.72/3609.84	c inprocessing phases 33
3600.72/3609.84	c input clauses 38119
3600.72/3609.84	c input cardinalities 551
3600.72/3609.84	c input general constraints 182
3600.72/3609.84	c input average constraint length 138.55
3600.72/3609.84	c input average constraint degree 16291.22
3600.72/3609.84	c learned clauses 60247
3600.72/3609.84	c learned cardinalities 8512
3600.72/3609.84	c learned general constraints 106480
3600.72/3609.84	c learned average constraint length 8061.77
3600.72/3609.84	c learned average constraint degree 197521796.16
3600.72/3609.84	c watched constraints 45250
3600.72/3609.84	c counting constraints 61412
3600.72/3609.84	c gcd simplifications 847
3600.72/3609.84	c detected cardinalities 233
3600.72/3609.84	c weakened non-implied lits 1916560199
3600.72/3609.84	c weakened non-implying lits 29892
3600.72/3609.84	c original variables 40451
3600.72/3609.84	c clausal propagations 328307714
3600.72/3609.84	c cardinality propagations 35780558
3600.72/3609.84	c watched propagations 4397748
3600.72/3609.84	c counting propagations 886004948
3600.72/3609.84	c watch lookups 4658349534
3600.72/3609.84	c watch backjump lookups 4248697122
3600.72/3609.84	c watch checks 7171134163
3600.72/3609.84	c propagation checks 52464730073
3600.72/3609.84	c constraint additions 5665122257
3600.72/3609.84	c trail pops 1325305245
3600.72/3609.84	c formula constraints 37335
3600.72/3609.84	c learned constraints 175239
3600.72/3609.84	c bound constraints 181
3600.72/3609.84	c core-guided constraints 1336
3600.72/3609.84	c encountered formula constraints 5589365
3600.72/3609.84	c encountered learned constraints 897598
3600.72/3609.84	c encountered bound constraints 9
3600.72/3609.84	c encountered core-guided constraints 27159
3600.72/3609.84	c LP total time 0 s
3600.72/3609.84	c LP solve time 0 s
3600.72/3609.84	c LP constraints added 0
3600.72/3609.84	c LP constraints removed 0
3600.72/3609.84	c LP pivots internal 0
3600.72/3609.84	c LP pivots root 0
3600.72/3609.84	c LP calls 0
3600.72/3609.84	c LP optimalities 0
3600.72/3609.84	c LP no pivot count 0
3600.72/3609.84	c LP infeasibilities 0
3600.72/3609.84	c LP valid Farkas constraints 0
3600.72/3609.84	c LP learned Farkas constraints 0
3600.72/3609.84	c LP basis resets 0
3600.72/3609.84	c LP cycling count 0
3600.72/3609.84	c LP singular count 0
3600.72/3609.84	c LP no primal count 0
3600.72/3609.84	c LP no farkas count 0
3600.72/3609.84	c LP other issue count 0
3600.72/3609.84	c LP Gomory cuts 0
3600.72/3609.84	c LP learned cuts 0
3600.72/3609.84	c LP deleted cuts 0
3600.72/3609.84	c LP encountered Gomory constraints 0
3600.72/3609.84	c LP encountered Farkas constraints 0
3600.72/3609.84	c LP encountered learned Farkas constraints 0
3600.72/3609.84	c CG auxiliary variables introduced 1176
3600.72/3609.84	c CG solutions found 0
3600.72/3609.84	c CG cores constructed 180
3600.72/3609.84	c CG core cardinality constraints returned 21
3600.72/3609.84	c CG unit cores 1
3600.72/3609.84	c CG single cores 176
3600.72/3609.84	c CG blocks removed during cardinality reduction 7
3600.72/3609.84	c CG first core best 0
3600.72/3609.84	c CG decision core best 2
3600.72/3609.84	c CG core reduction tie 1
3600.72/3609.84	c CG core degree average 1.70
3600.72/3609.84	c CG core slack average 9.70
3600.72/3609.84	c CG exhausted 0
3600.72/3609.84	c CG exhaust time 0 s
3600.72/3609.84	c CG trimmed 116
3600.72/3609.84	c CG trim time 0.195777 s
3600.72/3609.84	c CG minimized 0
3600.72/3609.84	c CG minimize time 0 s
3600.72/3609.84	c CG am1 prop time 0.395441 s
3600.72/3609.84	c CG # am1s reformulated 1176
3600.72/3609.84	c CG lower bound derived from am1s 3583104
3600.72/3609.84	c CG # clausal cores 150
3600.72/3609.84	c CG # cardinality cores 21
3600.72/3609.84	c CG # pb cores 11
3600.72/3609.84	c CG # pb reforms 0
3600.72/3609.84	c CG # cores discarded because of pb reform 0
3600.72/3609.84	d LOWERBOUND -156484
3600.72/3609.84	d NCORES 180
3600.72/3609.84	d NPBCORES 11
3600.72/3609.84	d NPBREFORM 0
3600.72/3609.84	d NTRIMMED 116
3600.72/3609.84	d NEXHAUSTED 0
3600.72/3609.84	d NAM1S 1176
3600.72/3609.84	d AM1LB 3583104
3600.72/3609.84	c [Papilo Statistics]
3600.72/3609.84	c prepro time 0.167214s
3600.72/3609.84	c # tsx applied 639
3600.72/3609.84	c # tsx conflicts 0
3600.72/3609.84	c # bound changes 3731
3600.72/3609.84	c # side changes 68
3600.72/3609.84	c # coef changes 9
3600.72/3609.84	c # rounds 6
3600.72/3609.84	c # deted vars 3733
3600.72/3609.84	c # deted constrs 3680
3600.72/3609.84	c # consecutive rounds of only bound changes 0
3600.72/3609.87	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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: 64096 MiB (53525 MiB free)
  memory of node 1: 64473 MiB (52477 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454634-1721475797/watcher-4454634-1721475797 -o /tmp/evaluation-result-4454634-1721475797/solver-4454634-1721475797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081702 --watchdog 3760 mixed-bag HOME/instance-4454634-1721475797.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1084305, runsolver pid=1084302

[startup+0.100103 s]*
/proc/loadavg: 4.03 4.19 4.15 5/244 1084306
/proc/meminfo: memFree=108531956/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=91660 memory=22072 CPUtime=0.1 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 5667 0 0 0 10 0 0 0 20 0 1 0 199735478 93859840 5518 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 22915 5518 1675 3002 0 7203 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91660 KiB
Current children cumulated memory: 22072 KiB

[startup+0.213401 s]*
/proc/loadavg: 4.03 4.19 4.15 5/244 1084306
/proc/meminfo: memFree=108489480/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=138940 memory=63860 CPUtime=0.22 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 13776 0 0 0 20 2 0 0 20 0 1 0 199735478 142274560 15965 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 34735 15965 1812 3002 0 18484 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 138940 KiB
Current children cumulated memory: 63860 KiB

[startup+0.313264 s]*
/proc/loadavg: 4.03 4.19 4.15 5/244 1084306
/proc/meminfo: memFree=108488696/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=138940 memory=64480 CPUtime=0.32 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 13821 0 0 0 30 2 0 0 20 0 1 0 199735478 142274560 16120 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 34735 16120 1907 3002 0 18484 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 138940 KiB
Current children cumulated memory: 64480 KiB

[startup+0.700329 s]
/proc/loadavg: 4.03 4.19 4.15 5/244 1084306
/proc/meminfo: memFree=108384100/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=302116 memory=231076 CPUtime=0.69 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 53446 0 0 0 61 8 0 0 20 0 1 0 199735478 309366784 57769 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 75529 57769 3873 3002 0 59278 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 302116 KiB
Current children cumulated memory: 231076 KiB

[startup+1.50033 s]
/proc/loadavg: 4.03 4.19 4.15 5/244 1084306
/proc/meminfo: memFree=108307728/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=334456 memory=260296 CPUtime=1.48 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 65442 0 0 0 139 9 0 0 20 0 1 0 199735478 342482944 65074 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 83614 65074 3905 3002 0 67363 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 334456 KiB
Current children cumulated memory: 260296 KiB

[startup+3.11322 s]
/proc/loadavg: 4.03 4.19 4.15 5/244 1084308
/proc/meminfo: memFree=108257360/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=377960 memory=302916 CPUtime=3.09 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 75174 0 0 0 298 11 0 0 20 0 1 0 199735478 387031040 75729 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 94490 75729 3905 3002 0 78239 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 377960 KiB
Current children cumulated memory: 302916 KiB

[startup+6.30029 s]
/proc/loadavg: 4.03 4.18 4.15 5/244 1084308
/proc/meminfo: memFree=108257332/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=377960 memory=302916 CPUtime=6.27 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 75185 0 0 0 616 11 0 0 20 0 1 0 199735478 387031040 75729 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 94490 75729 3905 3002 0 78239 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 377960 KiB
Current children cumulated memory: 302916 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.20 4.16 5/244 1084308
/proc/meminfo: memFree=107896572/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=782776 memory=630144 CPUtime=12.66 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 154580 0 0 0 1243 23 0 0 20 0 1 0 199735478 801562624 157536 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 195694 157536 3977 3002 0 179443 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 782776 KiB
Current children cumulated memory: 630144 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.19 4.15 5/244 1084311
/proc/meminfo: memFree=107641012/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=823168 memory=661532 CPUtime=25.41 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 162172 0 0 0 2517 24 0 0 20 0 1 0 199735478 842924032 165383 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 205792 165383 4105 3002 0 189541 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 823168 KiB
Current children cumulated memory: 661532 KiB

[startup+51.1127 s]
/proc/loadavg: 4.12 4.19 4.15 5/244 1084314
/proc/meminfo: memFree=107654040/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=833244 memory=672272 CPUtime=50.95 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 164370 0 0 0 5070 25 0 0 20 0 1 0 199735478 853241856 168068 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 208311 168068 4121 3002 0 192060 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 833244 KiB
Current children cumulated memory: 672272 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.19 4.16 5/244 1084323
/proc/meminfo: memFree=105324100/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=908628 memory=720384 CPUtime=101.96 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 174960 0 0 0 10169 27 0 0 20 0 1 0 199735478 930435072 180096 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 227157 180096 4136 3002 0 210906 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 908628 KiB
Current children cumulated memory: 720384 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.15 4.14 5/242 1084334
/proc/meminfo: memFree=105225848/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=994396 memory=808372 CPUtime=161.77 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 199993 0 0 0 16146 31 0 0 20 0 1 0 199735478 1018261504 202093 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 248599 202093 4150 3002 0 232348 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 808372 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.14 4.14 5/242 1084344
/proc/meminfo: memFree=105157004/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=994396 memory=808992 CPUtime=221.57 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 200199 0 0 0 22126 31 0 0 20 0 1 0 199735478 1018261504 202248 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 248599 202248 4150 3002 0 232348 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 808992 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/244 1084359
/proc/meminfo: memFree=111633024/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=994396 memory=808992 CPUtime=281.38 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 200238 0 0 0 28107 31 0 0 20 0 1 0 199735478 1018261504 202248 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 248599 202248 4150 3002 0 232348 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 808992 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/244 1084369
/proc/meminfo: memFree=111323072/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=1042624 memory=909280 CPUtime=341.23 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 213126 0 0 0 33946 177 0 0 20 0 1 0 199735478 1067646976 227320 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 260656 227320 4281 3002 0 244405 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1042624 KiB
Current children cumulated memory: 909280 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/244 1084382
/proc/meminfo: memFree=111040264/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=1042624 memory=954456 CPUtime=401.08 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 213195 0 0 0 39817 291 0 0 20 0 1 0 199735478 1067646976 238614 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 260656 238614 4281 3002 0 244405 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1042624 KiB
Current children cumulated memory: 954456 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/244 1084392
/proc/meminfo: memFree=110801848/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=1124012 memory=1003192 CPUtime=460.93 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 214732 0 0 0 45764 329 0 0 20 0 1 0 199735478 1150988288 250798 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 281003 250798 4281 3002 0 264752 0

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

Current children cumulated memory: 2129100 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.23 4.20 5/245 1086069
/proc/meminfo: memFree=104511868/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2352268 memory=2129100 CPUtime=2974.77 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 354787 0 0 0 296032 1445 0 0 20 0 1 0 199735478 2408722432 532275 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 588067 532275 4281 3002 0 571816 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 2352268 KiB
Current children cumulated memory: 2129100 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.21 4.19 5/246 1086080
/proc/meminfo: memFree=104485968/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2354156 memory=2130916 CPUtime=3034.62 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 355539 0 0 0 302004 1458 0 0 20 0 1 0 199735478 2410655744 532729 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 588539 532729 4281 3002 0 572288 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 2354156 KiB
Current children cumulated memory: 2130916 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/246 1086091
/proc/meminfo: memFree=104471396/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2354156 memory=2130988 CPUtime=3094.48 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 355607 0 0 0 307959 1489 0 0 20 0 1 0 199735478 2410655744 532747 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 588539 532747 4281 3002 0 572288 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 2354156 KiB
Current children cumulated memory: 2130988 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/242 1086102
/proc/meminfo: memFree=104439020/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2359576 memory=2136324 CPUtime=3154.33 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 357233 0 0 0 313918 1515 0 0 20 0 1 0 199735478 2416205824 534081 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 589894 534081 4281 3002 0 573643 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 2359576 KiB
Current children cumulated memory: 2136324 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.15 4.17 5/242 1086112
/proc/meminfo: memFree=104381100/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2375544 memory=2152088 CPUtime=3214.18 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 362544 0 0 0 319885 1533 0 0 20 0 1 0 199735478 2432557056 538022 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 593886 538022 4281 3002 0 577635 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 2375544 KiB
Current children cumulated memory: 2152088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/242 1086122
/proc/meminfo: memFree=104346412/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2375544 memory=2152088 CPUtime=3274.03 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 362747 0 0 0 325839 1564 0 0 20 0 1 0 199735478 2432557056 538022 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 593886 538022 4281 3002 0 577635 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 2375544 KiB
Current children cumulated memory: 2152088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/241 1086132
/proc/meminfo: memFree=104341848/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2379856 memory=2156164 CPUtime=3333.88 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 364321 0 0 0 331787 1601 0 0 20 0 1 0 199735478 2436972544 539041 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 594964 539041 4281 3002 0 578713 0
Current children cumulated CPU time: 3333.88 s
Current children cumulated vsize: 2379856 KiB
Current children cumulated memory: 2156164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.42 4.20 4.19 5/244 1086148
/proc/meminfo: memFree=104339984/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2381340 memory=2157696 CPUtime=3393.74 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 364837 0 0 0 337753 1621 0 0 20 0 1 0 199735478 2438492160 539424 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 595335 539424 4281 3002 0 579084 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 2381340 KiB
Current children cumulated memory: 2157696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.72 4.34 4.23 5/244 1086159
/proc/meminfo: memFree=104308904/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2381340 memory=2157760 CPUtime=3453.59 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 364946 0 0 0 343698 1661 0 0 20 0 1 0 199735478 2438492160 539440 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 595335 539440 4281 3002 0 579084 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 2381340 KiB
Current children cumulated memory: 2157760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.29 4.22 5/244 1086169
/proc/meminfo: memFree=104156616/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2381340 memory=2157760 CPUtime=3513.44 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 365168 0 0 0 349656 1688 0 0 20 0 1 0 199735478 2438492160 539440 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 595335 539440 4281 3002 0 579084 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 2381340 KiB
Current children cumulated memory: 2157760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.28 4.22 5/246 1086643
/proc/meminfo: memFree=117814972/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2381660 memory=2158088 CPUtime=3573.29 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 365474 0 0 0 355623 1706 0 0 20 0 1 0 199735478 2438819840 539522 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 595415 539522 4281 3002 0 579164 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 2381660 KiB
Current children cumulated memory: 2158088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.22 4.27 4.22 5/246 1086647
/proc/meminfo: memFree=117346976/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2381660 memory=2158088 CPUtime=3600.04 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 365520 0 0 0 358291 1713 0 0 20 0 1 0 199735478 2438819840 539522 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 595415 539522 4281 3002 0 579164 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2381660 KiB
Current children cumulated memory: 2158088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.65 s, system=17.1902 s

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

[startup+3609.6 s]
/proc/loadavg: 4.22 4.27 4.22 5/246 1086647
/proc/meminfo: memFree=117346976/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2381660 memory=2158560 CPUtime=3600.52 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 366502 0 0 0 358339 1713 0 0 20 0 1 0 199735478 2438819840 539640 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 595415 539640 4399 3002 0 579164 0
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 2381660 KiB
Current children cumulated memory: 2158560 KiB

[startup+3609.8 s]
/proc/loadavg: 4.22 4.27 4.22 5/246 1086647
/proc/meminfo: memFree=117346976/131655788 swapFree=131071996/131071996
[pid=1084305] ppid=1084302 vsize=2381660 memory=2158560 CPUtime=3600.72 cores=5,7
/proc/1084305/stat : 1084305 (mixed-bag) R 1084302 1084305 1081689 0 -1 4194304 366583 0 0 0 358359 1713 0 0 20 0 1 0 199735478 2438819840 539640 134679101440 4194304 16488053 140732559382192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38342656 140732559385621 140732559385698 140732559385698 140732559392715 0
/proc/1084305/statm: 595415 539640 4399 3002 0 579164 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 2381660 KiB
Current children cumulated memory: 2158560 KiB

Child status: 0

Real time (s): 3609.91
CPU time (s): 3600.84
CPU user time (s): 3583.65
CPU system time (s): 17.1902
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 2381660
Max. memory (cumulated for all children) (KiB): 2158560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.65
system time used= 17.1902
maximum resident set size= 2158560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 1707


# summary of solver processes directly reported to runsolver:
#   pid: 1084305
#   total CPU time (s): 3600.84
#   total CPU user time (s): 3583.65
#   total CPU system time (s): 17.1902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2695 second user time and 36.2672 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-20 13:43:29
IDJOB=4454634
IDBENCH=156167
IDSOLVER=3083
FILE ID=nodeC004/4454634-1721475797
RUNJOBID= nodeC004-1721472122-1081702
SLURM_JOB_ID= 7545741
Free space on /tmp= 723536 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454634-1721475797/watcher-4454634-1721475797 -o /tmp/evaluation-result-4454634-1721475797/solver-4454634-1721475797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081702 --watchdog 3760  mixed-bag HOME/instance-4454634-1721475797.opb

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

MD5SUM BENCH= 1839e390ed6efb0b7de52ce1d96beb02
RANDOM SEED=1899353109

nodeC004.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	: 0xb00001f
cpu MHz		: 3492.147
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3674.763
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.347
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.405
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3670.153
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3493.919
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.494
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.309
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        108546564 kB
MemAvailable:   111836308 kB
Buffers:          579184 kB
Cached:          3522580 kB
SwapCached:            0 kB
Active:          1486656 kB
Inactive:       20955604 kB
Active(anon):       3344 kB
Inactive(anon): 18383040 kB
Active(file):    1483312 kB
Inactive(file):  2572564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19168 kB
Writeback:             0 kB
AnonPages:      18340160 kB
Mapped:           139144 kB
Shmem:             45892 kB
KReclaimable:     148132 kB
Slab:             257640 kB
SReclaimable:     148132 kB
SUnreclaim:       109508 kB
KernelStack:        3920 kB
PageTables:        45720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   19025372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62432 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6309888 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:      252744 kB
DirectMap2M:    29011968 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723680 MiB
End job on nodeC004 at 2024-07-20 14:43:39