45.54/45.73 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530604-1752264817.opb
45.54/45.73 c Solving mode: optimization
45.54/45.73 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
45.54/45.73 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
45.54/45.73 c original problem has 25846 variables (25846 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
45.54/45.73 c presolving:
45.54/45.73 c (round 1, fast) 106 del vars, 106 del conss, 210 add conss, 105 chg bounds, 795 chg sides, 1005 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 2, fast) 316 del vars, 316 del conss, 210 add conss, 315 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 3, fast) 421 del vars, 527 del conss, 211 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 4, fast) 421 del vars, 631 del conss, 315 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 5, exhaustive) 421 del vars, 841 del conss, 315 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 6, fast) 526 del vars, 841 del conss, 508 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 7, fast) 526 del vars, 841 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 8, exhaustive) 526 del vars, 1078 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (round 9, exhaustive) 526 del vars, 1078 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 765 upgd conss, 0 impls, 3249 clqs
45.54/45.73 c (2.8s) probing: 1000/25320 (3.9%) - 0 fixings, 0 aggregations, 657358 implications, 0 bound changes
45.54/45.73 c (2.8s) probing: 1001/25320 (4.0%) - 0 fixings, 0 aggregations, 657694 implications, 0 bound changes
45.54/45.73 c (2.8s) probing aborted: 1000/1000 successive useless probings
45.54/45.73 c (2.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
45.54/45.73 c (2.9s) no symmetry present (symcode time: 0.01)
45.54/45.73 c presolving (10 rounds: 10 fast, 4 medium, 4 exhaustive):
45.54/45.73 c 526 deleted vars, 1078 deleted constraints, 657 added constraints, 420 tightened bounds, 0 added holes, 795 changed sides, 12660 changed coefficients
45.54/45.73 c 0 implications, 3249 cliques
45.54/45.73 c presolved problem has 25320 variables (25320 bin, 0 int, 0 impl, 0 cont) and 1080 constraints
45.54/45.73 c 120 constraints of type <knapsack>
45.54/45.73 c 330 constraints of type <setppc>
45.54/45.73 c 315 constraints of type <linear>
45.54/45.73 c 315 constraints of type <logicor>
45.54/45.73 c transformed objective value is always integral (scale: 1)
45.54/45.73 c Presolving Time: 2.84
45.54/45.73 c
45.54/45.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.54/45.73 c 11.8s| 1 | 0 | 20096 | - | 216M | 0 | 25k|1082 |1080 | 0 | 0 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 12.9s| 1 | 0 | 24318 | - | 218M | 0 | 25k|1082 |1080 | 0 | 0 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 12.9s| 1 | 0 | 24318 | - | 218M | 0 | 25k|1082 |1079 | 0 | 0 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 13.9s| 1 | 0 | 25469 | - | 231M | 0 | 25k|1082 |1216 | 137 | 1 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 14.9s| 1 | 0 | 26956 | - | 242M | 0 | 25k|1082 |1363 | 284 | 2 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 15.7s| 1 | 0 | 28118 | - | 248M | 0 | 25k|1082 |1498 | 419 | 3 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 16.5s| 1 | 0 | 29059 | - | 255M | 0 | 25k|1082 |1626 | 547 | 4 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 17.7s| 1 | 0 | 30448 | - | 261M | 0 | 25k|1082 |1756 | 677 | 5 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 19.2s| 1 | 0 | 32202 | - | 265M | 0 | 25k|1082 |1888 | 809 | 6 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 20.6s| 1 | 0 | 33523 | - | 271M | 0 | 25k|1082 |2017 | 938 | 7 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
45.54/45.73 c 22.2s| 1 | 0 | 35435 | - | 275M | 0 | 25k|1082 |2148 |1069 | 8 | 2 | 0 | 1.351773e+02 | -- | Inf | unknown
45.54/45.73 c 23.2s| 1 | 0 | 36679 | - | 283M | 0 | 25k|1082 |2278 |1199 | 9 | 2 | 0 | 1.351901e+02 | -- | Inf | unknown
45.54/45.73 c 24.2s| 1 | 0 | 37638 | - | 309M | 0 | 25k|1082 |2415 |1336 | 10 | 2 | 0 | 1.351930e+02 | -- | Inf | unknown
45.54/45.73 c 25.0s| 1 | 0 | 38483 | - | 310M | 0 | 25k|1082 |2537 |1458 | 11 | 2 | 0 | 1.351930e+02 | -- | Inf | unknown
45.54/45.73 c 25.7s| 1 | 0 | 39350 | - | 311M | 0 | 25k|1082 |2649 |1570 | 12 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.54/45.73 c 26.7s| 1 | 0 | 40531 | - | 311M | 0 | 25k|1082 |2358 |1682 | 13 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 27.3s| 1 | 0 | 41226 | - | 314M | 0 | 25k|1082 |2468 |1792 | 14 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 28.0s| 1 | 0 | 41953 | - | 315M | 0 | 25k|1082 |2592 |1916 | 15 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 28.9s| 1 | 0 | 42886 | - | 318M | 0 | 25k|1082 |2709 |2033 | 16 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 29.8s| 1 | 0 | 44039 | - | 318M | 0 | 25k|1082 |2818 |2142 | 17 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 30.6s| 1 | 0 | 44736 | - | 323M | 0 | 25k|1082 |2929 |2253 | 18 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 31.9s| 1 | 0 | 45733 | - | 328M | 0 | 25k|1082 |2503 |2386 | 19 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 33.3s| 1 | 0 | 46945 | - | 328M | 0 | 25k|1082 |2621 |2504 | 20 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 34.5s| 1 | 0 | 48282 | - | 330M | 0 | 25k|1082 |2745 |2628 | 21 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 35.9s| 1 | 0 | 49773 | - | 330M | 0 | 25k|1082 |2864 |2747 | 22 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 36.0s| 1 | 0 | 49779 | - | 330M | 0 | 25k|1248 |3031 |2747 | 22 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 37.1s| 1 | 0 | 51328 | - | 331M | 0 | 25k|1248 |3147 |2863 | 23 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 39.3s| 1 | 0 | 54404 | - | 331M | 0 | 25k|1248 |2762 |2975 | 24 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 40.4s| 1 | 0 | 55592 | - | 332M | 0 | 25k|1248 |2874 |3087 | 25 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 41.5s| 1 | 0 | 56851 | - | 334M | 0 | 25k|1248 |2986 |3199 | 26 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.54/45.73 c 42.7s| 1 | 0 | 58076 | - | 337M | 0 | 25k|1248 |3106 |3319 | 27 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 43.4s| 1 | 0 | 58846 | - | 338M | 0 | 25k|1248 |3216 |3429 | 28 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.54/45.73 c 44.5s| 1 | 0 | 60247 | - | 338M | 0 | 25k|1248 |3330 |3543 | 29 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
997.00/1000.24 c 45.5s| 1 | 0 | 61377 | - | 339M | 0 | 25k|1248 |2915 |3663 | 30 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
997.00/1000.24 c 46.9s| 1 | 0 | 62997 | - | 340M | 0 | 25k|1248 |3029 |3777 | 31 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
997.00/1000.24 c 48.0s| 1 | 0 | 64130 | - | 342M | 0 | 25k|1248 |3147 |3895 | 32 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
997.00/1000.24 c 49.0s| 1 | 0 | 65220 | - | 344M | 0 | 25k|1248 |3273 |4021 | 33 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
997.00/1000.24 c 98.6s| 1 | 2 |123274 | - | 347M | 0 | 25k|1323 |3273 |4021 | 33 | 77 | 31 | 1.352105e+02 | -- | Inf | unknown
997.00/1000.24 c 270s| 100 | 79 |547758 |4874.1 | 359M | 22 | 25k|1528 |1861 |6320 | 1 | 292 | 31 | 1.352105e+02 | -- | Inf | 2.79%
997.00/1000.24 c 375s| 200 | 165 |809657 |3740.9 | 370M | 41 | 25k|1674 |1829 |8098 | 2 | 491 | 31 | 1.352105e+02 | -- | Inf | 2.79%
997.00/1000.24 c 503s| 300 | 249 | 1149k|3628.0 | 375M | 41 | 25k|1762 |1846 |9147 | 1 | 703 | 31 | 1.352105e+02 | -- | Inf | 4.43%
997.00/1000.24 c 579s| 400 | 317 | 1355k|3232.9 | 380M | 42 | 25k|1869 |1974 |9586 | 2 | 924 | 31 | 1.352105e+02 | -- | Inf | 4.45%
997.00/1000.24 c 645s| 500 | 397 | 1519k|2915.0 | 389M | 43 | 25k|1951 |1846 | 10k| 1 |1190 | 31 | 1.352105e+02 | -- | Inf | 4.45%
997.00/1000.24 c 702s| 600 | 447 | 1663k|2667.7 | 392M | 43 | 25k|2121 |1941 | 10k| 1 |1464 | 31 | 1.352105e+02 | -- | Inf | 4.46%
997.00/1000.24 c 792s| 700 | 521 | 1877k|2592.6 | 398M | 43 | 25k|2152 |1823 | 12k| 1 |1710 | 31 | 1.352105e+02 | -- | Inf | 4.46%
997.00/1000.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.00/1000.24 c 948s| 800 | 601 | 2197k|2669.1 | 401M | 43 | 25k|2259 |2068 | 13k| 1 |1866 | 31 | 1.352105e+02 | -- | Inf | 6.03%
997.00/1000.24 c 971s| 900 | 620 | 2254k|2434.9 | 419M | 59 | 25k|2230 | 0 | 13k| 0 |1966 | 31 | 1.352105e+02 | -- | Inf | 6.03%
997.00/1000.24 c
997.00/1000.24 c SCIP Status : solving was interrupted [time limit reached]
997.00/1000.24 c Solving Time (sec) : 1000.00
997.00/1000.24 c Solving Nodes : 988
997.00/1000.24 c Primal Bound : +1.00000000000000e+20 (0 solutions)
997.00/1000.24 c Dual Bound : +1.35210526315790e+02
997.00/1000.24 c Gap : infinite
997.00/1000.24 c ----------------------------------------------------------------------
997.00/1000.24 c dual bound: 135.21052631578954 -> 136
997.00/1000.24 c primal bound: 1e+20 -> 100000000000000000000
997.00/1000.24 c scip-goal-lb: 136
997.00/1000.24 c scip-goal-ub: 100000000000000000000
997.00/1000.24 c writing output to: HOME/tmpukmjgs70.opb
997.00/1000.24 c appending fixed variable constraints
997.00/1000.24 c scip-fixed vars: 1.67% (423/25320)
997.00/1000.24 c ----------------------------------------------------------------------
997.00/1000.24 c executing external solver: HOME/naps-1.03a6
997.00/1000.24 c ----------------------------------------------------------------------
997.00/1000.24 c command: HOME/naps-1.03a6 -goal-lb=136 -goal-ub=99999999999999999999 HOME/tmpukmjgs70.opb
997.00/1000.26 c NaPS 1.03a6.
997.00/1000.26 c Input file name: HOME/tmpukmjgs70.opb
1036.76/1040.13 c goal1 is divided by 128
1036.76/1040.13 c multi stage optimization mode: 1-th step
3600.01/3611.00 c
3600.01/3611.00 c *** TERMINATED *** by signal 15
3600.01/3611.00 c s UNKNOWN
3600.01/3611.00 c _____________________________________________________________________________
3600.01/3611.00 c std/band forms : 1038,224
3600.01/3611.00 c 2cl/3cl ITE-codings : 119130,3933718
3600.01/3611.00 c BDD/srt/adr Max costs : 38026,6660,0
3600.01/3611.00 c BDDraw/bin/mul/srt/adr: 330,0,602,330,0
3600.01/3611.00 c BDD nodes : 4284398
3600.01/3611.00 c Es1/CC detections : 0,0
3600.01/3611.00 c CC sort : 330
3600.01/3611.00 c SAT/UNSAT calls : 0,0
3600.01/3611.00 c regenrated variables : 0
3600.01/3611.00 c eliminated fixed lits : 320
3600.01/3611.00 c goal lit flips : 0
3600.01/3611.00 c goal stages : 1
3600.01/3611.00 c goal shrink : 1
3600.01/3611.00 c goal coeff separations: 0
3600.01/3611.00 c restarts : 0
3600.01/3611.00 c conflicts : 0 (0 /sec)
3600.01/3611.00 c decisions : 0 (0 /sec)
3600.01/3611.00 c propagations : 0 (0 /sec)
3600.01/3611.00 c inspects : 0 (0 /sec)
3600.01/3611.00 c CPU time (solving tm) : 2583 s (2544 s, SAT 0 s, UNSAT 0 s)
3600.01/3611.00 c Time for Opt-base : 2.535 s
3600.01/3611.00 c Steps for Opt-base : 4327239
3600.01/3611.00 c Time for BDD coding : 31.96 s
3600.01/3611.00 c Time for srt coding : 0.2359 s
3600.01/3611.00 c _____________________________________________________________________________
3600.01/3611.01 c received SIGTERM, forwarding to pbsolver...
997.07/3611.12 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: 63708 MiB (60017 MiB free)
memory of node 1: 64465 MiB (62411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530604-1752264817/watcher-4530604-1752264817 -o /tmp/evaluation-result-4530604-1752264817/solver-4530604-1752264817 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752258788-116512 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530604-1752264817.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118452, runsolver pid=118449
[startup+0.100062 s]*
/proc/loadavg: 4.14 4.15 4.11 5/267 118457
/proc/meminfo: memFree=125355964/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1187400 memory=32372 CPUtime=0.07 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 3808 0 0 0 6 1 0 0 20 0 1 0 142159260 1215897600 8093 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 296850 8093 4931 1 0 268872 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191592 KiB
Current children cumulated memory: 35444 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.14 4.15 4.11 5/267 118457
/proc/meminfo: memFree=125302540/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1245404 memory=98036 CPUtime=0.17 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 17579 0 0 0 14 3 0 0 20 0 1 0 142159260 1275293696 24509 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 311351 24509 7811 1 0 282709 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1249596 KiB
Current children cumulated memory: 101108 KiB
[startup+0.305796 s]*
/proc/loadavg: 4.14 4.15 4.11 5/267 118457
/proc/meminfo: memFree=125262220/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1274956 memory=124660 CPUtime=0.27 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 24179 0 0 0 23 4 0 0 20 0 1 0 142159260 1305554944 31165 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 318739 31165 7907 1 0 290097 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1279148 KiB
Current children cumulated memory: 127732 KiB
[startup+0.700204 s]
/proc/loadavg: 4.14 4.15 4.11 5/267 118457
/proc/meminfo: memFree=125254156/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1341352 memory=186192 CPUtime=0.66 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 35721 0 0 0 60 6 0 0 20 0 1 0 142159260 1373544448 46548 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 335338 46548 7939 1 0 306696 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1345544 KiB
Current children cumulated memory: 189264 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.15 4.11 5/267 118457
/proc/meminfo: memFree=125197956/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1343812 memory=188624 CPUtime=1.45 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 36336 0 0 0 139 6 0 0 20 0 1 0 142159260 1376063488 47156 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 335953 47156 7939 1 0 307311 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1348004 KiB
Current children cumulated memory: 191696 KiB
[startup+3.10548 s]
/proc/loadavg: 4.13 4.14 4.11 5/267 118457
/proc/meminfo: memFree=125185924/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1398184 memory=206756 CPUtime=3.06 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 41257 0 0 0 299 7 0 0 20 0 1 0 142159260 1431740416 51689 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 349546 51689 8035 1 0 320904 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1402376 KiB
Current children cumulated memory: 209828 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.14 4.11 5/267 118457
/proc/meminfo: memFree=125142124/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1427268 memory=234000 CPUtime=6.24 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 48900 0 0 0 616 8 0 0 20 0 1 0 142159260 1461522432 58500 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 356817 58500 8131 1 0 328175 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1431460 KiB
Current children cumulated memory: 237072 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.14 4.10 5/267 118457
/proc/meminfo: memFree=125118324/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1431440 memory=237840 CPUtime=12.63 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 49864 0 0 0 1255 8 0 0 20 0 1 0 142159260 1465794560 59460 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 357860 59460 8131 1 0 329218 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1435632 KiB
Current children cumulated memory: 240912 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.10 5/267 118457
/proc/meminfo: memFree=124964648/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1539432 memory=342120 CPUtime=25.39 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 74153 0 0 0 2526 13 0 0 20 0 1 0 142159260 1576378368 85530 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 384858 85530 8131 1 0 356216 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1543624 KiB
Current children cumulated memory: 345192 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.14 4.10 5/267 118458
/proc/meminfo: memFree=124809136/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1579392 memory=381992 CPUtime=50.93 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 85613 0 0 0 5078 15 0 0 20 0 1 0 142159260 1617297408 95498 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 394848 95498 8131 1 0 366206 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1583584 KiB
Current children cumulated memory: 385064 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 118461
/proc/meminfo: memFree=124295208/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1606780 memory=409664 CPUtime=101.96 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 108645 0 0 0 10177 19 0 0 20 0 1 0 142159260 1645342720 102416 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 401695 102416 8131 1 0 373053 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1610972 KiB
Current children cumulated memory: 412736 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 118463
/proc/meminfo: memFree=124096912/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1606780 memory=409792 CPUtime=161.76 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 108692 0 0 0 16157 19 0 0 20 0 1 0 142159260 1645342720 102448 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 401695 102448 8131 1 0 373053 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1610972 KiB
Current children cumulated memory: 412864 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 118465
/proc/meminfo: memFree=109370124/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1640780 memory=444216 CPUtime=221.57 cores=5,7
/proc/118457/stat : 118457 (python3) R 118452 118452 116495 0 -1 4194304 123025 0 0 0 22136 21 0 0 20 0 1 0 142159260 1680158720 111054 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 410195 111054 8131 1 0 381553 0
Current children cumulated CPU time: 221.57 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 1.16 1.11 1.42 2/246 118712
/proc/meminfo: memFree=122994348/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1706176 memory=509148 CPUtime=997.06 cores=5,7
/proc/118457/stat : 118457 (python3) S 118452 118452 116495 0 -1 4194304 144754 0 0 0 99681 25 0 0 20 0 1 0 142159260 1747124224 127287 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 426544 127287 8163 1 0 397902 0
[pid=118538] ppid=118457 vsize=5611740 memory=5333428 CPUtime=2275.21 cores=5,7
/proc/118538/stat : 118538 (naps-1.03a6) R 118457 118538 118538 0 -1 4194304 1295757 0 0 0 225746 1775 0 0 20 0 1 0 142259284 5746421760 1333357 18446744073709551615 4198400 7047149 140725123055840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13533184 140725123058020 140725123058161 140725123058161 140725123063753 0
/proc/118538/statm: 1402935 1333357 640 696 0 1402096 0
Current children cumulated CPU time: 3272.27 s
Current children cumulated vsize: 7322108 KiB
Current children cumulated memory: 5845648 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.10 1.40 2/247 118719
/proc/meminfo: memFree=122269408/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1706176 memory=509148 CPUtime=997.06 cores=5,7
/proc/118457/stat : 118457 (python3) S 118452 118452 116495 0 -1 4194304 144754 0 0 0 99681 25 0 0 20 0 1 0 142159260 1747124224 127287 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 426544 127287 8163 1 0 397902 0
[pid=118538] ppid=118457 vsize=6239884 memory=6024096 CPUtime=2335.03 cores=5,7
/proc/118538/stat : 118538 (naps-1.03a6) R 118457 118538 118538 0 -1 4194304 1405459 0 0 0 231599 1904 0 0 20 0 1 0 142259284 6389641216 1506024 18446744073709551615 4198400 7047149 140725123055840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13533184 140725123058020 140725123058161 140725123058161 140725123063753 0
/proc/118538/statm: 1559971 1506024 640 696 0 1559132 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 7950252 KiB
Current children cumulated memory: 6536316 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.10 1.37 2/247 118721
/proc/meminfo: memFree=120954468/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1706176 memory=509148 CPUtime=997.06 cores=5,7
/proc/118457/stat : 118457 (python3) S 118452 118452 116495 0 -1 4194304 144754 0 0 0 99681 25 0 0 20 0 1 0 142159260 1747124224 127287 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 426544 127287 8163 1 0 397902 0
[pid=118538] ppid=118457 vsize=7576884 memory=7386320 CPUtime=2394.85 cores=5,7
/proc/118538/stat : 118538 (naps-1.03a6) R 118457 118538 118538 0 -1 4194304 1450058 0 0 0 237512 1973 0 0 20 0 1 0 142259284 7758729216 1846580 18446744073709551615 4198400 7047149 140725123055840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13533184 140725123058020 140725123058161 140725123058161 140725123063753 0
/proc/118538/statm: 1894221 1846580 640 696 0 1893382 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 9287252 KiB
Current children cumulated memory: 7898540 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.09 1.35 2/247 118723
/proc/meminfo: memFree=120837376/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1706176 memory=509148 CPUtime=997.06 cores=5,7
/proc/118457/stat : 118457 (python3) S 118452 118452 116495 0 -1 4194304 144754 0 0 0 99681 25 0 0 20 0 1 0 142159260 1747124224 127287 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 426544 127287 8163 1 0 397902 0
[pid=118538] ppid=118457 vsize=7681692 memory=7484768 CPUtime=2454.68 cores=5,7
/proc/118538/stat : 118538 (naps-1.03a6) R 118457 118538 118538 0 -1 4194304 1584784 0 0 0 243460 2008 0 0 20 0 1 0 142259284 7866052608 1871192 18446744073709551615 4198400 7047149 140725123055840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13533184 140725123058020 140725123058161 140725123058161 140725123063753 0
/proc/118538/statm: 1920423 1871192 640 696 0 1919584 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 9392060 KiB
Current children cumulated memory: 7996988 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.10 1.34 2/247 118725
/proc/meminfo: memFree=122213788/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1706176 memory=509148 CPUtime=997.06 cores=5,7
/proc/118457/stat : 118457 (python3) S 118452 118452 116495 0 -1 4194304 144754 0 0 0 99681 25 0 0 20 0 1 0 142159260 1747124224 127287 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 426544 127287 8163 1 0 397902 0
[pid=118538] ppid=118457 vsize=6312388 memory=6115464 CPUtime=2514.5 cores=5,7
/proc/118538/stat : 118538 (naps-1.03a6) R 118457 118538 118538 0 -1 4194304 1587283 0 0 0 249433 2017 0 0 20 0 1 0 142259284 6463885312 1528866 18446744073709551615 4198400 7047149 140725123055840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13533184 140725123058020 140725123058161 140725123058161 140725123063753 0
/proc/118538/statm: 1578097 1528866 640 696 0 1577258 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 8022756 KiB
Current children cumulated memory: 6627684 KiB
[startup+3582.3 s]
/proc/loadavg: 1.05 1.08 1.32 2/247 118727
/proc/meminfo: memFree=122214848/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1706176 memory=509148 CPUtime=997.06 cores=5,7
/proc/118457/stat : 118457 (python3) S 118452 118452 116495 0 -1 4194304 144754 0 0 0 99681 25 0 0 20 0 1 0 142159260 1747124224 127287 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 426544 127287 8163 1 0 397902 0
[pid=118538] ppid=118457 vsize=6312388 memory=6115464 CPUtime=2574.33 cores=5,7
/proc/118538/stat : 118538 (naps-1.03a6) R 118457 118538 118538 0 -1 4194304 1588094 0 0 0 255416 2017 0 0 20 0 1 0 142259284 6463885312 1528866 18446744073709551615 4198400 7047149 140725123055840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13533184 140725123058020 140725123058161 140725123058161 140725123063753 0
/proc/118538/statm: 1578097 1528866 640 696 0 1577258 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 8022756 KiB
Current children cumulated memory: 6627684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 1.10 1.09 1.31 2/247 118729
/proc/meminfo: memFree=122213936/131249988 swapFree=33010160/33010684
[pid=118452] ppid=118449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/118452/stat : 118452 (scip-naps-1.00a) S 118449 118452 116495 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 142159258 4292608 768 18446744073709551615 94210179600384 94210180494917 140723147872816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94210180733968 94210180781712 94210198274048 140723147876763 140723147876862 140723147876862 140723147882466 0
/proc/118452/statm: 1048 768 704 219 0 110 0
[pid=118457] ppid=118452 vsize=1706176 memory=509148 CPUtime=997.06 cores=5,7
/proc/118457/stat : 118457 (python3) S 118452 118452 116495 0 -1 4194304 144754 0 0 0 99681 25 0 0 20 0 1 0 142159260 1747124224 127287 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 426544 127287 8163 1 0 397902 0
[pid=118538] ppid=118457 vsize=6312388 memory=6115464 CPUtime=2602.95 cores=5,7
/proc/118538/stat : 118538 (naps-1.03a6) R 118457 118538 118538 0 -1 4194304 1588152 0 0 0 258278 2017 0 0 20 0 1 0 142259284 6463885312 1528866 18446744073709551615 4198400 7047149 140725123055840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13533184 140725123058020 140725123058161 140725123058161 140725123063753 0
/proc/118538/statm: 1578097 1528866 640 696 0 1577258 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 8022756 KiB
Current children cumulated memory: 6627684 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.01 s]
# the end of solver process 118452 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002529 s, system=0.00361 s
Sleeping 2 seconds
[startup+3611.37 s]
# the end of solver process 118457 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.79 s, system=20.6115 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+3611.21 s]
/proc/loadavg: 1.10 1.09 1.31 2/246 118729
/proc/meminfo: memFree=126790608/131249988 swapFree=33010160/33010684
[pid=118457] ppid=118449 vsize=1699004 memory=501976 CPUtime=3600.21 cores=5,7
/proc/118457/stat : 118457 (python3) R 118449 118452 116495 0 -1 4194304 174310 1588153 0 0 99687 27 258278 2029 20 0 1 0 142159260 1739780096 125494 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 424751 125494 8163 1 0 396109 0
Current cumulated CPU time of completed processes: 0.006139 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 1699004 KiB
Current children cumulated memory: 501976 KiB
[startup+3611.3 s]
/proc/loadavg: 1.10 1.09 1.31 2/246 118729
/proc/meminfo: memFree=126790608/131249988 swapFree=33010160/33010684
[pid=118457] ppid=118449 vsize=1699004 memory=501976 CPUtime=3600.31 cores=5,7
/proc/118457/stat : 118457 (python3) R 118449 118452 116495 0 -1 4194304 190029 1588153 0 0 99696 28 258278 2029 20 0 1 0 142159260 1739780096 125494 18446744073709551615 94064128602112 94064128602489 140732343649008 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94064128613784 94064128614404 94064139927552 140732343654750 140732343654944 140732343654944 140732343660519 0
/proc/118457/statm: 424751 125494 8163 1 0 396109 0
Current cumulated CPU time of completed processes: 0.006139 s
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 1699004 KiB
Current children cumulated memory: 501976 KiB
Child status: 0
Real time (s): 3611.37
CPU time (s): 3600.4
CPU user time (s): 3579.79
CPU system time (s): 20.6115
CPU usage (%): 99.6963
Max. virtual memory (cumulated for all children) (KiB): 9859136
Max. memory (cumulated for all children) (KiB): 8464024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.79
system time used= 20.6115
maximum resident set size= 7951804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1792945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 486
involuntary context switches= 2480
# summary of solver processes directly reported to runsolver:
# pid: 118452,118457
# total CPU time (s): 3600.4
# total CPU user time (s): 3579.79
# total CPU system time (s): 20.6115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75774 second user time and 16.805 second system time
The end