0.15/0.28 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4541929-1753211271.opb
0.15/0.28 c Solving mode: decision
0.15/0.28 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.15/0.28 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.15/0.28 c original problem has 1802 variables (1802 bin, 0 int, 0 impl, 0 cont) and 2381 constraints
0.15/0.28 c presolving:
0.15/0.28 c (round 1, fast) 102 del vars, 102 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1190 clqs
0.15/0.28 c (round 2, exhaustive) 102 del vars, 102 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1735 upgd conss, 0 impls, 1190 clqs
0.15/0.28 c (round 3, exhaustive) 102 del vars, 1836 del conss, 578 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1735 upgd conss, 0 impls, 1191 clqs
0.15/0.28 c (round 4, exhaustive) 391 del vars, 2125 del conss, 578 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1735 upgd conss, 0 impls, 613 clqs
0.15/0.28 c (round 5, fast) 391 del vars, 2125 del conss, 578 add conss, 0 chg bounds, 1 chg sides, 66 chg coeffs, 1735 upgd conss, 0 impls, 613 clqs
0.15/0.28 c (0.1s) probing: 1000/1411 (70.9%) - 0 fixings, 1 aggregations, 151 implications, 0 bound changes
0.15/0.28 c (0.1s) probing: 1009/1411 (71.5%) - 0 fixings, 1 aggregations, 151 implications, 0 bound changes
0.15/0.28 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.15/0.28 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.15/0.28 c (0.1s) no symmetry present (symcode time: 0.00)
0.15/0.28 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
0.15/0.28 c 392 deleted vars, 2125 deleted constraints, 578 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 66 changed coefficients
0.15/0.28 c 0 implications, 751 cliques
0.15/0.28 c presolved problem has 1410 variables (1410 bin, 0 int, 0 impl, 0 cont) and 834 constraints
0.15/0.28 c 1 constraints of type <knapsack>
0.15/0.28 c 289 constraints of type <and>
0.15/0.28 c 544 constraints of type <linear>
0.15/0.28 c transformed objective value is always integral (scale: 1)
0.15/0.28 c Presolving Time: 0.08
0.15/0.28 c
0.15/0.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.15/0.28 c 0.1s| 1 | 0 | 31 | - | 18M | 0 |1410 | 872 |1123 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.28 c o 0.1s| 1 | 0 | 37 | - |feaspump| 0 |1410 | 872 |1123 | 0 | 0 | 37 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.15/0.28 c 0.1s| 1 | 0 | 37 | - | 18M | 0 |1410 | 872 |1123 | 0 | 0 | 37 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.15/0.28 c
0.15/0.28 c SCIP Status : problem is solved [optimal solution found]
0.15/0.28 c Solving Time (sec) : 0.11
0.15/0.28 c Solving Nodes : 1
0.15/0.28 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.15/0.28 c Dual Bound : +0.00000000000000e+00
0.15/0.28 c Gap : 0.00 %
0.15/0.28 c [VIOLATION] Line 17: -1 x1769 +1 x1735 -2 x1770 +2 x1736 -4 x1771 +4 x1737 -8 x1772 +8 x1738 -16 x1773 +16 x1739 -32 x1774 +32 x1740 -64 x1775 +64 x1741 -128 x1776 +128 x1742 -256 x1777 +256 x1743 -512 x1778 +512 x1744 -1024 x1779 +1024 x1745 -2048 x1780 +2048 x1746 -4096 x1781 +4096 x1747 -8192 x1782 +8192 x1748 -16384 x1783 +16384 x1749 -32768 x1784 +32768 x1750 -65536 x1785 +65536 x1751 -131072 x1786 +131072 x1752 -262144 x1787 +262144 x1753 -524288 x1788 +524288 x1754 -1048576 x1789 +1048576 x1755 -2097152 x1790 +2097152 x1756 -4194304 x1791 +4194304 x1757 -8388608 x1792 +8388608 x1758 -16777216 x1793 +16777216 x1759 -33554432 x1794 +33554432 x1760 -67108864 x1795 +67108864 x1761 -134217728 x1796 +134217728 x1762 -268435456 x1797 +268435456 x1763 -536870912 x1798 +536870912 x1764 -1073741824 x1799 +1073741824 x1765 -2147483648 x1800 +2147483648 x1766 -4294967296 x1801 +4294967296 x1767 -8589934592 x1802 +8589934592 x1768 >= 1 ;
0.15/0.28 c Computed activity: 0
0.15/0.28 c Required: activity >= 1
0.15/0.28 c Variable assignments: {x1769=0, x1735=0, x1770=0, x1736=0, x1771=0, x1737=0, x1772=0, x1738=0, x1773=0, x1739=0, x1774=0, x1740=0, x1775=0, x1741=0, x1776=0, x1742=0, x1777=0, x1743=0, x1778=0, x1744=0, x1779=0, x1745=0, x1780=0, x1746=0, x1781=0, x1747=0, x1782=0, x1748=0, x1783=0, x1749=0, x1784=0, x1750=0, x1785=0, x1751=0, x1786=0, x1752=0, x1787=0, x1753=0, x1788=0, x1754=0, x1789=0, x1755=0, x1790=0, x1756=0, x1791=0, x1757=0, x1792=0, x1758=0, x1793=0, x1759=0, x1794=0, x1760=0, x1795=0, x1761=0, x1796=0, x1762=0, x1797=0, x1763=0, x1798=0, x1764=0, x1799=0, x1765=0, x1800=0, x1766=0, x1801=0, x1767=0, x1802=0, x1768=0}}
0.15/0.28 c SCIP found a solution, but it is not feasible according to the original problem.
0.15/0.28 c ----------------------------------------------------------------------
0.15/0.28 c executing external solver (fallback): HOME/naps-1.03a6
0.15/0.28 c ----------------------------------------------------------------------
0.15/0.28 c command: HOME/naps-1.03a6 HOME/instance-4541929-1753211271.opb
0.15/0.28 c NaPS 1.03a6.
0.15/0.28 c Input file name: HOME/instance-4541929-1753211271.opb
3600.09/3609.40 c
3600.09/3609.40 c *** TERMINATED *** by signal 15
3600.09/3609.40 c _____________________________________________________________________________
3600.09/3609.40 c std/band forms : 1,544
3600.09/3609.40 c 2cl/3cl ITE-codings : 33,2618
3600.09/3609.40 c BDD/srt/adr Max costs : 100,0,0
3600.09/3609.40 c BDDraw/bin/mul/srt/adr: 545,0,0,0,0
3600.09/3609.40 c BDD nodes : 6493
3600.09/3609.40 c Es1/CC detections : 0,0
3600.09/3609.40 c CC sort : 0
3600.09/3609.40 c SAT/UNSAT calls : 0,0
3600.09/3609.40 c regenrated variables : 0
3600.09/3609.40 c eliminated fixed lits : 0
3600.09/3609.40 c goal lit flips : 0
3600.09/3609.40 c goal stages : 0
3600.09/3609.40 c goal shrink : 0
3600.09/3609.40 c goal coeff separations: 0
3600.09/3609.40 c restarts : 0
3600.09/3609.40 c conflicts : 0 (0 /sec)
3600.09/3609.40 c decisions : 0 (0 /sec)
3600.09/3609.40 c propagations : 0 (0 /sec)
3600.09/3609.40 c inspects : 0 (0 /sec)
3600.09/3609.40 c CPU time (solving tm) : 3594 s (3594 s, SAT 0 s, UNSAT 0 s)
3600.09/3609.40 c Time for Opt-base : 0 s
3600.09/3609.40 c Steps for Opt-base : 0
3600.09/3609.40 c Time for BDD coding : 0.02377 s
3600.09/3609.40 c Time for srt coding : 0 s
3600.09/3609.40 c _____________________________________________________________________________
3600.09/3609.40 s UNKNOWN
3600.09/3609.41 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: 63708 MiB (62278 MiB free)
memory of node 1: 64465 MiB (61350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541929-1753211271/watcher-4541929-1753211271 -o /tmp/evaluation-result-4541929-1753211271/solver-4541929-1753211271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753211271-184958 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4541929-1753211271.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
Current StackSize limit: 8192 KiB
solver pid=185006, runsolver pid=184996
[startup+0.100061 s]*
/proc/loadavg: 1.07 1.13 1.72 5/270 185031
/proc/meminfo: memFree=126573968/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=127372 memory=26864 CPUtime=0.05 cores=5,7
/proc/185028/stat : 185028 (python3) R 185006 185006 184945 0 -1 4194304 3044 0 0 0 4 1 0 0 20 0 1 0 236805566 130428928 6716 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 31843 6716 4252 1 0 3945 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 131564 KiB
Current children cumulated memory: 29808 KiB
[startup+0.205678 s]*
/proc/loadavg: 1.07 1.13 1.72 5/270 185031
/proc/meminfo: memFree=126469640/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1210092 memory=62832 CPUtime=0.15 cores=5,7
/proc/185028/stat : 185028 (python3) R 185006 185006 184945 0 -1 4194304 8673 0 0 0 13 2 0 0 20 0 1 0 236805566 1239134208 15708 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 302523 15708 7932 1 0 273881 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1214284 KiB
Current children cumulated memory: 65776 KiB
[startup+0.305699 s]*
/proc/loadavg: 1.07 1.13 1.72 5/274 185035
/proc/meminfo: memFree=126405632/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=5168 memory=3584 CPUtime=0.01 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 596 0 0 0 1 0 0 0 20 0 1 0 236805591 5292032 896 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 1292 896 544 696 0 453 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1227944 KiB
Current children cumulated memory: 76400 KiB
[startup+0.700174 s]
/proc/loadavg: 1.07 1.13 1.72 5/274 185035
/proc/meminfo: memFree=126385472/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=9524 memory=7032 CPUtime=0.39 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2042 0 0 0 39 0 0 0 20 0 1 0 236805591 9752576 1758 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 2381 1758 544 696 0 1542 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1232300 KiB
Current children cumulated memory: 79848 KiB
[startup+1.50017 s]
/proc/loadavg: 1.07 1.13 1.72 5/274 185035
/proc/meminfo: memFree=126378920/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=9524 memory=7100 CPUtime=1.19 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2966 0 0 0 119 0 0 0 20 0 1 0 236805591 9752576 1775 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 2381 1775 544 696 0 1542 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1232300 KiB
Current children cumulated memory: 79916 KiB
[startup+3.10545 s]
/proc/loadavg: 1.31 1.17 1.73 5/274 185035
/proc/meminfo: memFree=126370672/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=10552 memory=7408 CPUtime=2.8 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 4400 0 0 0 279 1 0 0 20 0 1 0 236805591 10805248 1852 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 2638 1852 544 696 0 1799 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1233328 KiB
Current children cumulated memory: 80224 KiB
[startup+6.30015 s]
/proc/loadavg: 1.31 1.17 1.73 5/274 185035
/proc/meminfo: memFree=126367492/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=13112 memory=9596 CPUtime=5.98 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 10380 0 0 0 596 2 0 0 20 0 1 0 236805591 13426688 2399 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 3278 2399 544 696 0 2439 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1235888 KiB
Current children cumulated memory: 82412 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 1.22 1.74 5/274 185035
/proc/meminfo: memFree=126354600/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=12084 memory=9628 CPUtime=12.37 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 19385 0 0 0 1233 4 0 0 20 0 1 0 236805591 12374016 2407 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 3021 2407 544 696 0 2182 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1234860 KiB
Current children cumulated memory: 82444 KiB
[startup+25.5002 s]
/proc/loadavg: 2.07 1.36 1.78 5/274 185035
/proc/meminfo: memFree=126315060/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=13112 memory=11268 CPUtime=25.14 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 37865 0 0 0 2507 7 0 0 20 0 1 0 236805591 13426688 2817 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 3278 2817 544 696 0 2439 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1235888 KiB
Current children cumulated memory: 84084 KiB
[startup+51.1056 s]
/proc/loadavg: 2.80 1.59 1.84 5/274 185036
/proc/meminfo: memFree=126306988/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=18232 memory=13464 CPUtime=50.67 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 88512 0 0 0 5050 17 0 0 20 0 1 0 236805591 18669568 3366 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 4558 3366 544 696 0 3719 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1241008 KiB
Current children cumulated memory: 86280 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.98 1.96 5/274 185037
/proc/meminfo: memFree=126297168/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=69872 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 17468 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 17468 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=22068 memory=17532 CPUtime=101.75 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 155702 0 0 0 10145 30 0 0 20 0 1 0 236805591 22597632 4383 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 5517 4383 544 696 0 4678 0
Current children cumulated CPU time: 101.98 s
################
# More data... #
################
/proc/meminfo: memFree=126129308/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=78392 memory=74360 CPUtime=3153.91 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2138432 0 0 0 314901 490 0 0 20 0 1 0 236805591 80273408 18590 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 19598 18590 544 696 0 18759 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 1301168 KiB
Current children cumulated memory: 149608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/271 185193
/proc/meminfo: memFree=126136128/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=66104 memory=63492 CPUtime=3213.74 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2159076 0 0 0 320879 495 0 0 20 0 1 0 236805591 67690496 15873 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 16526 15873 544 696 0 15687 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 1288880 KiB
Current children cumulated memory: 138740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/271 185195
/proc/meminfo: memFree=126125248/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=78392 memory=73032 CPUtime=3273.57 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2164599 0 0 0 326861 496 0 0 20 0 1 0 236805591 80273408 18258 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 19598 18258 544 696 0 18759 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 1301168 KiB
Current children cumulated memory: 148280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/270 185197
/proc/meminfo: memFree=126125840/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=78392 memory=72776 CPUtime=3333.42 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2262514 0 0 0 332826 516 0 0 20 0 1 0 236805591 80273408 18194 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 19598 18194 544 696 0 18759 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 1301168 KiB
Current children cumulated memory: 148024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/270 185199
/proc/meminfo: memFree=126128348/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=62008 memory=58888 CPUtime=3393.27 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2280789 0 0 0 338805 522 0 0 20 0 1 0 236805591 63496192 14722 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 15502 14722 544 696 0 14663 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 1284784 KiB
Current children cumulated memory: 134136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/271 185202
/proc/meminfo: memFree=126113868/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=74296 memory=70132 CPUtime=3453.13 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2360443 0 0 0 344769 544 0 0 20 0 1 0 236805591 76079104 17533 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 18574 17533 544 696 0 17735 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 1297072 KiB
Current children cumulated memory: 145380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.02 5/272 185211
/proc/meminfo: memFree=126129160/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=66104 memory=61956 CPUtime=3512.96 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2500148 0 0 0 350720 576 0 0 20 0 1 0 236805591 67690496 15489 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 16526 15489 544 696 0 15687 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 1288880 KiB
Current children cumulated memory: 137204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/272 185213
/proc/meminfo: memFree=126120984/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=66104 memory=62280 CPUtime=3572.82 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2519550 0 0 0 356701 581 0 0 20 0 1 0 236805591 67690496 15570 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 16526 15570 544 696 0 15687 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 1288880 KiB
Current children cumulated memory: 137528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.07 4.08 4.02 5/272 185214
/proc/meminfo: memFree=126111132/131249996 swapFree=33010160/33010684
[pid=185006] ppid=184996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/185006/stat : 185006 (scip-naps-1.00.) S 184996 185006 184945 0 -1 4194304 260 334 0 0 0 0 0 0 20 0 1 0 236805562 4292608 736 18446744073709551615 94894085951488 94894086846021 140722873212112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94894087085072 94894087132816 94894110740480 140722873219487 140722873219584 140722873219584 140722873225188 0
/proc/185006/statm: 1048 736 672 219 0 110 0
[pid=185028] ppid=185006 vsize=1218584 memory=72304 CPUtime=0.23 cores=5,7
/proc/185028/stat : 185028 (python3) S 185006 185006 184945 0 -1 4194304 10416 0 0 0 20 3 0 0 20 0 1 0 236805566 1247830016 18076 18446744073709551615 94322128830464 94322128830841 140729660986864 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94322128842136 94322128842756 94322143248384 140729660991830 140729660992032 140729660992032 140729660997607 0
/proc/185028/statm: 304646 18076 8156 1 0 276004 0
[pid=185035] ppid=185028 vsize=62004 memory=58792 CPUtime=3599.86 cores=5,7
/proc/185035/stat : 185035 (naps-1.03a6) R 185028 185035 185035 0 -1 4194304 2522031 0 0 0 359404 582 0 0 20 0 1 0 236805591 63492096 14698 18446744073709551615 4198400 7047149 140722642653040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28590080 140722642655615 140722642655729 140722642655729 140722642661321 0
/proc/185035/statm: 15501 14698 544 696 0 14662 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1284780 KiB
Current children cumulated memory: 134040 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.42 s]
# the end of solver process 185006 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.26 s, system=5.86715 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.42
CPU time (s): 3600.13
CPU user time (s): 3594.26
CPU system time (s): 5.86715
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 1333940
Max. memory (cumulated for all children) (KiB): 172868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.26
system time used= 5.86715
maximum resident set size= 97620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2536911
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= 487
involuntary context switches= 3762
# summary of solver processes directly reported to runsolver:
# pid: 185006
# total CPU time (s): 3600.13
# total CPU user time (s): 3594.26
# total CPU system time (s): 5.86715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30363 second user time and 15.1507 second system time
The end