0.27/0.36 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542053-1753213612.opb
0.27/0.36 c Solving mode: decision
0.27/0.36 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.27/0.36 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.27/0.36 c original problem has 3571 variables (3571 bin, 0 int, 0 impl, 0 cont) and 1850 constraints
0.27/0.36 c presolving:
0.27/0.36 c (round 1, fast) 982 del vars, 973 del conss, 0 add conss, 64 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 152 clqs
0.27/0.36 c (round 2, exhaustive) 982 del vars, 973 del conss, 0 add conss, 64 chg bounds, 0 chg sides, 0 chg coeffs, 5 upgd conss, 0 impls, 152 clqs
0.27/0.36 c (round 3, fast) 983 del vars, 973 del conss, 0 add conss, 64 chg bounds, 1 chg sides, 110 chg coeffs, 5 upgd conss, 0 impls, 152 clqs
0.27/0.36 c (0.1s) probing: 1000/2588 (38.6%) - 7 fixings, 0 aggregations, 624 implications, 0 bound changes
0.27/0.36 c (0.1s) probing: 1507/2588 (58.2%) - 7 fixings, 0 aggregations, 829 implications, 0 bound changes
0.27/0.36 c (0.1s) probing aborted: 1000/1000 successive useless probings
0.27/0.36 c (round 4, exhaustive) 990 del vars, 973 del conss, 0 add conss, 64 chg bounds, 1 chg sides, 110 chg coeffs, 5 upgd conss, 0 impls, 959 clqs
0.27/0.36 c (round 5, exhaustive) 992 del vars, 973 del conss, 0 add conss, 64 chg bounds, 1 chg sides, 112 chg coeffs, 8 upgd conss, 0 impls, 962 clqs
0.27/0.36 c (round 6, medium) 994 del vars, 975 del conss, 0 add conss, 64 chg bounds, 1 chg sides, 112 chg coeffs, 8 upgd conss, 0 impls, 952 clqs
0.27/0.36 c (0.2s) probing: 1607/2588 (62.1%) - 7 fixings, 0 aggregations, 937 implications, 0 bound changes
0.27/0.36 c (0.2s) probing aborted: 1000/1000 successive useless probings
0.27/0.36 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.27/0.36 c (0.2s) symmetry computation finished: 504 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.27/0.36 c dynamic symmetry handling statistics:
0.27/0.36 c orbitopal reduction: no components
0.27/0.36 c orbital reduction: no components
0.27/0.36 c lexicographic reduction: no permutations
0.27/0.36 c handled 261 out of 261 symmetry components
0.27/0.36 c (round 7, exhaustive) 994 del vars, 975 del conss, 504 add conss, 64 chg bounds, 1 chg sides, 112 chg coeffs, 8 upgd conss, 0 impls, 1564 clqs
0.27/0.36 c (round 8, exhaustive) 994 del vars, 975 del conss, 504 add conss, 64 chg bounds, 1 chg sides, 112 chg coeffs, 512 upgd conss, 0 impls, 1564 clqs
0.27/0.36 c presolving (9 rounds: 9 fast, 7 medium, 6 exhaustive):
0.27/0.36 c 994 deleted vars, 975 deleted constraints, 504 added constraints, 64 tightened bounds, 0 added holes, 1 changed sides, 112 changed coefficients
0.27/0.36 c 0 implications, 1565 cliques
0.27/0.36 c presolved problem has 2579 variables (2579 bin, 0 int, 0 impl, 0 cont) and 1377 constraints
0.27/0.36 c 1 constraints of type <knapsack>
0.27/0.36 c 505 constraints of type <setppc>
0.27/0.36 c 2 constraints of type <xor>
0.27/0.36 c 869 constraints of type <linear>
0.27/0.36 c transformed objective value is always integral (scale: 1)
0.27/0.36 c Presolving Time: 0.18
0.27/0.36 c
0.27/0.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.27/0.36 c p 0.2s| 1 | 0 | 0 | - | vbounds| 0 |2579 |1381 |1381 | 0 | 0 | 3 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.27/0.36 c
0.27/0.36 c SCIP Status : problem is solved [optimal solution found]
0.27/0.36 c Solving Time (sec) : 0.20
0.27/0.36 c Solving Nodes : 1
0.27/0.36 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.27/0.36 c Dual Bound : +0.00000000000000e+00
0.27/0.36 c Gap : 0.00 %
0.27/0.36 c [linear] <linear9>: <x1>[B] (-0) -<x58>[B] (+0) +2<x2>[B] (+0) -2<x59>[B] (+0) +4<x3>[B] (+0) -4<x60>[B] (+0) +8<x4>[B] (+0) -8<x61>[B] (+0) +16<x5>[B] (+0) -16<x62>[B] (+0) +32<x6>[B] (+0) -32<x63>[B] (+0) +64<x7>[B] (+0) -64<x64>[B] (+0) +128<x8>[B] (+0) -128<x65>[B] (+0) +256<x9>[B] (+0) -256<x66>[B] (+0) +512<x10>[B] (+0) -512<x67>[B] (+0) +1024<x11>[B] (+0) -1024<x68>[B] (+0) +2048<x12>[B] (+0) -2048<x69>[B] (+0) +4096<x13>[B] (+0) -4096<x70>[B] (+0) +8192<x14>[B] (+0) -8192<x71>[B] (+0) +16384<x15>[B] (+0) -16384<x72>[B] (+0) +32768<x16>[B] (+0) -32768<x73>[B] (+0) +65536<x17>[B] (+0) -65536<x74>[B] (+0) +131072<x18>[B] (+0) -131072<x75>[B] (+0) +262144<x19>[B] (+0) -262144<x76>[B] (+0) +524288<x20>[B] (+0) -524288<x77>[B] (+0) +1048576<x21>[B] (+0) -1048576<x78>[B] (+0) +2097152<x22>[B] (+0) -2097152<x79>[B] (+0) +4194304<x23>[B] (+0) -4194304<x80>[B] (+0) +8388608<x24>[B] (+0) -8388608<x81>[B] (+0) +16777216<x25>[B] (+0) -16777216<x82>[B] (+0) +33554432<x26>[B] (+0) -33554432<x83>[B] (+0) +67108864<x27>[B] (+0) -67108864<x84>[B] (+0) +134217728<x28>[B] (+0) -134217728<x85>[B] (+0) +268435456<x29>[B] (+0) -268435456<x86>[B] (+0) +536870912<x30>[B] (+0) -536870912<x87>[B] (+0) +1.07374182e+09<x31>[B] (+0) -1.07374182e+09<x88>[B] (+0) +2.14748365e+09<x32>[B] (+0) -2.14748365e+09<x89>[B] (+0) +4.2949673e+09<x33>[B] (+0) -4.2949673e+09<x90>[B] (+0) +8.58993459e+09<x34>[B] (+0) -8.58993459e+09<x91>[B] (+0) +1.71798692e+10<x35>[B] (+0) -1.71798692e+10<x92>[B] (+0) +3.43597384e+10<x36>[B] (+0) -3.43597384e+10<x93>[B] (+0) +6.87194767e+10<x37>[B] (+0) -6.87194767e+10<x94>[B] (+0) +1.37438953e+11<x38>[B] (+0) -1.37438953e+11<x95>[B] (+0) +2.74877907e+11<x39>[B] (+0) -2.74877907e+11<x96>[B] (+0) +5.49755814e+11<x40>[B] (+0) -5.49755814e+11<x97>[B] (+0) +1.09951163e+12<x41>[B] (+0) -1.09951163e+12<x98>[B] (+0) +2.19902326e+12<x42>[B] (+0) -2.19902326e+12<x99>[B] (+0) +4.39804651e+12<x43>[B] (+0) -4.39804651e+12<x100>[B] (+0) +8.79609302e+12<x44>[B] (+0) -8.79609302e+12<x101>[B] (+0) +1.7592186e+13<x45>[B] (+0) -1.7592186e+13<x102>[B] (+0) +3.51843721e+13<x46>[B] (+0) -3.51843721e+13<x103>[B] (+0) +7.03687442e+13<x47>[B] (+0) -7.03687442e+13<x104>[B] (+0) +1.40737488e+14<x48>[B] (+0) -1.40737488e+14<x105>[B] (+0) +2.81474977e+14<x49>[B] (+0) -2.81474977e+14<x106>[B] (+0) +5.62949953e+14<x50>[B] (+0) -5.62949953e+14<x107>[B] (+0) +1.12589991e+15<x51>[B] (+0) -1.12589991e+15<x108>[B] (+0) +2.25179981e+15<x52>[B] (+0) -2.25179981e+15<x109>[B] (+0) +4.50359963e+15<x53>[B] (+0) -4.50359963e+15<x110>[B] (+0) +9.00719925e+15<x54>[B] (+0) -9.00719925e+15<x111>[B] (+0) +1.80143985e+16<x55>[B] (+0) -1.80143985e+16<x112>[B] (+0) +3.6028797e+16<x56>[B] (+0) -3.6028797e+16<x113>[B] (+0) >= 1;
0.27/0.36 c ;
0.27/0.36 c violation: left hand side is violated by 1
0.27/0.36 c best solution is not feasible in original problem
0.27/0.36 c [linear] <linear9>: <x1>[B] (-0) -<x58>[B] (+0) +2<x2>[B] (+0) -2<x59>[B] (+0) +4<x3>[B] (+0) -4<x60>[B] (+0) +8<x4>[B] (+0) -8<x61>[B] (+0) +16<x5>[B] (+0) -16<x62>[B] (+0) +32<x6>[B] (+0) -32<x63>[B] (+0) +64<x7>[B] (+0) -64<x64>[B] (+0) +128<x8>[B] (+0) -128<x65>[B] (+0) +256<x9>[B] (+0) -256<x66>[B] (+0) +512<x10>[B] (+0) -512<x67>[B] (+0) +1024<x11>[B] (+0) -1024<x68>[B] (+0) +2048<x12>[B] (+0) -2048<x69>[B] (+0) +4096<x13>[B] (+0) -4096<x70>[B] (+0) +8192<x14>[B] (+0) -8192<x71>[B] (+0) +16384<x15>[B] (+0) -16384<x72>[B] (+0) +32768<x16>[B] (+0) -32768<x73>[B] (+0) +65536<x17>[B] (+0) -65536<x74>[B] (+0) +131072<x18>[B] (+0) -131072<x75>[B] (+0) +262144<x19>[B] (+0) -262144<x76>[B] (+0) +524288<x20>[B] (+0) -524288<x77>[B] (+0) +1048576<x21>[B] (+0) -1048576<x78>[B] (+0) +2097152<x22>[B] (+0) -2097152<x79>[B] (+0) +4194304<x23>[B] (+0) -4194304<x80>[B] (+0) +8388608<x24>[B] (+0) -8388608<x81>[B] (+0) +16777216<x25>[B] (+0) -16777216<x82>[B] (+0) +33554432<x26>[B] (+0) -33554432<x83>[B] (+0) +67108864<x27>[B] (+0) -67108864<x84>[B] (+0) +134217728<x28>[B] (+0) -134217728<x85>[B] (+0) +268435456<x29>[B] (+0) -268435456<x86>[B] (+0) +536870912<x30>[B] (+0) -536870912<x87>[B] (+0) +1.07374182e+09<x31>[B] (+0) -1.07374182e+09<x88>[B] (+0) +2.14748365e+09<x32>[B] (+0) -2.14748365e+09<x89>[B] (+0) +4.2949673e+09<x33>[B] (+0) -4.2949673e+09<x90>[B] (+0) +8.58993459e+09<x34>[B] (+0) -8.58993459e+09<x91>[B] (+0) +1.71798692e+10<x35>[B] (+0) -1.71798692e+10<x92>[B] (+0) +3.43597384e+10<x36>[B] (+0) -3.43597384e+10<x93>[B] (+0) +6.87194767e+10<x37>[B] (+0) -6.87194767e+10<x94>[B] (+0) +1.37438953e+11<x38>[B] (+0) -1.37438953e+11<x95>[B] (+0) +2.74877907e+11<x39>[B] (+0) -2.74877907e+11<x96>[B] (+0) +5.49755814e+11<x40>[B] (+0) -5.49755814e+11<x97>[B] (+0) +1.09951163e+12<x41>[B] (+0) -1.09951163e+12<x98>[B] (+0) +2.19902326e+12<x42>[B] (+0) -2.19902326e+12<x99>[B] (+0) +4.39804651e+12<x43>[B] (+0) -4.39804651e+12<x100>[B] (+0) +8.79609302e+12<x44>[B] (+0) -8.79609302e+12<x101>[B] (+0) +1.7592186e+13<x45>[B] (+0) -1.7592186e+13<x102>[B] (+0) +3.51843721e+13<x46>[B] (+0) -3.51843721e+13<x103>[B] (+0) +7.03687442e+13<x47>[B] (+0) -7.03687442e+13<x104>[B] (+0) +1.40737488e+14<x48>[B] (+0) -1.40737488e+14<x105>[B] (+0) +2.81474977e+14<x49>[B] (+0) -2.81474977e+14<x106>[B] (+0) +5.62949953e+14<x50>[B] (+0) -5.62949953e+14<x107>[B] (+0) +1.12589991e+15<x51>[B] (+0) -1.12589991e+15<x108>[B] (+0) +2.25179981e+15<x52>[B] (+0) -2.25179981e+15<x109>[B] (+0) +4.50359963e+15<x53>[B] (+0) -4.50359963e+15<x110>[B] (+0) +9.00719925e+15<x54>[B] (+0) -9.00719925e+15<x111>[B] (+0) +1.80143985e+16<x55>[B] (+0) -1.80143985e+16<x112>[B] (+0) +3.6028797e+16<x56>[B] (+0) -3.6028797e+16<x113>[B] (+0) >= 1;
0.27/0.36 c ;
0.27/0.36 c violation: left hand side is violated by 1
0.27/0.36 c SCIP found a solution, but it is not feasible according to the original problem.
0.27/0.36 c ----------------------------------------------------------------------
0.27/0.36 c executing external solver (fallback): HOME/naps-1.03a6
0.27/0.36 c ----------------------------------------------------------------------
0.27/0.36 c command: HOME/naps-1.03a6 HOME/instance-4542053-1753213612.opb
0.27/0.36 c NaPS 1.03a6.
0.27/0.36 c Input file name: HOME/instance-4542053-1753213612.opb
3600.06/3610.40 c
3600.06/3610.40 c *** TERMINATED *** by signal 15
3600.06/3610.40 c s UNKNOWN
3600.06/3610.40 c _____________________________________________________________________________
3600.06/3610.40 c std/band forms : 1,876
3600.06/3610.40 c 2cl/3cl ITE-codings : 55,25816
3600.06/3610.40 c BDD/srt/adr Max costs : 23492,0,0
3600.06/3610.40 c BDDraw/bin/mul/srt/adr: 877,0,0,0,0
3600.06/3610.40 c BDD nodes : 33553
3600.06/3610.40 c Es1/CC detections : 0,0
3600.06/3610.40 c CC sort : 0
3600.06/3610.40 c SAT/UNSAT calls : 0,0
3600.06/3610.40 c regenrated variables : 0
3600.06/3610.40 c eliminated fixed lits : 96
3600.06/3610.40 c goal lit flips : 0
3600.06/3610.40 c goal stages : 0
3600.06/3610.40 c goal shrink : 0
3600.06/3610.40 c goal coeff separations: 0
3600.06/3610.40 c restarts : 0
3600.06/3610.40 c conflicts : 0 (0 /sec)
3600.06/3610.40 c decisions : 0 (0 /sec)
3600.06/3610.40 c propagations : 0 (0 /sec)
3600.06/3610.40 c inspects : 0 (0 /sec)
3600.06/3610.40 c CPU time (solving tm) : 3596 s (3596 s, SAT 0 s, UNSAT 0 s)
3600.06/3610.40 c Time for Opt-base : 0 s
3600.06/3610.40 c Steps for Opt-base : 0
3600.06/3610.40 c Time for BDD coding : 0.1679 s
3600.06/3610.40 c Time for srt coding : 0 s
3600.06/3610.40 c _____________________________________________________________________________
3600.06/3610.40 s UNKNOWN
3600.06/3610.41 c received SIGTERM, forwarding to pbsolver...
3600.06/3610.41 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (59468 MiB free)
memory of node 1: 64507 MiB (53276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542053-1753213612/watcher-4542053-1753213612 -o /tmp/evaluation-result-4542053-1753213612/solver-4542053-1753213612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753210000-174952 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542053-1753213612.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
Starting watchdog thread
solver pid=175502, runsolver pid=175499
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.12 4.14 5/271 175507
/proc/meminfo: memFree=115444760/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1187384 memory=32296 CPUtime=0.06 cores=5,7
/proc/175507/stat : 175507 (python3) R 175502 175502 174935 0 -1 4194304 3806 0 0 0 6 0 0 0 20 0 1 0 237041072 1215881216 8074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 296846 8074 4915 1 0 268868 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191576 KiB
Current children cumulated memory: 35368 KiB
[startup+0.205648 s]*
/proc/loadavg: 4.10 4.12 4.14 5/271 175507
/proc/meminfo: memFree=115427668/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1212480 memory=64936 CPUtime=0.17 cores=5,7
/proc/175507/stat : 175507 (python3) R 175502 175502 174935 0 -1 4194304 9202 0 0 0 16 1 0 0 20 0 1 0 237041072 1241579520 16234 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 303120 16234 7923 1 0 274478 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1216672 KiB
Current children cumulated memory: 68008 KiB
[startup+0.305604 s]*
/proc/loadavg: 4.10 4.12 4.14 5/271 175507
/proc/meminfo: memFree=115427668/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1213184 memory=65704 CPUtime=0.27 cores=5,7
/proc/175507/stat : 175507 (python3) R 175502 175502 174935 0 -1 4194304 9363 0 0 0 26 1 0 0 20 0 1 0 237041072 1242300416 16426 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 303296 16426 7955 1 0 274654 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1217376 KiB
Current children cumulated memory: 68776 KiB
[startup+0.700255 s]
/proc/loadavg: 4.10 4.12 4.14 5/272 175508
/proc/meminfo: memFree=115376764/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=39084 memory=33900 CPUtime=0.32 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 10058 0 0 0 30 2 0 0 20 0 1 0 237041106 40022016 8475 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 9771 8475 544 696 0 8932 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1289116 KiB
Current children cumulated memory: 131476 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 4.12 4.14 5/272 175508
/proc/meminfo: memFree=115362400/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=41044 memory=36600 CPUtime=1.11 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 11259 0 0 0 109 2 0 0 20 0 1 0 237041106 42029056 9150 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 10261 9150 544 696 0 9422 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1291076 KiB
Current children cumulated memory: 134176 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 4.12 4.14 5/272 175508
/proc/meminfo: memFree=115362652/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=49236 memory=42716 CPUtime=2.71 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 11752 0 0 0 269 2 0 0 20 0 1 0 237041106 50417664 10679 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 12309 10679 544 696 0 11470 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1299268 KiB
Current children cumulated memory: 140292 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.12 4.14 5/272 175508
/proc/meminfo: memFree=115363268/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=53332 memory=43356 CPUtime=5.89 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 11934 0 0 0 587 2 0 0 20 0 1 0 237041106 54611968 10839 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 13333 10839 544 696 0 12494 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1303364 KiB
Current children cumulated memory: 140932 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.14 5/272 175508
/proc/meminfo: memFree=115350132/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=69528 memory=58296 CPUtime=12.28 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 13186 0 0 0 1225 3 0 0 20 0 1 0 237041106 71196672 14574 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 17382 14574 544 696 0 16543 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1319560 KiB
Current children cumulated memory: 155872 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.14 5/272 175508
/proc/meminfo: memFree=115353424/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=71572 memory=51352 CPUtime=25.04 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 17022 0 0 0 2500 4 0 0 20 0 1 0 237041106 73289728 12838 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 17893 12838 544 696 0 17054 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1321604 KiB
Current children cumulated memory: 148928 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.14 5/272 175509
/proc/meminfo: memFree=115348364/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=71572 memory=57680 CPUtime=50.58 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 17061 0 0 0 5054 4 0 0 20 0 1 0 237041106 73289728 14420 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 17893 14420 544 696 0 17054 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1321604 KiB
Current children cumulated memory: 155256 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/272 175515
/proc/meminfo: memFree=115348628/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=94504 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 23626 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 23626 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=71572 memory=61776 CPUtime=101.64 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 17078 0 0 0 10160 4 0 0 20 0 1 0 237041106 73289728 15444 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 17893 15444 544 696 0 17054 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1321604 KiB
Current children cumulated memory: 159352 KiB
################
# More data... #
################
[pid=175508] ppid=175507 vsize=120728 memory=103924 CPUtime=3152.91 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 598627 0 0 0 314955 336 0 0 20 0 1 0 237041106 123625472 25981 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 25981 544 696 0 29343 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 203292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/271 175868
/proc/meminfo: memFree=114225108/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=103924 CPUtime=3212.74 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 608588 0 0 0 320931 343 0 0 20 0 1 0 237041106 123625472 25981 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 25981 544 696 0 29343 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 203292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.23 4.14 5/271 175870
/proc/meminfo: memFree=114189604/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=101872 CPUtime=3272.55 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 618732 0 0 0 326906 349 0 0 20 0 1 0 237041106 123625472 25468 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 25468 544 696 0 29343 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 201240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.14 5/271 175872
/proc/meminfo: memFree=114220252/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=105968 CPUtime=3332.37 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 625360 0 0 0 332883 354 0 0 20 0 1 0 237041106 123625472 26492 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 26492 544 696 0 29343 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 205336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/271 175874
/proc/meminfo: memFree=114189604/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=103920 CPUtime=3392.19 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 637090 0 0 0 338860 359 0 0 20 0 1 0 237041106 123625472 25980 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 25980 544 696 0 29343 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 203288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.16 4.12 5/271 175876
/proc/meminfo: memFree=114196820/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=108020 CPUtime=3452.02 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 640405 0 0 0 344840 362 0 0 20 0 1 0 237041106 123625472 27005 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 27005 544 696 0 29343 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 207388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/271 175882
/proc/meminfo: memFree=114186316/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=101876 CPUtime=3511.86 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 650478 0 0 0 350817 369 0 0 20 0 1 0 237041106 123625472 25469 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 25469 544 696 0 29343 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 201244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/272 175885
/proc/meminfo: memFree=114192332/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=105972 CPUtime=3571.71 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 660896 0 0 0 356797 374 0 0 20 0 1 0 237041106 123625472 26493 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 26493 544 696 0 29343 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 205340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.15 4.15 4.12 5/273 175887
/proc/meminfo: memFree=114183284/131250000 swapFree=33010416/33010684
[pid=175502] ppid=175499 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175502/stat : 175502 (scip-naps-1.00a) S 175499 175502 174935 0 -1 4194304 261 340 0 0 0 0 0 0 20 0 1 0 237041070 4292608 768 18446744073709551615 94707517210624 94707518105157 140725134737648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707518344208 94707518391952 94707519586304 140725134743963 140725134744062 140725134744062 140725134749666 0
/proc/175502/statm: 1048 768 704 219 0 110 0
[pid=175507] ppid=175502 vsize=1245840 memory=96296 CPUtime=0.32 cores=5,7
/proc/175507/stat : 175507 (python3) S 175502 175502 174935 0 -1 4194304 16535 0 0 0 30 2 0 0 20 0 1 0 237041072 1275740160 24074 18446744073709551615 94898661146624 94898661147001 140725971945408 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94898661158296 94898661158916 94898693890048 140725971953999 140725971954208 140725971954208 140725971959783 0
/proc/175507/statm: 311460 24074 8147 1 0 282818 0
[pid=175508] ppid=175507 vsize=120728 memory=105972 CPUtime=3599.74 cores=5,7
/proc/175508/stat : 175508 (naps-1.03a6) R 175507 175508 175508 0 -1 4194304 663545 0 0 0 359598 376 0 0 20 0 1 0 237041106 123625472 26493 18446744073709551615 4198400 7047149 140730233321552 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37163008 140730233330047 140730233330161 140730233330161 140730233335753 0
/proc/175508/statm: 30182 26493 544 696 0 29343 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1370760 KiB
Current children cumulated memory: 205340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.42 s]
# the end of solver process 175502 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003058 s, system=0.002639 s
[startup+3610.43 s]
# the end of solver process 175507 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.31 s, system=3.81031 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.43
CPU time (s): 3600.12
CPU user time (s): 3596.31
CPU system time (s): 3.81031
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 1403528
Max. memory (cumulated for all children) (KiB): 239088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.31
system time used= 3.81031
maximum resident set size= 139720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689554
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= 386
involuntary context switches= 5398
# summary of solver processes directly reported to runsolver:
# pid: 175502,175507
# total CPU time (s): 3600.12
# total CPU user time (s): 3596.31
# total CPU system time (s): 3.81031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65056 second user time and 15.8647 second system time
The end