498.82/500.31 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4544854-1753224117.opb
498.82/500.31 c Solving mode: decision
498.82/500.31 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.82/500.31 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.82/500.31 c original problem has 6360 variables (6360 bin, 0 int, 0 impl, 0 cont) and 63606 constraints
498.82/500.31 c presolving:
498.82/500.31 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1300 chg coeffs, 63606 upgd conss, 0 impls, 7150 clqs
498.82/500.31 c (round 2, medium) 0 del vars, 1300 del conss, 10100 add conss, 0 chg bounds, 0 chg sides, 1300 chg coeffs, 63606 upgd conss, 0 impls, 17250 clqs
498.82/500.31 c (round 3, exhaustive) 0 del vars, 12700 del conss, 11400 add conss, 0 chg bounds, 0 chg sides, 1300 chg coeffs, 63606 upgd conss, 0 impls, 17250 clqs
498.82/500.31 c (2.0s) probing: 1000/6360 (15.7%) - 0 fixings, 0 aggregations, 65452 implications, 0 bound changes
498.82/500.31 c (2.0s) probing: 1001/6360 (15.7%) - 0 fixings, 0 aggregations, 65467 implications, 0 bound changes
498.82/500.31 c (2.0s) probing aborted: 1000/1000 successive useless probings
498.82/500.31 c (2.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.82/500.31 c (2.2s) symmetry computation finished: 10 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.11)
498.82/500.31 c dynamic symmetry handling statistics:
498.82/500.31 c orbitopal reduction: no components
498.82/500.31 c orbital reduction: 1 components of sizes 10
498.82/500.31 c lexicographic reduction: 10 permutations with support sizes 1272, 1272, 1272, 1272, 1272, 1272, 1272, 1272, 1272, 6300
498.82/500.31 c handled 1 out of 1 symmetry components
498.82/500.31 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
498.82/500.31 c 0 deleted vars, 12700 deleted constraints, 11400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1300 changed coefficients
498.82/500.31 c 0 implications, 82717 cliques
498.82/500.31 c presolved problem has 6360 variables (6360 bin, 0 int, 0 impl, 0 cont) and 62306 constraints
498.82/500.31 c 7150 constraints of type <setppc>
498.82/500.31 c 1300 constraints of type <and>
498.82/500.31 c 53856 constraints of type <logicor>
498.82/500.31 c transformed objective value is always integral (scale: 1)
498.82/500.31 c Presolving Time: 2.18
498.82/500.31 c
498.82/500.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.82/500.31 c 5.1s| 1 | 0 | 16748 | - | 260M | 0 |6360 | 62k| 63k| 0 | 0 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 13.8s| 1 | 0 | 46106 | - | 296M | 0 |6360 | 62k| 64k|1156 | 1 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 15.5s| 1 | 0 | 54026 | - | 296M | 0 |6360 | 62k| 65k|2074 | 2 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 16.6s| 1 | 0 | 58486 | - | 296M | 0 |6360 | 62k| 66k|2720 | 3 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 18.3s| 1 | 0 | 65690 | - | 296M | 0 |6360 | 62k| 67k|3600 | 4 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 22.5s| 1 | 0 | 72846 | - | 306M | 0 |6360 | 62k| 67k|4262 | 5 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 28.1s| 1 | 0 | 79981 | - | 324M | 0 |6360 | 62k| 68k|4753 | 6 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 34.3s| 1 | 0 | 86987 | - | 333M | 0 |6360 | 62k| 68k|5094 | 7 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 40.3s| 1 | 0 | 93277 | - | 347M | 0 |6360 | 62k| 68k|5328 | 8 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 46.0s| 1 | 0 | 99252 | - | 355M | 0 |6360 | 62k| 69k|5537 | 9 | 116 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 50.7s| 1 | 0 |104203 | - | 361M | 0 |6360 | 62k| 69k|5691 | 10 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 56.0s| 1 | 0 |110142 | - | 378M | 0 |6360 | 62k| 69k|5832 | 11 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 111s| 1 | 2 |132794 | - | 379M | 0 |6360 | 62k| 69k|5832 | 11 | 132 | 19 | 0.000000e+00 | -- | Inf | unknown
498.82/500.31 c 204s| 100 | 10 |316631 |2085.7 | 382M | 26 |6360 | 62k| 0 |9950 | 0 | 170 | 19 | 0.000000e+00 | -- | Inf | 53.61%
498.82/500.31 c 292s| 200 | 12 |510405 |2011.4 | 383M | 26 |6360 | 62k| 67k| 13k| 2 | 216 | 19 | 0.000000e+00 | -- | Inf | 55.53%
498.82/500.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.82/500.31 c 372s| 300 | 14 |684983 |1922.5 | 385M | 27 |6360 | 62k| 67k| 16k| 2 | 346 | 19 | 0.000000e+00 | -- | Inf | 55.57%
498.82/500.31 c
498.82/500.31 c SCIP Status : solving was interrupted [time limit reached]
498.82/500.31 c Solving Time (sec) : 500.01
498.82/500.31 c Solving Nodes : 303
498.82/500.31 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.82/500.31 c Dual Bound : +0.00000000000000e+00
498.82/500.31 c Gap : infinite
498.82/500.31 c ----------------------------------------------------------------------
498.82/500.31 c dual bound: 0.0 -> 0
498.82/500.31 c primal bound: 1e+20 -> 100000000000000000000
498.82/500.31 c scip-goal-lb: 0
498.82/500.31 c scip-goal-ub: 100000000000000000000
498.82/500.31 c writing output to: HOME/tmp_s3kbmka.opb
498.82/500.31 c appending fixed variable constraints
498.82/500.31 c scip-fixed vars: 0.02% (1/6360)
498.82/500.31 c ----------------------------------------------------------------------
498.82/500.31 c executing external solver: HOME/naps-1.03a6
498.82/500.31 c ----------------------------------------------------------------------
498.82/500.31 c command: HOME/naps-1.03a6 HOME/tmp_s3kbmka.opb
498.82/500.33 c NaPS 1.03a6.
498.82/500.33 c Input file name: HOME/tmp_s3kbmka.opb
502.09/503.60 c _____________________________________________________________________________
502.09/503.60 c std/band forms : 1300,0
502.09/503.60 c 2cl/3cl ITE-codings : 0,0
502.09/503.60 c BDD/srt/adr Max costs : 11,0,0
502.09/503.60 c BDDraw/bin/mul/srt/adr: 1300,0,0,0,0
502.09/503.60 c BDD nodes : 11400
502.09/503.60 c Es1/CC detections : 0,0
502.09/503.60 c CC sort : 0
502.09/503.60 c SAT/UNSAT calls : 0,1
502.09/503.60 c regenrated variables : 0
502.09/503.60 c eliminated fixed lits : 0
502.09/503.60 c goal lit flips : 0
502.09/503.60 c goal stages : 0
502.09/503.60 c goal shrink : 0
502.09/503.60 c goal coeff separations: 0
502.09/503.60 c restarts : 775
502.09/503.60 c conflicts : 39528 (12177 /sec)
502.09/503.60 c decisions : 70158 (21613 /sec)
502.09/503.60 c propagations : 16904459 (5207672 /sec)
502.09/503.60 c inspects : 0 (0 /sec)
502.09/503.60 c CPU time (solving tm) : 3.246 s (2.696 s, SAT 0 s, UNSAT 2.696 s)
502.09/503.60 c Time for Opt-base : 0 s
502.09/503.60 c Steps for Opt-base : 0
502.09/503.60 c Time for BDD coding : 0.02484 s
502.09/503.60 c Time for srt coding : 0 s
502.09/503.60 c _____________________________________________________________________________
502.09/503.60 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: 63708 MiB (60128 MiB free)
memory of node 1: 64465 MiB (55698 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544854-1753224117/watcher-4544854-1753224117 -o /tmp/evaluation-result-4544854-1753224117/solver-4544854-1753224117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168831 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4544854-1753224117.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=171274, runsolver pid=171271
[startup+0.100064 s]*
/proc/loadavg: 4.08 4.08 3.66 5/271 171279
/proc/meminfo: memFree=118600376/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1186920 memory=31760 CPUtime=0.06 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 3693 0 0 0 6 0 0 0 20 0 1 0 238090232 1215406080 7940 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 296730 7940 4900 1 0 268752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34704 KiB
[startup+0.20574 s]*
/proc/loadavg: 4.08 4.08 3.66 5/271 171279
/proc/meminfo: memFree=118576452/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1218504 memory=70160 CPUtime=0.16 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 10804 0 0 0 15 1 0 0 20 0 1 0 238090232 1247748096 17540 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 304626 17540 7620 1 0 275984 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1222696 KiB
Current children cumulated memory: 73104 KiB
[startup+0.305729 s]*
/proc/loadavg: 4.08 4.08 3.66 5/271 171279
/proc/meminfo: memFree=118543188/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1256216 memory=108560 CPUtime=0.26 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 20257 0 0 0 23 3 0 0 20 0 1 0 238090232 1286365184 27140 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 314054 27140 7780 1 0 285412 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1260408 KiB
Current children cumulated memory: 111504 KiB
[startup+0.700223 s]
/proc/loadavg: 4.08 4.08 3.66 5/271 171279
/proc/meminfo: memFree=118478676/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1343736 memory=194832 CPUtime=0.65 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 41706 0 0 0 59 6 0 0 20 0 1 0 238090232 1375985664 48708 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 335934 48708 7908 1 0 307292 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1347928 KiB
Current children cumulated memory: 197776 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.08 3.66 5/271 171279
/proc/meminfo: memFree=118454788/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1343736 memory=195984 CPUtime=1.45 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 41999 0 0 0 139 6 0 0 20 0 1 0 238090232 1375985664 48996 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 335934 48996 7940 1 0 307292 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1347928 KiB
Current children cumulated memory: 198928 KiB
[startup+3.10563 s]
/proc/loadavg: 4.08 4.08 3.66 5/271 171279
/proc/meminfo: memFree=118325904/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1491436 memory=327952 CPUtime=3.05 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 75220 0 0 0 293 12 0 0 20 0 1 0 238090232 1527230464 81988 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 372859 81988 8132 1 0 344217 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1495628 KiB
Current children cumulated memory: 330896 KiB
[startup+6.30015 s]
/proc/loadavg: 4.08 4.08 3.66 5/270 171279
/proc/meminfo: memFree=118343400/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1496216 memory=332944 CPUtime=6.24 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 76473 0 0 0 612 12 0 0 20 0 1 0 238090232 1532125184 83236 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 374054 83236 8132 1 0 345412 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1500408 KiB
Current children cumulated memory: 335888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 3.66 5/270 171279
/proc/meminfo: memFree=118286760/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1550504 memory=381300 CPUtime=12.62 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 86018 0 0 0 1248 14 0 0 20 0 1 0 238090232 1587716096 95325 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 387626 95325 8132 1 0 358984 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1554696 KiB
Current children cumulated memory: 384244 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 3.67 5/270 171279
/proc/meminfo: memFree=118274128/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1579144 memory=397044 CPUtime=25.38 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 90003 0 0 0 2523 15 0 0 20 0 1 0 238090232 1617043456 99261 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 394786 99261 8132 1 0 366144 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1583336 KiB
Current children cumulated memory: 399988 KiB
[startup+51.1056 s]
/proc/loadavg: 4.30 4.13 3.70 5/269 171280
/proc/meminfo: memFree=118242368/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1616908 memory=408052 CPUtime=50.91 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 92768 0 0 0 5075 16 0 0 20 0 1 0 238090232 1655713792 102013 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 404227 102013 8132 1 0 375585 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1621100 KiB
Current children cumulated memory: 410996 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.15 3.73 5/269 171281
/proc/meminfo: memFree=118180096/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1661804 memory=446444 CPUtime=101.96 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 114650 0 0 0 10177 19 0 0 20 0 1 0 238090232 1701687296 111611 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 415451 111611 8132 1 0 386809 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1665996 KiB
Current children cumulated memory: 449388 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 3.76 5/268 171283
/proc/meminfo: memFree=118054000/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1692068 memory=476764 CPUtime=161.78 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 129145 0 0 0 16156 22 0 0 20 0 1 0 238090232 1732677632 119191 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 423017 119191 8132 1 0 394375 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1696260 KiB
Current children cumulated memory: 479708 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 3.78 5/268 171385
/proc/meminfo: memFree=118343852/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1727556 memory=509148 CPUtime=221.6 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 137270 0 0 0 22137 23 0 0 20 0 1 0 238090232 1769017344 127287 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 431889 127287 8132 1 0 403247 0
Current children cumulated CPU time: 221.6 s
################
# More data... #
################
[startup+342.3 s]
/proc/loadavg: 4.05 4.11 3.82 5/269 171392
/proc/meminfo: memFree=118314564/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1731832 memory=515804 CPUtime=341.25 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 138938 0 0 0 34101 24 0 0 20 0 1 0 238090232 1773395968 128951 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 432958 128951 8132 1 0 404316 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1736024 KiB
Current children cumulated memory: 518748 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 3.85 5/269 171398
/proc/meminfo: memFree=118300972/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1731832 memory=515804 CPUtime=401.08 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 138938 0 0 0 40084 24 0 0 20 0 1 0 238090232 1773395968 128951 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 432958 128951 8132 1 0 404316 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1736024 KiB
Current children cumulated memory: 518748 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 3.86 5/269 171400
/proc/meminfo: memFree=118292592/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1731832 memory=515804 CPUtime=460.92 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 138938 0 0 0 46068 24 0 0 20 0 1 0 238090232 1773395968 128951 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 432958 128951 8132 1 0 404316 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 1736024 KiB
Current children cumulated memory: 518748 KiB
[startup+503.902 s]
# the end of solver process 171274 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=502.086 s, system=0.327307 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.07 4.10 3.87 5/269 171401
/proc/meminfo: memFree=118293308/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1731832 memory=515804 CPUtime=484.95 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 138938 0 0 0 48471 24 0 0 20 0 1 0 238090232 1773395968 128951 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 432958 128951 8132 1 0 404316 0
Current children cumulated CPU time: 484.95 s
Current children cumulated vsize: 1736024 KiB
Current children cumulated memory: 518748 KiB
[startup+492.8 s]
/proc/loadavg: 4.15 4.12 3.87 5/269 171401
/proc/meminfo: memFree=118293080/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1731832 memory=515804 CPUtime=491.34 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 138938 0 0 0 49110 24 0 0 20 0 1 0 238090232 1773395968 128951 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 432958 128951 8132 1 0 404316 0
Current children cumulated CPU time: 491.34 s
Current children cumulated vsize: 1736024 KiB
Current children cumulated memory: 518748 KiB
[startup+499.2 s]
/proc/loadavg: 4.12 4.11 3.88 5/269 171401
/proc/meminfo: memFree=118289184/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1731832 memory=515804 CPUtime=497.72 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 138938 0 0 0 49748 24 0 0 20 0 1 0 238090232 1773395968 128951 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 432958 128951 8132 1 0 404316 0
Current children cumulated CPU time: 497.72 s
Current children cumulated vsize: 1736024 KiB
Current children cumulated memory: 518748 KiB
[startup+502.4 s]
/proc/loadavg: 4.12 4.11 3.88 5/270 171402
/proc/meminfo: memFree=118266124/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1735160 memory=519516 CPUtime=498.84 cores=5,7
/proc/171279/stat : 171279 (python3) S 171274 171274 168818 0 -1 4194304 140017 0 0 0 49859 25 0 0 20 0 1 0 238090232 1776803840 129879 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 433790 129879 8164 1 0 405148 0
[pid=171402] ppid=171279 vsize=18988 memory=14736 CPUtime=2.05 cores=5,7
/proc/171402/stat : 171402 (naps-1.03a6) R 171279 171402 171402 0 -1 4194304 4073 0 0 0 204 1 0 0 20 0 1 0 238140262 19443712 3684 18446744073709551615 4198400 7047149 140734004874432 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39555072 140734004877711 140734004877809 140734004877809 140734004883401 0
/proc/171402/statm: 4747 3684 544 696 0 3908 0
Current children cumulated CPU time: 500.89 s
Current children cumulated vsize: 1758340 KiB
Current children cumulated memory: 537196 KiB
[startup+503.2 s]
/proc/loadavg: 4.12 4.11 3.88 5/270 171402
/proc/meminfo: memFree=118266124/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1735160 memory=519516 CPUtime=498.84 cores=5,7
/proc/171279/stat : 171279 (python3) S 171274 171274 168818 0 -1 4194304 140017 0 0 0 49859 25 0 0 20 0 1 0 238090232 1776803840 129879 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 433790 129879 8164 1 0 405148 0
[pid=171402] ppid=171279 vsize=18988 memory=14864 CPUtime=2.85 cores=5,7
/proc/171402/stat : 171402 (naps-1.03a6) R 171279 171402 171402 0 -1 4194304 4108 0 0 0 284 1 0 0 20 0 1 0 238140262 19443712 3716 18446744073709551615 4198400 7047149 140734004874432 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39555072 140734004877711 140734004877809 140734004877809 140734004883401 0
/proc/171402/statm: 4747 3716 544 696 0 3908 0
Current children cumulated CPU time: 501.69 s
Current children cumulated vsize: 1758340 KiB
Current children cumulated memory: 537324 KiB
[startup+503.6 s]
/proc/loadavg: 4.12 4.11 3.88 5/270 171402
/proc/meminfo: memFree=118266124/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1735160 memory=519516 CPUtime=498.84 cores=5,7
/proc/171279/stat : 171279 (python3) S 171274 171274 168818 0 -1 4194304 140017 0 0 0 49859 25 0 0 20 0 1 0 238090232 1776803840 129879 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 433790 129879 8164 1 0 405148 0
[pid=171402] ppid=171279 vsize=18988 memory=14864 CPUtime=3.25 cores=5,7
/proc/171402/stat : 171402 (naps-1.03a6) R 171279 171402 171402 0 -1 4194304 4108 0 0 0 324 1 0 0 20 0 1 0 238140262 19443712 3716 18446744073709551615 4198400 7047149 140734004874432 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39555072 140734004877711 140734004877809 140734004877809 140734004883401 0
/proc/171402/statm: 4747 3716 544 696 0 3908 0
Current children cumulated CPU time: 502.09 s
Current children cumulated vsize: 1758340 KiB
Current children cumulated memory: 537324 KiB
[startup+503.8 s]
/proc/loadavg: 4.12 4.11 3.88 5/270 171402
/proc/meminfo: memFree=118266124/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
[pid=171279] ppid=171274 vsize=1735160 memory=519516 CPUtime=502.29 cores=5,7
/proc/171279/stat : 171279 (python3) R 171274 171274 168818 0 -1 4194304 184689 4109 0 0 49877 27 324 1 20 0 1 0 238090232 1776803840 129879 18446744073709551615 94500705853440 94500705853817 140724252667216 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94500705865112 94500705865732 94500732502016 140724252674390 140724252674592 140724252674592 140724252680167 0
/proc/171279/statm: 433790 129879 8164 1 0 405148 0
Current children cumulated CPU time: 502.29 s
Current children cumulated vsize: 1739352 KiB
Current children cumulated memory: 522460 KiB
[startup+503.9 s]
/proc/loadavg: 4.12 4.11 3.88 5/270 171402
/proc/meminfo: memFree=118266124/131249988 swapFree=33010416/33010684
[pid=171274] ppid=171271 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/171274/stat : 171274 (scip-naps-1.00.) S 171271 171274 168818 0 -1 4194304 258 336 0 0 0 0 0 0 20 0 1 0 238090230 4292608 736 18446744073709551615 93842491199488 93842492094021 140735614282192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93842492333072 93842492380816 93842512748544 140735614290335 140735614290432 140735614290432 140735614296036 0
/proc/171274/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 503.902
CPU time (s): 502.413
CPU user time (s): 502.086
CPU system time (s): 0.327307
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 1758340
Max. memory (cumulated for all children) (KiB): 537324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 502.086
system time used= 0.327307
maximum resident set size= 519516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 338
involuntary context switches= 2881
# summary of solver processes directly reported to runsolver:
# pid: 171274
# total CPU time (s): 502.413
# total CPU user time (s): 502.086
# total CPU system time (s): 0.327307
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0717 second user time and 2.22473 second system time
The end
Begin job on nodeC031 at 2025-07-23 00:41:57
IDJOB=4544854
IDBENCH=180684
IDSOLVER=3368
FILE ID=nodeC031/4544854-1753224117
RUNJOBID= nodeC031-1753222578-168831
SLURM_JOB_ID= 9687820
Free space on /tmp= 432900 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat12_10_triangular.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544854-1753224117/watcher-4544854-1753224117 -o /tmp/evaluation-result-4544854-1753224117/solver-4544854-1753224117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168831 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4544854-1753224117.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 66da69fc5ff2d69cb07ac1ec77d1e0fe
RANDOM SEED=1292125700
nodeC031 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.830
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.78
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.855
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.78
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 : 3599.522
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.78
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 : 3580.313
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.78
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.895
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.78
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 : 3609.701
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.78
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 : 3599.247
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.78
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.885
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 118606848 kB
MemAvailable: 123791400 kB
Buffers: 2128 kB
Cached: 5869248 kB
SwapCached: 8 kB
Active: 7004968 kB
Inactive: 4735176 kB
Active(anon): 5884556 kB
Inactive(anon): 10464 kB
Active(file): 1120412 kB
Inactive(file): 4724712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7992 kB
Writeback: 24 kB
AnonPages: 5867248 kB
Mapped: 135772 kB
Shmem: 26248 kB
KReclaimable: 357336 kB
Slab: 456328 kB
SReclaimable: 357336 kB
SUnreclaim: 98992 kB
KernelStack: 4384 kB
PageTables: 15408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 9858896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1785856 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432892 MiB
End job on nodeC031 at 2025-07-23 00:50:21