Trace number 4530606

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.00a2? (TO) 3602.45 3611.36

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-TestScheduling-t030m10r05-1_c24.opb
MD5SUMe1864a4bc93ea045f12c51f6a7422bec
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 benchmark1986
Best CPU time to get the best result obtained on this benchmark92.5453
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables993048
Total number of constraints1964067
Number of constraints which are clauses327396
Number of constraints which are cardinality constraints (but not clauses)10878
Number of constraints which are nor clauses,nor cardinality constraints1625793
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 14
Biggest coefficient in the objective function 8192
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 16383
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 17172
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 66321
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

1043.21/1046.36	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530606-1752265022.opb
1043.21/1046.36	c Solving mode: optimization
1043.21/1046.36	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1043.21/1046.36	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1043.21/1046.36	c original problem has 993048 variables (993048 bin, 0 int, 0 impl, 0 cont) and 1964067 constraints
1043.21/1046.36	c presolving:
1043.21/1046.36	c (round 1, fast)       33709 del vars, 22971 del conss, 0 add conss, 11273 chg bounds, 966086 chg sides, 3559409 chg coeffs, 0 upgd conss, 0 impls, 572311 clqs
1043.21/1046.36	c (round 2, fast)       33709 del vars, 34239 del conss, 0 add conss, 11273 chg bounds, 966086 chg sides, 3559409 chg coeffs, 0 upgd conss, 0 impls, 572311 clqs
1043.21/1046.36	c (round 3, exhaustive) 33797 del vars, 35283 del conss, 0 add conss, 11273 chg bounds, 966086 chg sides, 3559409 chg coeffs, 1928742 upgd conss, 0 impls, 572187 clqs
1043.21/1046.36	c (round 4, fast)       33797 del vars, 35284 del conss, 2 add conss, 11273 chg bounds, 971160 chg sides, 3618634 chg coeffs, 1928742 upgd conss, 0 impls, 572188 clqs
1043.21/1046.36	c (round 5, medium)     33805 del vars, 351840 del conss, 1696341 add conss, 11273 chg bounds, 2141512 chg sides, 6093461 chg coeffs, 1928742 upgd conss, 0 impls, 1792419 clqs
1043.21/1046.36	c presolving (5 rounds: 5 fast, 2 medium, 1 exhaustive):
1043.21/1046.36	c  33805 deleted vars, 351840 deleted constraints, 1696341 added constraints, 11273 tightened bounds, 0 added holes, 2141512 changed sides, 6093461 changed coefficients
1043.21/1046.36	c  0 implications, 1792419 cliques
1043.21/1046.36	c presolving was interrupted.
1043.21/1046.36	c Presolving Time: 1025.54
1043.21/1046.36	c presolving:
1043.21/1046.36	c presolving (5 rounds: 5 fast, 2 medium, 1 exhaustive):
1043.21/1046.36	c  33805 deleted vars, 351840 deleted constraints, 1696341 added constraints, 11273 tightened bounds, 0 added holes, 2141512 changed sides, 6093461 changed coefficients
1043.21/1046.36	c  0 implications, 1792419 cliques
1043.21/1046.36	c presolving was interrupted.
1043.21/1046.36	c Presolving Time: 1025.54
1043.21/1046.36	c 
1043.21/1046.36	c SCIP Status        : solving was interrupted [time limit reached]
1043.21/1046.36	c Solving Time (sec) : 1032.61
1043.21/1046.36	c Solving Nodes      : 0
1043.21/1046.36	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1043.21/1046.36	c ----------------------------------------------------------------------
1043.21/1046.36	c dual bound: -1e+20 -> -100000000000000000000
1043.21/1046.36	c primal bound: 1e+20 -> 100000000000000000000
1043.21/1046.36	c scip-goal-lb: -100000000000000000000
1043.21/1046.36	c scip-goal-ub: 100000000000000000000
1043.21/1046.36	c writing output to: HOME/tmpkrpqqmp_.opb
1043.21/1046.36	c appending fixed variable constraints
1043.21/1046.36	c scip-fixed vars: 1.18% (11276/959243)
1043.21/1046.36	c ----------------------------------------------------------------------
1043.21/1046.36	c executing external solver: HOME/naps-1.03a6
1043.21/1046.36	c ----------------------------------------------------------------------
1043.21/1046.36	c command: HOME/naps-1.03a6 -goal-lb=-100000000000000000000 -goal-ub=99999999999999999999 HOME/tmpkrpqqmp_.opb
1043.37/1046.71	c NaPS 1.03a6.
1043.37/1046.71	c Input file name: HOME/tmpkrpqqmp_.opb
3600.00/3608.90	c
3600.00/3608.90	c *** TERMINATED *** by signal 15
3600.00/3608.90	c s UNKNOWN
3600.00/3608.90	c _____________________________________________________________________________
3600.00/3608.90	c std/band forms        : 567159,838
3600.00/3608.90	c 2cl/3cl ITE-codings   : 0,0
3600.00/3608.90	c BDD/srt/adr Max costs : 1977,356,0
3600.00/3608.90	c BDDraw/bin/mul/srt/adr: 109795,0,454250,3951,0
3600.00/3608.90	c BDD nodes             : 225749804
3600.00/3608.90	c Es1/CC detections     : 0,0
3600.00/3608.90	c CC sort               : 3951
3600.00/3608.90	c SAT/UNSAT calls       : 0,0
3600.00/3608.90	c regenrated variables  : 0
3600.00/3608.90	c eliminated fixed lits : 44300
3600.00/3608.90	c goal lit flips        : 0
3600.00/3608.90	c goal stages           : 0
3600.00/3608.90	c goal shrink           : 0
3600.00/3608.90	c goal coeff separations: 0
3600.00/3608.90	c restarts              : 0
3600.00/3608.90	c conflicts             : 0              (0 /sec)
3600.00/3608.90	c decisions             : 0              (0 /sec)
3600.00/3608.90	c propagations          : 0              (0 /sec)
3600.00/3608.90	c inspects              : 0              (0 /sec)
3600.00/3608.90	c CPU time (solving tm) : 2548 s        (0 s, SAT 0 s, UNSAT 0 s)
3600.00/3608.90	c Time for Opt-base     : 1809 s
3600.00/3608.90	c Steps for Opt-base    : 8430808992
3600.00/3608.90	c Time for BDD coding   : 2485 s
3600.00/3608.90	c Time for srt coding   : 0.2359 s
3600.00/3608.90	c _____________________________________________________________________________
3600.00/3608.90	c received SIGTERM, forwarding to pbsolver...
1043.38/3609.18	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: 63837 MiB (61709 MiB free)
  memory of node 1: 64465 MiB (62063 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530606-1752265022/watcher-4530606-1752265022 -o /tmp/evaluation-result-4530606-1752265022/solver-4530606-1752265022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752257289-119338 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530606-1752265022.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
Starting watchdog thread
solver pid=120966, runsolver pid=120963
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.07 4.09 4.09 5/255 120971
/proc/meminfo: memFree=126734320/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=1185200 memory=29644 CPUtime=0.06 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 3265 0 0 0 5 1 0 0 20 0 1 0 142181021 1213644800 7411 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 296300 7411 4792 1 0 268368 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1189392 KiB
Current children cumulated memory: 32716 KiB

[startup+0.205796 s]*
/proc/loadavg: 4.07 4.09 4.09 5/255 120971
/proc/meminfo: memFree=126734320/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=1190000 memory=35020 CPUtime=0.16 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 4376 0 0 0 14 2 0 0 20 0 1 0 142181021 1218560000 8755 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 297500 8755 5048 1 0 269409 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1194192 KiB
Current children cumulated memory: 38092 KiB

[startup+0.305698 s]*
/proc/loadavg: 4.07 4.09 4.09 5/255 120971
/proc/meminfo: memFree=126734320/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=1205960 memory=57548 CPUtime=0.26 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 7691 0 0 0 23 3 0 0 20 0 1 0 142181021 1234903040 14387 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 301490 14387 7576 1 0 272848 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1210152 KiB
Current children cumulated memory: 60620 KiB

[startup+0.700423 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 120971
/proc/meminfo: memFree=126710380/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=1259224 memory=110156 CPUtime=0.64 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 20838 0 0 0 58 6 0 0 20 0 1 0 142181021 1289445376 27539 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 314806 27539 7576 1 0 286164 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1263416 KiB
Current children cumulated memory: 113228 KiB

[startup+1.50043 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 120971
/proc/meminfo: memFree=126645868/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=1382644 memory=234188 CPUtime=1.44 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 51833 0 0 0 131 13 0 0 20 0 1 0 142181021 1415827456 58515 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 345661 58547 7576 1 0 317019 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1386836 KiB
Current children cumulated memory: 237260 KiB

[startup+3.11328 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 120971
/proc/meminfo: memFree=126224712/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=1742196 memory=592956 CPUtime=3.05 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 138480 0 0 0 275 30 0 0 20 0 1 0 142181021 1784008704 148239 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 435549 148239 7576 1 0 406907 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1746388 KiB
Current children cumulated memory: 596028 KiB

[startup+6.3004 s]
/proc/loadavg: 4.06 4.09 4.09 5/255 120971
/proc/meminfo: memFree=125495856/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=2518484 memory=1367744 CPUtime=6.23 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 325548 0 0 0 564 59 0 0 20 0 1 0 142181021 2578927616 341936 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 629621 341936 7576 1 0 600979 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2522676 KiB
Current children cumulated memory: 1370816 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 120971
/proc/meminfo: memFree=123162772/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=5077464 memory=3928720 CPUtime=12.61 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 916060 0 0 0 1106 155 0 0 20 0 1 0 142181021 5199323136 982180 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 1269366 982180 7768 1 0 1240724 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 5081656 KiB
Current children cumulated memory: 3931792 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 120971
/proc/meminfo: memFree=120076412/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=7912324 memory=6703348 CPUtime=25.37 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 1541162 0 0 0 2277 260 0 0 20 0 1 0 142181021 8102219776 1675837 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 1978081 1675837 7864 1 0 1949439 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 7916516 KiB
Current children cumulated memory: 6706420 KiB

[startup+51.1132 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 120971
/proc/meminfo: memFree=119637732/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=8358136 memory=7155728 CPUtime=50.9 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 1646595 0 0 0 4811 279 0 0 20 0 1 0 142181021 8558731264 1788932 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 2089534 1788932 7864 1 0 2060892 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 8362328 KiB
Current children cumulated memory: 7158800 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 120973
/proc/meminfo: memFree=116169604/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=11877168 memory=10588264 CPUtime=101.93 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 2448256 0 0 0 9779 414 0 0 20 0 1 0 142181021 12162220032 2647066 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 2969292 2647066 7896 1 0 2940650 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 11881360 KiB
Current children cumulated memory: 10591336 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 120975
/proc/meminfo: memFree=116188276/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=11877168 memory=10589544 CPUtime=161.74 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 2448588 0 0 0 15760 414 0 0 20 0 1 0 142181021 12162220032 2647386 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 2969292 2647386 7896 1 0 2940650 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 11881360 KiB
Current children cumulated memory: 10592616 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 120977
/proc/meminfo: memFree=116165272/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=11877168 memory=10589544 CPUtime=221.55 cores=5,7
/proc/120971/stat : 120971 (python3) R 120966 120966 119325 0 -1 4194304 2448588 0 0 0 21740 415 0 0 20 0 1 0 142181021 12162220032 2647386 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 2969292 2647386 7896 1 0 2940650 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 11881360 KiB

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

/proc/120971/stat : 120971 (python3) S 120966 120966 119325 0 -1 4194304 2602060 0 0 0 103816 521 0 0 20 0 1 0 142181021 12909285376 2831180 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3151681 2831180 7960 1 0 3123039 0
[pid=121076] ppid=120971 vsize=13041968 memory=12527664 CPUtime=2290.83 cores=5,7
/proc/121076/stat : 121076 (naps-1.03a6) R 120971 121076 121076 0 -1 4194304 2039003 0 0 0 228394 689 0 0 20 0 1 0 142285664 13354975232 3131916 18446744073709551615 4198400 7047149 140736864088240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15704064 140736864094545 140736864094705 140736864094705 140736864100297 0
/proc/121076/statm: 3260492 3131916 544 696 0 3259653 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 25652884 KiB
Current children cumulated memory: 23855456 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.32 1.80 2/233 121226
/proc/meminfo: memFree=105041684/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=12606724 memory=11324720 CPUtime=1043.37 cores=5,7
/proc/120971/stat : 120971 (python3) S 120966 120966 119325 0 -1 4194304 2602060 0 0 0 103816 521 0 0 20 0 1 0 142181021 12909285376 2831180 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3151681 2831180 7960 1 0 3123039 0
[pid=121076] ppid=120971 vsize=13135320 memory=12666200 CPUtime=2350.66 cores=5,7
/proc/121076/stat : 121076 (naps-1.03a6) R 120971 121076 121076 0 -1 4194304 2066354 0 0 0 234366 700 0 0 20 0 1 0 142285664 13450567680 3166550 18446744073709551615 4198400 7047149 140736864088240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15704064 140736864094545 140736864094705 140736864094705 140736864100297 0
/proc/121076/statm: 3283830 3166550 544 696 0 3282991 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 25746236 KiB
Current children cumulated memory: 23993992 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.27 1.75 2/233 121228
/proc/meminfo: memFree=104899640/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=12606724 memory=11324720 CPUtime=1043.37 cores=5,7
/proc/120971/stat : 120971 (python3) S 120966 120966 119325 0 -1 4194304 2602060 0 0 0 103816 521 0 0 20 0 1 0 142181021 12909285376 2831180 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3151681 2831180 7960 1 0 3123039 0
[pid=121076] ppid=120971 vsize=13233212 memory=12813304 CPUtime=2410.47 cores=5,7
/proc/121076/stat : 121076 (naps-1.03a6) R 120971 121076 121076 0 -1 4194304 2094825 0 0 0 240335 712 0 0 20 0 1 0 142285664 13550809088 3203326 18446744073709551615 4198400 7047149 140736864088240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15704064 140736864094545 140736864094705 140736864094705 140736864100297 0
/proc/121076/statm: 3308303 3203326 544 696 0 3307464 0
Current children cumulated CPU time: 3453.84 s
Current children cumulated vsize: 25844128 KiB
Current children cumulated memory: 24141096 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.24 1.71 2/234 121233
/proc/meminfo: memFree=99351224/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=12606724 memory=11324720 CPUtime=1043.37 cores=5,7
/proc/120971/stat : 120971 (python3) S 120966 120966 119325 0 -1 4194304 2602060 0 0 0 103816 521 0 0 20 0 1 0 142181021 12909285376 2831180 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3151681 2831180 7960 1 0 3123039 0
[pid=121076] ppid=120971 vsize=18720088 memory=18343148 CPUtime=2470.3 cores=5,7
/proc/121076/stat : 121076 (naps-1.03a6) R 120971 121076 121076 0 -1 4194304 2124174 0 0 0 246185 845 0 0 20 0 1 0 142285664 19169370112 4585787 18446744073709551615 4198400 7047149 140736864088240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15704064 140736864094545 140736864094705 140736864094705 140736864100297 0
/proc/121076/statm: 4680022 4585787 544 696 0 4679183 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 31331004 KiB
Current children cumulated memory: 29670940 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.22 1.67 2/234 121235
/proc/meminfo: memFree=101964528/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=12606724 memory=11324720 CPUtime=1043.37 cores=5,7
/proc/120971/stat : 120971 (python3) S 120966 120966 119325 0 -1 4194304 2602060 0 0 0 103816 521 0 0 20 0 1 0 142181021 12909285376 2831180 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3151681 2831180 7960 1 0 3123039 0
[pid=121076] ppid=120971 vsize=16084388 memory=15738216 CPUtime=2530.1 cores=5,7
/proc/121076/stat : 121076 (naps-1.03a6) R 120971 121076 121076 0 -1 4194304 2146020 0 0 0 252154 856 0 0 20 0 1 0 142285664 16470413312 3934554 18446744073709551615 4198400 7047149 140736864088240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15704064 140736864094545 140736864094705 140736864094705 140736864100297 0
/proc/121076/statm: 4021097 3934554 544 696 0 4020258 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 28695304 KiB
Current children cumulated memory: 27066008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 1.12 1.22 1.66 2/234 121235
/proc/meminfo: memFree=101891316/131382120 swapFree=33010416/33010684
[pid=120966] ppid=120963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/120966/stat : 120966 (scip-naps-1.00a) S 120963 120966 119325 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 142181018 4292608 768 18446744073709551615 94811294138368 94811295032901 140721921834512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94811295271952 94811295319696 94811302744064 140721921837467 140721921837566 140721921837566 140721921843170 0
/proc/120966/statm: 1048 768 704 219 0 110 0
[pid=120971] ppid=120966 vsize=12606724 memory=11324720 CPUtime=1043.37 cores=5,7
/proc/120971/stat : 120971 (python3) S 120966 120966 119325 0 -1 4194304 2602060 0 0 0 103816 521 0 0 20 0 1 0 142181021 12909285376 2831180 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3151681 2831180 7960 1 0 3123039 0
[pid=121076] ppid=120971 vsize=16130700 memory=15807220 CPUtime=2556.63 cores=5,7
/proc/121076/stat : 121076 (naps-1.03a6) R 120971 121076 121076 0 -1 4194304 2160403 0 0 0 254802 861 0 0 20 0 1 0 142285664 16517836800 3951805 18446744073709551615 4198400 7047149 140736864088240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15704064 140736864094545 140736864094705 140736864094705 140736864100297 0
/proc/121076/statm: 4032675 3951805 544 696 0 4031836 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 28741616 KiB
Current children cumulated memory: 27135012 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3587.6 s, system=14.8494 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+3609.6 s]
/proc/loadavg: 1.12 1.22 1.66 2/233 121235
/proc/meminfo: memFree=105285008/131382120 swapFree=33010416/33010684
[pid=120971] ppid=120963 vsize=12632832 memory=11341460 CPUtime=3600.68 cores=5,7
/proc/120971/stat : 120971 (python3) R 120963 120966 119325 0 -1 4194304 2647724 2160404 0 0 103850 527 254802 889 20 0 1 0 142181021 12936019968 2835365 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3158208 2835365 7960 1 0 3129566 0
Current cumulated CPU time of completed processes: 0.011274 s
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 12632832 KiB
Current children cumulated memory: 11341460 KiB

[startup+3610.4 s]
/proc/loadavg: 1.11 1.21 1.65 2/232 121235
/proc/meminfo: memFree=117704752/131382120 swapFree=33010416/33010684
[pid=120971] ppid=120963 vsize=12632832 memory=11341460 CPUtime=3601.47 cores=5,7
/proc/120971/stat : 120971 (python3) R 120963 120966 119325 0 -1 4194304 2734788 2160404 0 0 103919 537 254802 889 20 0 1 0 142181021 12936019968 2835365 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3158208 2835365 7960 1 0 3129566 0
Current cumulated CPU time of completed processes: 0.011274 s
Current children cumulated CPU time: 3601.47 s
Current children cumulated vsize: 12632832 KiB
Current children cumulated memory: 11341460 KiB

[startup+3610.8 s]
/proc/loadavg: 1.11 1.21 1.65 2/232 121235
/proc/meminfo: memFree=117704752/131382120 swapFree=33010416/33010684
[pid=120971] ppid=120963 vsize=12632832 memory=11341460 CPUtime=3601.87 cores=5,7
/proc/120971/stat : 120971 (python3) R 120963 120966 119325 0 -1 4194304 2830290 2160404 0 0 103950 546 254802 889 20 0 1 0 142181021 12936019968 2835365 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3158208 2835365 7960 1 0 3129566 0
Current cumulated CPU time of completed processes: 0.011274 s
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 12632832 KiB
Current children cumulated memory: 11341460 KiB

[startup+3610.9 s]
/proc/loadavg: 1.11 1.21 1.65 2/232 121235
/proc/meminfo: memFree=117704752/131382120 swapFree=33010416/33010684
[pid=120971] ppid=120963 vsize=12632832 memory=11341460 CPUtime=3601.96 cores=5,7
/proc/120971/stat : 120971 (python3) R 120963 120966 119325 0 -1 4194304 2873987 2160404 0 0 103957 548 254802 889 20 0 1 0 142181021 12936019968 2835365 18446744073709551615 94148562681856 94148562682233 140720505962688 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94148562693528 94148562694148 94148577644544 140720505968990 140720505969184 140720505969184 140720505974759 0
/proc/120971/statm: 3158208 2835365 7960 1 0 3129566 0
Current cumulated CPU time of completed processes: 0.011274 s
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 12632832 KiB
Current children cumulated memory: 11341460 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.36
CPU time (s): 3602.45
CPU user time (s): 3587.6
CPU system time (s): 14.8494
CPU usage (%): 99.7532
Max. virtual memory (cumulated for all children) (KiB): 31331004
Max. memory (cumulated for all children) (KiB): 29670940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.6
system time used= 14.8494
maximum resident set size= 18343148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5034989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 449248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 363
involuntary context switches= 4471


# summary of solver processes directly reported to runsolver:
#   pid: 120966,120971
#   total CPU time (s): 3602.45
#   total CPU user time (s): 3587.6
#   total CPU system time (s): 14.8494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8042 second user time and 34.3193 second system time

The end

Launcher Data

Begin job on nodeC003 at 2025-07-11 22:17:03
IDJOB=4530606
IDBENCH=180648
IDSOLVER=3388
FILE ID=nodeC003/4530606-1752265022
RUNJOBID= nodeC003-1752257289-119338
SLURM_JOB_ID= 9682606
Free space on /tmp= 431792 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-TestScheduling-t030m10r05-1_c24.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530606-1752265022/watcher-4530606-1752265022 -o /tmp/evaluation-result-4530606-1752265022/solver-4530606-1752265022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752257289-119338 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530606-1752265022.opb

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

MD5SUM BENCH= e1864a4bc93ea045f12c51f6a7422bec
RANDOM SEED=223880017

nodeC003 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	: 0xb00001f
cpu MHz		: 3519.507
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 3685.631
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1197.673
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1197.630
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 3662.093
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1197.187
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.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	: 0xb00001f
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 3194.043
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126743896 kB
MemAvailable:   127389552 kB
Buffers:            2736 kB
Cached:          1438324 kB
SwapCached:           36 kB
Active:          3078844 kB
Inactive:         892144 kB
Active(anon):    2540248 kB
Inactive(anon):     7604 kB
Active(file):     538596 kB
Inactive(file):   884540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            230096 kB
Writeback:             4 kB
AnonPages:       2529860 kB
Mapped:           130772 kB
Shmem:             17924 kB
KReclaimable:     124292 kB
Slab:             213316 kB
SReclaimable:     124292 kB
SUnreclaim:        89024 kB
KernelStack:        4096 kB
PageTables:         8704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6217696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431588 MiB
End job on nodeC003 at 2025-07-11 23:17:15