499.13/500.58 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4512983-1751206865.opb
499.13/500.58 c Solving mode: decision
499.13/500.58 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
499.13/500.58 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
499.13/500.58 c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9456 constraints
499.13/500.58 c presolving:
499.13/500.58 c (round 1, fast) 531 del vars, 956 del conss, 681 add conss, 472 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 369 clqs
499.13/500.58 c (round 2, fast) 748 del vars, 1277 del conss, 783 add conss, 533 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 369 clqs
499.13/500.58 c (round 3, fast) 748 del vars, 1277 del conss, 808 add conss, 533 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 376 clqs
499.13/500.58 c (round 4, medium) 776 del vars, 1277 del conss, 808 add conss, 533 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
499.13/500.58 c (round 5, fast) 776 del vars, 1305 del conss, 823 add conss, 533 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 327 clqs
499.13/500.58 c (round 6, exhaustive) 776 del vars, 2218 del conss, 823 add conss, 533 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 327 clqs
499.13/500.58 c (round 7, exhaustive) 776 del vars, 2218 del conss, 823 add conss, 533 chg bounds, 3 chg sides, 0 chg coeffs, 6428 upgd conss, 0 impls, 327 clqs
499.13/500.58 c (round 8, exhaustive) 776 del vars, 2314 del conss, 855 add conss, 533 chg bounds, 3 chg sides, 0 chg coeffs, 6428 upgd conss, 0 impls, 327 clqs
499.13/500.58 c (round 9, exhaustive) 776 del vars, 2314 del conss, 855 add conss, 533 chg bounds, 53 chg sides, 0 chg coeffs, 6428 upgd conss, 0 impls, 327 clqs
499.13/500.58 c (round 10, exhaustive) 776 del vars, 2314 del conss, 855 add conss, 533 chg bounds, 53 chg sides, 0 chg coeffs, 6478 upgd conss, 0 impls, 327 clqs
499.13/500.58 c (0.5s) probing: 877/3553 (24.7%) - 2 fixings, 0 aggregations, 284 implications, 0 bound changes
499.13/500.58 c (0.5s) probing aborted: 50/50 successive totally useless probings
499.13/500.58 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
499.13/500.58 c (0.5s) no symmetry present (symcode time: 0.00)
499.13/500.58 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
499.13/500.58 c 778 deleted vars, 2314 deleted constraints, 855 added constraints, 533 tightened bounds, 0 added holes, 53 changed sides, 32 changed coefficients
499.13/500.58 c 0 implications, 604 cliques
499.13/500.58 c presolved problem has 3551 variables (3551 bin, 0 int, 0 impl, 0 cont) and 7997 constraints
499.13/500.58 c 32 constraints of type <and>
499.13/500.58 c 3 constraints of type <xor>
499.13/500.58 c 1583 constraints of type <linear>
499.13/500.58 c 6379 constraints of type <logicor>
499.13/500.58 c transformed objective value is always integral (scale: 1)
499.13/500.58 c Presolving Time: 0.49
499.13/500.58 c
499.13/500.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
499.13/500.58 c 0.6s| 1 | 0 | 894 | - | 52M | 0 |3551 |8001 |8044 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 1.3s| 1 | 0 | 2802 | - | 56M | 0 |3551 |8001 |8345 | 301 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 2.7s| 1 | 0 | 5030 | - | 61M | 0 |3551 |8002 |8647 | 603 | 2 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 4.9s| 1 | 0 | 8498 | - | 64M | 0 |3551 |8002 |8939 | 895 | 3 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 7.2s| 1 | 0 | 11947 | - | 67M | 0 |3551 |8003 |9223 |1179 | 4 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 10.2s| 1 | 0 | 16555 | - | 70M | 0 |3551 |8003 |9501 |1457 | 5 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 13.6s| 1 | 0 | 21886 | - | 71M | 0 |3551 |8004 |9791 |1747 | 6 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 17.4s| 1 | 0 | 27771 | - | 75M | 0 |3551 |8004 |9953 |1909 | 7 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 19.8s| 1 | 0 | 30948 | - | 77M | 0 |3551 |8004 | 10k|2049 | 8 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 22.4s| 1 | 0 | 34166 | - | 78M | 0 |3551 |8004 | 10k|2143 | 9 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 25.8s| 1 | 0 | 39383 | - | 80M | 0 |3551 |8004 | 10k|2375 | 10 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 28.1s| 1 | 0 | 43953 | - | 83M | 0 |3551 |8005 | 10k|2496 | 11 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 40.7s| 1 | 2 | 53742 | - | 84M | 0 |3551 |8006 | 10k|2496 | 11 | 6 | 11 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 407s| 100 | 101 |394785 |3543.8 | 87M | 37 |3551 |8057 |8482 |3847 | 1 | 61 | 11 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c 476s| 200 | 201 |511288 |2348.4 | 88M | 38 |3551 |8088 |8587 |5455 | 1 | 105 | 11 | 0.000000e+00 | -- | Inf | unknown
499.13/500.58 c
499.13/500.58 c SCIP Status : solving was interrupted [time limit reached]
499.13/500.58 c Solving Time (sec) : 500.16
499.13/500.58 c Solving Nodes : 239
499.13/500.58 c Primal Bound : +1.00000000000000e+20 (0 solutions)
499.13/500.58 c Dual Bound : +0.00000000000000e+00
499.13/500.58 c Gap : infinite
499.13/500.58 c ----------------------------------------------------------------------
499.13/500.58 c dual bound: 0.0 -> 0
499.13/500.58 c primal bound: 1e+20 -> 100000000000000000000
499.13/500.58 c scip-goal-lb: 0
499.13/500.58 c scip-goal-ub: 100000000000000000000
499.13/500.58 c writing output to: HOME/tmpacfbe59f.opb
499.13/500.58 c appending fixed variable constraints
499.13/500.58 c scip-fixed vars: 16.47% (585/3551)
499.13/500.58 c ----------------------------------------------------------------------
499.13/500.58 c executing external solver: HOME/naps-1.03a6
499.13/500.58 c ----------------------------------------------------------------------
499.13/500.58 c command: HOME/naps-1.03a6 HOME/tmpacfbe59f.opb
499.13/500.59 c NaPS 1.03a6.
499.13/500.59 c Input file name: HOME/tmpacfbe59f.opb
3600.04/3610.01 c
3600.04/3610.01 c *** TERMINATED *** by signal 15
3600.04/3610.01 c _____________________________________________________________________________
3600.04/3610.01 c std/band forms : 16,882
3600.04/3610.01 c 2cl/3cl ITE-codings : 22,13078
3600.04/3610.01 c BDD/srt/adr Max costs : 32,0,0
3600.04/3610.01 c BDDraw/bin/mul/srt/adr: 898,0,0,0,0
3600.04/3610.01 c BDD nodes : 23783
3600.04/3610.01 c Es1/CC detections : 0,0
3600.04/3610.01 c CC sort : 0
3600.04/3610.01 c SAT/UNSAT calls : 0,0
3600.04/3610.01 c regenrated variables : 0
3600.04/3610.01 c eliminated fixed lits : 4908
3600.04/3610.01 c goal lit flips : 0
3600.04/3610.01 c goal stages : 0
3600.04/3610.01 c goal shrink : 0
3600.04/3610.01 c goal coeff separations: 0
3600.04/3610.01 c restarts : 0
3600.04/3610.01 c conflicts : 0 (0 /sec)
3600.04/3610.01 c decisions : 0 (0 /sec)
3600.04/3610.01 c propagations : 0 (0 /sec)
3600.04/3610.01 c inspects : 0 (0 /sec)
3600.04/3610.01 c CPU time (solving tm) : 3086 s (3086 s, SAT 0 s, UNSAT 0 s)
3600.04/3610.01 c Time for Opt-base : 0 s
3600.04/3610.01 c Steps for Opt-base : 0
3600.04/3610.01 c Time for BDD coding : 0.1761 s
3600.04/3610.01 c Time for srt coding : 0 s
3600.04/3610.01 c _____________________________________________________________________________
3600.04/3610.01 s UNKNOWN
3600.04/3610.05 c received SIGTERM, forwarding to pbsolver...
3600.04/3610.05 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: 63837 MiB (62785 MiB free)
memory of node 1: 64465 MiB (61959 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512983-1751206865/watcher-4512983-1751206865 -o /tmp/evaluation-result-4512983-1751206865/solver-4512983-1751206865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751204746-27066 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4512983-1751206865.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28480, runsolver pid=28477
[startup+0.100068 s]*
/proc/loadavg: 4.15 4.12 3.97 5/257 28485
/proc/meminfo: memFree=127731472/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=18788 memory=13312 CPUtime=0.06 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 1802 0 0 0 5 1 0 0 20 0 1 0 36365687 19238912 3328 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 4697 3328 1824 1 0 1470 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 22980 KiB
Current children cumulated memory: 16256 KiB
[startup+0.213713 s]*
/proc/loadavg: 4.15 4.12 3.97 6/257 28485
/proc/meminfo: memFree=127731472/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1186920 memory=31620 CPUtime=0.17 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 3699 0 0 0 14 3 0 0 20 0 1 0 36365687 1215406080 7905 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 296730 7905 4868 1 0 268752 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34564 KiB
[startup+0.313585 s]*
/proc/loadavg: 4.15 4.12 3.97 6/257 28485
/proc/meminfo: memFree=127731472/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1192476 memory=37508 CPUtime=0.27 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 4759 0 0 0 24 3 0 0 20 0 1 0 36365687 1221095424 9377 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 298119 9377 5316 1 0 269793 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1196668 KiB
Current children cumulated memory: 40452 KiB
[startup+0.700381 s]
/proc/loadavg: 4.15 4.12 3.97 6/257 28485
/proc/meminfo: memFree=127731472/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1231616 memory=83588 CPUtime=0.64 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 13872 0 0 0 58 6 0 0 20 0 1 0 36365687 1261174784 20897 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 307904 20897 7908 1 0 279262 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1235808 KiB
Current children cumulated memory: 86532 KiB
[startup+1.50041 s]
/proc/loadavg: 4.14 4.12 3.97 5/257 28485
/proc/meminfo: memFree=127711816/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1289204 memory=134628 CPUtime=1.43 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 27845 0 0 0 135 8 0 0 20 0 1 0 36365687 1320144896 33657 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 322301 33657 8132 1 0 293659 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1293396 KiB
Current children cumulated memory: 137572 KiB
[startup+3.11258 s]
/proc/loadavg: 4.14 4.12 3.97 5/257 28485
/proc/meminfo: memFree=127671628/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1289204 memory=134756 CPUtime=3.04 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 27898 0 0 0 296 8 0 0 20 0 1 0 36365687 1320144896 33689 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 322301 33689 8132 1 0 293659 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1293396 KiB
Current children cumulated memory: 137700 KiB
[startup+6.30037 s]
/proc/loadavg: 4.12 4.11 3.97 5/257 28485
/proc/meminfo: memFree=127671628/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1289204 memory=134884 CPUtime=6.22 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 27958 0 0 0 614 8 0 0 20 0 1 0 36365687 1320144896 33721 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 322301 33721 8132 1 0 293659 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1293396 KiB
Current children cumulated memory: 137828 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.11 3.97 5/257 28485
/proc/meminfo: memFree=127671628/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1289204 memory=135396 CPUtime=12.61 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 28078 0 0 0 1252 9 0 0 20 0 1 0 36365687 1320144896 33849 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 322301 33849 8132 1 0 293659 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1293396 KiB
Current children cumulated memory: 138340 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.11 3.97 5/257 28486
/proc/meminfo: memFree=127667556/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1291720 memory=136932 CPUtime=25.38 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 28461 0 0 0 2529 9 0 0 20 0 1 0 36365687 1322721280 34233 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 322930 34233 8132 1 0 294288 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1295912 KiB
Current children cumulated memory: 139876 KiB
[startup+51.1126 s]
/proc/loadavg: 4.12 4.11 3.98 5/257 28486
/proc/meminfo: memFree=127623816/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1318192 memory=161284 CPUtime=50.92 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 36528 0 0 0 5082 10 0 0 20 0 1 0 36365687 1349828608 40321 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 329548 40321 8132 1 0 300906 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1322384 KiB
Current children cumulated memory: 164228 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 3.99 6/257 28488
/proc/meminfo: memFree=127617964/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1318192 memory=161284 CPUtime=101.97 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 36528 0 0 0 10187 10 0 0 20 0 1 0 36365687 1349828608 40321 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 329548 40321 8132 1 0 300906 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1322384 KiB
Current children cumulated memory: 164228 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.00 5/255 28490
/proc/meminfo: memFree=127584720/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1318192 memory=161284 CPUtime=161.82 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 36528 0 0 0 16172 10 0 0 20 0 1 0 36365687 1349828608 40321 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 329548 40321 8132 1 0 300906 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1322384 KiB
Current children cumulated memory: 164228 KiB
[startup+222.3 s]
/proc/loadavg: 4.66 4.26 4.06 5/255 28492
/proc/meminfo: memFree=127589764/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1318192 memory=164740 CPUtime=221.67 cores=1,3
/proc/28485/stat : 28485 (python3) R 28480 28480 27054 0 -1 4194304 36531 0 0 0 22157 10 0 0 20 0 1 0 36365687 1349828608 41185 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 329548 41185 8132 1 0 300906 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
[pid=28557] ppid=28485 vsize=87688 memory=62852 CPUtime=2654.39 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 3317350 0 0 0 264288 1151 0 0 20 0 1 0 36415743 89792512 15713 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 21922 15713 544 696 0 21083 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 1422224 KiB
Current children cumulated memory: 249668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/257 28793
/proc/meminfo: memFree=127570724/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=71304 memory=59152 CPUtime=2714.2 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 3501655 0 0 0 270207 1213 0 0 20 0 1 0 36415743 73015296 14788 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 17826 14788 544 696 0 16987 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 1405840 KiB
Current children cumulated memory: 245968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/257 28795
/proc/meminfo: memFree=127574224/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=71300 memory=59864 CPUtime=2774.04 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 3656948 0 0 0 276133 1271 0 0 20 0 1 0 36415743 73011200 14966 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 17825 14966 544 696 0 16986 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 1405836 KiB
Current children cumulated memory: 246680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/258 28798
/proc/meminfo: memFree=127576984/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=63112 memory=50960 CPUtime=2833.87 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 3684266 0 0 0 282100 1287 0 0 20 0 1 0 36415743 64626688 12740 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 15778 12740 544 696 0 14939 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 1397648 KiB
Current children cumulated memory: 237776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/258 28852
/proc/meminfo: memFree=127681876/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=71304 memory=59152 CPUtime=2893.68 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 3865506 0 0 0 288020 1348 0 0 20 0 1 0 36415743 73015296 14788 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 17826 14788 544 696 0 16987 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 1405840 KiB
Current children cumulated memory: 245968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/259 28855
/proc/meminfo: memFree=127644816/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=54920 memory=47560 CPUtime=2953.51 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 4035395 0 0 0 293941 1410 0 0 20 0 1 0 36415743 56238080 11890 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 13730 11890 544 696 0 12891 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 1389456 KiB
Current children cumulated memory: 234376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.12 4.11 5/259 28857
/proc/meminfo: memFree=127653520/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=79496 memory=71524 CPUtime=3013.35 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 4069512 0 0 0 299908 1427 0 0 20 0 1 0 36415743 81403904 17881 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 19874 17881 544 696 0 19035 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1414032 KiB
Current children cumulated memory: 258340 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/259 28862
/proc/meminfo: memFree=127661000/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=54916 memory=45528 CPUtime=3073.19 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 4082498 0 0 0 305884 1435 0 0 20 0 1 0 36415743 56233984 11382 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 13729 11382 544 696 0 12890 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 1389452 KiB
Current children cumulated memory: 232344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.08 4.10 4.10 5/259 28863
/proc/meminfo: memFree=127664596/131382116 swapFree=33010684/33010684
[pid=28480] ppid=28477 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28480/stat : 28480 (scip-naps-1.00.) S 28477 28480 27054 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 36365685 4292608 736 18446744073709551615 94800522113024 94800523007557 140737288868464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94800523246608 94800523294352 94800524091392 140737288874401 140737288874498 140737288874498 140737288880100 0
/proc/28480/statm: 1048 736 672 219 0 110 0
[pid=28485] ppid=28480 vsize=1330344 memory=183872 CPUtime=499.22 cores=1,3
/proc/28485/stat : 28485 (python3) S 28480 28480 27054 0 -1 4194304 46738 0 0 0 49909 13 0 0 20 0 1 0 36365687 1362272256 45968 18446744073709551615 94854789144576 94854789144953 140731689190272 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94854789156248 94854789156868 94854813450240 140731689195864 140731689196066 140731689196066 140731689201639 0
/proc/28485/statm: 332586 45968 8164 1 0 303944 0
[pid=28557] ppid=28485 vsize=54916 memory=47576 CPUtime=3100.82 cores=1,3
/proc/28557/stat : 28557 (naps-1.03a6) R 28485 28557 28557 0 -1 4194304 4082499 0 0 0 308647 1435 0 0 20 0 1 0 36415743 56233984 11894 18446744073709551615 4198400 7047149 140727933956240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 12398592 140727933962641 140727933962739 140727933962739 140727933968329 0
/proc/28557/statm: 13729 11894 544 696 0 12890 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1389452 KiB
Current children cumulated memory: 234392 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.04 s]
# the end of solver process 28480 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00294 s, system=0.011269 s
Sleeping 2 seconds
[startup+3610.08 s]
# the end of solver process 28485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.63 s, system=14.5128 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.08
CPU time (s): 3600.15
CPU user time (s): 3585.63
CPU system time (s): 14.5128
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 1471376
Max. memory (cumulated for all children) (KiB): 284884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.63
system time used= 14.5128
maximum resident set size= 184256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4132759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 401
involuntary context switches= 3650
# summary of solver processes directly reported to runsolver:
# pid: 28480,28485
# total CPU time (s): 3600.15
# total CPU user time (s): 3585.63
# total CPU system time (s): 14.5128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7192 second user time and 37.944 second system time
The end