498.83/500.24 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4544939-1753224347.opb
498.83/500.24 c Solving mode: decision
498.83/500.24 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.83/500.24 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.83/500.24 c original problem has 4437 variables (4437 bin, 0 int, 0 impl, 0 cont) and 40924 constraints
498.83/500.24 c presolving:
498.83/500.24 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 972 chg coeffs, 40924 upgd conss, 0 impls, 4455 clqs
498.83/500.24 c (round 2, medium) 0 del vars, 972 del conss, 6912 add conss, 0 chg bounds, 0 chg sides, 972 chg coeffs, 40924 upgd conss, 0 impls, 11367 clqs
498.83/500.24 c (round 3, exhaustive) 0 del vars, 8856 del conss, 7884 add conss, 0 chg bounds, 0 chg sides, 972 chg coeffs, 40924 upgd conss, 0 impls, 11367 clqs
498.83/500.24 c (1.3s) probing: 1000/4437 (22.5%) - 0 fixings, 0 aggregations, 43926 implications, 0 bound changes
498.83/500.24 c (1.3s) probing: 1001/4437 (22.6%) - 0 fixings, 0 aggregations, 43931 implications, 0 bound changes
498.83/500.24 c (1.3s) probing aborted: 1000/1000 successive useless probings
498.83/500.24 c (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.83/500.24 c (1.4s) symmetry computation finished: 9 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
498.83/500.24 c dynamic symmetry handling statistics:
498.83/500.24 c orbitopal reduction: no components
498.83/500.24 c orbital reduction: 1 components of sizes 9
498.83/500.24 c lexicographic reduction: 9 permutations with support sizes 986, 986, 986, 986, 986, 986, 986, 986, 4392
498.83/500.24 c handled 1 out of 1 symmetry components
498.83/500.24 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
498.83/500.24 c 0 deleted vars, 8856 deleted constraints, 7884 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 972 changed coefficients
498.83/500.24 c 0 implications, 55298 cliques
498.83/500.24 c presolved problem has 4437 variables (4437 bin, 0 int, 0 impl, 0 cont) and 39952 constraints
498.83/500.24 c 4455 constraints of type <setppc>
498.83/500.24 c 972 constraints of type <and>
498.83/500.24 c 34525 constraints of type <logicor>
498.83/500.24 c transformed objective value is always integral (scale: 1)
498.83/500.24 c Presolving Time: 1.35
498.83/500.24 c
498.83/500.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.83/500.24 c 2.8s| 1 | 0 | 11449 | - | 180M | 0 |4437 | 40k| 40k| 0 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 7.1s| 1 | 0 | 32083 | - | 204M | 0 |4437 | 40k| 41k| 945 | 1 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 7.8s| 1 | 0 | 36899 | - | 204M | 0 |4437 | 40k| 42k|1628 | 2 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 8.3s| 1 | 0 | 40022 | - | 204M | 0 |4437 | 40k| 43k|2103 | 3 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 9.4s| 1 | 0 | 44827 | - | 213M | 0 |4437 | 40k| 43k|2799 | 4 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 10.2s| 1 | 0 | 47722 | - | 218M | 0 |4437 | 40k| 44k|3261 | 5 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 10.9s| 1 | 0 | 49951 | - | 222M | 0 |4437 | 40k| 44k|3557 | 6 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 12.1s| 1 | 0 | 52676 | - | 229M | 0 |4437 | 40k| 44k|3759 | 7 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 13.9s| 1 | 0 | 55865 | - | 237M | 0 |4437 | 40k| 44k|3954 | 8 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 15.6s| 1 | 0 | 58707 | - | 246M | 0 |4437 | 40k| 45k|4141 | 9 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 17.2s| 1 | 0 | 61475 | - | 255M | 0 |4437 | 40k| 45k|4277 | 10 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 19.0s| 1 | 0 | 64295 | - | 265M | 0 |4437 | 40k| 45k|4418 | 11 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 42.0s| 1 | 2 | 77648 | - | 267M | 0 |4437 | 40k| 45k|4418 | 11 | 143 | 19 | 0.000000e+00 | -- | Inf | unknown
498.83/500.24 c 109s| 100 | 7 |215672 |1529.1 | 271M | 17 |4437 | 40k| 0 |8423 | 0 | 252 | 19 | 0.000000e+00 | -- | Inf | 61.77%
498.83/500.24 c 153s| 200 | 12 |358877 |1480.3 | 271M | 22 |4437 | 40k| 43k| 11k| 2 | 333 | 19 | 0.000000e+00 | -- | Inf | 61.98%
498.83/500.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.83/500.24 c 232s| 300 | 23 |535006 |1574.3 | 272M | 25 |4437 | 40k| 42k| 15k| 2 | 389 | 19 | 0.000000e+00 | -- | Inf | 66.48%
498.83/500.24 c 279s| 400 | 21 |670196 |1518.5 | 273M | 25 |4437 | 40k| 0 | 18k| 0 | 536 | 19 | 0.000000e+00 | -- | Inf | 93.54%
498.83/500.24 c 314s| 500 | 20 |774237 |1422.7 | 273M | 27 |4437 | 40k| 43k| 20k| 2 | 634 | 19 | 0.000000e+00 | -- | Inf | 93.97%
498.83/500.24 c 349s| 600 | 17 |884582 |1369.4 | 274M | 27 |4437 | 40k| 0 | 23k| 0 | 791 | 19 | 0.000000e+00 | -- | Inf | 94.17%
498.83/500.24 c 395s| 700 | 16 | 1023k|1371.8 | 275M | 33 |4437 | 40k| 43k| 26k| 2 | 949 | 19 | 0.000000e+00 | -- | Inf | 94.19%
498.83/500.24 c 448s| 800 | 20 | 1179k|1395.6 | 275M | 33 |4437 | 40k| 43k| 29k| 2 |1073 | 19 | 0.000000e+00 | -- | Inf | 94.20%
498.83/500.24 c
498.83/500.24 c SCIP Status : solving was interrupted [time limit reached]
498.83/500.24 c Solving Time (sec) : 500.00
498.83/500.24 c Solving Nodes : 895
498.83/500.24 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.83/500.24 c Dual Bound : +0.00000000000000e+00
498.83/500.24 c Gap : infinite
498.83/500.24 c ----------------------------------------------------------------------
498.83/500.24 c dual bound: 0.0 -> 0
498.83/500.24 c primal bound: 1e+20 -> 100000000000000000000
498.83/500.24 c scip-goal-lb: 0
498.83/500.24 c scip-goal-ub: 100000000000000000000
498.83/500.24 c writing output to: HOME/tmpbo2h4bjr.opb
498.83/500.24 c appending fixed variable constraints
498.83/500.24 c scip-fixed vars: 0.05% (2/4437)
498.83/500.24 c ----------------------------------------------------------------------
498.83/500.24 c executing external solver: HOME/naps-1.03a6
498.83/500.24 c ----------------------------------------------------------------------
498.83/500.24 c command: HOME/naps-1.03a6 HOME/tmpbo2h4bjr.opb
498.83/500.25 c NaPS 1.03a6.
498.83/500.25 c Input file name: HOME/tmpbo2h4bjr.opb
500.02/501.45 c s UNSATISFIABLE
500.02/501.45 c _____________________________________________________________________________
500.02/501.45 c std/band forms : 972,0
500.02/501.45 c 2cl/3cl ITE-codings : 0,0
500.02/501.45 c BDD/srt/adr Max costs : 10,0,0
500.02/501.45 c BDDraw/bin/mul/srt/adr: 972,0,0,0,0
500.02/501.45 c BDD nodes : 7884
500.02/501.45 c Es1/CC detections : 0,0
500.02/501.45 c CC sort : 0
500.02/501.45 c SAT/UNSAT calls : 0,1
500.02/501.45 c regenrated variables : 0
500.02/501.45 c eliminated fixed lits : 0
500.02/501.45 c goal lit flips : 0
500.02/501.45 c goal stages : 0
500.02/501.45 c goal shrink : 0
500.02/501.45 c goal coeff separations: 0
500.02/501.45 c restarts : 126
500.02/501.45 c conflicts : 12805 (10660 /sec)
500.02/501.45 c decisions : 22907 (19071 /sec)
500.02/501.45 c propagations : 4607923 (3836202 /sec)
500.02/501.45 c inspects : 0 (0 /sec)
500.02/501.45 c CPU time (solving tm) : 1.201 s (0.8315 s, SAT 0 s, UNSAT 0.8315 s)
500.02/501.45 c Time for Opt-base : 0 s
500.02/501.45 c Steps for Opt-base : 0
500.02/501.45 c Time for BDD coding : 0.01887 s
500.02/501.45 c Time for srt coding : 0 s
500.02/501.45 c _____________________________________________________________________________
500.02/501.46 s UNSATISFIABLE
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 (60355 MiB free)
memory of node 1: 64507 MiB (59514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544939-1753224347/watcher-4544939-1753224347 -o /tmp/evaluation-result-4544939-1753224347/solver-4544939-1753224347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197774 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4544939-1753224347.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=200329, runsolver pid=200326
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.15 4.11 3.74 5/270 200334
/proc/meminfo: memFree=122745916/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1187904 memory=32756 CPUtime=0.07 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 3906 0 0 0 6 1 0 0 20 0 1 0 238114998 1216413696 8189 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 296976 8189 4932 1 0 268998 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192096 KiB
Current children cumulated memory: 35828 KiB
[startup+0.205705 s]*
/proc/loadavg: 4.15 4.11 3.74 5/270 200334
/proc/meminfo: memFree=122744908/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1221468 memory=72820 CPUtime=0.17 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 11471 0 0 0 14 3 0 0 20 0 1 0 238114998 1250783232 18205 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 305367 18205 7620 1 0 276725 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1225660 KiB
Current children cumulated memory: 75892 KiB
[startup+0.305637 s]*
/proc/loadavg: 4.15 4.11 3.74 5/270 200334
/proc/meminfo: memFree=122712904/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1267384 memory=118004 CPUtime=0.27 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 22515 0 0 0 23 4 0 0 20 0 1 0 238114998 1297801216 29501 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 316846 29501 7876 1 0 288204 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1271576 KiB
Current children cumulated memory: 121076 KiB
[startup+0.700207 s]
/proc/loadavg: 4.15 4.11 3.74 5/270 200334
/proc/meminfo: memFree=122680648/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1292360 memory=144500 CPUtime=0.66 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 29111 0 0 0 61 5 0 0 20 0 1 0 238114998 1323376640 36125 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 323090 36125 7940 1 0 294448 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1296552 KiB
Current children cumulated memory: 147572 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.11 3.74 5/270 200334
/proc/meminfo: memFree=122680648/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1307104 memory=155688 CPUtime=1.46 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 31371 0 0 0 140 6 0 0 20 0 1 0 238114998 1338474496 38922 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 326776 38922 7972 1 0 298134 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1311296 KiB
Current children cumulated memory: 158760 KiB
[startup+3.10554 s]
/proc/loadavg: 4.14 4.10 3.74 5/270 200334
/proc/meminfo: memFree=122581744/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1402440 memory=244404 CPUtime=3.06 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 53582 0 0 0 296 10 0 0 20 0 1 0 238114998 1436098560 61101 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 350610 61101 8164 1 0 321968 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1406632 KiB
Current children cumulated memory: 247476 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.10 3.74 5/270 200334
/proc/meminfo: memFree=122467848/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1431376 memory=269492 CPUtime=6.24 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 59864 0 0 0 613 11 0 0 20 0 1 0 238114998 1465729024 67373 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 357844 67373 8164 1 0 329202 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1435568 KiB
Current children cumulated memory: 272564 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 3.75 5/270 200334
/proc/meminfo: memFree=122537864/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1470744 memory=288440 CPUtime=12.62 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 63582 0 0 0 1250 12 0 0 20 0 1 0 238114998 1506041856 72110 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 367686 72110 8164 1 0 339044 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1474936 KiB
Current children cumulated memory: 291512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 3.75 5/270 200334
/proc/meminfo: memFree=122495720/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1501844 memory=305976 CPUtime=25.4 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 67988 0 0 0 2527 13 0 0 20 0 1 0 238114998 1537888256 76494 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 375461 76494 8164 1 0 346819 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1506036 KiB
Current children cumulated memory: 309048 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.10 3.76 5/270 200335
/proc/meminfo: memFree=122436840/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1535700 memory=340352 CPUtime=50.93 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 81031 0 0 0 5078 15 0 0 20 0 1 0 238114998 1572556800 85088 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 383925 85088 8164 1 0 355283 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1539892 KiB
Current children cumulated memory: 343424 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 3.78 5/270 200336
/proc/meminfo: memFree=122430616/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1535700 memory=340608 CPUtime=102 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 81098 0 0 0 10185 15 0 0 20 0 1 0 238114998 1572556800 85152 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 383925 85152 8164 1 0 355283 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1539892 KiB
Current children cumulated memory: 343680 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 3.81 5/270 200338
/proc/meminfo: memFree=122397900/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=372328 CPUtime=161.83 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93502 0 0 0 16166 17 0 0 20 0 1 0 238114998 1606434816 93082 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 93082 8164 1 0 363554 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 375400 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 3.83 5/269 200340
/proc/meminfo: memFree=122408240/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=372328 CPUtime=221.68 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93502 0 0 0 22151 17 0 0 20 0 1 0 238114998 1606434816 93082 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 93082 8164 1 0 363554 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1572976 KiB
################
# More data... #
################
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 3.87 5/270 200352
/proc/meminfo: memFree=122348428/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=372328 CPUtime=341.36 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93510 0 0 0 34119 17 0 0 20 0 1 0 238114998 1606434816 93082 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 93082 8164 1 0 363554 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 375400 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.12 3.89 5/269 200402
/proc/meminfo: memFree=121699204/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=375912 CPUtime=401.2 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93517 0 0 0 40103 17 0 0 20 0 1 0 238114998 1606434816 93978 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 93978 8164 1 0 363554 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 378984 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 3.91 5/270 200405
/proc/meminfo: memFree=121674348/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=383720 CPUtime=461.03 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93518 0 0 0 46086 17 0 0 20 0 1 0 238114998 1606434816 95930 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 95930 8164 1 0 363554 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 386792 KiB
[startup+501.586 s]
# the end of solver process 200329 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=500.011 s, system=0.214459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.14 4.12 3.92 5/270 200407
/proc/meminfo: memFree=121698516/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=383976 CPUtime=485.06 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93525 0 0 0 48489 17 0 0 20 0 1 0 238114998 1606434816 95994 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 95994 8164 1 0 363554 0
Current children cumulated CPU time: 485.06 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 387048 KiB
[startup+492.8 s]
/proc/loadavg: 4.12 4.11 3.92 5/270 200407
/proc/meminfo: memFree=121698884/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=384360 CPUtime=491.44 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93528 0 0 0 49127 17 0 0 20 0 1 0 238114998 1606434816 96090 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 96090 8164 1 0 363554 0
Current children cumulated CPU time: 491.44 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 387432 KiB
[startup+496 s]*
/proc/loadavg: 4.12 4.11 3.92 5/270 200407
/proc/meminfo: memFree=121699388/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=384360 CPUtime=494.64 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93528 0 0 0 49447 17 0 0 20 0 1 0 238114998 1606434816 96090 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 96090 8164 1 0 363554 0
Current children cumulated CPU time: 494.64 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 387432 KiB
[startup+499.2 s]
/proc/loadavg: 4.11 4.11 3.92 5/270 200407
/proc/meminfo: memFree=121699552/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1568784 memory=384616 CPUtime=497.83 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 93529 0 0 0 49766 17 0 0 20 0 1 0 238114998 1606434816 96154 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392196 96154 8164 1 0 363554 0
Current children cumulated CPU time: 497.83 s
Current children cumulated vsize: 1572976 KiB
Current children cumulated memory: 387688 KiB
[startup+500.8 s]
/proc/loadavg: 4.11 4.11 3.92 5/270 200407
/proc/meminfo: memFree=121698736/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1571088 memory=387176 CPUtime=498.88 cores=5,7
/proc/200334/stat : 200334 (python3) S 200329 200329 197761 0 -1 4194304 94319 0 0 0 49870 18 0 0 20 0 1 0 238114998 1608794112 96794 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392772 96794 8196 1 0 364130 0
Current children cumulated CPU time: 498.88 s
Current children cumulated vsize: 1575280 KiB
Current children cumulated memory: 390248 KiB
[startup+501.2 s]
/proc/loadavg: 4.11 4.11 3.92 5/271 200408
/proc/meminfo: memFree=121672024/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1571088 memory=387176 CPUtime=498.88 cores=5,7
/proc/200334/stat : 200334 (python3) S 200329 200329 197761 0 -1 4194304 94319 0 0 0 49870 18 0 0 20 0 1 0 238114998 1608794112 96794 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392772 96794 8196 1 0 364130 0
[pid=200408] ppid=200334 vsize=13704 memory=11528 CPUtime=0.94 cores=5,7
/proc/200408/stat : 200408 (naps-1.03a6) R 200334 200408 200408 0 -1 4194304 3432 0 0 0 94 0 0 0 20 0 1 0 238165021 14032896 2882 18446744073709551615 4198400 7047149 140733282433840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19673088 140733282441615 140733282441713 140733282441713 140733282447305 0
/proc/200408/statm: 3426 2882 544 696 0 2587 0
Current children cumulated CPU time: 499.82 s
Current children cumulated vsize: 1588984 KiB
Current children cumulated memory: 401776 KiB
[startup+501.4 s]
/proc/loadavg: 4.11 4.11 3.92 5/271 200408
/proc/meminfo: memFree=121672024/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1571088 memory=387176 CPUtime=498.88 cores=5,7
/proc/200334/stat : 200334 (python3) S 200329 200329 197761 0 -1 4194304 94319 0 0 0 49870 18 0 0 20 0 1 0 238114998 1608794112 96794 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392772 96794 8196 1 0 364130 0
[pid=200408] ppid=200334 vsize=13704 memory=11528 CPUtime=1.14 cores=5,7
/proc/200408/stat : 200408 (naps-1.03a6) R 200334 200408 200408 0 -1 4194304 3432 0 0 0 114 0 0 0 20 0 1 0 238165021 14032896 2882 18446744073709551615 4198400 7047149 140733282433840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19673088 140733282441615 140733282441713 140733282441713 140733282447305 0
/proc/200408/statm: 3426 2882 544 696 0 2587 0
Current children cumulated CPU time: 500.02 s
Current children cumulated vsize: 1588984 KiB
Current children cumulated memory: 401776 KiB
[startup+501.5 s]
/proc/loadavg: 4.11 4.11 3.92 5/271 200408
/proc/meminfo: memFree=121672024/131250000 swapFree=33008868/33010684
[pid=200329] ppid=200326 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/200329/stat : 200329 (scip-naps-1.00a) S 200326 200329 197761 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 238114996 4292608 768 18446744073709551615 94152377192448 94152378086981 140735218393408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152378326032 94152378373776 94152398884864 140735218399643 140735218399742 140735218399742 140735218405346 0
/proc/200329/statm: 1048 768 704 219 0 110 0
[pid=200334] ppid=200329 vsize=1571088 memory=387176 CPUtime=500.12 cores=5,7
/proc/200334/stat : 200334 (python3) R 200329 200329 197761 0 -1 4194304 98019 3433 0 0 49874 18 120 0 20 0 1 0 238114998 1608794112 96794 18446744073709551615 94697538396160 94697538396537 140730457640096 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94697538407832 94697538408452 94697542348800 140730457647439 140730457647648 140730457647648 140730457653223 0
/proc/200334/statm: 392772 96794 8196 1 0 364130 0
Current children cumulated CPU time: 500.12 s
Current children cumulated vsize: 1575280 KiB
Current children cumulated memory: 390248 KiB
Child status: 0
Real time (s): 501.586
CPU time (s): 500.226
CPU user time (s): 500.011
CPU system time (s): 0.214459
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 1588984
Max. memory (cumulated for all children) (KiB): 401776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.011
system time used= 0.214459
maximum resident set size= 387176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 266
# summary of solver processes directly reported to runsolver:
# pid: 200329
# total CPU time (s): 500.226
# total CPU user time (s): 500.011
# total CPU system time (s): 0.214459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06207 second user time and 2.28126 second system time
The end
Begin job on nodeC013 at 2025-07-23 00:45:47
IDJOB=4544939
IDBENCH=180686
IDSOLVER=3388
FILE ID=nodeC013/4544939-1753224347
RUNJOBID= nodeC013-1753222587-197774
SLURM_JOB_ID= 9687822
Free space on /tmp= 432992 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat11_9_triangular.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544939-1753224347/watcher-4544939-1753224347 -o /tmp/evaluation-result-4544939-1753224347/solver-4544939-1753224347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197774 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4544939-1753224347.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55ea5846128537f4a8d7ca86dce5740f
RANDOM SEED=392423396
nodeC013 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.816
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.67
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 : 3599.837
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.67
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 : 3600.456
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.67
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 : 3626.685
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.67
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.829
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
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.67
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 : 3600.467
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.67
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.807
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 122746560 kB
MemAvailable: 123846508 kB
Buffers: 1668 kB
Cached: 1840388 kB
SwapCached: 52 kB
Active: 6716760 kB
Inactive: 982428 kB
Active(anon): 5873684 kB
Inactive(anon): 4872 kB
Active(file): 843076 kB
Inactive(file): 977556 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7136 kB
Writeback: 0 kB
AnonPages: 5837968 kB
Mapped: 131212 kB
Shmem: 21424 kB
KReclaimable: 236712 kB
Slab: 333964 kB
SReclaimable: 236712 kB
SUnreclaim: 97252 kB
KernelStack: 4352 kB
PageTables: 15356 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 9746620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2107392 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC013 at 2025-07-23 00:54:09