Trace number 4529112

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 2025-07-10? (TO) 3600.1 3610.16

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
MD5SUM807b13cda1d33b90eacd528b5f94ca03
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 benchmark654
Best CPU time to get the best result obtained on this benchmark526.427
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22120
Total number of constraints4484
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)4424
Number of constraints which are nor clauses,nor cardinality constraints58
Minimum length of a constraint5
Maximum length of a constraint10890
Number of terms in the objective function 22120
Biggest coefficient in the objective function 554
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3240754
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 554
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3240754
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.18/0.22	c [STEP] preprocessing with Papilo
0.18/0.28	c [STEP] solving with SCIP
299.77/300.79	c [STEP] preprocessing done, loading into solver
299.87/300.83	c [STEP] solving
299.87/300.83	c #variables 20603 #constraints 4453
299.87/300.83	c SMALL=int, LARGE=long long
299.87/300.83	d SCIPUB 663
299.87/300.83	c bounds - >= 0 @ 299.599
299.87/300.83	c stratification level: 518
3320.47/3329.87	c #Conflicts:       1000 | #Constraints:       5453
3320.47/3329.87	c #Conflicts:       2000 | #Constraints:       6453
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:       3000 | #Constraints:       6461
3320.47/3329.87	c #Conflicts:       4000 | #Constraints:       7461
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:       5000 | #Constraints:       6861
3320.47/3329.87	c #Conflicts:       6000 | #Constraints:       7861
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:       7000 | #Constraints:       6869
3320.47/3329.87	c #Conflicts:       8000 | #Constraints:       7869
3320.47/3329.87	c #Conflicts:       9000 | #Constraints:       8869
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      10000 | #Constraints:       7568
3320.47/3329.87	c #Conflicts:      11000 | #Constraints:       8568
3320.47/3329.87	c #Conflicts:      12000 | #Constraints:       9568
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      13000 | #Constraints:       8026
3320.47/3329.87	c #Conflicts:      14000 | #Constraints:       9026
3320.47/3329.87	c #Conflicts:      15000 | #Constraints:      10026
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      16000 | #Constraints:       8258
3320.47/3329.87	c #Conflicts:      17000 | #Constraints:       9258
3320.47/3329.87	c #Conflicts:      18000 | #Constraints:      10258
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      19000 | #Constraints:       8292
3320.47/3329.87	c #Conflicts:      20000 | #Constraints:       9292
3320.47/3329.87	c #Conflicts:      21000 | #Constraints:      10292
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      22000 | #Constraints:       8077
3320.47/3329.87	c #Conflicts:      23000 | #Constraints:       9077
3320.47/3329.87	c #Conflicts:      24000 | #Constraints:      10077
3320.47/3329.87	c #Conflicts:      25000 | #Constraints:      11077
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      26000 | #Constraints:       8686
3320.47/3329.87	c #Conflicts:      27000 | #Constraints:       9686
3320.47/3329.87	c #Conflicts:      28000 | #Constraints:      10686
3320.47/3329.87	c #Conflicts:      29000 | #Constraints:      11686
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      30000 | #Constraints:       9081
3320.47/3329.87	c #Conflicts:      31000 | #Constraints:      10081
3320.47/3329.87	c #Conflicts:      32000 | #Constraints:      11081
3320.47/3329.87	c #Conflicts:      33000 | #Constraints:      12081
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      34000 | #Constraints:       9290
3320.47/3329.87	c #Conflicts:      35000 | #Constraints:      10290
3320.47/3329.87	c #Conflicts:      36000 | #Constraints:      11290
3320.47/3329.87	c #Conflicts:      37000 | #Constraints:      12290
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      38000 | #Constraints:       9301
3320.47/3329.87	c #Conflicts:      39000 | #Constraints:      10301
3320.47/3329.87	c #Conflicts:      40000 | #Constraints:      11301
3320.47/3329.87	c #Conflicts:      41000 | #Constraints:      12301
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      42000 | #Constraints:       9105
3320.47/3329.87	c #Conflicts:      43000 | #Constraints:      10105
3320.47/3329.87	c #Conflicts:      44000 | #Constraints:      11105
3320.47/3329.87	c #Conflicts:      45000 | #Constraints:      12105
3320.47/3329.87	c #Conflicts:      46000 | #Constraints:      13105
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      47000 | #Constraints:       9687
3320.47/3329.87	c #Conflicts:      48000 | #Constraints:      10687
3320.47/3329.87	c #Conflicts:      49000 | #Constraints:      11687
3320.47/3329.87	c #Conflicts:      50000 | #Constraints:      12687
3320.47/3329.87	c #Conflicts:      51000 | #Constraints:      13687
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      52000 | #Constraints:      10089
3320.47/3329.87	c #Conflicts:      53000 | #Constraints:      11089
3320.47/3329.87	c #Conflicts:      54000 | #Constraints:      12089
3320.47/3329.87	c #Conflicts:      55000 | #Constraints:      13089
3320.47/3329.87	c #Conflicts:      56000 | #Constraints:      14089
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      57000 | #Constraints:      10287
3320.47/3329.87	c #Conflicts:      58000 | #Constraints:      11287
3320.47/3329.87	c #Conflicts:      59000 | #Constraints:      12287
3320.47/3329.87	c #Conflicts:      60000 | #Constraints:      13287
3320.47/3329.87	c #Conflicts:      61000 | #Constraints:      14287
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      62000 | #Constraints:      10286
3320.47/3329.87	c #Conflicts:      63000 | #Constraints:      11286
3320.47/3329.87	c #Conflicts:      64000 | #Constraints:      12286
3320.47/3329.87	c #Conflicts:      65000 | #Constraints:      13286
3320.47/3329.87	c #Conflicts:      66000 | #Constraints:      14286
3320.47/3329.87	c INPROCESSING
3320.47/3329.87	c GARBAGE COLLECT
3320.47/3329.87	c #Conflicts:      67000 | #Constraints:      10087
3320.47/3329.87	c #Conflicts:      68000 | #Constraints:      11087
3600.04/3610.13	c #Conflicts:      69000 | #Constraints:      12087
3600.04/3610.13	c #Conflicts:      70000 | #Constraints:      13087
3600.04/3610.13	c #Conflicts:      71000 | #Constraints:      14087
3600.04/3610.13	c #Conflicts:      72000 | #Constraints:      15087
3600.04/3610.13	c INPROCESSING
3600.04/3610.13	c GARBAGE COLLECT
3600.04/3610.13	c #Conflicts:      73000 | #Constraints:      10691
3600.04/3610.13	c Program interrupted by user.
3600.04/3610.13	c cpu time 3584.46 s
3600.04/3610.13	c deterministic time 346941307010 3.47e+11
3600.04/3610.13	c optimization time 38.4659 s
3600.04/3610.13	c total solve time 3246.4 s
3600.04/3610.13	c core-guided solve time 3246.4 s
3600.04/3610.13	c propagation time 2360.03 s
3600.04/3610.13	c conflict analysis time 785.676 s
3600.04/3610.13	c propagations 365614955
3600.04/3610.13	c resolve steps 251328
3600.04/3610.13	c decisions 16688681
3600.04/3610.13	c conflicts 73367
3600.04/3610.13	c restarts 230
3600.04/3610.13	c inprocessing phases 19
3600.04/3610.13	c input clauses 5
3600.04/3610.13	c input cardinalities 4420
3600.04/3610.13	c input general constraints 29
3600.04/3610.13	c input average constraint length 42.38
3600.04/3610.13	c input average constraint degree 645.97
3600.04/3610.13	c learned clauses 4
3600.04/3610.13	c learned cardinalities 0
3600.04/3610.13	c learned general constraints 73362
3600.04/3610.13	c learned average constraint length 18202.62
3600.04/3610.13	c learned average constraint degree 371057724.17
3600.04/3610.13	c watched constraints 10398
3600.04/3610.13	c counting constraints 62993
3600.04/3610.13	c gcd simplifications 47
3600.04/3610.13	c detected cardinalities 0
3600.04/3610.13	c weakened non-implied lits 148090058
3600.04/3610.13	c weakened non-implying lits 68727
3600.04/3610.13	c original variables 22120
3600.04/3610.13	c clausal propagations 504
3600.04/3610.13	c cardinality propagations 86414
3600.04/3610.13	c watched propagations 22390802
3600.04/3610.13	c counting propagations 339832747
3600.04/3610.13	c watch lookups 36513742716
3600.04/3610.13	c watch backjump lookups 36496552559
3600.04/3610.13	c watch checks 138638123652
3600.04/3610.13	c propagation checks 128339129313
3600.04/3610.13	c constraint additions 6189098595
3600.04/3610.13	c trail pops 382356538
3600.04/3610.13	c formula constraints 4453
3600.04/3610.13	c learned constraints 73366
3600.04/3610.13	c bound constraints 1
3600.04/3610.13	c core-guided constraints 0
3600.04/3610.13	c encountered formula constraints 21052
3600.04/3610.13	c encountered learned constraints 284180
3600.04/3610.13	c encountered bound constraints 19463
3600.04/3610.13	c encountered core-guided constraints 0
3600.04/3610.13	c LP total time 0 s
3600.04/3610.13	c LP solve time 0 s
3600.04/3610.13	c LP constraints added 0
3600.04/3610.13	c LP constraints removed 0
3600.04/3610.13	c LP pivots internal 0
3600.04/3610.13	c LP pivots root 0
3600.04/3610.13	c LP calls 0
3600.04/3610.13	c LP optimalities 0
3600.04/3610.13	c LP no pivot count 0
3600.04/3610.13	c LP infeasibilities 0
3600.04/3610.13	c LP valid Farkas constraints 0
3600.04/3610.13	c LP learned Farkas constraints 0
3600.04/3610.13	c LP basis resets 0
3600.04/3610.13	c LP cycling count 0
3600.04/3610.13	c LP singular count 0
3600.04/3610.13	c LP no primal count 0
3600.04/3610.13	c LP no farkas count 0
3600.04/3610.13	c LP other issue count 0
3600.04/3610.13	c LP Gomory cuts 0
3600.04/3610.13	c LP learned cuts 0
3600.04/3610.13	c LP deleted cuts 0
3600.04/3610.13	c LP encountered Gomory constraints 0
3600.04/3610.13	c LP encountered Farkas constraints 0
3600.04/3610.13	c LP encountered learned Farkas constraints 0
3600.04/3610.13	c CG auxiliary variables introduced 0
3600.04/3610.13	c CG solutions found 0
3600.04/3610.13	c CG cores constructed 0
3600.04/3610.13	c CG core cardinality constraints returned 0
3600.04/3610.13	c CG unit cores 0
3600.04/3610.13	c CG single cores 0
3600.04/3610.13	c CG blocks removed during cardinality reduction 0
3600.04/3610.13	c CG first core best 0
3600.04/3610.13	c CG decision core best 0
3600.04/3610.13	c CG core reduction tie 0
3600.04/3610.13	c CG core degree average 0.00
3600.04/3610.13	c CG core slack average 0.00
3600.04/3610.13	c CG exhausted 0
3600.04/3610.13	c CG exhaust time 0 s
3600.04/3610.13	c CG trimmed 0
3600.04/3610.13	c CG trim time 0 s
3600.04/3610.13	c CG minimized 0
3600.04/3610.13	c CG minimize time 0 s
3600.04/3610.13	c CG am1 prop time 9e-05 s
3600.04/3610.13	c CG # am1s reformulated 0
3600.04/3610.13	c CG lower bound derived from am1s 0
3600.04/3610.13	c CG # clausal cores 0
3600.04/3610.13	c CG # cardinality cores 0
3600.04/3610.13	c CG # pb cores 0
3600.04/3610.13	c CG # pb reforms 0
3600.04/3610.13	c CG # cores discarded because of pb reform 0
3600.04/3610.13	d LOWERBOUND 0
3600.04/3610.13	d NCORES 0
3600.04/3610.13	d NPBCORES 0
3600.04/3610.13	d NPBREFORM 0
3600.04/3610.13	d NTRIMMED 0
3600.04/3610.13	d NEXHAUSTED 0
3600.04/3610.13	d NAM1S 0
3600.04/3610.13	d AM1LB 0
3600.04/3610.13	c [Papilo Statistics]
3600.04/3610.13	c prepro time 0.0597934s
3600.04/3610.13	c # tsx applied 1547
3600.04/3610.13	c # tsx conflicts 194
3600.04/3610.13	c # bound changes 1518
3600.04/3610.13	c # side changes 0
3600.04/3610.13	c # coef changes 0
3600.04/3610.13	c # rounds 3
3600.04/3610.13	c # deted vars 1518
3600.04/3610.13	c # deted constrs 31
3600.04/3610.13	c # consecutive rounds of only bound changes 0
3600.04/3610.14	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: 63665 MiB (61620 MiB free)
  memory of node 1: 64507 MiB (63310 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529112-1752260128/watcher-4529112-1752260128 -o /tmp/evaluation-result-4529112-1752260128/solver-4529112-1752260128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760 mixed-bag HOME/instance-4529112-1752260128.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=121899, runsolver pid=121896

[startup+0.100067 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 121900
/proc/meminfo: memFree=127930100/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=94760 memory=23120 CPUtime=0.09 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 4982 0 0 0 8 1 0 0 20 0 1 0 141690668 97034240 5780 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 23690 5780 2112 2834 0 6442 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 94760 KiB
Current children cumulated memory: 23120 KiB

[startup+0.205684 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 121900
/proc/meminfo: memFree=127926572/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=118276 memory=43024 CPUtime=0.18 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 7928 0 0 0 17 1 0 0 20 0 1 0 141690668 121114624 10756 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 29569 10756 2112 2834 0 12321 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 118276 KiB
Current children cumulated memory: 43024 KiB

[startup+0.305722 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 121900
/proc/meminfo: memFree=127878764/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=170244 memory=93720 CPUtime=0.29 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 15875 0 0 0 26 3 0 0 20 0 1 0 141690668 174329856 23430 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 42561 23430 3904 2834 0 24766 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 170244 KiB
Current children cumulated memory: 93720 KiB

[startup+0.700184 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 121900
/proc/meminfo: memFree=127822188/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=249680 memory=162308 CPUtime=0.68 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 35202 0 0 0 61 7 0 0 20 0 1 0 141690668 255672320 40577 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 62420 40577 4000 2834 0 44625 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 249680 KiB
Current children cumulated memory: 162308 KiB

[startup+1.50018 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 121900
/proc/meminfo: memFree=127798248/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=315308 memory=196252 CPUtime=1.47 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 43122 0 0 0 139 8 0 0 20 0 1 0 141690668 322875392 49031 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 78827 49063 4064 2834 0 61032 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 315308 KiB
Current children cumulated memory: 196252 KiB

[startup+3.10552 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 121900
/proc/meminfo: memFree=127738196/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=348992 memory=229400 CPUtime=3.08 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 49952 0 0 0 298 10 0 0 20 0 1 0 141690668 357367808 57350 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 87248 57350 4192 2834 0 69453 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 348992 KiB
Current children cumulated memory: 229400 KiB

[startup+6.30018 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 121900
/proc/meminfo: memFree=127730256/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=350564 memory=230936 CPUtime=6.26 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 50343 0 0 0 616 10 0 0 20 0 1 0 141690668 358977536 57734 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 87641 57734 4192 2834 0 69846 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 350564 KiB
Current children cumulated memory: 230936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 121900
/proc/meminfo: memFree=127723224/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=353188 memory=233624 CPUtime=12.64 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 51022 0 0 0 1254 10 0 0 20 0 1 0 141690668 361664512 58406 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 88297 58406 4192 2834 0 70502 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 353188 KiB
Current children cumulated memory: 233624 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 121900
/proc/meminfo: memFree=127596308/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=487376 memory=364620 CPUtime=25.41 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 67135 0 0 0 2527 14 0 0 20 0 1 0 141690668 499073024 91155 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 121844 91155 4224 2834 0 104049 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 487376 KiB
Current children cumulated memory: 364620 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 121901
/proc/meminfo: memFree=127487580/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=550608 memory=426416 CPUtime=50.95 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 76504 0 0 0 5078 17 0 0 20 0 1 0 141690668 563822592 106604 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 137652 106604 4224 2834 0 119857 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 550608 KiB
Current children cumulated memory: 426416 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 121904
/proc/meminfo: memFree=127390540/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=667736 memory=545884 CPUtime=102 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 110775 0 0 0 10176 24 0 0 20 0 1 0 141690668 683761664 136471 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 166934 136471 4224 2834 0 149139 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 667736 KiB
Current children cumulated memory: 545884 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 121952
/proc/meminfo: memFree=127425092/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=705388 memory=581340 CPUtime=161.81 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 119697 0 0 0 16155 26 0 0 20 0 1 0 141690668 722317312 145335 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 176347 145335 4224 2834 0 158552 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 705388 KiB
Current children cumulated memory: 581340 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 121954
/proc/meminfo: memFree=127293396/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=791768 memory=664796 CPUtime=221.63 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 140130 0 0 0 22133 30 0 0 20 0 1 0 141690668 810770432 166199 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 197942 166199 4224 2834 0 180147 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 791768 KiB
Current children cumulated memory: 664796 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 121956
/proc/meminfo: memFree=127261540/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=822484 memory=705884 CPUtime=281.44 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 147952 0 0 0 28113 31 0 0 20 0 1 0 141690668 842223616 176471 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 205621 176471 4224 2834 0 187826 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 822484 KiB
Current children cumulated memory: 705884 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/265 121970
/proc/meminfo: memFree=127060952/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=1064448 memory=901092 CPUtime=341.26 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 152797 0 0 0 34041 85 0 0 20 0 1 0 141690668 1089994752 225273 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 266112 225273 4416 2834 0 248317 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1064448 KiB
Current children cumulated memory: 901092 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 121972
/proc/meminfo: memFree=126811700/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=1306324 memory=1107964 CPUtime=401.1 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 161195 0 0 0 39985 125 0 0 20 0 1 0 141690668 1337675776 276991 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 326581 276991 4416 2834 0 308786 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1306324 KiB
Current children cumulated memory: 1107964 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 121975
/proc/meminfo: memFree=126603036/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=1392800 memory=1241388 CPUtime=460.92 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 182971 0 0 0 45929 163 0 0 20 0 1 0 141690668 1426227200 310347 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 348200 310347 4416 2834 0 330405 0

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

Current children cumulated memory: 3073528 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/264 122143
/proc/meminfo: memFree=124407128/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3563112 memory=3073528 CPUtime=2914.1 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 457195 0 0 0 290118 1292 0 0 20 0 1 0 141690668 3648626688 768382 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 890778 768382 4416 2834 0 872983 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 3563112 KiB
Current children cumulated memory: 3073528 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/264 122146
/proc/meminfo: memFree=124389044/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3563112 memory=3073784 CPUtime=2973.94 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 457314 0 0 0 296088 1306 0 0 20 0 1 0 141690668 3648626688 768446 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 890778 768446 4416 2834 0 872983 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 3563112 KiB
Current children cumulated memory: 3073784 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/264 122147
/proc/meminfo: memFree=124277212/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3616716 memory=3154088 CPUtime=3033.77 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 470788 0 0 0 302056 1321 0 0 20 0 1 0 141690668 3703517184 788522 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 904179 788522 4416 2834 0 886384 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 3616716 KiB
Current children cumulated memory: 3154088 KiB

[startup+3102.3 s]
/proc/loadavg: 4.30 4.22 4.15 5/265 122156
/proc/meminfo: memFree=124216164/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3620464 memory=3167632 CPUtime=3093.6 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 471822 0 0 0 308010 1350 0 0 20 0 1 0 141690668 3707355136 791908 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 905116 791908 4416 2834 0 887321 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 3620464 KiB
Current children cumulated memory: 3167632 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.20 4.15 5/265 122158
/proc/meminfo: memFree=124211628/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3620464 memory=3175568 CPUtime=3153.43 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 471846 0 0 0 313963 1380 0 0 20 0 1 0 141690668 3707355136 793892 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 905116 793892 4416 2834 0 887321 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 3620464 KiB
Current children cumulated memory: 3175568 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/265 122160
/proc/meminfo: memFree=124185468/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3625680 memory=3192080 CPUtime=3213.27 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 473283 0 0 0 319926 1401 0 0 20 0 1 0 141690668 3712696320 798020 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 906420 798020 4416 2834 0 888625 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 3625680 KiB
Current children cumulated memory: 3192080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 122254
/proc/meminfo: memFree=122396932/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3681876 memory=3297560 CPUtime=3273.1 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 487141 0 0 0 325876 1434 0 0 20 0 1 0 141690668 3770241024 824390 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 920469 824390 4416 2834 0 902674 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 3681876 KiB
Current children cumulated memory: 3297560 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/266 122257
/proc/meminfo: memFree=122061960/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3687032 memory=3318768 CPUtime=3332.93 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 488489 0 0 0 331824 1469 0 0 20 0 1 0 141690668 3775520768 829692 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 921758 829692 4416 2834 0 903963 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 3687032 KiB
Current children cumulated memory: 3318768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/265 122259
/proc/meminfo: memFree=121908432/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3687032 memory=3326704 CPUtime=3392.78 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 488489 0 0 0 337788 1490 0 0 20 0 1 0 141690668 3775520768 831676 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 921758 831676 4416 2834 0 903963 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 3687032 KiB
Current children cumulated memory: 3326704 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/265 122261
/proc/meminfo: memFree=121755044/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3687032 memory=3354352 CPUtime=3452.61 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 488554 0 0 0 343752 1509 0 0 20 0 1 0 141690668 3775520768 838588 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 921758 838588 4416 2834 0 903963 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 3687032 KiB
Current children cumulated memory: 3354352 KiB

[startup+3522.3 s]
/proc/loadavg: 4.43 4.20 4.15 5/265 122263
/proc/meminfo: memFree=121271708/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3687032 memory=3372528 CPUtime=3512.46 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 488617 0 0 0 349729 1517 0 0 20 0 1 0 141690668 3775520768 843132 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 921758 843132 4416 2834 0 903963 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 3687032 KiB
Current children cumulated memory: 3372528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.14 5/265 122266
/proc/meminfo: memFree=121163464/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3704184 memory=3413812 CPUtime=3572.3 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 492861 0 0 0 355686 1544 0 0 20 0 1 0 141690668 3793084416 853453 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 926046 853453 4416 2834 0 908251 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 3704184 KiB
Current children cumulated memory: 3413812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.12 4.16 4.13 5/264 122268
/proc/meminfo: memFree=121131256/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3704184 memory=3422516 CPUtime=3600.04 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 492863 0 0 0 358443 1561 0 0 20 0 1 0 141690668 3793084416 855629 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 926046 855629 4416 2834 0 908251 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3704184 KiB
Current children cumulated memory: 3422516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.47 s, system=15.6365 s

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

[startup+3610.11 s]
/proc/loadavg: 4.12 4.16 4.13 5/264 122268
/proc/meminfo: memFree=121131256/131250000 swapFree=33010416/33010684
[pid=121899] ppid=121896 vsize=3704184 memory=3422516 CPUtime=3600.04 cores=1,3
/proc/121899/stat : 121899 (mixed-bag) R 121896 121899 121298 0 -1 4194304 492863 0 0 0 358443 1561 0 0 20 0 1 0 141690668 3793084416 855629 18446744073709551615 4235264 15840557 140721820766320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 26214400 140721820772762 140721820772839 140721820772839 140721820778443 0
/proc/121899/statm: 926046 855629 4416 2834 0 908251 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3704184 KiB
Current children cumulated memory: 3422516 KiB

Child status: 0

Real time (s): 3610.16
CPU time (s): 3600.1
CPU user time (s): 3584.47
CPU system time (s): 15.6365
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 3704184
Max. memory (cumulated for all children) (KiB): 3422516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.47
system time used= 15.6365
maximum resident set size= 3423156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492893
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= 419
involuntary context switches= 7262


# summary of solver processes directly reported to runsolver:
#   pid: 121899
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3584.47
#   total CPU system time (s): 15.6365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90476 second user time and 17.2872 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-11 20:55:28
IDJOB=4529112
IDBENCH=155340
IDSOLVER=3386
FILE ID=nodeC018/4529112-1752260128
RUNJOBID= nodeC018-1752256148-121310
SLURM_JOB_ID= 9682594
Free space on /tmp= 432524 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-n3div36.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529112-1752260128/watcher-4529112-1752260128 -o /tmp/evaluation-result-4529112-1752260128/solver-4529112-1752260128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760  mixed-bag HOME/instance-4529112-1752260128.opb

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

MD5SUM BENCH= 807b13cda1d33b90eacd528b5f94ca03
RANDOM SEED=943676559

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.836
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3600.226
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3617.781
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.839
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.831
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.855
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3665.926
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127929764 kB
MemAvailable:   128899740 kB
Buffers:            2128 kB
Cached:          1731228 kB
SwapCached:           32 kB
Active:          1340368 kB
Inactive:        1202376 kB
Active(anon):     827144 kB
Inactive(anon):      288 kB
Active(file):     513224 kB
Inactive(file):  1202088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18968 kB
Writeback:             0 kB
AnonPages:        811584 kB
Mapped:           139972 kB
Shmem:             18044 kB
KReclaimable:     187408 kB
Slab:             281012 kB
SReclaimable:     187408 kB
SUnreclaim:        93604 kB
KernelStack:        4256 kB
PageTables:         4832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1201356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432504 MiB
End job on nodeC018 at 2025-07-11 21:55:39