| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | ? (TO) | 3601.34 | 3612.66 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb |
| MD5SUM | 5315000b872825a9c3a3b6787ef04708 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 29.9883 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 227556 |
| Total number of constraints | 20632 |
| Number of constraints which are clauses | 10505 |
| Number of constraints which are cardinality constraints (but not clauses) | 8696 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1431 |
| Minimum length of a constraint | 24 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 32 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
502.88/504.63 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542592-1753218494.opb 502.88/504.63 c Solving mode: decision 502.88/504.63 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 502.88/504.63 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 502.88/504.63 c original problem has 227556 variables (227556 bin, 0 int, 0 impl, 0 cont) and 20632 constraints 502.88/504.63 c presolving: 502.88/504.63 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11911 upgd conss, 0 impls, 8694 clqs 502.88/504.63 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20632 upgd conss, 0 impls, 8694 clqs 502.88/504.63 c (3.1s) probing: 51/227556 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 502.88/504.63 c (3.1s) probing aborted: 50/50 successive totally useless probings 502.88/504.63 c (3.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 502.88/504.63 c symmetry computation terminated early, because number of cells 100003 in Nauty exceeds limit of 100000 502.88/504.63 c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells 502.88/504.63 c (4.8s) symmetry computation finished: 281 generators found (max: 281, log10 of symmetry group size: 0.0) (symcode time: 1.29) 502.88/504.63 c dynamic symmetry handling statistics: 502.88/504.63 c orbitopal reduction: no components 502.88/504.63 c orbital reduction: 7 components of sizes 10, 45, 45, 45, 45, 45, 45 502.88/504.63 c lexicographic reduction: 280 permutations with support sizes 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48 502.88/504.63 c handled 8 out of 8 symmetry components 502.88/504.63 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive): 502.88/504.63 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients 502.88/504.63 c 0 implications, 8695 cliques 502.88/504.63 c presolved problem has 227556 variables (227556 bin, 0 int, 0 impl, 0 cont) and 20633 constraints 502.88/504.63 c 1433 constraints of type <knapsack> 502.88/504.63 c 8694 constraints of type <setppc> 502.88/504.63 c 1 constraints of type <linear> 502.88/504.63 c 10505 constraints of type <logicor> 502.88/504.63 c transformed objective value is always integral (scale: 1) 502.88/504.63 c Presolving Time: 4.58 502.88/504.63 c 502.88/504.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 502.88/504.63 c 17.2s| 1 | 0 | 43476 | - | 1020M | 0 | 227k| 20k| 20k| 0 | 0 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 30.6s| 1 | 0 | 64492 | - | 1077M | 0 | 227k| 20k| 20k| 86 | 1 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 32.3s| 1 | 0 | 64878 | - | 1097M | 0 | 227k| 20k| 20k| 158 | 2 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 34.5s| 1 | 0 | 65129 | - | 1124M | 0 | 227k| 20k| 20k| 217 | 3 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 36.7s| 1 | 0 | 65345 | - | 1158M | 0 | 227k| 20k| 20k| 268 | 4 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 39.2s| 1 | 0 | 65559 | - | 1197M | 0 | 227k| 20k| 20k| 310 | 5 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 42.0s| 1 | 0 | 65818 | - | 1243M | 0 | 227k| 20k| 20k| 347 | 6 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 45.0s| 1 | 0 | 66098 | - | 1280M | 0 | 227k| 20k| 21k| 383 | 7 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 47.6s| 1 | 0 | 66396 | - | 1302M | 0 | 227k| 20k| 21k| 420 | 8 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 50.8s| 1 | 0 | 66603 | - | 1343M | 0 | 227k| 20k| 21k| 451 | 9 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 53.4s| 1 | 0 | 66838 | - | 1378M | 0 | 227k| 20k| 21k| 485 | 10 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 54.6s| 1 | 0 | 67052 | - | 1382M | 0 | 227k| 20k| 21k| 509 | 11 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 72.4s| 1 | 2 | 80097 | - | 1388M | 0 | 227k| 20k| 21k| 509 | 11 | 214 | 21 | 0.000000e+00 | -- | Inf | unknown 502.88/504.63 c 280s| 100 | 99 |226249 |1608.1 | 1538M | 12 | 227k| 20k| 20k|3978 | 1 | 321 | 21 | 0.000000e+00 | -- | Inf | 25.00% 502.88/504.63 c 362s| 200 | 199 |298649 |1163.8 | 1553M | 12 | 227k| 20k| 20k|8667 | 1 | 351 | 21 | 0.000000e+00 | -- | Inf | 25.00% 502.88/504.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 502.88/504.63 c 428s| 300 | 299 |357580 | 971.7 | 1555M | 12 | 227k| 20k| 20k| 12k| 1 | 368 | 21 | 0.000000e+00 | -- | Inf | 25.00% 502.88/504.63 c 502.88/504.63 c SCIP Status : solving was interrupted [time limit reached] 502.88/504.63 c Solving Time (sec) : 503.37 502.88/504.63 c Solving Nodes : 391 502.88/504.63 c Primal Bound : +1.00000000000000e+20 (0 solutions) 502.88/504.63 c Dual Bound : +0.00000000000000e+00 502.88/504.63 c Gap : infinite 502.88/504.63 c ---------------------------------------------------------------------- 502.88/504.63 c dual bound: 0.0 -> 0 502.88/504.63 c primal bound: 1e+20 -> 100000000000000000000 502.88/504.63 c scip-goal-lb: 0 502.88/504.63 c scip-goal-ub: 100000000000000000000 502.88/504.63 c writing output to: HOME/tmp8_fu7xd2.opb 502.88/504.63 c appending fixed variable constraints 502.88/504.63 c scip-fixed vars: 0.00% (2/227556) 502.88/504.63 c ---------------------------------------------------------------------- 502.88/504.63 c executing external solver: HOME/naps-1.03a6 502.88/504.63 c ---------------------------------------------------------------------- 502.88/504.63 c command: HOME/naps-1.03a6 HOME/tmp8_fu7xd2.opb 502.88/504.67 c NaPS 1.03a6. 502.88/504.67 c Input file name: HOME/tmp8_fu7xd2.opb 3600.06/3611.40 c 3600.06/3611.40 c *** TERMINATED *** by signal 15 3600.06/3611.40 c _____________________________________________________________________________ 3600.06/3611.40 c std/band forms : 10127,0 3600.06/3611.40 c 2cl/3cl ITE-codings : 0,0 3600.06/3611.40 c BDD/srt/adr Max costs : 0,342,0 3600.06/3611.40 c BDDraw/bin/mul/srt/adr: 0,0,0,10127,0 3600.06/3611.40 c BDD nodes : 0 3600.06/3611.40 c Es1/CC detections : 0,0 3600.06/3611.40 c CC sort : 10127 3600.06/3611.40 c SAT/UNSAT calls : 0,0 3600.06/3611.40 c regenrated variables : 0 3600.06/3611.40 c eliminated fixed lits : 2 3600.06/3611.40 c goal lit flips : 0 3600.06/3611.40 c goal stages : 0 3600.06/3611.40 c goal shrink : 0 3600.06/3611.40 c goal coeff separations: 0 3600.06/3611.40 c restarts : 0 3600.06/3611.40 c conflicts : 0 (0 /sec) 3600.06/3611.40 c decisions : 0 (0 /sec) 3600.06/3611.40 c propagations : 0 (0 /sec) 3600.06/3611.40 c inspects : 0 (0 /sec) 3600.06/3611.40 c CPU time (solving tm) : 3093 s (3091 s, SAT 0 s, UNSAT 0 s) 3600.06/3611.40 c Time for Opt-base : 0.06477 s 3600.06/3611.40 c Steps for Opt-base : 0 3600.06/3611.40 c Time for BDD coding : 0 s 3600.06/3611.40 c Time for srt coding : 0.9269 s 3600.06/3611.40 c _____________________________________________________________________________ 3600.06/3611.41 c received SIGTERM, forwarding to pbsolver... 3600.06/3611.41 s UNKNOWN
ERROR: no interpretation found !
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 (60860 MiB free)
memory of node 1: 64465 MiB (48882 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542592-1753218494/watcher-4542592-1753218494 -o /tmp/evaluation-result-4542592-1753218494/solver-4542592-1753218494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753211271-184955 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4542592-1753218494.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=185685, runsolver pid=185682
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.04 4.07 4.08 5/266 185690
/proc/meminfo: memFree=112365024/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=1187604 memory=32208 CPUtime=0.07 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 3847 0 0 0 6 1 0 0 20 0 1 0 237527801 1216106496 8052 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 296901 8052 4884 1 0 268923 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191796 KiB
Current children cumulated memory: 35152 KiB
[startup+0.20558 s]*
/proc/loadavg: 4.04 4.07 4.08 5/266 185690
/proc/meminfo: memFree=112316892/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=1253308 memory=104528 CPUtime=0.17 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 19437 0 0 0 14 3 0 0 20 0 1 0 237527801 1283387392 26132 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 313327 26132 7572 1 0 284685 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1257500 KiB
Current children cumulated memory: 107472 KiB
[startup+0.305566 s]*
/proc/loadavg: 4.04 4.07 4.08 5/266 185690
/proc/meminfo: memFree=112244316/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=1326516 memory=177104 CPUtime=0.27 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 37591 0 0 0 21 6 0 0 20 0 1 0 237527801 1358352384 44276 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 331629 44276 7572 1 0 302987 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1330708 KiB
Current children cumulated memory: 180048 KiB
[startup+0.700215 s]
/proc/loadavg: 4.04 4.07 4.08 5/266 185690
/proc/meminfo: memFree=112091100/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=1652408 memory=503888 CPUtime=0.65 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 119107 0 0 0 48 17 0 0 20 0 1 0 237527801 1692065792 125972 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 413102 125972 7764 1 0 384460 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1656600 KiB
Current children cumulated memory: 506832 KiB
[startup+1.50022 s]
/proc/loadavg: 4.04 4.07 4.08 5/266 185690
/proc/meminfo: memFree=111792100/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=1841024 memory=662692 CPUtime=1.45 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 158497 0 0 0 120 25 0 0 20 0 1 0 237527801 1885208576 165673 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 460256 165673 7860 1 0 431614 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1845216 KiB
Current children cumulated memory: 665636 KiB
[startup+3.10504 s]
/proc/loadavg: 4.12 4.09 4.09 5/261 185783
/proc/meminfo: memFree=125855776/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=1892904 memory=717224 CPUtime=3.04 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 171574 0 0 0 274 30 0 0 20 0 1 0 237527801 1938333696 179306 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 473226 179306 7892 1 0 444584 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1897096 KiB
Current children cumulated memory: 720168 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 185837
/proc/meminfo: memFree=124093564/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=2305312 memory=1029664 CPUtime=6.22 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 285110 0 0 0 574 48 0 0 20 0 1 0 237527801 2360639488 257416 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 576328 257416 8052 1 0 547686 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 2309504 KiB
Current children cumulated memory: 1032608 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 185837
/proc/meminfo: memFree=123446344/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=2305312 memory=1029664 CPUtime=12.59 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 285110 0 0 0 1211 48 0 0 20 0 1 0 237527801 2360639488 257416 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 576328 257416 8052 1 0 547686 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 2309504 KiB
Current children cumulated memory: 1032608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 185838
/proc/meminfo: memFree=123404176/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=2380080 memory=1098948 CPUtime=25.35 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 297884 0 0 0 2484 51 0 0 20 0 1 0 237527801 2437201920 274737 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 595020 274737 8116 1 0 566378 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 2384272 KiB
Current children cumulated memory: 1101892 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 185838
/proc/meminfo: memFree=122975252/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=2700144 memory=1385760 CPUtime=50.87 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 355917 0 0 0 5025 62 0 0 20 0 1 0 237527801 2764947456 346440 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 675036 346440 8116 1 0 646394 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 2704336 KiB
Current children cumulated memory: 1388704 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 185840
/proc/meminfo: memFree=122329072/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=2965104 memory=1660424 CPUtime=101.87 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 573634 0 0 0 10086 101 0 0 20 0 1 0 237527801 3036266496 415106 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 741276 415106 8116 1 0 712634 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 2969296 KiB
Current children cumulated memory: 1663368 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 185843
/proc/meminfo: memFree=121951124/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=2965104 memory=1665928 CPUtime=161.65 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 574430 0 0 0 16062 103 0 0 20 0 1 0 237527801 3036266496 416482 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 741276 416482 8116 1 0 712634 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 2969296 KiB
Current children cumulated memory: 1668872 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 185845
/proc/meminfo: memFree=121037804/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=2965104 memory=1666312 CPUtime=221.47 cores=0,2
/proc/185690/stat : 185690 (python3) R 185685 185685 184945 0 -1 4194304 574640 0 0 0 22042 105 0 0 20 0 1 0 237527801 3036266496 416578 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 741276 416578 8116 1 0 712634 0
Current children cumulated CPU time: 221.47 s
################
# More data... #
################
/proc/185690/stat : 185690 (python3) S 185685 185685 184945 0 -1 4194304 753561 0 0 0 50152 142 0 0 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
[pid=185960] ppid=185690 vsize=756596 memory=639680 CPUtime=2769.04 cores=0,2
/proc/185960/stat : 185960 (naps-1.03a6) R 185690 185960 185960 0 -1 4194304 333979 0 0 0 276545 359 0 0 20 0 1 0 237578265 774754304 159920 18446744073709551615 4198400 7047149 140731233419632 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 18386944 140731233421711 140731233421809 140731233421809 140731233427401 0
/proc/185960/statm: 189149 159920 544 696 0 188310 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 4444876 KiB
Current children cumulated memory: 3031624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 186230
/proc/meminfo: memFree=117765052/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=3684088 memory=2389000 CPUtime=502.94 cores=0,2
/proc/185690/stat : 185690 (python3) S 185685 185685 184945 0 -1 4194304 753561 0 0 0 50152 142 0 0 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
[pid=185960] ppid=185690 vsize=789364 memory=654016 CPUtime=2828.85 cores=0,2
/proc/185960/stat : 185960 (naps-1.03a6) R 185690 185960 185960 0 -1 4194304 335347 0 0 0 282524 361 0 0 20 0 1 0 237578265 808308736 163504 18446744073709551615 4198400 7047149 140731233419632 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 18386944 140731233421711 140731233421809 140731233421809 140731233427401 0
/proc/185960/statm: 197341 163504 544 696 0 196502 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 4477644 KiB
Current children cumulated memory: 3045960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 186234
/proc/meminfo: memFree=117705200/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=3684088 memory=2389000 CPUtime=502.94 cores=0,2
/proc/185690/stat : 185690 (python3) S 185685 185685 184945 0 -1 4194304 753561 0 0 0 50152 142 0 0 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
[pid=185960] ppid=185690 vsize=789364 memory=662208 CPUtime=2888.66 cores=0,2
/proc/185960/stat : 185960 (naps-1.03a6) R 185690 185960 185960 0 -1 4194304 337622 0 0 0 288502 364 0 0 20 0 1 0 237578265 808308736 165552 18446744073709551615 4198400 7047149 140731233419632 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 18386944 140731233421711 140731233421809 140731233421809 140731233427401 0
/proc/185960/statm: 197341 165552 544 696 0 196502 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 4477644 KiB
Current children cumulated memory: 3054152 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 186236
/proc/meminfo: memFree=117746780/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=3684088 memory=2389000 CPUtime=502.94 cores=0,2
/proc/185690/stat : 185690 (python3) S 185685 185685 184945 0 -1 4194304 753561 0 0 0 50152 142 0 0 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
[pid=185960] ppid=185690 vsize=789364 memory=658112 CPUtime=2948.49 cores=0,2
/proc/185960/stat : 185960 (naps-1.03a6) R 185690 185960 185960 0 -1 4194304 340692 0 0 0 294481 368 0 0 20 0 1 0 237578265 808308736 164528 18446744073709551615 4198400 7047149 140731233419632 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 18386944 140731233421711 140731233421809 140731233421809 140731233427401 0
/proc/185960/statm: 197341 164528 544 696 0 196502 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 4477644 KiB
Current children cumulated memory: 3050056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 186245
/proc/meminfo: memFree=117763192/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=3684088 memory=2389000 CPUtime=502.94 cores=0,2
/proc/185690/stat : 185690 (python3) S 185685 185685 184945 0 -1 4194304 753561 0 0 0 50152 142 0 0 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
[pid=185960] ppid=185690 vsize=789364 memory=651968 CPUtime=3008.29 cores=0,2
/proc/185960/stat : 185960 (naps-1.03a6) R 185690 185960 185960 0 -1 4194304 342939 0 0 0 300458 371 0 0 20 0 1 0 237578265 808308736 162992 18446744073709551615 4198400 7047149 140731233419632 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 18386944 140731233421711 140731233421809 140731233421809 140731233427401 0
/proc/185960/statm: 197341 162992 544 696 0 196502 0
Current children cumulated CPU time: 3511.23 s
Current children cumulated vsize: 4477644 KiB
Current children cumulated memory: 3043912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/271 186247
/proc/meminfo: memFree=117707256/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=3684088 memory=2389000 CPUtime=502.94 cores=0,2
/proc/185690/stat : 185690 (python3) S 185685 185685 184945 0 -1 4194304 753561 0 0 0 50152 142 0 0 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
[pid=185960] ppid=185690 vsize=789364 memory=658112 CPUtime=3068.11 cores=0,2
/proc/185960/stat : 185960 (naps-1.03a6) R 185690 185960 185960 0 -1 4194304 347803 0 0 0 306432 379 0 0 20 0 1 0 237578265 808308736 164528 18446744073709551615 4198400 7047149 140731233419632 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 18386944 140731233421711 140731233421809 140731233421809 140731233427401 0
/proc/185960/statm: 197341 164528 544 696 0 196502 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 4477644 KiB
Current children cumulated memory: 3050056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 186247
/proc/meminfo: memFree=117774412/131249996 swapFree=33010160/33010684
[pid=185685] ppid=185682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/185685/stat : 185685 (scip-naps-1.00.) S 185682 185685 184945 0 -1 4194304 257 343 0 0 0 0 0 0 20 0 1 0 237527799 4292608 736 18446744073709551615 94506059931648 94506060826181 140734350155120 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94506061065232 94506061112976 94506082889728 140734350158239 140734350158336 140734350158336 140734350163940 0
/proc/185685/statm: 1048 736 672 219 0 110 0
[pid=185690] ppid=185685 vsize=3684088 memory=2389000 CPUtime=502.94 cores=0,2
/proc/185690/stat : 185690 (python3) S 185685 185685 184945 0 -1 4194304 753561 0 0 0 50152 142 0 0 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
[pid=185960] ppid=185690 vsize=789364 memory=649280 CPUtime=3097.12 cores=0,2
/proc/185960/stat : 185960 (naps-1.03a6) R 185690 185960 185960 0 -1 4194304 350201 0 0 0 309331 381 0 0 20 0 1 0 237578265 808308736 162320 18446744073709551615 4198400 7047149 140731233419632 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 18386944 140731233421711 140731233421809 140731233421809 140731233427401 0
/proc/185960/statm: 197341 162320 544 696 0 196502 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4477644 KiB
Current children cumulated memory: 3041224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 185685 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00232 s, system=0.003845 s
[startup+3612.66 s]
# the end of solver process 185690 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.97 s, system=5.37312 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 4.08 4.08 4.09 5/269 186247
/proc/meminfo: memFree=118402036/131249996 swapFree=33010160/33010684
[pid=185690] ppid=185682 vsize=3684088 memory=2389000 CPUtime=3600.67 cores=0,2
/proc/185690/stat : 185690 (python3) R 185682 185685 184945 0 -1 4194304 821843 350202 0 0 50208 145 309331 383 20 0 1 0 237527801 3772506112 597250 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 921022 597250 8148 1 0 892380 0
Current cumulated CPU time of completed processes: 0.006165 s
Current children cumulated CPU time: 3600.67 s
Current children cumulated vsize: 3684088 KiB
Current children cumulated memory: 2389000 KiB
[startup+3612.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 186247
/proc/meminfo: memFree=118402036/131249996 swapFree=33010160/33010684
[pid=185690] ppid=185682 vsize=3460680 memory=2278856 CPUtime=3601.06 cores=0,2
/proc/185690/stat : 185690 (python3) R 185682 185685 184945 0 -1 4194304 848700 350202 0 0 50246 146 309331 383 20 0 1 0 237527801 3543736320 569714 18446744073709551615 93837445246976 93837445247353 140720973525584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93837445258648 93837445259268 93837457170432 140720973531478 140720973531680 140720973531680 140720973537255 0
/proc/185690/statm: 865170 569714 8148 1 0 836528 0
Current cumulated CPU time of completed processes: 0.006165 s
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 3460680 KiB
Current children cumulated memory: 2278856 KiB
[startup+3612.6 s]*
/proc/loadavg: 4.08 4.08 4.09 5/267 186247
/proc/meminfo: memFree=119679880/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.006165 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3612.66
CPU time (s): 3601.34
CPU user time (s): 3595.97
CPU system time (s): 5.37312
CPU usage (%): 99.6867
Max. virtual memory (cumulated for all children) (KiB): 4964864
Max. memory (cumulated for all children) (KiB): 3436132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.97
system time used= 5.37312
maximum resident set size= 2389000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1219823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 377
involuntary context switches= 7930
# summary of solver processes directly reported to runsolver:
# pid: 185685,185690
# total CPU time (s): 3601.34
# total CPU user time (s): 3595.97
# total CPU system time (s): 5.37312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54206 second user time and 17.4991 second system time
The end
Begin job on nodeC029 at 2025-07-22 23:08:14 IDJOB=4542592 IDBENCH=163937 IDSOLVER=3368 FILE ID=nodeC029/4542592-1753218494 RUNJOBID= nodeC029-1753211271-184955 SLURM_JOB_ID= 9687792 Free space on /tmp= 432908 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542592-1753218494/watcher-4542592-1753218494 -o /tmp/evaluation-result-4542592-1753218494/solver-4542592-1753218494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753211271-184955 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4542592-1753218494.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708 RANDOM SEED=2010451683 nodeC029 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.713 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.46 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.771 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.46 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 : 3675.320 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.580 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.46 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.721 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.46 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 : 3700.000 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.46 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.222 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.46 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.723 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 112376616 kB MemAvailable: 115575164 kB Buffers: 2128 kB Cached: 3959360 kB SwapCached: 36 kB Active: 15411864 kB Inactive: 2719572 kB Active(anon): 14191448 kB Inactive(anon): 4716 kB Active(file): 1220416 kB Inactive(file): 2714856 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 11100 kB Writeback: 0 kB AnonPages: 14169608 kB Mapped: 134364 kB Shmem: 26216 kB KReclaimable: 205028 kB Slab: 302588 kB SReclaimable: 205028 kB SUnreclaim: 97560 kB KernelStack: 4320 kB PageTables: 31856 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 19103552 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3968 kB HardwareCorrupted: 0 kB AnonHugePages: 3274752 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: 193236 kB DirectMap2M: 11112448 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432968 MiB End job on nodeC029 at 2025-07-23 00:08:26