Trace number 4505413

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
SCIP-NaPS 1.00a1? (MO) 1141.86 1146.15

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
MD5SUMfb79dc5ec425f6747fbd9d81f9d6ccc8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14278749
Best CPU time to get the best result obtained on this benchmark68921.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019600
Biggest coefficient in the objective function 183250432
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 416475778904
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 183250432
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 416475778904
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1018.07/1022.01	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4505413-1751458868.opb
1018.07/1022.01	c Solving mode: optimization
1018.07/1022.01	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1018.07/1022.01	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1018.07/1022.01	c original problem has 2000400 variables (2000400 bin, 0 int, 0 impl, 0 cont) and 4920807 constraints
1018.07/1022.01	c presolving:
1018.07/1022.01	c (round 1, fast)       40000 del vars, 19803 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
1018.07/1022.01	c (round 2, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
1018.07/1022.01	c (round 3, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 2925551 clqs
1018.07/1022.01	c (round 4, medium)     40000 del vars, 1004853 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
1018.07/1022.01	c (round 5, exhaustive) 40000 del vars, 4895553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
1018.07/1022.01	c    (976.8s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
1018.07/1022.01	c    (977.6s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
1018.07/1022.01	c    (977.6s) probing aborted: 1000/1000 successive useless probings
1018.07/1022.01	c    (977.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1018.07/1022.01	c    (984.6s) no symmetry present (symcode time: 2.76)
1018.07/1022.01	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1018.07/1022.01	c  40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1018.07/1022.01	c  0 implications, 6424151 cliques
1018.07/1022.01	c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 impl, 0 cont) and 3915954 constraints
1018.07/1022.01	c    5250 constraints of type <knapsack>
1018.07/1022.01	c 2925551 constraints of type <setppc>
1018.07/1022.01	c  980100 constraints of type <and>
1018.07/1022.01	c       3 constraints of type <linear>
1018.07/1022.01	c    5050 constraints of type <logicor>
1018.07/1022.01	c transformed objective value is always integral (scale: 1)
1018.07/1022.01	c Presolving Time: 975.90
1018.07/1022.01	c 
1018.07/1022.01	c 
1018.07/1022.01	c SCIP Status        : solving was interrupted [time limit reached]
1018.07/1022.01	c Solving Time (sec) : 1000.21
1018.07/1022.01	c Solving Nodes      : 1
1018.07/1022.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1018.07/1022.01	c Dual Bound         : -1.50000000000000e+01
1018.07/1022.01	c Gap                : infinite
1018.07/1022.01	c ----------------------------------------------------------------------
1018.07/1022.01	c dual bound: -15.0 -> -15
1018.07/1022.01	c primal bound: 1e+20 -> 100000000000000000000
1018.07/1022.01	c scip-goal-lb: -15
1018.07/1022.01	c scip-goal-ub: 100000000000000000000
1018.07/1022.01	c writing output to: HOME/tmp0l83rg_e.opb
1018.07/1022.01	c appending fixed variable constraints
1018.07/1022.01	c scip-fixed vars: 1.54% (30100/1960400)
1018.07/1022.01	c ----------------------------------------------------------------------
1018.07/1022.01	c executing external solver: HOME/naps-1.03a6
1018.07/1022.01	c ----------------------------------------------------------------------
1018.07/1022.01	c command: HOME/naps-1.03a6 -goal-lb=-15 -goal-ub=99999999999999999999 HOME/tmp0l83rg_e.opb
1018.24/1022.31	c NaPS 1.03a6.
1018.24/1022.31	c Input file name: HOME/tmp0l83rg_e.opb
1139.21/1143.50	c
1139.21/1143.50	c *** TERMINATED *** by signal 15
1139.21/1143.50	c _____________________________________________________________________________
1139.21/1143.50	c std/band forms        : 96,0
1139.21/1143.50	c 2cl/3cl ITE-codings   : 0,0
1139.21/1143.50	c BDD/srt/adr Max costs : 0,922012,0
1139.21/1143.50	c BDDraw/bin/mul/srt/adr: 0,0,0,96,0
1139.21/1143.50	c BDD nodes             : 0
1139.21/1143.50	c Es1/CC detections     : 0,0
1139.21/1143.50	c CC sort               : 95
1139.21/1143.50	c SAT/UNSAT calls       : 0,0
1139.21/1143.50	c regenrated variables  : 0
1139.21/1143.50	c eliminated fixed lits : 70292
1139.21/1143.50	c goal lit flips        : 0
1139.21/1143.50	c goal stages           : 0
1139.21/1143.50	c goal shrink           : 0
1139.21/1143.50	c goal coeff separations: 0
1139.21/1143.50	c restarts              : 0
1139.21/1143.50	c conflicts             : 0              (0 /sec)
1139.21/1143.50	c decisions             : 0              (0 /sec)
1139.21/1143.50	c propagations          : 0              (0 /sec)
1139.21/1143.50	c inspects              : 0              (0 /sec)
1139.21/1143.50	c CPU time (solving tm) : 118.1 s        (0 s, SAT 0 s, UNSAT 0 s)
1139.21/1143.50	c Time for Opt-base     : 0.3387 s
1139.21/1143.50	c Steps for Opt-base    : 0
1139.21/1143.50	c Time for BDD coding   : 0 s
1139.21/1143.50	c Time for srt coding   : 48.67 s
1139.21/1143.50	c _____________________________________________________________________________
1018.26/1143.65	c received SIGTERM, forwarding to pbsolver...
1018.26/1143.65	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 (36168 MiB free)
  memory of node 1: 64507 MiB (50152 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505413-1751458868/watcher-4505413-1751458868 -o /tmp/evaluation-result-4505413-1751458868/solver-4505413-1751458868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751455970-66042 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4505413-1751458868.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=66402, runsolver pid=66399

[startup+0.100064 s]*
/proc/loadavg: 4.41 4.19 4.06 4/270 66407
/proc/meminfo: memFree=88380288/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=127376 memory=27008 CPUtime=0.04 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 2945 0 0 0 3 1 0 0 20 0 1 0 61564682 130433024 6752 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 31844 6752 4288 1 0 3946 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 131568 KiB
Current children cumulated memory: 30080 KiB

[startup+0.205683 s]*
/proc/loadavg: 4.41 4.19 4.06 5/270 66407
/proc/meminfo: memFree=88367644/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=1305600 memory=151380 CPUtime=0.14 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 14786 0 0 0 10 4 0 0 20 0 1 0 61564682 1336934400 37845 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 326400 37845 7552 1 0 297758 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1309792 KiB
Current children cumulated memory: 154452 KiB

[startup+0.305705 s]*
/proc/loadavg: 4.41 4.19 4.06 5/270 66407
/proc/meminfo: memFree=88354980/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=1420736 memory=265684 CPUtime=0.25 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 42329 0 0 0 17 8 0 0 20 0 1 0 61564682 1454833664 66421 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 355184 66421 7584 1 0 326542 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1424928 KiB
Current children cumulated memory: 268756 KiB

[startup+0.700218 s]
/proc/loadavg: 4.41 4.19 4.06 5/270 66407
/proc/meminfo: memFree=88341812/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=1791176 memory=635596 CPUtime=0.63 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 130188 0 0 0 43 20 0 0 20 0 1 0 61564682 1834164224 158899 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 447794 158899 7584 1 0 419152 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1795368 KiB
Current children cumulated memory: 638668 KiB

[startup+1.50021 s]
/proc/loadavg: 4.41 4.19 4.06 5/270 66407
/proc/meminfo: memFree=88305332/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=2373280 memory=1215804 CPUtime=1.43 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 259406 0 0 0 105 38 0 0 20 0 1 0 61564682 2430238720 303951 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 593320 303951 7616 1 0 564678 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 2377472 KiB
Current children cumulated memory: 1218876 KiB

[startup+3.10553 s]
/proc/loadavg: 4.46 4.21 4.06 5/270 66407
/proc/meminfo: memFree=87006304/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=3111092 memory=1953084 CPUtime=3.04 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 443750 0 0 0 239 65 0 0 20 0 1 0 61564682 3185758208 488271 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 777773 488271 7616 1 0 749131 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 3115284 KiB
Current children cumulated memory: 1956156 KiB

[startup+6.30019 s]
/proc/loadavg: 4.46 4.21 4.06 5/271 66409
/proc/meminfo: memFree=84753152/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=4208808 memory=3051516 CPUtime=6.22 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 695372 0 0 0 520 102 0 0 20 0 1 0 61564682 4309819392 762879 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 1052202 762879 7616 1 0 1023560 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 4213000 KiB
Current children cumulated memory: 3054588 KiB

[startup+12.7002 s]
/proc/loadavg: 4.39 4.20 4.06 5/271 66409
/proc/meminfo: memFree=80004756/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=5480736 memory=4320860 CPUtime=12.6 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 986134 0 0 0 1114 146 0 0 20 0 1 0 61564682 5612273664 1080215 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 1370184 1080215 7616 1 0 1341542 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 5484928 KiB
Current children cumulated memory: 4323932 KiB

[startup+25.5002 s]
/proc/loadavg: 4.33 4.19 4.06 5/271 66409
/proc/meminfo: memFree=68380304/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=11470808 memory=10236192 CPUtime=25.37 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 2301390 0 0 0 2184 353 0 0 20 0 1 0 61564682 11746107392 2559048 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 2867702 2559048 7840 1 0 2839060 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 11475000 KiB
Current children cumulated memory: 10239264 KiB

[startup+51.1058 s]
/proc/loadavg: 4.47 4.24 4.08 5/268 66434
/proc/meminfo: memFree=91799852/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=12376432 memory=10995852 CPUtime=50.89 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 2394213 0 0 0 4715 374 0 0 20 0 1 0 61564682 12673466368 2748963 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 3094108 2748963 7872 1 0 3065466 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 12380624 KiB
Current children cumulated memory: 10998924 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.21 4.08 5/271 66464
/proc/meminfo: memFree=79343760/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=15150840 memory=13750520 CPUtime=101.92 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 2914576 0 0 0 9728 464 0 0 20 0 1 0 61564682 15514460160 3437630 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 3787710 3437630 7904 1 0 3759068 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 15155032 KiB
Current children cumulated memory: 13753592 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.19 4.08 5/271 66466
/proc/meminfo: memFree=75348860/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=16144124 memory=14785844 CPUtime=161.73 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 2947410 0 0 0 15681 492 0 0 20 0 1 0 61564682 16531582976 3696461 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 4036031 3696461 7936 1 0 4007389 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 16148316 KiB
Current children cumulated memory: 14788916 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.08 5/271 66470
/proc/meminfo: memFree=74503192/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=16144124 memory=14785844 CPUtime=221.49 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 2948247 0 0 0 21654 495 0 0 20 0 1 0 61564682 16531582976 3696461 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 4036031 3696461 7936 1 0 4007389 0
Current children cumulated CPU time: 221.5 s

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

Current children cumulated CPU time: 878.9 s
Current children cumulated vsize: 16158032 KiB
Current children cumulated memory: 14793900 KiB

[startup+942.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 66551
/proc/meminfo: memFree=71959100/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=16153840 memory=14790828 CPUtime=938.66 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 2959475 0 0 0 93330 536 0 0 20 0 1 0 61564682 16541532160 3697707 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 4038460 3697707 7936 1 0 4009818 0
Current children cumulated CPU time: 938.67 s
Current children cumulated vsize: 16158032 KiB
Current children cumulated memory: 14793900 KiB

[startup+1002.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/268 66553
/proc/meminfo: memFree=71195076/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=17209064 memory=15481792 CPUtime=998.42 cores=5,7
/proc/66407/stat : 66407 (python3) R 66402 66402 66026 0 -1 4194304 3015913 0 0 0 99266 576 0 0 20 0 1 0 61564682 17622081536 3870448 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 4302266 3870448 8000 1 0 4273624 0
Current children cumulated CPU time: 998.43 s
Current children cumulated vsize: 17213256 KiB
Current children cumulated memory: 15484864 KiB

[startup+1062.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/269 66556
/proc/meminfo: memFree=61409168/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=24098228 memory=22377412 CPUtime=1018.23 cores=5,7
/proc/66407/stat : 66407 (python3) S 66402 66402 66026 0 -1 4194304 4381494 0 0 0 100929 894 0 0 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
[pid=66555] ppid=66407 vsize=2117596 memory=2020140 CPUtime=40.01 cores=5,7
/proc/66555/stat : 66555 (naps-1.03a6) R 66407 66555 66555 0 -1 4194304 415392 0 0 0 3896 105 0 0 20 0 1 0 61666894 2168418304 505035 18446744073709551615 4198400 7047149 140736060087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28315648 140736060094822 140736060094963 140736060094963 140736060100553 0
/proc/66555/statm: 529399 505035 544 696 0 528560 0
Current children cumulated CPU time: 1058.25 s
Current children cumulated vsize: 26220016 KiB
Current children cumulated memory: 24400624 KiB

[startup+1122.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 66559
/proc/meminfo: memFree=55002036/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=24098228 memory=22377412 CPUtime=1018.23 cores=5,7
/proc/66407/stat : 66407 (python3) S 66402 66402 66026 0 -1 4194304 4381494 0 0 0 100929 894 0 0 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
[pid=66555] ppid=66407 vsize=5672340 memory=5498104 CPUtime=99.83 cores=5,7
/proc/66555/stat : 66555 (naps-1.03a6) R 66407 66555 66555 0 -1 4194304 776458 0 0 0 9749 234 0 0 20 0 1 0 61666894 5808476160 1374526 18446744073709551615 4198400 7047149 140736060087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28315648 140736060094822 140736060094963 140736060094963 140736060100553 0
/proc/66555/statm: 1418085 1374526 576 696 0 1417246 0
Current children cumulated CPU time: 1118.07 s
Current children cumulated vsize: 29774760 KiB
Current children cumulated memory: 27878588 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1143.5 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 66560
/proc/meminfo: memFree=53376020/131249996 swapFree=33010416/33010684
[pid=66402] ppid=66399 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/66402/stat : 66402 (scip-naps-1.00.) S 66399 66402 66026 0 -1 4194304 260 2888 0 0 0 0 0 1 20 0 1 0 61564678 4292608 768 18446744073709551615 93936178413568 93936179308101 140723866097808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93936179547152 93936179594896 93936194613248 140723866106273 140723866106370 140723866106370 140723866111972 0
/proc/66402/statm: 1048 768 704 219 0 110 0
[pid=66407] ppid=66402 vsize=24098228 memory=22377412 CPUtime=1018.23 cores=5,7
/proc/66407/stat : 66407 (python3) S 66402 66402 66026 0 -1 4194304 4381494 0 0 0 100929 894 0 0 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
[pid=66555] ppid=66407 vsize=9512432 memory=7040872 CPUtime=120.97 cores=5,7
/proc/66555/stat : 66555 (naps-1.03a6) R 66407 66555 66555 0 -1 4194304 974119 0 0 0 11810 287 0 0 20 0 1 0 61666894 9740730368 1760218 18446744073709551615 4198400 7047149 140736060087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28315648 140736060094822 140736060094963 140736060094963 140736060100553 0
/proc/66555/statm: 2378108 1760218 576 696 0 2377269 0
Current children cumulated CPU time: 1139.21 s
Current children cumulated vsize: 33614852 KiB
Current children cumulated memory: 29421356 KiB

Sending SIGTERM to process tree (bottom up)

[startup+1143.51 s]
# the end of solver process 66402 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.006844 s, system=0.018283 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1146.15 s]
# the end of solver process 66407 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1128.92 s, system=12.9415 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+1144 s]*
/proc/loadavg: 4.08 4.09 4.09 5/268 66560
/proc/meminfo: memFree=59680404/131249996 swapFree=33010416/33010684
[pid=66407] ppid=66399 vsize=24098228 memory=22377412 CPUtime=1139.69 cores=5,7
/proc/66407/stat : 66407 (python3) R 66399 66402 66026 0 -1 4194304 4663908 974121 0 0 100952 905 11810 302 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
Current cumulated CPU time of completed processes: 0.025127 s
Current children cumulated CPU time: 1139.69 s
Current children cumulated vsize: 24098228 KiB
Current children cumulated memory: 22377412 KiB

[startup+1144.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 66560
/proc/meminfo: memFree=59680404/131249996 swapFree=33010416/33010684
[pid=66407] ppid=66399 vsize=24098228 memory=22377412 CPUtime=1140.49 cores=5,7
/proc/66407/stat : 66407 (python3) R 66399 66402 66026 0 -1 4194304 4925364 974121 0 0 101019 918 11810 302 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
Current cumulated CPU time of completed processes: 0.025127 s
Current children cumulated CPU time: 1140.49 s
Current children cumulated vsize: 24098228 KiB
Current children cumulated memory: 22377412 KiB

[startup+1145.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 66560
/proc/meminfo: memFree=59680404/131249996 swapFree=33010416/33010684
[pid=66407] ppid=66399 vsize=24098228 memory=22377412 CPUtime=1140.87 cores=5,7
/proc/66407/stat : 66407 (python3) R 66399 66402 66026 0 -1 4194304 5020246 974121 0 0 101053 922 11810 302 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
Current cumulated CPU time of completed processes: 0.025127 s
Current children cumulated CPU time: 1140.87 s
Current children cumulated vsize: 24098228 KiB
Current children cumulated memory: 22377412 KiB

[startup+1145.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 66560
/proc/meminfo: memFree=59680404/131249996 swapFree=33010416/33010684
[pid=66407] ppid=66399 vsize=24098228 memory=22377412 CPUtime=1141.08 cores=5,7
/proc/66407/stat : 66407 (python3) R 66399 66402 66026 0 -1 4194304 5062822 974121 0 0 101072 924 11810 302 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
Current cumulated CPU time of completed processes: 0.025127 s
Current children cumulated CPU time: 1141.08 s
Current children cumulated vsize: 24098228 KiB
Current children cumulated memory: 22377412 KiB

[startup+1145.5 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 66560
/proc/meminfo: memFree=59680404/131249996 swapFree=33010416/33010684
[pid=66407] ppid=66399 vsize=24098228 memory=22377412 CPUtime=1141.18 cores=5,7
/proc/66407/stat : 66407 (python3) R 66399 66402 66026 0 -1 4194304 5083414 974121 0 0 101081 925 11810 302 20 0 1 0 61564682 24676585472 5594353 18446744073709551615 94082125471744 94082125472121 140732522855392 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94082125483416 94082125484036 94082144509952 140732522862951 140732522863138 140732522863138 140732522868711 0
/proc/66407/statm: 6024557 5594353 8064 1 0 5995915 0
Current cumulated CPU time of completed processes: 0.025127 s
Current children cumulated CPU time: 1141.18 s
Current children cumulated vsize: 24098228 KiB
Current children cumulated memory: 22377412 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1146.15
CPU time (s): 1141.86
CPU user time (s): 1128.92
CPU system time (s): 12.9415
CPU usage (%): 99.6265
Max. virtual memory (cumulated for all children) (KiB): 33614852
Max. memory (cumulated for all children) (KiB): 29421356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1128.92
system time used= 12.9415
maximum resident set size= 22377412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6060704
page faults= 0
swaps= 0
block input operations= 0
block output operations= 445024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357
involuntary context switches= 1250


# summary of solver processes directly reported to runsolver:
#   pid: 66402,66407
#   total CPU time (s): 1141.86
#   total CPU user time (s): 1128.92
#   total CPU system time (s): 12.9415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.32972 second user time and 5.7687 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-02 14:21:09
IDJOB=4505413
IDBENCH=155756
IDSOLVER=3368
FILE ID=nodeC022/4505413-1751458868
RUNJOBID= nodeC022-1751455970-66042
SLURM_JOB_ID= 9598452
Free space on /tmp= 431572 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505413-1751458868/watcher-4505413-1751458868 -o /tmp/evaluation-result-4505413-1751458868/solver-4505413-1751458868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751455970-66042 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4505413-1751458868.opb

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

MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=483877724

nodeC022 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.624
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.44
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.272
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.44
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		: 3608.533
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.44
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		: 3602.246
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.44
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.978
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.44
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		: 3611.729
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.44
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		: 3651.973
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.44
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		: 3599.717
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        88392352 kB
MemAvailable:   89402280 kB
Buffers:            2128 kB
Cached:          1794536 kB
SwapCached:           32 kB
Active:         39533144 kB
Inactive:        1252208 kB
Active(anon):   39002540 kB
Inactive(anon):     4176 kB
Active(file):     530604 kB
Inactive(file):  1248032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            227524 kB
Writeback:             0 kB
AnonPages:      38987312 kB
Mapped:           133352 kB
Shmem:             18028 kB
KReclaimable:     140664 kB
Slab:             231240 kB
SReclaimable:     140664 kB
SUnreclaim:        90576 kB
KernelStack:        4352 kB
PageTables:        80080 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   43908948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12226560 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431088 MiB
End job on nodeC022 at 2025-07-02 14:40:15