| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a2 | ? (TO) | 3601.97 | 3613.93 |
| 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 |
499.89/501.81 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542599-1753218500.opb 499.89/501.81 c Solving mode: decision 499.89/501.81 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 499.89/501.81 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 499.89/501.81 c original problem has 227556 variables (227556 bin, 0 int, 0 impl, 0 cont) and 20632 constraints 499.89/501.81 c presolving: 499.89/501.81 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 499.89/501.81 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 499.89/501.81 c (3.6s) probing: 51/227556 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 499.89/501.81 c (3.6s) probing aborted: 50/50 successive totally useless probings 499.89/501.81 c (3.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 499.89/501.81 c symmetry computation terminated early, because number of cells 100003 in Nauty exceeds limit of 100000 499.89/501.81 c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells 499.89/501.81 c (5.2s) symmetry computation finished: 281 generators found (max: 281, log10 of symmetry group size: 0.0) (symcode time: 1.28) 499.89/501.81 c dynamic symmetry handling statistics: 499.89/501.81 c orbitopal reduction: no components 499.89/501.81 c orbital reduction: 7 components of sizes 10, 45, 45, 45, 45, 45, 45 499.89/501.81 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 499.89/501.81 c handled 8 out of 8 symmetry components 499.89/501.81 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive): 499.89/501.81 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients 499.89/501.81 c 0 implications, 8695 cliques 499.89/501.81 c presolved problem has 227556 variables (227556 bin, 0 int, 0 impl, 0 cont) and 20633 constraints 499.89/501.81 c 1433 constraints of type <knapsack> 499.89/501.81 c 8694 constraints of type <setppc> 499.89/501.81 c 1 constraints of type <linear> 499.89/501.81 c 10505 constraints of type <logicor> 499.89/501.81 c transformed objective value is always integral (scale: 1) 499.89/501.81 c Presolving Time: 4.86 499.89/501.81 c 499.89/501.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 499.89/501.81 c 20.5s| 1 | 0 | 43476 | - | 1020M | 0 | 227k| 20k| 20k| 0 | 0 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 34.5s| 1 | 0 | 64492 | - | 1077M | 0 | 227k| 20k| 20k| 86 | 1 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 36.3s| 1 | 0 | 64878 | - | 1097M | 0 | 227k| 20k| 20k| 158 | 2 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 38.8s| 1 | 0 | 65129 | - | 1124M | 0 | 227k| 20k| 20k| 217 | 3 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 41.3s| 1 | 0 | 65345 | - | 1158M | 0 | 227k| 20k| 20k| 268 | 4 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 44.3s| 1 | 0 | 65559 | - | 1197M | 0 | 227k| 20k| 20k| 310 | 5 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 47.5s| 1 | 0 | 65818 | - | 1243M | 0 | 227k| 20k| 20k| 347 | 6 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 51.0s| 1 | 0 | 66098 | - | 1280M | 0 | 227k| 20k| 21k| 383 | 7 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 54.0s| 1 | 0 | 66396 | - | 1302M | 0 | 227k| 20k| 21k| 420 | 8 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 57.7s| 1 | 0 | 66603 | - | 1343M | 0 | 227k| 20k| 21k| 451 | 9 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 60.8s| 1 | 0 | 66838 | - | 1378M | 0 | 227k| 20k| 21k| 485 | 10 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 62.1s| 1 | 0 | 67052 | - | 1382M | 0 | 227k| 20k| 21k| 509 | 11 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 81.5s| 1 | 2 | 80097 | - | 1388M | 0 | 227k| 20k| 21k| 509 | 11 | 214 | 21 | 0.000000e+00 | -- | Inf | unknown 499.89/501.81 c 305s| 100 | 99 |226249 |1608.1 | 1538M | 12 | 227k| 20k| 20k|3978 | 1 | 321 | 21 | 0.000000e+00 | -- | Inf | 25.00% 499.89/501.81 c 392s| 200 | 199 |298649 |1163.8 | 1553M | 12 | 227k| 20k| 20k|8667 | 1 | 351 | 21 | 0.000000e+00 | -- | Inf | 25.00% 499.89/501.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 499.89/501.81 c 460s| 300 | 299 |357580 | 971.7 | 1555M | 12 | 227k| 20k| 20k| 12k| 1 | 368 | 21 | 0.000000e+00 | -- | Inf | 25.00% 499.89/501.81 c 499.89/501.81 c SCIP Status : solving was interrupted [time limit reached] 499.89/501.81 c Solving Time (sec) : 500.05 499.89/501.81 c Solving Nodes : 357 499.89/501.81 c Primal Bound : +1.00000000000000e+20 (0 solutions) 499.89/501.81 c Dual Bound : +0.00000000000000e+00 499.89/501.81 c Gap : infinite 499.89/501.81 c ---------------------------------------------------------------------- 499.89/501.81 c dual bound: 0.0 -> 0 499.89/501.81 c primal bound: 1e+20 -> 100000000000000000000 499.89/501.81 c scip-goal-lb: 0 499.89/501.81 c scip-goal-ub: 100000000000000000000 499.89/501.81 c writing output to: HOME/tmphpg8up7i.opb 499.89/501.81 c appending fixed variable constraints 499.89/501.81 c scip-fixed vars: 0.00% (2/227556) 499.89/501.81 c ---------------------------------------------------------------------- 499.89/501.81 c executing external solver: HOME/naps-1.03a6 499.89/501.81 c ---------------------------------------------------------------------- 499.89/501.81 c command: HOME/naps-1.03a6 HOME/tmphpg8up7i.opb 499.89/501.86 c NaPS 1.03a6. 499.89/501.86 c Input file name: HOME/tmphpg8up7i.opb 3600.03/3612.01 c 3600.03/3612.01 c *** TERMINATED *** by signal 15 3600.03/3612.01 c s UNKNOWN 3600.03/3612.01 c _____________________________________________________________________________ 3600.03/3612.01 c std/band forms : 10127,0 3600.03/3612.01 c 2cl/3cl ITE-codings : 0,0 3600.03/3612.01 c BDD/srt/adr Max costs : 0,342,0 3600.03/3612.01 c BDDraw/bin/mul/srt/adr: 0,0,0,10127,0 3600.03/3612.01 c BDD nodes : 0 3600.03/3612.01 c Es1/CC detections : 0,0 3600.03/3612.01 c CC sort : 10127 3600.03/3612.01 c SAT/UNSAT calls : 0,0 3600.03/3612.01 c regenrated variables : 0 3600.03/3612.01 c eliminated fixed lits : 2 3600.03/3612.01 c goal lit flips : 0 3600.03/3612.01 c goal stages : 0 3600.03/3612.01 c goal shrink : 0 3600.03/3612.01 c goal coeff separations: 0 3600.03/3612.01 c restarts : 0 3600.03/3612.01 c conflicts : 0 (0 /sec) 3600.03/3612.01 c decisions : 0 (0 /sec) 3600.03/3612.01 c propagations : 0 (0 /sec) 3600.03/3612.01 c inspects : 0 (0 /sec) 3600.03/3612.01 c CPU time (solving tm) : 3096 s (3092 s, SAT 0 s, UNSAT 0 s) 3600.03/3612.01 c Time for Opt-base : 0.07191 s 3600.03/3612.01 c Steps for Opt-base : 0 3600.03/3612.01 c Time for BDD coding : 0 s 3600.03/3612.01 c Time for srt coding : 1.092 s 3600.03/3612.01 c _____________________________________________________________________________ 3600.03/3612.01 c received SIGTERM, forwarding to pbsolver... 3600.03/3612.02 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: 63837 MiB (55878 MiB free)
memory of node 1: 64465 MiB (56441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542599-1753218500/watcher-4542599-1753218500 -o /tmp/evaluation-result-4542599-1753218500/solver-4542599-1753218500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753211276-193083 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542599-1753218500.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=193821, runsolver pid=193818
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.01 4.16 4.17 5/253 193826
/proc/meminfo: memFree=115011628/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=18840 memory=13440 CPUtime=0.06 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 1815 0 0 0 6 0 0 0 20 0 1 0 237529203 19292160 3360 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 4710 3360 1824 1 0 1483 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 23032 KiB
Current children cumulated memory: 16512 KiB
[startup+0.213904 s]*
/proc/loadavg: 4.01 4.16 4.17 5/252 193826
/proc/meminfo: memFree=116927272/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=1186972 memory=31672 CPUtime=0.17 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 3701 0 0 0 16 1 0 0 20 0 1 0 237529203 1215459328 7918 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 296743 7918 4878 1 0 268765 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34744 KiB
[startup+0.313543 s]*
/proc/loadavg: 4.01 4.16 4.17 5/252 193826
/proc/meminfo: memFree=120265992/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=1191092 memory=36408 CPUtime=0.26 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 4682 0 0 0 24 2 0 0 20 0 1 0 237529203 1219678208 9102 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 297773 9102 5102 1 0 269664 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1195284 KiB
Current children cumulated memory: 39480 KiB
[startup+0.700383 s]
/proc/loadavg: 4.01 4.16 4.17 4/249 193834
/proc/meminfo: memFree=121690552/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=1328616 memory=179512 CPUtime=0.64 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 38120 0 0 0 53 11 0 0 20 0 1 0 237529203 1360502784 44878 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 332154 44878 7630 1 0 303512 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1332808 KiB
Current children cumulated memory: 182584 KiB
[startup+1.50043 s]
/proc/loadavg: 4.01 4.16 4.17 4/245 193842
/proc/meminfo: memFree=127342464/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=1758480 memory=599736 CPUtime=1.43 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 142970 0 0 0 112 31 0 0 20 0 1 0 237529203 1800683520 149934 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 439620 149934 7854 1 0 410978 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1762672 KiB
Current children cumulated memory: 602808 KiB
[startup+3.11354 s]
/proc/loadavg: 4.01 4.16 4.17 5/255 193924
/proc/meminfo: memFree=126987172/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=1892796 memory=717284 CPUtime=3.04 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 171529 0 0 0 267 37 0 0 20 0 1 0 237529203 1938223104 179321 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 473199 179321 7950 1 0 444557 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1896988 KiB
Current children cumulated memory: 720356 KiB
[startup+6.30039 s]
/proc/loadavg: 4.17 4.19 4.18 5/253 193924
/proc/meminfo: memFree=125697444/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=2305364 memory=1027988 CPUtime=6.21 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 285042 0 0 0 565 56 0 0 20 0 1 0 237529203 2360692736 256997 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 576341 256997 8046 1 0 547699 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 2309556 KiB
Current children cumulated memory: 1031060 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.18 4.18 5/255 193974
/proc/meminfo: memFree=126124748/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=2305364 memory=1030420 CPUtime=12.58 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 285613 0 0 0 1201 57 0 0 20 0 1 0 237529203 2360692736 257605 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 576341 257605 8110 1 0 547699 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 2309556 KiB
Current children cumulated memory: 1033492 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.19 4.18 5/255 193974
/proc/meminfo: memFree=126008024/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=2377240 memory=1094172 CPUtime=25.33 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 297672 0 0 0 2474 59 0 0 20 0 1 0 237529203 2434293760 273543 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 594310 273543 8142 1 0 565668 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 2381432 KiB
Current children cumulated memory: 1097244 KiB
[startup+51.1135 s]
/proc/loadavg: 4.12 4.17 4.17 5/255 193974
/proc/meminfo: memFree=125647892/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=2627940 memory=1314120 CPUtime=50.82 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 342588 0 0 0 5015 67 0 0 20 0 1 0 237529203 2691010560 328530 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 656985 328530 8174 1 0 628343 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 2632132 KiB
Current children cumulated memory: 1317192 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/254 193976
/proc/meminfo: memFree=124944344/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=2835144 memory=1528420 CPUtime=101.78 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 575995 0 0 0 10071 107 0 0 20 0 1 0 237529203 2903187456 382105 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 708786 382105 8174 1 0 680144 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 2839336 KiB
Current children cumulated memory: 1531492 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/256 193980
/proc/meminfo: memFree=124650416/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=2836920 memory=1535588 CPUtime=161.52 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 577148 0 0 0 16042 110 0 0 20 0 1 0 237529203 2905006080 383897 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 709230 383897 8174 1 0 680588 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 2841112 KiB
Current children cumulated memory: 1538660 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/256 193982
/proc/meminfo: memFree=123722808/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=2878268 memory=1569764 CPUtime=221.32 cores=1,3
/proc/193826/stat : 193826 (python3) R 193821 193821 193071 0 -1 4194304 585968 0 0 0 22017 115 0 0 20 0 1 0 237529203 2947346432 392441 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 719567 392441 8174 1 0 690925 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 2882460 KiB
################
# More data... #
################
/proc/meminfo: memFree=121034892/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=3064252 memory=1757168 CPUtime=499.93 cores=1,3
/proc/193826/stat : 193826 (python3) S 193821 193821 193071 0 -1 4194304 630049 0 0 0 49865 128 0 0 20 0 1 0 237529203 3137794048 439292 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 766063 439292 8174 1 0 737421 0
[pid=194050] ppid=193826 vsize=756596 memory=630340 CPUtime=2831.18 cores=1,3
/proc/194050/stat : 194050 (naps-1.03a6) R 193826 194050 194050 0 -1 4194304 344819 0 0 0 282752 366 0 0 20 0 1 0 237579383 774754304 157585 18446744073709551615 4198400 7047149 140730298454416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31719424 140730298456463 140730298456561 140730298456561 140730298462153 0
/proc/194050/statm: 189149 157585 544 696 0 188310 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 3825040 KiB
Current children cumulated memory: 2390580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/260 194377
/proc/meminfo: memFree=121019296/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=3064252 memory=1757168 CPUtime=499.93 cores=1,3
/proc/193826/stat : 193826 (python3) S 193821 193821 193071 0 -1 4194304 630049 0 0 0 49865 128 0 0 20 0 1 0 237529203 3137794048 439292 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 766063 439292 8174 1 0 737421 0
[pid=194050] ppid=193826 vsize=789364 memory=675396 CPUtime=2890.99 cores=1,3
/proc/194050/stat : 194050 (naps-1.03a6) R 193826 194050 194050 0 -1 4194304 345390 0 0 0 288731 368 0 0 20 0 1 0 237579383 808308736 168849 18446744073709551615 4198400 7047149 140730298454416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31719424 140730298456463 140730298456561 140730298456561 140730298462153 0
/proc/194050/statm: 197341 168849 544 696 0 196502 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 3857808 KiB
Current children cumulated memory: 2435636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/258 194379
/proc/meminfo: memFree=121018184/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=3064252 memory=1757168 CPUtime=499.93 cores=1,3
/proc/193826/stat : 193826 (python3) S 193821 193821 193071 0 -1 4194304 630049 0 0 0 49865 128 0 0 20 0 1 0 237529203 3137794048 439292 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 766063 439292 8174 1 0 737421 0
[pid=194050] ppid=193826 vsize=789364 memory=669252 CPUtime=2950.8 cores=1,3
/proc/194050/stat : 194050 (naps-1.03a6) R 193826 194050 194050 0 -1 4194304 348069 0 0 0 294709 371 0 0 20 0 1 0 237579383 808308736 167313 18446744073709551615 4198400 7047149 140730298454416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31719424 140730298456463 140730298456561 140730298456561 140730298462153 0
/proc/194050/statm: 197341 167313 544 696 0 196502 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 3857808 KiB
Current children cumulated memory: 2429492 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/257 194381
/proc/meminfo: memFree=121002848/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=3064252 memory=1757168 CPUtime=499.93 cores=1,3
/proc/193826/stat : 193826 (python3) S 193821 193821 193071 0 -1 4194304 630049 0 0 0 49865 128 0 0 20 0 1 0 237529203 3137794048 439292 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 766063 439292 8174 1 0 737421 0
[pid=194050] ppid=193826 vsize=789364 memory=649412 CPUtime=3010.63 cores=1,3
/proc/194050/stat : 194050 (naps-1.03a6) R 193826 194050 194050 0 -1 4194304 350763 0 0 0 300690 373 0 0 20 0 1 0 237579383 808308736 162353 18446744073709551615 4198400 7047149 140730298454416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31719424 140730298456463 140730298456561 140730298456561 140730298462153 0
/proc/194050/statm: 197341 162353 544 696 0 196502 0
Current children cumulated CPU time: 3510.56 s
Current children cumulated vsize: 3857808 KiB
Current children cumulated memory: 2409652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/257 194383
/proc/meminfo: memFree=120999324/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=3064252 memory=1757168 CPUtime=499.93 cores=1,3
/proc/193826/stat : 193826 (python3) S 193821 193821 193071 0 -1 4194304 630049 0 0 0 49865 128 0 0 20 0 1 0 237529203 3137794048 439292 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 766063 439292 8174 1 0 737421 0
[pid=194050] ppid=193826 vsize=789364 memory=670760 CPUtime=3070.47 cores=1,3
/proc/194050/stat : 194050 (naps-1.03a6) R 193826 194050 194050 0 -1 4194304 352966 0 0 0 306670 377 0 0 20 0 1 0 237579383 808308736 167690 18446744073709551615 4198400 7047149 140730298454416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31719424 140730298456463 140730298456561 140730298456561 140730298462153 0
/proc/194050/statm: 197341 167690 544 696 0 196502 0
Current children cumulated CPU time: 3570.4 s
Current children cumulated vsize: 3857808 KiB
Current children cumulated memory: 2431000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.07 4.11 4.13 5/257 194383
/proc/meminfo: memFree=120967448/131382116 swapFree=33009904/33010684
[pid=193821] ppid=193818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/193821/stat : 193821 (scip-naps-1.00a) S 193818 193821 193071 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237529200 4292608 768 18446744073709551615 94752955568128 94752956462661 140736839331392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94752956701712 94752956749456 94752971993088 140736839334299 140736839334398 140736839334398 140736839340002 0
/proc/193821/statm: 1048 768 704 219 0 110 0
[pid=193826] ppid=193821 vsize=3064252 memory=1757168 CPUtime=499.93 cores=1,3
/proc/193826/stat : 193826 (python3) S 193821 193821 193071 0 -1 4194304 630049 0 0 0 49865 128 0 0 20 0 1 0 237529203 3137794048 439292 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 766063 439292 8174 1 0 737421 0
[pid=194050] ppid=193826 vsize=789364 memory=651460 CPUtime=3100.1 cores=1,3
/proc/194050/stat : 194050 (naps-1.03a6) R 193826 194050 194050 0 -1 4194304 356574 0 0 0 309629 381 0 0 20 0 1 0 237579383 808308736 162865 18446744073709551615 4198400 7047149 140730298454416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31719424 140730298456463 140730298456561 140730298456561 140730298462153 0
/proc/194050/statm: 197341 162865 544 696 0 196502 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3857808 KiB
Current children cumulated memory: 2411700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.04 s]
# the end of solver process 193821 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.005066 s, system=0.011455 s
[startup+3613.93 s]
# the end of solver process 193826 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.62 s, system=5.34974 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.8 s]
/proc/loadavg: 4.07 4.11 4.13 5/255 194383
/proc/meminfo: memFree=121600404/131382116 swapFree=33009904/33010684
[pid=193826] ppid=193818 vsize=3064252 memory=1757168 CPUtime=3600.81 cores=1,3
/proc/193826/stat : 193826 (python3) R 193818 193821 193071 0 -1 4194304 689454 356575 0 0 49933 137 309629 382 20 0 1 0 237529203 3137794048 439292 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 766063 439292 8174 1 0 737421 0
Current cumulated CPU time of completed processes: 0.016521 s
Current children cumulated CPU time: 3600.81 s
Current children cumulated vsize: 3064252 KiB
Current children cumulated memory: 1757168 KiB
[startup+3613.6 s]
/proc/loadavg: 4.07 4.11 4.13 5/253 194383
/proc/meminfo: memFree=122641748/131382116 swapFree=33009904/33010684
[pid=193826] ppid=193818 vsize=2840844 memory=1647492 CPUtime=3601.6 cores=1,3
/proc/193826/stat : 193826 (python3) R 193818 193821 193071 0 -1 4194304 727172 356575 0 0 50007 142 309629 382 20 0 1 0 237529203 2909024256 411873 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 710211 411873 8174 1 0 681569 0
Current cumulated CPU time of completed processes: 0.016521 s
Current children cumulated CPU time: 3601.6 s
Current children cumulated vsize: 2840844 KiB
Current children cumulated memory: 1647492 KiB
[startup+3613.8 s]
/proc/loadavg: 4.07 4.11 4.13 5/253 194383
/proc/meminfo: memFree=122641748/131382116 swapFree=33009904/33010684
[pid=193826] ppid=193818 vsize=2810380 memory=1616772 CPUtime=3601.8 cores=1,3
/proc/193826/stat : 193826 (python3) R 193818 193821 193071 0 -1 4194304 739378 356575 0 0 50026 143 309629 382 20 0 1 0 237529203 2877829120 404193 18446744073709551615 93880456830976 93880456831353 140732293685984 0 0 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0 93880456842648 93880456843268 93880476430336 140732293691727 140732293691936 140732293691936 140732293697511 0
/proc/193826/statm: 702531 404193 8174 1 0 673889 0
Current cumulated CPU time of completed processes: 0.016521 s
Current children cumulated CPU time: 3601.8 s
Current children cumulated vsize: 2810380 KiB
Current children cumulated memory: 1616772 KiB
[startup+3613.9 s]*
/proc/loadavg: 4.06 4.11 4.12 5/253 194383
/proc/meminfo: memFree=123789356/131382116 swapFree=33009904/33010684
Current cumulated CPU time of completed processes: 0.016521 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): 3613.93
CPU time (s): 3601.97
CPU user time (s): 3596.62
CPU system time (s): 5.34974
CPU usage (%): 99.6688
Max. virtual memory (cumulated for all children) (KiB): 4345028
Max. memory (cumulated for all children) (KiB): 2804776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.62
system time used= 5.34974
maximum resident set size= 1965632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1105289
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= 389
involuntary context switches= 3952
# summary of solver processes directly reported to runsolver:
# pid: 193821,193826
# total CPU time (s): 3601.97
# total CPU user time (s): 3596.62
# total CPU system time (s): 5.34974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0824 second user time and 38.4912 second system time
The end
Begin job on nodeC004 at 2025-07-22 23:08:20 IDJOB=4542599 IDBENCH=163937 IDSOLVER=3388 FILE ID=nodeC004/4542599-1753218500 RUNJOBID= nodeC004-1753211276-193083 SLURM_JOB_ID= 9687793 Free space on /tmp= 432904 MiB SOLVER NAME= SCIP-NaPS 1.00a2 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.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542599-1753218500/watcher-4542599-1753218500 -o /tmp/evaluation-result-4542599-1753218500/solver-4542599-1753218500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753211276-193083 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542599-1753218500.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708 RANDOM SEED=970462642 nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.739 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.216 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.336 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.607 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.237 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.837 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3093.600 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.562 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 115015724 kB MemAvailable: 115739892 kB Buffers: 2128 kB Cached: 1472572 kB SwapCached: 32 kB Active: 15227256 kB Inactive: 405636 kB Active(anon): 14173908 kB Inactive(anon): 10468 kB Active(file): 1053348 kB Inactive(file): 395168 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 10940 kB Writeback: 0 kB AnonPages: 14157184 kB Mapped: 133380 kB Shmem: 26132 kB KReclaimable: 230560 kB Slab: 323260 kB SReclaimable: 230560 kB SUnreclaim: 92700 kB KernelStack: 4096 kB PageTables: 31908 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 19101600 kB VmallocTotal: 34359738367 kB VmallocUsed: 149544 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3295232 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432964 MiB End job on nodeC004 at 2025-07-23 00:08:34