45.23/45.47 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529831-1752258909.opb
45.23/45.47 c Solving mode: decision
45.23/45.47 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
45.23/45.47 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
45.23/45.47 c original problem has 5508 variables (5508 bin, 0 int, 0 impl, 0 cont) and 5672 constraints
45.23/45.47 c presolving:
45.23/45.47 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1093 clqs
45.23/45.47 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1080 clqs
45.23/45.47 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1085 clqs
45.23/45.47 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1111 clqs
45.23/45.47 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1126 clqs
45.23/45.47 c (round 6, exhaustive) 583 del vars, 384 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1129 clqs
45.23/45.47 c (round 7, exhaustive) 583 del vars, 384 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5288 upgd conss, 0 impls, 1129 clqs
45.23/45.47 c (round 8, exhaustive) 648 del vars, 384 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5288 upgd conss, 0 impls, 1116 clqs
45.23/45.47 c (round 9, fast) 713 del vars, 449 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5288 upgd conss, 0 impls, 1116 clqs
45.23/45.47 c (round 10, exhaustive) 738 del vars, 450 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5288 upgd conss, 0 impls, 32521 clqs
45.23/45.47 c (round 11, fast) 738 del vars, 475 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 121 chg coeffs, 5288 upgd conss, 0 impls, 32531 clqs
45.23/45.47 c (round 12, exhaustive) 763 del vars, 475 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 122 chg coeffs, 5288 upgd conss, 0 impls, 32814 clqs
45.23/45.47 c (round 13, fast) 763 del vars, 500 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 5288 upgd conss, 0 impls, 32822 clqs
45.23/45.47 c (round 14, exhaustive) 790 del vars, 500 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 5288 upgd conss, 0 impls, 32825 clqs
45.23/45.47 c (round 15, fast) 790 del vars, 527 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 231 chg coeffs, 5288 upgd conss, 0 impls, 32836 clqs
45.23/45.47 c (round 16, exhaustive) 816 del vars, 527 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 237 chg coeffs, 5288 upgd conss, 0 impls, 32799 clqs
45.23/45.47 c (round 17, fast) 816 del vars, 552 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 271 chg coeffs, 5288 upgd conss, 0 impls, 32804 clqs
45.23/45.47 c (round 18, exhaustive) 841 del vars, 552 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 271 chg coeffs, 5288 upgd conss, 0 impls, 32802 clqs
45.23/45.47 c (round 19, fast) 841 del vars, 577 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 305 chg coeffs, 5288 upgd conss, 0 impls, 32807 clqs
45.23/45.47 c (round 20, exhaustive) 866 del vars, 577 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 306 chg coeffs, 5288 upgd conss, 0 impls, 32700 clqs
45.23/45.47 c (round 21, fast) 866 del vars, 602 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 316 chg coeffs, 5288 upgd conss, 0 impls, 32700 clqs
45.23/45.47 c (round 22, exhaustive) 891 del vars, 602 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 316 chg coeffs, 5288 upgd conss, 0 impls, 32589 clqs
45.23/45.47 c (round 23, fast) 891 del vars, 627 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 326 chg coeffs, 5288 upgd conss, 0 impls, 32589 clqs
45.23/45.47 c (round 24, exhaustive) 916 del vars, 627 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 326 chg coeffs, 5288 upgd conss, 0 impls, 32449 clqs
45.23/45.47 c (round 25, fast) 916 del vars, 652 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 335 chg coeffs, 5288 upgd conss, 0 impls, 32449 clqs
45.23/45.47 c (round 26, exhaustive) 941 del vars, 652 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 335 chg coeffs, 5288 upgd conss, 0 impls, 32339 clqs
45.23/45.47 c (round 27, fast) 941 del vars, 677 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 345 chg coeffs, 5288 upgd conss, 0 impls, 32339 clqs
45.23/45.47 c (round 28, exhaustive) 966 del vars, 677 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 345 chg coeffs, 5288 upgd conss, 0 impls, 32240 clqs
45.23/45.47 c (round 29, fast) 966 del vars, 702 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 369 chg coeffs, 5288 upgd conss, 0 impls, 32240 clqs
45.23/45.47 c (1.7s) probing: 1000/5081 (19.7%) - 254 fixings, 1 aggregations, 498970 implications, 0 bound changes
45.23/45.47 c (2.7s) probing: 2000/5081 (39.4%) - 261 fixings, 1 aggregations, 1018735 implications, 0 bound changes
45.23/45.47 c (round 30, exhaustive) 991 del vars, 702 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 369 chg coeffs, 5288 upgd conss, 0 impls, 32871 clqs
45.23/45.47 c (round 31, fast) 991 del vars, 727 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 419 chg coeffs, 5288 upgd conss, 0 impls, 32877 clqs
45.23/45.47 c (3.5s) probing: 3000/5081 (59.0%) - 294 fixings, 1 aggregations, 1417618 implications, 0 bound changes
45.23/45.47 c (4.4s) probing: 4000/5081 (78.7%) - 298 fixings, 1 aggregations, 1817047 implications, 0 bound changes
45.23/45.47 c (4.7s) probing: 4425/5081 (87.1%) - 298 fixings, 1 aggregations, 1975989 implications, 0 bound changes
45.23/45.47 c (4.7s) probing aborted: 1000/1000 successive useless probings
45.23/45.47 c (round 32, exhaustive) 1013 del vars, 727 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 419 chg coeffs, 5288 upgd conss, 0 impls, 32880 clqs
45.23/45.47 c (round 33, fast) 1013 del vars, 749 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 453 chg coeffs, 5288 upgd conss, 0 impls, 32880 clqs
45.23/45.47 c (4.9s) probing: 4525/5081 (89.1%) - 298 fixings, 1 aggregations, 2012245 implications, 0 bound changes
45.23/45.47 c (4.9s) probing aborted: 1000/1000 successive useless probings
45.23/45.47 c (4.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
45.23/45.47 c (4.9s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
45.23/45.47 c dynamic symmetry handling statistics:
45.23/45.47 c orbitopal reduction: no components
45.23/45.47 c orbital reduction: no components
45.23/45.47 c lexicographic reduction: 4 permutations with support sizes 150, 296, 150, 134
45.23/45.47 c handled 5 out of 5 symmetry components
45.23/45.47 c presolving (34 rounds: 34 fast, 16 medium, 16 exhaustive):
45.23/45.47 c 1016 deleted vars, 749 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 453 changed coefficients
45.23/45.47 c 0 implications, 33000 cliques
45.23/45.47 c presolved problem has 4779 variables (4779 bin, 0 int, 0 impl, 0 cont) and 4926 constraints
45.23/45.47 c 1058 constraints of type <setppc>
45.23/45.47 c 3 constraints of type <orbitope>
45.23/45.47 c 3865 constraints of type <logicor>
45.23/45.47 c transformed objective value is always integral (scale: 1)
45.23/45.47 c Presolving Time: 4.88
45.23/45.47 c
45.23/45.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.23/45.47 c 8.4s| 1 | 0 | 10735 | - | 104M | 0 |4779 |5015 |4920 | 0 | 0 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
45.23/45.47 c 36.5s| 1 | 0 | 64443 | - | 110M | 0 |4779 |5216 |4927 | 7 | 1 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
45.23/45.47 c 38.4s| 1 | 0 | 68502 | - | 112M | 0 |4779 |5224 |4934 | 14 | 2 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
45.23/45.47 c 40.7s| 1 | 0 | 73768 | - | 113M | 0 |4779 |5229 |4951 | 31 | 3 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
45.23/45.47 c 42.6s| 1 | 0 | 77409 | - | 115M | 0 |4779 |5232 |4961 | 41 | 4 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 45.3s| 1 | 0 | 83098 | - | 116M | 0 |4779 |5236 |4975 | 55 | 5 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 47.7s| 1 | 0 | 87890 | - | 118M | 0 |4779 |5239 |4985 | 65 | 6 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 51.7s| 1 | 0 | 96823 | - | 118M | 0 |4779 |5243 |5001 | 81 | 7 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 54.4s| 1 | 0 |102024 | - | 121M | 0 |4779 |5244 |5009 | 89 | 8 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 57.3s| 1 | 0 |107496 | - | 122M | 0 |4779 |5249 |5025 | 105 | 9 | 127 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 60.9s| 1 | 0 |114936 | - | 124M | 0 |4779 |5251 |5034 | 114 | 10 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 63.9s| 1 | 0 |121329 | - | 126M | 0 |4779 |5249 |5044 | 124 | 11 | 130 | 0 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 106s| 1 | 2 |179995 | - | 128M | 0 |4779 |5239 |5044 | 124 | 11 | 141 | 11 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 178s| 100 | 19 |352713 |2337.2 | 131M | 40 |4779 |5248 |5000 | 178 | 1 | 151 | 11 | 0.000000e+00 | -- | Inf | unknown
498.67/500.18 c 295s| 200 | 31 |603240 |2421.7 | 140M | 40 |4779 |5283 |4991 | 269 | 1 | 195 | 11 | 0.000000e+00 | -- | Inf | 1.38%
498.67/500.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.67/500.18 c 441s| 300 | 49 |937365 |2729.2 | 145M | 40 |4779 |5286 |4994 | 316 | 1 | 228 | 11 | 0.000000e+00 | -- | Inf | 1.63%
498.67/500.18 c
498.67/500.18 c SCIP Status : solving was interrupted [time limit reached]
498.67/500.18 c Solving Time (sec) : 500.00
498.67/500.18 c Solving Nodes : 363
498.67/500.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.67/500.18 c Dual Bound : +0.00000000000000e+00
498.67/500.18 c Gap : infinite
498.67/500.18 c ----------------------------------------------------------------------
498.67/500.18 c dual bound: 0.0 -> 0
498.67/500.18 c primal bound: 1e+20 -> 100000000000000000000
498.67/500.18 c scip-goal-lb: 0
498.67/500.18 c scip-goal-ub: 100000000000000000000
498.67/500.18 c writing output to: HOME/tmp3sp0522e.opb
498.67/500.18 c appending fixed variable constraints
498.67/500.18 c scip-fixed vars: 15.23% (728/4779)
498.67/500.18 c ----------------------------------------------------------------------
498.67/500.18 c executing external solver: HOME/naps-1.03a6
498.67/500.18 c ----------------------------------------------------------------------
498.67/500.18 c command: HOME/naps-1.03a6 HOME/tmp3sp0522e.opb
498.67/500.18 c NaPS 1.03a6.
498.67/500.18 c Input file name: HOME/tmp3sp0522e.opb
3600.03/3610.40 c
3600.03/3610.40 c *** TERMINATED *** by signal 15
3600.03/3610.40 c s UNKNOWN
3600.03/3610.40 c _____________________________________________________________________________
3600.03/3610.40 c std/band forms : 81,0
3600.03/3610.40 c 2cl/3cl ITE-codings : 0,0
3600.03/3610.40 c BDD/srt/adr Max costs : 0,1410,0
3600.03/3610.40 c BDDraw/bin/mul/srt/adr: 0,0,0,81,0
3600.03/3610.40 c BDD nodes : 0
3600.03/3610.40 c Es1/CC detections : 0,0
3600.03/3610.40 c CC sort : 81
3600.03/3610.40 c SAT/UNSAT calls : 0,0
3600.03/3610.40 c regenrated variables : 0
3600.03/3610.40 c eliminated fixed lits : 835
3600.03/3610.40 c goal lit flips : 0
3600.03/3610.40 c goal stages : 0
3600.03/3610.40 c goal shrink : 0
3600.03/3610.40 c goal coeff separations: 0
3600.03/3610.40 c restarts : 0
3600.03/3610.40 c conflicts : 0 (0 /sec)
3600.03/3610.40 c decisions : 0 (0 /sec)
3600.03/3610.40 c propagations : 0 (0 /sec)
3600.03/3610.40 c inspects : 0 (0 /sec)
3600.03/3610.40 c CPU time (solving tm) : 3099 s (3099 s, SAT 0 s, UNSAT 0 s)
3600.03/3610.40 c Time for Opt-base : 0.001212 s
3600.03/3610.40 c Steps for Opt-base : 0
3600.03/3610.40 c Time for BDD coding : 0 s
3600.03/3610.40 c Time for srt coding : 0.0108 s
3600.03/3610.40 c _____________________________________________________________________________
3600.03/3610.40 s UNKNOWN
3600.03/3610.43 c received SIGTERM, forwarding to pbsolver...
3600.03/3610.43 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (49878 MiB free)
memory of node 1: 64507 MiB (61196 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529831-1752258909/watcher-4529831-1752258909 -o /tmp/evaluation-result-4529831-1752258909/solver-4529831-1752258909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752253388-115876 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529831-1752258909.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117750, runsolver pid=117747
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.07 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113728920/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1186972 memory=32096 CPUtime=0.06 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 3738 0 0 0 6 0 0 0 20 0 1 0 141568568 1215459328 8024 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 296743 8024 4928 1 0 268765 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 35168 KiB
[startup+0.205685 s]*
/proc/loadavg: 4.07 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113696968/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1223132 memory=74976 CPUtime=0.17 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 11779 0 0 0 15 2 0 0 20 0 1 0 141568568 1252487168 18744 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 305783 18744 7872 1 0 277141 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1227324 KiB
Current children cumulated memory: 78048 KiB
[startup+0.305879 s]*
/proc/loadavg: 4.07 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113681092/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1243780 memory=92768 CPUtime=0.26 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 16271 0 0 0 24 2 0 0 20 0 1 0 141568568 1273630720 23192 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 310945 23192 7904 1 0 282303 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1247972 KiB
Current children cumulated memory: 95840 KiB
[startup+0.700214 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113665972/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1252920 memory=101856 CPUtime=0.66 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 18569 0 0 0 63 3 0 0 20 0 1 0 141568568 1282990080 25464 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 313230 25464 7904 1 0 284588 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1257112 KiB
Current children cumulated memory: 104928 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113665972/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1252920 memory=102752 CPUtime=1.46 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 18771 0 0 0 143 3 0 0 20 0 1 0 141568568 1282990080 25688 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 313230 25688 7904 1 0 284588 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1257112 KiB
Current children cumulated memory: 105824 KiB
[startup+3.10587 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113666232/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1252920 memory=102880 CPUtime=3.06 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 18789 0 0 0 303 3 0 0 20 0 1 0 141568568 1282990080 25720 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 313230 25720 7936 1 0 284588 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1257112 KiB
Current children cumulated memory: 105952 KiB
[startup+6.30016 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113631288/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1309256 memory=143200 CPUtime=6.24 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 28724 0 0 0 620 4 0 0 20 0 1 0 141568568 1340678144 35800 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 327314 35800 8128 1 0 298672 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1313448 KiB
Current children cumulated memory: 146272 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 117755
/proc/meminfo: memFree=113637232/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1311088 memory=145248 CPUtime=12.62 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 29258 0 0 0 1258 4 0 0 20 0 1 0 141568568 1342554112 36312 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 327772 36312 8128 1 0 299130 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1315280 KiB
Current children cumulated memory: 148320 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 117755
/proc/meminfo: memFree=113635404/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1312532 memory=146272 CPUtime=25.38 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 29516 0 0 0 2534 4 0 0 20 0 1 0 141568568 1344032768 36568 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 328133 36568 8128 1 0 299491 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1316724 KiB
Current children cumulated memory: 149344 KiB
[startup+51.1052 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 117756
/proc/meminfo: memFree=113542768/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1386664 memory=218252 CPUtime=50.92 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 46973 0 0 0 5084 8 0 0 20 0 1 0 141568568 1419943936 54563 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 346666 54563 8160 1 0 318024 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1390856 KiB
Current children cumulated memory: 221324 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 117758
/proc/meminfo: memFree=113552960/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1386664 memory=220556 CPUtime=101.97 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 47572 0 0 0 10189 8 0 0 20 0 1 0 141568568 1419943936 55139 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 346666 55139 8160 1 0 318024 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1390856 KiB
Current children cumulated memory: 223628 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 117761
/proc/meminfo: memFree=113555080/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1387704 memory=221708 CPUtime=161.8 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 47853 0 0 0 16172 8 0 0 20 0 1 0 141568568 1421008896 55427 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 346926 55427 8160 1 0 318284 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1391896 KiB
Current children cumulated memory: 224780 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/270 117763
/proc/meminfo: memFree=113536972/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1387704 memory=221708 CPUtime=221.64 cores=5,7
/proc/117755/stat : 117755 (python3) R 117750 117750 115863 0 -1 4194304 47857 0 0 0 22156 8 0 0 20 0 1 0 141568568 1421008896 55427 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 346926 55427 8160 1 0 318284 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
[pid=117930] ppid=117755 vsize=82300 memory=60836 CPUtime=2654.36 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 563207 0 0 0 265241 195 0 0 20 0 1 0 141618584 84275200 15209 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 20575 15209 544 696 0 19736 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 1478008 KiB
Current children cumulated memory: 307080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 118615
/proc/meminfo: memFree=121074724/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=65916 memory=50596 CPUtime=2714.21 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 564657 0 0 0 271226 195 0 0 20 0 1 0 141618584 67497984 12649 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 16479 12649 544 696 0 15640 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 1461624 KiB
Current children cumulated memory: 296840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 118617
/proc/meminfo: memFree=121063424/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=65916 memory=50600 CPUtime=2774.06 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 565890 0 0 0 277210 196 0 0 20 0 1 0 141618584 67497984 12650 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 16479 12650 544 696 0 15640 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 1461624 KiB
Current children cumulated memory: 296844 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 118619
/proc/meminfo: memFree=121080556/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=82300 memory=60840 CPUtime=2833.89 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 566406 0 0 0 283193 196 0 0 20 0 1 0 141618584 84275200 15210 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 20575 15210 544 696 0 19736 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 1478008 KiB
Current children cumulated memory: 307084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 118624
/proc/meminfo: memFree=121065680/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=76428 memory=64988 CPUtime=2893.73 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 569429 0 0 0 289176 197 0 0 20 0 1 0 141618584 78262272 16247 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 19107 16247 544 696 0 18268 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 1472136 KiB
Current children cumulated memory: 311232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 118632
/proc/meminfo: memFree=121093460/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=92812 memory=78572 CPUtime=2953.57 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 588243 0 0 0 295153 204 0 0 20 0 1 0 141618584 95039488 19643 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 23203 19643 544 696 0 22364 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 1488520 KiB
Current children cumulated memory: 324816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 118634
/proc/meminfo: memFree=121091136/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=76428 memory=67180 CPUtime=3013.4 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 598771 0 0 0 301132 208 0 0 20 0 1 0 141618584 78262272 16795 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 19107 16795 544 696 0 18268 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 1472136 KiB
Current children cumulated memory: 313424 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 118636
/proc/meminfo: memFree=121090368/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=84620 memory=71276 CPUtime=3073.25 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 617493 0 0 0 307109 216 0 0 20 0 1 0 141618584 86650880 17819 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 21155 17819 544 696 0 20316 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 1480328 KiB
Current children cumulated memory: 317520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 118637
/proc/meminfo: memFree=121085776/131249996 swapFree=33003468/33010684
[pid=117750] ppid=117747 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/117750/stat : 117750 (scip-naps-1.00a) S 117747 117750 115863 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 141568566 4292608 768 18446744073709551615 94099246702592 94099247597125 140720327402656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94099247836176 94099247883920 94099274088448 140720327403931 140720327404030 140720327404030 140720327409634 0
/proc/117750/statm: 1048 768 704 219 0 110 0
[pid=117755] ppid=117750 vsize=1391516 memory=243172 CPUtime=498.75 cores=5,7
/proc/117755/stat : 117755 (python3) S 117750 117750 115863 0 -1 4194304 55918 0 0 0 49865 10 0 0 20 0 1 0 141568568 1424912384 60793 18446744073709551615 94450888986624 94450888987001 140735947813920 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94450888998296 94450888998916 94450889342976 140735947819343 140735947819552 140735947819552 140735947825127 0
/proc/117755/statm: 347879 60793 8320 1 0 319237 0
[pid=117930] ppid=117755 vsize=84620 memory=71276 CPUtime=3101.28 cores=5,7
/proc/117930/stat : 117930 (naps-1.03a6) R 117755 117930 117930 0 -1 4194304 620577 0 0 0 309909 219 0 0 20 0 1 0 141618584 86650880 17819 18446744073709551615 4198400 7047149 140729627147280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36892672 140729627154831 140729627154929 140729627154929 140729627160521 0
/proc/117930/statm: 21155 17819 544 696 0 20316 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1480328 KiB
Current children cumulated memory: 317520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.42 s]
# the end of solver process 117750 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003293 s, system=0.002553 s
[startup+3610.46 s]
# the end of solver process 117755 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.8 s, system=2.30893 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
Child status: 0
Real time (s): 3610.46
CPU time (s): 3600.11
CPU user time (s): 3597.8
CPU system time (s): 2.30893
CPU usage (%): 99.7134
Max. virtual memory (cumulated for all children) (KiB): 1513096
Max. memory (cumulated for all children) (KiB): 338000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.8
system time used= 2.30893
maximum resident set size= 245560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 383
involuntary context switches= 20651
# summary of solver processes directly reported to runsolver:
# pid: 117750,117755
# total CPU time (s): 3600.11
# total CPU user time (s): 3597.8
# total CPU system time (s): 2.30893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52163 second user time and 16.0209 second system time
The end