0.17/0.22 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529694-1752253460.opb
0.17/0.22 c Solving mode: decision
0.17/0.22 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.17/0.22 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.17/0.22 c original problem has 86 variables (86 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.17/0.22 c presolving:
0.17/0.22 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 19 clqs
0.17/0.22 c (round 2, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 19 clqs
0.17/0.22 c (round 3, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 75 chg sides, 74 chg coeffs, 0 upgd conss, 0 impls, 19 clqs
0.17/0.22 c (0.0s) probing: 51/86 (59.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.17/0.22 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.17/0.22 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.17/0.22 c (0.0s) no symmetry present (symcode time: 0.00)
0.17/0.22 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.17/0.22 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 75 changed sides, 74 changed coefficients
0.17/0.22 c 0 implications, 19 cliques
0.17/0.22 c presolved problem has 86 variables (86 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.17/0.22 c 2 constraints of type <linear>
0.17/0.22 c transformed objective value is always integral (scale: 1)
0.17/0.22 c Presolving Time: 0.00
0.17/0.22 c
0.17/0.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.17/0.22 c 0.1s| 1 | 0 | 3 | - | 1551k | 0 | 86 | 2 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.17/0.22 c 0.1s| 1 | 0 | 6 | - | 1608k | 0 | 86 | 2 | 3 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.17/0.22 c 0.1s| 1 | 0 | 12 | - | 1632k | 0 | 86 | 2 | 5 | 3 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.17/0.22 c * 0.1s| 1 | 0 | 12 | - | LP | 0 | 86 | 2 | 5 | 3 | 3 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.17/0.22 c
0.17/0.22 c SCIP Status : problem is solved [optimal solution found]
0.17/0.22 c Solving Time (sec) : 0.08
0.17/0.22 c Solving Nodes : 1
0.17/0.22 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.17/0.22 c Dual Bound : +0.00000000000000e+00
0.17/0.22 c Gap : 0.00 %
0.17/0.22 c [VIOLATION] Line 8: +13429 x1 +26858 x2 +53716 x3 +107432 x4 +214864 x5 +429728 x6 +859456 x7 +1718912 x8 +3437824 x9 +6875648 x10 +13751296 x11 +27502592 x12 +26850 x13 +53700 x14 +107400 x15 +214800 x16 +429600 x17 +859200 x18 +1718400 x19 +3436800 x20 +6873600 x21 +13747200 x22 +27494400 x23 +26855 x24 +53710 x25 +107420 x26 +214840 x27 +429680 x28 +859360 x29 +1718720 x30 +3437440 x31 +6874880 x32 +13749760 x33 +27499520 x34 +40280 x35 +80560 x36 +161120 x37 +322240 x38 +644480 x39 +1288960 x40 +2577920 x41 +5155840 x42 +10311680 x43 +20623360 x44 +41246720 x45 +40281 x46 +80562 x47 +161124 x48 +322248 x49 +644496 x50 +1288992 x51 +2577984 x52 +5155968 x53 +10311936 x54 +20623872 x55 +41247744 x56 +53711 x57 +107422 x58 +214844 x59 +429688 x60 +859376 x61 +1718752 x62 +3437504 x63 +6875008 x64 +13750016 x65 +27500032 x66 +53714 x67 +107428 x68 +214856 x69 +429712 x70 +859424 x71 +1718848 x72 +3437696 x73 +6875392 x74 +13750784 x75 +27501568 x76 +67141 x77 +134282 x78 +268564 x79 +537128 x80 +1074256 x81 +2148512 x82 +4297024 x83 +8594048 x84 +17188096 x85 +34376192 x86 >= 45094584 ;
0.17/0.22 c Computed activity: 45094574
0.17/0.22 c Required: activity >= 45094584
0.17/0.22 c Variable assignments: {x1=0, x2=0, x3=1, x4=1, x5=1, x6=0, x7=0, x8=0, x9=1, x10=0, x11=1, x12=1, x13=1, x14=0, x15=0, x16=0, x17=0, x18=0, x19=0, x20=0, x21=0, x22=0, x23=0, x24=0, x25=0, x26=0, x27=0, x28=0, x29=0, x30=0, x31=0, x32=0, x33=0, x34=0, x35=0, x36=0, x37=0, x38=0, x39=0, x40=0, x41=0, x42=0, x43=0, x44=0, x45=0, x46=0, x47=0, x48=0, x49=0, x50=0, x51=0, x52=0, x53=0, x54=0, x55=0, x56=0, x57=0, x58=0, x59=0, x60=0, x61=0, x62=0, x63=0, x64=0, x65=0, x66=0, x67=0, x68=0, x69=0, x70=0, x71=0, x72=0, x73=0, x74=0, x75=0, x76=0, x77=0, x78=0, x79=0, x80=0, x81=0, x82=0, x83=0, x84=0, x85=0, x86=0}}
0.17/0.22 c SCIP found a solution, but it is not feasible according to the original problem.
0.17/0.22 c ----------------------------------------------------------------------
0.17/0.22 c executing external solver (fallback): HOME/naps-1.03a6
0.17/0.22 c ----------------------------------------------------------------------
0.17/0.22 c command: HOME/naps-1.03a6 HOME/instance-4529694-1752253460.opb
0.17/0.23 c NaPS 1.03a6.
0.17/0.23 c Input file name: HOME/instance-4529694-1752253460.opb
3600.03/3609.80 c
3600.03/3609.80 c *** TERMINATED *** by signal 15
3600.03/3609.80 c s UNKNOWN
3600.03/3609.80 c _____________________________________________________________________________
3600.03/3609.80 c std/band forms : 0,1
3600.03/3609.80 c 2cl/3cl ITE-codings : 0,54406
3600.03/3609.80 c BDD/srt/adr Max costs : 56345,0,0
3600.03/3609.80 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
3600.03/3609.80 c BDD nodes : 56347
3600.03/3609.80 c Es1/CC detections : 0,0
3600.03/3609.80 c CC sort : 0
3600.03/3609.80 c SAT/UNSAT calls : 0,0
3600.03/3609.80 c regenrated variables : 0
3600.03/3609.80 c eliminated fixed lits : 0
3600.03/3609.80 c goal lit flips : 0
3600.03/3609.80 c goal stages : 0
3600.03/3609.80 c goal shrink : 0
3600.03/3609.80 c goal coeff separations: 0
3600.03/3609.80 c restarts : 0
3600.03/3609.80 c conflicts : 0 (0 /sec)
3600.03/3609.80 c decisions : 0 (0 /sec)
3600.03/3609.80 c propagations : 0 (0 /sec)
3600.03/3609.80 c inspects : 0 (0 /sec)
3600.03/3609.80 c CPU time (solving tm) : 3599 s (3599 s, SAT 0 s, UNSAT 0 s)
3600.03/3609.80 c Time for Opt-base : 0.06293 s
3600.03/3609.80 c Steps for Opt-base : 272104
3600.03/3609.80 c Time for BDD coding : 0.3883 s
3600.03/3609.80 c Time for srt coding : 0 s
3600.03/3609.80 c _____________________________________________________________________________
3600.03/3609.80 s UNKNOWN
3600.03/3609.81 Terminated
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61870 MiB free)
memory of node 1: 64507 MiB (60100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529694-1752253460/watcher-4529694-1752253460 -o /tmp/evaluation-result-4529694-1752253460/solver-4529694-1752253460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1752253448-117660 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529694-1752253460.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=117882, runsolver pid=117879
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 1.66 1.48 1.85 5/276 117887
/proc/meminfo: memFree=124886116/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1187636 memory=32468 CPUtime=0.07 cores=4,6
/proc/117887/stat : 117887 (python3) R 117882 117882 117649 0 -1 4194304 3852 0 0 0 6 1 0 0 20 0 1 0 141023752 1216139264 8117 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 296909 8117 4925 1 0 268931 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191828 KiB
Current children cumulated memory: 35540 KiB
[startup+0.205761 s]*
/proc/loadavg: 1.66 1.48 1.85 5/276 117887
/proc/meminfo: memFree=124886116/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54100 CPUtime=0.17 cores=4,6
/proc/117887/stat : 117887 (python3) R 117882 117882 117649 0 -1 4194304 6320 0 0 0 15 2 0 0 20 0 1 0 141023752 1230503936 13525 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13525 8125 1 0 271774 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1205856 KiB
Current children cumulated memory: 57172 KiB
[startup+0.305689 s]*
/proc/loadavg: 1.66 1.48 1.85 4/274 117888
/proc/meminfo: memFree=124963948/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=6740 memory=5120 CPUtime=0.07 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 1034 0 0 0 7 0 0 0 20 0 1 0 141023773 6901760 1280 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 1685 1280 512 696 0 846 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1212596 KiB
Current children cumulated memory: 62932 KiB
[startup+0.7002 s]
/proc/loadavg: 1.66 1.48 1.85 4/274 117902
/proc/meminfo: memFree=124946328/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=54188 memory=49140 CPUtime=0.45 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 12440 0 0 0 43 2 0 0 20 0 1 0 141023773 55488512 12285 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 13547 12285 544 696 0 12708 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1260044 KiB
Current children cumulated memory: 106952 KiB
[startup+1.50019 s]
/proc/loadavg: 1.66 1.48 1.85 5/277 117937
/proc/meminfo: memFree=124903304/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=69872 memory=65940 CPUtime=1.25 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 18447 0 0 0 122 3 0 0 20 0 1 0 141023773 71548928 16485 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 17468 16485 544 696 0 16629 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1275728 KiB
Current children cumulated memory: 123752 KiB
[startup+3.10568 s]
/proc/loadavg: 1.66 1.48 1.85 5/278 117938
/proc/meminfo: memFree=124829600/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=77184 memory=72788 CPUtime=2.85 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 18649 0 0 0 282 3 0 0 20 0 1 0 141023773 79036416 18197 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 19296 18197 544 696 0 18457 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1283040 KiB
Current children cumulated memory: 130600 KiB
[startup+6.30021 s]
/proc/loadavg: 1.84 1.53 1.87 5/278 117939
/proc/meminfo: memFree=124825088/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=77184 memory=72788 CPUtime=6.03 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 18655 0 0 0 600 3 0 0 20 0 1 0 141023773 79036416 18197 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 19296 18197 544 696 0 18457 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1283040 KiB
Current children cumulated memory: 130600 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 1.57 1.88 5/278 117939
/proc/meminfo: memFree=124824924/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=77184 memory=73172 CPUtime=12.41 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 18739 0 0 0 1238 3 0 0 20 0 1 0 141023773 79036416 18293 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 19296 18293 544 696 0 18457 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1283040 KiB
Current children cumulated memory: 130984 KiB
[startup+25.5002 s]
/proc/loadavg: 2.54 1.70 1.92 5/278 117939
/proc/meminfo: memFree=124801324/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=85380 memory=81100 CPUtime=25.19 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 19973 0 0 0 2515 4 0 0 20 0 1 0 141023773 87429120 20275 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 21345 20275 544 696 0 20506 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1291236 KiB
Current children cumulated memory: 138912 KiB
[startup+51.1056 s]
/proc/loadavg: 3.04 1.89 1.97 5/278 117988
/proc/meminfo: memFree=124329096/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=76952 memory=74276 CPUtime=50.72 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 22114 0 0 0 5068 4 0 0 20 0 1 0 141023773 78798848 18569 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 19238 18569 544 696 0 18399 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1282808 KiB
Current children cumulated memory: 132088 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.23 2.09 5/278 118038
/proc/meminfo: memFree=123910060/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=54740 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 13685 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 13685 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=101380 memory=93180 CPUtime=101.78 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 28440 0 0 0 10172 6 0 0 20 0 1 0 141023773 103813120 23295 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 25345 23295 544 696 0 24506 0
Current children cumulated CPU time: 101.97 s
################
# More data... #
################
/proc/meminfo: memFree=121190804/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=97072 memory=89212 CPUtime=3153.53 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 146795 0 0 0 315294 59 0 0 20 0 1 0 141023773 99401728 22303 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 24268 22303 544 696 0 23429 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 1302928 KiB
Current children cumulated memory: 149328 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/269 118438
/proc/meminfo: memFree=120162744/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=113476 memory=99400 CPUtime=3213.35 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 148813 0 0 0 321275 60 0 0 20 0 1 0 141023773 116199424 24850 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 28369 24850 544 696 0 27530 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 1319332 KiB
Current children cumulated memory: 159516 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/270 118441
/proc/meminfo: memFree=117211996/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=113476 memory=101448 CPUtime=3273.2 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 148814 0 0 0 327259 61 0 0 20 0 1 0 141023773 116199424 25362 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 28369 25362 544 696 0 27530 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 1319332 KiB
Current children cumulated memory: 161564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/271 118444
/proc/meminfo: memFree=114428512/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=113476 memory=101448 CPUtime=3333.05 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 158580 0 0 0 333241 64 0 0 20 0 1 0 141023773 116199424 25362 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 28369 25362 544 696 0 27530 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 1319332 KiB
Current children cumulated memory: 161564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/271 118457
/proc/meminfo: memFree=109356932/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=113476 memory=99272 CPUtime=3392.89 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 171288 0 0 0 339222 67 0 0 20 0 1 0 141023773 116199424 24818 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 28369 24818 544 696 0 27530 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 1319332 KiB
Current children cumulated memory: 159388 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/273 118467
/proc/meminfo: memFree=109338728/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=113476 memory=101448 CPUtime=3452.72 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 171329 0 0 0 345205 67 0 0 20 0 1 0 141023773 116199424 25362 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 28369 25362 544 696 0 27530 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 1319332 KiB
Current children cumulated memory: 161564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/273 118469
/proc/meminfo: memFree=108291624/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=113476 memory=98504 CPUtime=3512.56 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 184364 0 0 0 351184 72 0 0 20 0 1 0 141023773 116199424 24626 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 28369 24626 544 696 0 27530 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 1319332 KiB
Current children cumulated memory: 158620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/273 118471
/proc/meminfo: memFree=108291144/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=97088 memory=89192 CPUtime=3572.41 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 190179 0 0 0 357165 76 0 0 20 0 1 0 141023773 99418112 22298 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 24272 22298 544 696 0 23433 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1302944 KiB
Current children cumulated memory: 149308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.12 4.05 5/273 118472
/proc/meminfo: memFree=108295400/131249996 swapFree=33010672/33010684
[pid=117882] ppid=117879 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117882/stat : 117882 (scip-naps-1.00a) S 117879 117882 117649 0 -1 4194304 257 322 0 0 0 0 0 0 20 0 1 0 141023750 4292608 768 18446744073709551615 94558083989504 94558084884037 140725874430432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558085123088 94558085170832 94558094323712 140725874432411 140725874432510 140725874432510 140725874438114 0
/proc/117882/statm: 1048 768 704 219 0 110 0
[pid=117887] ppid=117882 vsize=1201664 memory=57044 CPUtime=0.19 cores=4,6
/proc/117887/stat : 117887 (python3) S 117882 117882 117649 0 -1 4194304 6559 0 0 0 17 2 0 0 20 0 1 0 141023752 1230503936 14261 18446744073709551615 94064430116864 94064430117241 140725147545920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94064430128536 94064430129156 94064447467520 140725147547983 140725147548192 140725147548192 140725147553767 0
/proc/117887/statm: 300416 14261 8221 1 0 271774 0
[pid=117888] ppid=117887 vsize=97088 memory=89192 CPUtime=3599.84 cores=4,6
/proc/117888/stat : 117888 (naps-1.03a6) R 117887 117888 117888 0 -1 4194304 190179 0 0 0 359908 76 0 0 20 0 1 0 141023773 99418112 22298 18446744073709551615 4198400 7047149 140728146374848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30056448 140728146381183 140728146381297 140728146381297 140728146386889 0
/proc/117888/statm: 24272 22298 544 696 0 23433 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1302944 KiB
Current children cumulated memory: 149308 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.82 s]
# the end of solver process 117882 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.28 s, system=0.79338 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3609.82
CPU time (s): 3600.08
CPU user time (s): 3599.28
CPU system time (s): 0.79338
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 1335908
Max. memory (cumulated for all children) (KiB): 171824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.28
system time used= 0.79338
maximum resident set size= 111708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199747
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 370
involuntary context switches= 2016
# summary of solver processes directly reported to runsolver:
# pid: 117882
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.28
# total CPU system time (s): 0.79338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50859 second user time and 17.2171 second system time
The end