362.61/363.88 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4515323-1751228409.opb
362.61/363.88 c Solving mode: decision
362.61/363.88 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
362.61/363.88 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
362.61/363.88 c original problem has 31248 variables (31248 bin, 0 int, 0 impl, 0 cont) and 354 constraints
362.61/363.88 c presolving:
362.61/363.88 c (round 1, fast) 1680 del vars, 168 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
362.61/363.88 c (round 2, exhaustive) 1680 del vars, 168 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 0 clqs
362.61/363.88 c (0.5s) probing: 51/29568 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
362.61/363.88 c (0.5s) probing aborted: 50/50 successive totally useless probings
362.61/363.88 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
362.61/363.88 c (0.7s) symmetry computation finished: 86 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.10)
362.61/363.88 c dynamic symmetry handling statistics:
362.61/363.88 c orbitopal reduction: no components
362.61/363.88 c orbital reduction: 1 components of sizes 86
362.61/363.88 c lexicographic reduction: 86 permutations with support sizes 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 336, 336, 336, 336, 336, 336, 336, 336
362.61/363.88 c handled 1 out of 1 symmetry components
362.61/363.88 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
362.61/363.88 c 1680 deleted vars, 168 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
362.61/363.88 c 0 implications, 0 cliques
362.61/363.88 c presolved problem has 29568 variables (29568 bin, 0 int, 0 impl, 0 cont) and 186 constraints
362.61/363.88 c 9 constraints of type <knapsack>
362.61/363.88 c 168 constraints of type <linear>
362.61/363.88 c 9 constraints of type <logicor>
362.61/363.88 c transformed objective value is always integral (scale: 1)
362.61/363.88 c Presolving Time: 0.81
362.61/363.88 c
362.61/363.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
362.61/363.88 c 1.5s| 1 | 0 | 509 | - | 408M | 0 | 29k| 186 | 186 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 2.0s| 1 | 0 | 1488 | - | 426M | 0 | 29k| 186 | 482 | 296 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 2.5s| 1 | 0 | 1776 | - | 441M | 0 | 29k| 186 | 721 | 535 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 3.8s| 1 | 0 | 2875 | - | 458M | 0 | 29k| 186 | 922 | 736 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 7.7s| 1 | 0 | 7554 | - | 482M | 0 | 29k| 186 |1153 | 967 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 8.5s| 1 | 0 | 8136 | - | 504M | 0 | 29k| 186 |1433 |1247 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 9.8s| 1 | 0 | 8925 | - | 517M | 0 | 29k| 186 |1682 |1496 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 12.3s| 1 | 0 | 11172 | - | 529M | 0 | 29k| 186 |1933 |1747 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 14.5s| 1 | 0 | 13083 | - | 547M | 0 | 29k| 186 |2181 |1995 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 18.9s| 1 | 0 | 18412 | - | 561M | 0 | 29k| 186 |2412 |2226 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 19.9s| 1 | 0 | 19052 | - | 575M | 0 | 29k| 186 |2643 |2457 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 21.7s| 1 | 0 | 20615 | - | 582M | 0 | 29k| 186 |2869 |2683 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 23.0s| 1 | 0 | 21464 | - | 587M | 0 | 29k| 186 |3071 |2885 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 26.9s| 1 | 0 | 26079 | - | 592M | 0 | 29k| 186 |3258 |3072 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 27.6s| 1 | 0 | 26598 | - | 602M | 0 | 29k| 186 |3440 |3254 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
362.61/363.88 c 39.7s| 1 | 2 | 26703 | - | 602M | 0 | 29k| 186 |3440 |3254 | 14 | 0 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 69.9s| 100 | 101 | 67993 | 418.1 | 632M | 12 | 29k| 198 | 299 |8214 | 1 | 12 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 87.6s| 200 | 201 | 85787 | 297.4 | 626M | 12 | 29k| 198 | 404 | 14k| 1 | 12 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 112s| 300 | 301 |116788 | 301.6 | 627M | 12 | 29k| 203 | 474 | 20k| 2 | 20 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 136s| 400 | 401 |143635 | 293.3 | 629M | 24 | 29k| 215 | 443 | 25k| 1 | 34 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 154s| 500 | 467 |159131 | 265.6 | 635M | 44 | 29k| 266 | 0 | 26k| 0 | 86 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 170s| 600 | 529 |179460 | 255.2 | 639M | 45 | 29k| 307 | 0 | 28k| 0 | 127 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 191s| 700 | 602 |206780 | 257.8 | 644M | 45 | 29k| 350 | 578 | 30k| 1 | 170 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 203s| 800 | 658 |220867 | 243.1 | 648M | 45 | 29k| 404 | 0 | 32k| 0 | 224 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 216s| 900 | 725 |238151 | 235.3 | 652M | 45 | 29k| 452 | 562 | 33k| 1 | 272 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 229s| 1000 | 793 |255795 | 229.4 | 655M | 45 | 29k| 501 | 562 | 35k| 1 | 321 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 247s| 1100 | 865 |278531 | 229.2 | 659M | 45 | 29k| 535 | 0 | 37k| 0 | 355 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 264s| 1200 | 939 |304300 | 231.6 | 662M | 45 | 29k| 583 | 450 | 39k| 1 | 404 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 281s| 1300 | 1009 |331974 | 235.1 | 665M | 45 | 29k| 626 | 550 | 41k| 1 | 460 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 292s| 1400 | 1077 |346043 | 228.3 | 667M | 45 | 29k| 639 | 554 | 43k| 1 | 485 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
362.61/363.88 c 304s| 1500 | 1151 |360787 | 222.9 | 668M | 45 | 29k| 654 | 579 | 46k| 2 | 508 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 318s| 1600 | 1219 |380254 | 221.2 | 671M | 45 | 29k| 677 | 0 | 48k| 0 | 538 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 329s| 1700 | 1287 |394460 | 216.5 | 672M | 45 | 29k| 692 | 443 | 50k| 1 | 565 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 338s| 1800 | 1331 |404028 | 209.8 | 674M | 45 | 29k| 707 | 592 | 51k| 1 | 600 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 349s| 1900 | 1373 |412441 | 203.2 | 676M | 45 | 29k| 743 | 451 | 53k| 1 | 637 | 33 | 0.000000e+00 | -- | Inf | unknown
362.61/363.88 c 355s| 2000 | 1411 |420035 | 196.8 | 676M | 45 | 29k| 776 | 596 | 55k| 1 | 670 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 363s| 2100 | 1469 |430013 | 192.2 | 678M | 45 | 29k| 800 | 0 | 58k| 0 | 694 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 372s| 2200 | 1517 |441199 | 188.5 | 680M | 45 | 29k| 838 | 0 | 60k| 0 | 732 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 381s| 2300 | 1565 |451600 | 184.9 | 682M | 45 | 29k| 877 | 576 | 63k| 1 | 771 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 389s| 2400 | 1623 |462334 | 181.6 | 683M | 45 | 29k| 887 | 592 | 65k| 1 | 797 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 400s| 2500 | 1677 |476708 | 180.1 | 686M | 45 | 29k| 908 | 606 | 67k| 1 | 835 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 407s| 2600 | 1723 |484005 | 176.0 | 687M | 45 | 29k| 930 | 452 | 69k| 1 | 878 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 412s| 2700 | 1751 |488535 | 171.2 | 688M | 45 | 29k| 951 | 610 | 70k| 2 | 916 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 420s| 2800 | 1797 |497302 | 168.2 | 689M | 45 | 29k| 957 | 0 | 72k| 0 | 949 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 433s| 2900 | 1855 |510314 | 166.9 | 691M | 45 | 29k| 932 | 603 | 75k| 2 | 980 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.86/500.55 c 444s| 3000 | 1906 |525208 | 166.3 | 692M | 45 | 29k| 937 | 610 | 77k| 2 |1014 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 455s| 3100 | 1956 |539588 | 165.5 | 693M | 45 | 29k| 934 | 552 | 79k| 2 |1047 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 467s| 3200 | 2026 |554689 | 165.1 | 696M | 45 | 29k| 897 | 594 | 82k| 2 |1065 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 476s| 3300 | 2070 |566161 | 163.6 | 697M | 45 | 29k| 900 | 451 | 84k| 1 |1112 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 485s| 3400 | 2124 |577995 | 162.2 | 698M | 45 | 29k| 888 | 451 | 86k| 1 |1141 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c 497s| 3500 | 2173 |587730 | 160.4 | 701M | 45 | 29k| 902 | 443 | 88k| 1 |1179 | 33 | 0.000000e+00 | -- | Inf | unknown
498.86/500.55 c
498.86/500.55 c SCIP Status : solving was interrupted [time limit reached]
498.86/500.55 c Solving Time (sec) : 500.00
498.86/500.55 c Solving Nodes : 3528
498.86/500.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.86/500.55 c Dual Bound : +0.00000000000000e+00
498.86/500.55 c Gap : infinite
498.86/500.55 c ----------------------------------------------------------------------
498.86/500.55 c dual bound: 0.0 -> 0
498.86/500.55 c primal bound: 1e+20 -> 100000000000000000000
498.86/500.55 c scip-goal-lb: 0
498.86/500.55 c scip-goal-ub: 100000000000000000000
498.86/500.55 c writing output to: HOME/tmp7u8_0azk.opb
498.86/500.55 c appending fixed variable constraints
498.86/500.55 c scip-fixed vars: 5.68% (1680/29568)
498.86/500.55 c ----------------------------------------------------------------------
498.86/500.55 c executing external solver: HOME/naps-1.03a6
498.86/500.55 c ----------------------------------------------------------------------
498.86/500.55 c command: HOME/naps-1.03a6 HOME/tmp7u8_0azk.opb
498.86/500.58 c NaPS 1.03a6.
498.86/500.58 c Input file name: HOME/tmp7u8_0azk.opb
3600.02/3610.40 c
3600.02/3610.40 c *** TERMINATED *** by signal 15
3600.02/3610.40 c _____________________________________________________________________________
3600.02/3610.40 c std/band forms : 9,168
3600.02/3610.40 c 2cl/3cl ITE-codings : 329760,37505673
3600.02/3610.40 c BDD/srt/adr Max costs : 229173,0,0
3600.02/3610.40 c BDDraw/bin/mul/srt/adr: 0,0,177,0,0
3600.02/3610.40 c BDD nodes : 38359484
3600.02/3610.40 c Es1/CC detections : 0,0
3600.02/3610.40 c CC sort : 0
3600.02/3610.40 c SAT/UNSAT calls : 0,0
3600.02/3610.40 c regenrated variables : 0
3600.02/3610.40 c eliminated fixed lits : 0
3600.02/3610.40 c goal lit flips : 0
3600.02/3610.40 c goal stages : 0
3600.02/3610.40 c goal shrink : 0
3600.02/3610.40 c goal coeff separations: 0
3600.02/3610.40 c restarts : 0
3600.02/3610.40 c conflicts : 0 (0 /sec)
3600.02/3610.40 c decisions : 0 (0 /sec)
3600.02/3610.40 c propagations : 0 (0 /sec)
3600.02/3610.40 c inspects : 0 (0 /sec)
3600.02/3610.40 c CPU time (solving tm) : 3050 s (2572 s, SAT 0 s, UNSAT 0 s)
3600.02/3610.40 c Time for Opt-base : 5.476 s
3600.02/3610.40 c Steps for Opt-base : 26178635
3600.02/3610.40 c Time for BDD coding : 399.6 s
3600.02/3610.40 c Time for srt coding : 0 s
3600.02/3610.40 c _____________________________________________________________________________
498.94/3610.53 c received SIGTERM, forwarding to pbsolver...
498.94/3610.53 s UNKNOWN
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: 63794 MiB (62924 MiB free)
memory of node 1: 64507 MiB (56676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515323-1751228409/watcher-4515323-1751228409 -o /tmp/evaluation-result-4515323-1751228409/solver-4515323-1751228409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31367 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4515323-1751228409.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32316, runsolver pid=32313
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.16 4.14 3.97 5/260 32321
/proc/meminfo: memFree=122468360/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=13228 memory=10368 CPUtime=0.06 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 1597 0 0 0 5 1 0 0 20 0 1 0 38520613 13545472 2592 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 3307 2592 1216 1 0 1459 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 13312 KiB
[startup+0.215887 s]*
/proc/loadavg: 4.16 4.14 3.97 5/260 32321
/proc/meminfo: memFree=122468376/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1186496 memory=31152 CPUtime=0.16 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 3606 0 0 0 14 2 0 0 20 0 1 0 38520613 1214971904 7788 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 296624 7788 4812 1 0 268646 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190688 KiB
Current children cumulated memory: 34096 KiB
[startup+0.314146 s]*
/proc/loadavg: 4.16 4.14 3.97 5/260 32321
/proc/meminfo: memFree=122468632/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1191032 memory=36144 CPUtime=0.26 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 4654 0 0 0 23 3 0 0 20 0 1 0 38520613 1219616768 9036 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 297758 9036 5068 1 0 269649 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1195224 KiB
Current children cumulated memory: 39088 KiB
[startup+0.700411 s]
/proc/loadavg: 4.16 4.14 3.97 5/260 32321
/proc/meminfo: memFree=122412436/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1289264 memory=134192 CPUtime=0.63 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 26717 0 0 0 53 10 0 0 20 0 1 0 38520613 1320206336 33548 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 322316 33548 7884 1 0 293674 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1293456 KiB
Current children cumulated memory: 137136 KiB
[startup+1.50046 s]
/proc/loadavg: 4.16 4.14 3.97 5/260 32321
/proc/meminfo: memFree=122350632/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1597380 memory=348976 CPUtime=1.42 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 80009 0 0 0 120 22 0 0 20 0 1 0 38520613 1635717120 87244 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 399345 87244 8044 1 0 370703 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1601572 KiB
Current children cumulated memory: 351920 KiB
[startup+3.11385 s]
/proc/loadavg: 4.15 4.14 3.97 5/260 32321
/proc/meminfo: memFree=122101152/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1662500 memory=412284 CPUtime=3.03 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 95253 0 0 0 278 25 0 0 20 0 1 0 38520613 1702400000 103071 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 415625 103071 8108 1 0 386983 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1666692 KiB
Current children cumulated memory: 415228 KiB
[startup+6.30035 s]
/proc/loadavg: 4.15 4.14 3.97 5/260 32321
/proc/meminfo: memFree=122063480/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1701680 memory=449312 CPUtime=6.21 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 103526 0 0 0 594 27 0 0 20 0 1 0 38520613 1742520320 112328 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 425420 112328 8108 1 0 396778 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1705872 KiB
Current children cumulated memory: 452256 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.13 3.98 5/260 32322
/proc/meminfo: memFree=121992804/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1752416 memory=500064 CPUtime=12.59 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 117847 0 0 0 1228 31 0 0 20 0 1 0 38520613 1794473984 125016 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 438104 125016 8108 1 0 409462 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1756608 KiB
Current children cumulated memory: 503008 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.16 3.99 5/260 32322
/proc/meminfo: memFree=121911836/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1824992 memory=571732 CPUtime=25.36 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 136160 0 0 0 2501 35 0 0 20 0 1 0 38520613 1868791808 142933 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 456248 142933 8108 1 0 427606 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1829184 KiB
Current children cumulated memory: 574676 KiB
[startup+51.1138 s]
/proc/loadavg: 4.65 4.26 4.03 5/260 32322
/proc/meminfo: memFree=121880988/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1868000 memory=617004 CPUtime=50.9 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 166604 0 0 0 5050 40 0 0 20 0 1 0 38520613 1912832000 154251 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 467000 154251 8108 1 0 438358 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1872192 KiB
Current children cumulated memory: 619948 KiB
[startup+102.3 s]
/proc/loadavg: 4.68 4.35 4.07 5/259 32324
/proc/meminfo: memFree=124091828/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1868000 memory=617644 CPUtime=101.93 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 166778 0 0 0 10153 40 0 0 20 0 1 0 38520613 1912832000 154411 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 467000 154411 8108 1 0 438358 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1872192 KiB
Current children cumulated memory: 620588 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.30 4.07 5/260 32327
/proc/meminfo: memFree=123955068/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1964940 memory=710316 CPUtime=161.75 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 190014 0 0 0 16131 44 0 0 20 0 1 0 38520613 2012098560 177579 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 491235 177579 8108 1 0 462593 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1969132 KiB
Current children cumulated memory: 713260 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.28 4.08 5/259 32329
/proc/meminfo: memFree=123940292/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1964940 memory=710316 CPUtime=221.56 cores=0,2
/proc/32321/stat : 32321 (python3) R 32316 32316 31357 0 -1 4194304 190018 0 0 0 22112 44 0 0 20 0 1 0 38520613 2012098560 177579 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 491235 177579 8108 1 0 462593 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1969132 KiB
################
# More data... #
################
/proc/32396/stat : 32396 (naps-1.03a6) R 32321 32396 32396 0 -1 4194304 8858558 0 0 0 272307 5090 0 0 20 0 1 0 38570666 18775187456 3544782 18446744073709551615 4198400 7047149 140729777374608 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27291648 140729777383825 140729777383923 140729777383923 140729777389513 0
/proc/32396/statm: 4583786 3544782 544 696 0 4582947 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 20321428 KiB
Current children cumulated memory: 14912484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/258 33035
/proc/meminfo: memFree=109776980/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1982092 memory=730412 CPUtime=498.93 cores=0,2
/proc/32321/stat : 32321 (python3) S 32316 32316 31357 0 -1 4194304 195103 0 0 0 49847 46 0 0 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
[pid=32396] ppid=32321 vsize=18351528 memory=14312120 CPUtime=2833.78 cores=0,2
/proc/32396/stat : 32396 (naps-1.03a6) R 32321 32396 32396 0 -1 4194304 9013686 0 0 0 278254 5124 0 0 20 0 1 0 38570666 18791964672 3578030 18446744073709551615 4198400 7047149 140729777374608 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27291648 140729777383825 140729777383923 140729777383923 140729777389513 0
/proc/32396/statm: 4587882 3578030 544 696 0 4587043 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 20337812 KiB
Current children cumulated memory: 15045476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 33041
/proc/meminfo: memFree=109942656/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1982092 memory=730412 CPUtime=498.93 cores=0,2
/proc/32321/stat : 32321 (python3) S 32316 32316 31357 0 -1 4194304 195103 0 0 0 49847 46 0 0 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
[pid=32396] ppid=32321 vsize=18351528 memory=14355128 CPUtime=2893.6 cores=0,2
/proc/32396/stat : 32396 (naps-1.03a6) R 32321 32396 32396 0 -1 4194304 9015760 0 0 0 284235 5125 0 0 20 0 1 0 38570666 18791964672 3588782 18446744073709551615 4198400 7047149 140729777374608 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27291648 140729777383825 140729777383923 140729777383923 140729777389513 0
/proc/32396/statm: 4587882 3588782 544 696 0 4587043 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 20337812 KiB
Current children cumulated memory: 15088484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/257 33044
/proc/meminfo: memFree=109898944/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1982092 memory=730412 CPUtime=498.93 cores=0,2
/proc/32321/stat : 32321 (python3) S 32316 32316 31357 0 -1 4194304 195103 0 0 0 49847 46 0 0 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
[pid=32396] ppid=32321 vsize=18351528 memory=14394040 CPUtime=2953.43 cores=0,2
/proc/32396/stat : 32396 (naps-1.03a6) R 32321 32396 32396 0 -1 4194304 9017938 0 0 0 290217 5126 0 0 20 0 1 0 38570666 18791964672 3598510 18446744073709551615 4198400 7047149 140729777374608 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27291648 140729777383825 140729777383923 140729777383923 140729777389513 0
/proc/32396/statm: 4587882 3598510 544 696 0 4587043 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 20337812 KiB
Current children cumulated memory: 15127396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/257 33046
/proc/meminfo: memFree=109856800/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1982092 memory=730412 CPUtime=498.93 cores=0,2
/proc/32321/stat : 32321 (python3) S 32316 32316 31357 0 -1 4194304 195103 0 0 0 49847 46 0 0 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
[pid=32396] ppid=32321 vsize=18351528 memory=14422712 CPUtime=3013.25 cores=0,2
/proc/32396/stat : 32396 (naps-1.03a6) R 32321 32396 32396 0 -1 4194304 9020507 0 0 0 296198 5127 0 0 20 0 1 0 38570666 18791964672 3605678 18446744073709551615 4198400 7047149 140729777374608 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27291648 140729777383825 140729777383923 140729777383923 140729777389513 0
/proc/32396/statm: 4587882 3605678 544 696 0 4587043 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 20337812 KiB
Current children cumulated memory: 15156068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/257 33049
/proc/meminfo: memFree=109826896/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1982092 memory=730412 CPUtime=498.93 cores=0,2
/proc/32321/stat : 32321 (python3) S 32316 32316 31357 0 -1 4194304 195103 0 0 0 49847 46 0 0 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
[pid=32396] ppid=32321 vsize=18351528 memory=14453432 CPUtime=3073.07 cores=0,2
/proc/32396/stat : 32396 (naps-1.03a6) R 32321 32396 32396 0 -1 4194304 9022659 0 0 0 302179 5128 0 0 20 0 1 0 38570666 18791964672 3613358 18446744073709551615 4198400 7047149 140729777374608 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27291648 140729777383825 140729777383923 140729777383923 140729777389513 0
/proc/32396/statm: 4587882 3613358 544 696 0 4587043 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 20337812 KiB
Current children cumulated memory: 15186788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.10 4.12 4.11 5/259 33054
/proc/meminfo: memFree=109499888/131382116 swapFree=33010684/33010684
[pid=32316] ppid=32313 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/32316/stat : 32316 (scip-naps-1.00.) S 32313 32316 31357 0 -1 4194304 254 340 0 0 0 0 0 0 20 0 1 0 38520610 4292608 736 18446744073709551615 94390634975232 94390635869765 140735134634400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94390636108816 94390636156560 94390655094784 140735134636449 140735134636546 140735134636546 140735134642148 0
/proc/32316/statm: 1048 736 672 219 0 110 0
[pid=32321] ppid=32316 vsize=1982092 memory=730412 CPUtime=498.93 cores=0,2
/proc/32321/stat : 32321 (python3) S 32316 32316 31357 0 -1 4194304 195103 0 0 0 49847 46 0 0 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
[pid=32396] ppid=32321 vsize=18351528 memory=14455480 CPUtime=3101.09 cores=0,2
/proc/32396/stat : 32396 (naps-1.03a6) R 32321 32396 32396 0 -1 4194304 9023488 0 0 0 304981 5128 0 0 20 0 1 0 38570666 18791964672 3613870 18446744073709551615 4198400 7047149 140729777374608 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27291648 140729777383825 140729777383923 140729777383923 140729777389513 0
/proc/32396/statm: 4587882 3613870 544 696 0 4587043 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 20337812 KiB
Current children cumulated memory: 15188836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 32316 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003648 s, system=0.010595 s
[startup+3611.15 s]
# the end of solver process 32321 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3548.78 s, system=52.01 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+3610.8 s]
/proc/loadavg: 4.10 4.12 4.11 5/258 33054
/proc/meminfo: memFree=120467184/131382116 swapFree=33010684/33010684
[pid=32321] ppid=32313 vsize=1982092 memory=730412 CPUtime=3600.42 cores=0,2
/proc/32321/stat : 32321 (python3) R 32313 32316 31357 0 -1 4194304 235669 9023489 0 0 49869 50 304981 5142 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
Current cumulated CPU time of completed processes: 0.014243 s
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 1982092 KiB
Current children cumulated memory: 730412 KiB
[startup+3611 s]*
/proc/loadavg: 4.10 4.12 4.11 5/257 33054
/proc/meminfo: memFree=124002032/131382116 swapFree=33010684/33010684
[pid=32321] ppid=32313 vsize=1982092 memory=730412 CPUtime=3600.63 cores=0,2
/proc/32321/stat : 32321 (python3) R 32313 32316 31357 0 -1 4194304 271329 9023489 0 0 49886 54 304981 5142 20 0 1 0 38520613 2029662208 182603 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 495523 182603 8140 1 0 466881 0
Current cumulated CPU time of completed processes: 0.014243 s
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 1982092 KiB
Current children cumulated memory: 730412 KiB
[startup+3611.11 s]
/proc/loadavg: 4.10 4.12 4.11 5/257 33054
/proc/meminfo: memFree=124002032/131382116 swapFree=33010684/33010684
[pid=32321] ppid=32313 vsize=1865776 memory=664528 CPUtime=3600.74 cores=0,2
/proc/32321/stat : 32321 (python3) R 32313 32316 31357 0 -1 4194304 296660 9023489 0 0 49896 55 304981 5142 20 0 1 0 38520613 1910554624 166132 18446744073709551615 94020150001664 94020150002041 140726914506288 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94020150013336 94020150013956 94020176121856 140726914513240 140726914513442 140726914513442 140726914519015 0
/proc/32321/statm: 466444 166132 8140 1 0 437802 0
Current cumulated CPU time of completed processes: 0.014243 s
Current children cumulated CPU time: 3600.74 s
Current children cumulated vsize: 1865776 KiB
Current children cumulated memory: 664528 KiB
Child status: 0
Real time (s): 3611.15
CPU time (s): 3600.79
CPU user time (s): 3548.78
CPU system time (s): 52.01
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 24532116
Max. memory (cumulated for all children) (KiB): 17089344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.78
system time used= 52.01
maximum resident set size= 16516244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9321279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 341
involuntary context switches= 7953
# summary of solver processes directly reported to runsolver:
# pid: 32316,32321
# total CPU time (s): 3600.79
# total CPU user time (s): 3548.78
# total CPU system time (s): 52.01
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9424 second user time and 39.0451 second system time
The end