0.17/0.25 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542092-1753213742.opb
0.17/0.25 c Solving mode: decision
0.17/0.25 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.17/0.25 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.17/0.25 c original problem has 4482 variables (4482 bin, 0 int, 0 impl, 0 cont) and 6670 constraints
0.17/0.25 c presolving:
0.17/0.25 c (round 1, fast) 891 del vars, 891 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1512 clqs
0.17/0.25 c (round 2, exhaustive) 891 del vars, 3078 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1512 clqs
0.17/0.25 c (round 3, exhaustive) 891 del vars, 3078 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2188 upgd conss, 0 impls, 1512 clqs
0.17/0.25 c (round 4, fast) 891 del vars, 3078 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 106 chg coeffs, 2188 upgd conss, 0 impls, 1512 clqs
0.17/0.25 c (round 5, exhaustive) 891 del vars, 5265 del conss, 729 add conss, 0 chg bounds, 1 chg sides, 106 chg coeffs, 2188 upgd conss, 0 impls, 1513 clqs
0.17/0.25 c (0.1s) probing: 51/3591 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.17/0.25 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.17/0.25 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.17/0.25 c (0.1s) no symmetry present (symcode time: 0.00)
0.17/0.25 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
0.17/0.25 c 891 deleted vars, 5265 deleted constraints, 729 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 106 changed coefficients
0.17/0.25 c 0 implications, 1513 cliques
0.17/0.25 c presolved problem has 3591 variables (3591 bin, 0 int, 0 impl, 0 cont) and 2134 constraints
0.17/0.25 c 1 constraints of type <knapsack>
0.17/0.25 c 729 constraints of type <and>
0.17/0.25 c 1404 constraints of type <linear>
0.17/0.25 c transformed objective value is always integral (scale: 1)
0.17/0.25 c Presolving Time: 0.05
0.17/0.25 c
0.17/0.25 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.25 c p 0.1s| 1 | 0 | 1 | - | clique| 0 |3591 |2134 |2863 | 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.17/0.25 c
0.17/0.25 c SCIP Status : problem is solved [optimal solution found]
0.17/0.25 c Solving Time (sec) : 0.08
0.17/0.25 c Solving Nodes : 1
0.17/0.25 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.17/0.25 c Dual Bound : +0.00000000000000e+00
0.17/0.25 c Gap : 0.00 %
0.17/0.25 c [VIOLATION] Line 18: +1 x4375 -1 x4429 +2 x4376 -2 x4430 +4 x4377 -4 x4431 +8 x4378 -8 x4432 +16 x4379 -16 x4433 +32 x4380 -32 x4434 +64 x4381 -64 x4435 +128 x4382 -128 x4436 +256 x4383 -256 x4437 +512 x4384 -512 x4438 +1024 x4385 -1024 x4439 +2048 x4386 -2048 x4440 +4096 x4387 -4096 x4441 +8192 x4388 -8192 x4442 +16384 x4389 -16384 x4443 +32768 x4390 -32768 x4444 +65536 x4391 -65536 x4445 +131072 x4392 -131072 x4446 +262144 x4393 -262144 x4447 +524288 x4394 -524288 x4448 +1048576 x4395 -1048576 x4449 +2097152 x4396 -2097152 x4450 +4194304 x4397 -4194304 x4451 +8388608 x4398 -8388608 x4452 +16777216 x4399 -16777216 x4453 +33554432 x4400 -33554432 x4454 +67108864 x4401 -67108864 x4455 +134217728 x4402 -134217728 x4456 +268435456 x4403 -268435456 x4457 +536870912 x4404 -536870912 x4458 +1073741824 x4405 -1073741824 x4459 +2147483648 x4406 -2147483648 x4460 +4294967296 x4407 -4294967296 x4461 +8589934592 x4408 -8589934592 x4462 +17179869184 x4409 -17179869184 x4463 +34359738368 x4410 -34359738368 x4464 +68719476736 x4411 -68719476736 x4465 +137438953472 x4412 -137438953472 x4466 +274877906944 x4413 -274877906944 x4467 +549755813888 x4414 -549755813888 x4468 +1099511627776 x4415 -1099511627776 x4469 +2199023255552 x4416 -2199023255552 x4470 +4398046511104 x4417 -4398046511104 x4471 +8796093022208 x4418 -8796093022208 x4472 +17592186044416 x4419 -17592186044416 x4473 +35184372088832 x4420 -35184372088832 x4474 +70368744177664 x4421 -70368744177664 x4475 +140737488355328 x4422 -140737488355328 x4476 +281474976710656 x4423 -281474976710656 x4477 +562949953421312 x4424 -562949953421312 x4478 +1125899906842624 x4425 -1125899906842624 x4479 +2251799813685248 x4426 -2251799813685248 x4480 +4503599627370496 x4427 -4503599627370496 x4481 +9007199254740992 x4428 -9007199254740992 x4482 >= 1 ;
0.17/0.25 c Computed activity: 0
0.17/0.25 c Required: activity >= 1
0.17/0.25 c Variable assignments: {x4375=0, x4429=0, x4376=0, x4430=0, x4377=0, x4431=0, x4378=0, x4432=0, x4379=0, x4433=0, x4380=0, x4434=0, x4381=0, x4435=0, x4382=0, x4436=0, x4383=0, x4437=0, x4384=0, x4438=0, x4385=0, x4439=0, x4386=0, x4440=0, x4387=0, x4441=0, x4388=0, x4442=0, x4389=0, x4443=0, x4390=0, x4444=0, x4391=0, x4445=0, x4392=0, x4446=0, x4393=0, x4447=0, x4394=0, x4448=0, x4395=0, x4449=0, x4396=0, x4450=0, x4397=0, x4451=0, x4398=0, x4452=0, x4399=0, x4453=0, x4400=0, x4454=0, x4401=0, x4455=0, x4402=0, x4456=0, x4403=0, x4457=0, x4404=0, x4458=0, x4405=0, x4459=0, x4406=0, x4460=0, x4407=0, x4461=0, x4408=0, x4462=0, x4409=0, x4463=0, x4410=0, x4464=0, x4411=0, x4465=0, x4412=0, x4466=0, x4413=0, x4467=0, x4414=0, x4468=0, x4415=0, x4469=0, x4416=0, x4470=0, x4417=0, x4471=0, x4418=0, x4472=0, x4419=0, x4473=0, x4420=0, x4474=0, x4421=0, x4475=0, x4422=0, x4476=0, x4423=0, x4477=0, x4424=0, x4478=0, x4425=0, x4479=0, x4426=0, x4480=0, x4427=0, x4481=0, x4428=0, x4482=0}}
0.17/0.25 c SCIP found a solution, but it is not feasible according to the original problem.
0.17/0.25 c ----------------------------------------------------------------------
0.17/0.25 c executing external solver (fallback): HOME/naps-1.03a6
0.17/0.25 c ----------------------------------------------------------------------
0.17/0.25 c command: HOME/naps-1.03a6 HOME/instance-4542092-1753213742.opb
0.17/0.26 c NaPS 1.03a6.
0.17/0.26 c Input file name: HOME/instance-4542092-1753213742.opb
3600.02/3609.60 c
3600.02/3609.60 c *** TERMINATED *** by signal 15
3600.02/3609.60 c s UNKNOWN
3600.02/3609.60 c _____________________________________________________________________________
3600.02/3609.60 c std/band forms : 1,1404
3600.02/3609.60 c 2cl/3cl ITE-codings : 53,6858
3600.02/3609.60 c BDD/srt/adr Max costs : 160,0,0
3600.02/3609.60 c BDDraw/bin/mul/srt/adr: 1405,0,0,0,0
3600.02/3609.60 c BDD nodes : 16793
3600.02/3609.60 c Es1/CC detections : 0,0
3600.02/3609.60 c CC sort : 0
3600.02/3609.60 c SAT/UNSAT calls : 0,0
3600.02/3609.60 c regenrated variables : 0
3600.02/3609.60 c eliminated fixed lits : 0
3600.02/3609.60 c goal lit flips : 0
3600.02/3609.60 c goal stages : 0
3600.02/3609.60 c goal shrink : 0
3600.02/3609.60 c goal coeff separations: 0
3600.02/3609.60 c restarts : 0
3600.02/3609.60 c conflicts : 0 (0 /sec)
3600.02/3609.60 c decisions : 0 (0 /sec)
3600.02/3609.60 c propagations : 0 (0 /sec)
3600.02/3609.60 c inspects : 0 (0 /sec)
3600.02/3609.60 c CPU time (solving tm) : 3594 s (3594 s, SAT 0 s, UNSAT 0 s)
3600.02/3609.60 c Time for Opt-base : 0 s
3600.02/3609.60 c Steps for Opt-base : 0
3600.02/3609.60 c Time for BDD coding : 0.06375 s
3600.02/3609.60 c Time for srt coding : 0 s
3600.02/3609.60 c _____________________________________________________________________________
3600.02/3609.60 s UNKNOWN
3600.02/3609.62 c received SIGTERM, forwarding to pbsolver...
3600.02/3609.62 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 (59557 MiB free)
memory of node 1: 64507 MiB (53174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542092-1753213742/watcher-4542092-1753213742 -o /tmp/evaluation-result-4542092-1753213742/solver-4542092-1753213742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753210000-174949 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542092-1753213742.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=175560, runsolver pid=175557
[startup+0.10006 s]*
/proc/loadavg: 4.13 4.12 4.13 5/271 175565
/proc/meminfo: memFree=115437572/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1187904 memory=32908 CPUtime=0.07 cores=0,2
/proc/175565/stat : 175565 (python3) R 175560 175560 174935 0 -1 4194304 3964 0 0 0 6 1 0 0 20 0 1 0 237054102 1216413696 8227 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 296976 8227 4899 1 0 268998 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192096 KiB
Current children cumulated memory: 35980 KiB
[startup+0.20558 s]*
/proc/loadavg: 4.13 4.12 4.13 5/271 175565
/proc/meminfo: memFree=115406576/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1221500 memory=73484 CPUtime=0.17 cores=0,2
/proc/175565/stat : 175565 (python3) R 175560 175560 174935 0 -1 4194304 11370 0 0 0 15 2 0 0 20 0 1 0 237054102 1250816000 18371 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 305375 18371 7907 1 0 276733 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1225692 KiB
Current children cumulated memory: 76556 KiB
[startup+0.305563 s]*
/proc/loadavg: 4.13 4.12 4.13 5/272 175566
/proc/meminfo: memFree=115390700/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=7080 memory=5504 CPUtime=0.04 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1066 0 0 0 4 0 0 0 20 0 1 0 237054126 7249920 1376 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 1770 1376 544 696 0 931 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1251140 KiB
Current children cumulated memory: 95756 KiB
[startup+0.700156 s]
/proc/loadavg: 4.13 4.12 4.13 5/272 175566
/proc/meminfo: memFree=115385156/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=17620 memory=12948 CPUtime=0.42 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 4223 0 0 0 42 0 0 0 20 0 1 0 237054126 18042880 3237 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 4405 3237 544 696 0 3566 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1261680 KiB
Current children cumulated memory: 103200 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.13 5/272 175566
/proc/meminfo: memFree=115385184/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=15836 memory=13140 CPUtime=1.21 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 4755 0 0 0 121 0 0 0 20 0 1 0 237054126 16216064 3285 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 3959 3285 544 696 0 3120 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1259896 KiB
Current children cumulated memory: 103392 KiB
[startup+3.1051 s]
/proc/loadavg: 4.13 4.12 4.13 5/272 175566
/proc/meminfo: memFree=115385284/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=15740 memory=13780 CPUtime=2.81 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 4920 0 0 0 281 0 0 0 20 0 1 0 237054126 16117760 3445 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 3935 3445 544 696 0 3096 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1259800 KiB
Current children cumulated memory: 104032 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.12 4.13 5/272 175566
/proc/meminfo: memFree=115393664/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=18768 memory=15364 CPUtime=6.01 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 5762 0 0 0 600 1 0 0 20 0 1 0 237054126 19218432 3841 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 4692 3841 544 696 0 3853 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1262828 KiB
Current children cumulated memory: 105616 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.13 5/272 175566
/proc/meminfo: memFree=115363480/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=19792 memory=16932 CPUtime=12.39 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 10408 0 0 0 1237 2 0 0 20 0 1 0 237054126 20267008 4233 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 4948 4233 544 696 0 4109 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1263852 KiB
Current children cumulated memory: 107184 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.13 5/272 175567
/proc/meminfo: memFree=115369340/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=17996 memory=15488 CPUtime=25.15 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 16670 0 0 0 2513 2 0 0 20 0 1 0 237054126 18427904 3872 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 4499 3872 544 696 0 3660 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1262056 KiB
Current children cumulated memory: 105740 KiB
[startup+51.1051 s]
/proc/loadavg: 4.06 4.10 4.12 5/272 175567
/proc/meminfo: memFree=115365096/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=29516 memory=24028 CPUtime=50.7 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 33832 0 0 0 5064 6 0 0 20 0 1 0 237054126 30224384 6007 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 7379 6007 544 696 0 6540 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1273576 KiB
Current children cumulated memory: 114280 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/271 175569
/proc/meminfo: memFree=115349448/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87180 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21795 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21795 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=35660 memory=32224 CPUtime=101.76 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 61878 0 0 0 10164 12 0 0 20 0 1 0 237054126 36515840 8056 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 8915 8056 544 696 0 8076 0
################
# More data... #
################
[pid=175566] ppid=175565 vsize=62284 memory=44316 CPUtime=3153.69 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1689999 0 0 0 314891 478 0 0 20 0 1 0 237054126 63778816 11079 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 15571 11079 544 696 0 14732 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 1306344 KiB
Current children cumulated memory: 135208 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.22 4.14 5/271 175873
/proc/meminfo: memFree=114208028/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=49996 memory=44820 CPUtime=3213.53 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1730151 0 0 0 320866 487 0 0 20 0 1 0 237054126 51195904 11205 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 12499 11205 544 696 0 11660 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 1294056 KiB
Current children cumulated memory: 135712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/271 175875
/proc/meminfo: memFree=114185776/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=35660 memory=29592 CPUtime=3273.38 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1764436 0 0 0 326840 498 0 0 20 0 1 0 237054126 36515840 7398 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 8915 7398 544 696 0 8076 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 1279720 KiB
Current children cumulated memory: 120484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.15 4.12 5/270 175877
/proc/meminfo: memFree=114170892/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=31564 memory=29208 CPUtime=3333.22 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1803629 0 0 0 332811 511 0 0 20 0 1 0 237054126 32321536 7302 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 7891 7302 544 696 0 7052 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 1275624 KiB
Current children cumulated memory: 120100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/271 175882
/proc/meminfo: memFree=114173380/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=66380 memory=52252 CPUtime=3393.06 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1842022 0 0 0 338783 523 0 0 20 0 1 0 237054126 67973120 13063 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 16595 13063 544 696 0 15756 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 1310440 KiB
Current children cumulated memory: 143144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/272 175885
/proc/meminfo: memFree=114192340/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=41800 memory=37272 CPUtime=3452.9 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1852598 0 0 0 344763 527 0 0 20 0 1 0 237054126 42803200 9318 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 10450 9318 544 696 0 9611 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 1285860 KiB
Current children cumulated memory: 128164 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/272 175936
/proc/meminfo: memFree=106201964/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=49996 memory=43840 CPUtime=3512.74 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1878634 0 0 0 350740 534 0 0 20 0 1 0 237054126 51195904 10960 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 12499 10960 544 696 0 11660 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 1294056 KiB
Current children cumulated memory: 134732 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/272 175988
/proc/meminfo: memFree=99635348/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=66380 memory=49820 CPUtime=3572.58 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1906062 0 0 0 356715 543 0 0 20 0 1 0 237054126 67973120 12455 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 16595 12455 544 696 0 15756 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 1310440 KiB
Current children cumulated memory: 140712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.12 4.12 4.10 5/272 175989
/proc/meminfo: memFree=97785692/131250000 swapFree=33010416/33010684
[pid=175560] ppid=175557 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/175560/stat : 175560 (scip-naps-1.00a) S 175557 175560 174935 0 -1 4194304 259 335 0 0 0 0 0 0 20 0 1 0 237054100 4292608 768 18446744073709551615 94433284608000 94433285502533 140721846364160 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433285741584 94433285789328 94433310633984 140721846368667 140721846368766 140721846368766 140721846374370 0
/proc/175560/statm: 1048 768 704 219 0 110 0
[pid=175565] ppid=175560 vsize=1239868 memory=87820 CPUtime=0.22 cores=0,2
/proc/175565/stat : 175565 (python3) S 175560 175560 174935 0 -1 4194304 14722 0 0 0 19 3 0 0 20 0 1 0 237054102 1269624832 21955 18446744073709551615 94285740503040 94285740503417 140725738460608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94285740514712 94285740515332 94285760622592 140725738465615 140725738465824 140725738465824 140725738471399 0
/proc/175565/statm: 309967 21955 8163 1 0 281325 0
[pid=175566] ppid=175565 vsize=37708 memory=34976 CPUtime=3599.8 cores=0,2
/proc/175566/stat : 175566 (naps-1.03a6) R 175565 175566 175566 0 -1 4194304 1917585 0 0 0 359433 547 0 0 20 0 1 0 237054126 38612992 8744 18446744073709551615 4198400 7047149 140723992010128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37269504 140723992017279 140723992017393 140723992017393 140723992022985 0
/proc/175566/statm: 9427 8744 544 696 0 8588 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1281768 KiB
Current children cumulated memory: 125868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.62 s]
# the end of solver process 175560 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001207 s, system=0.004001 s
[startup+3609.65 s]
# the end of solver process 175565 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.57 s, system=5.52174 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): 3609.65
CPU time (s): 3600.09
CPU user time (s): 3594.57
CPU system time (s): 5.52174
CPU usage (%): 99.7354
Max. virtual memory (cumulated for all children) (KiB): 1400552
Max. memory (cumulated for all children) (KiB): 221744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.57
system time used= 5.52174
maximum resident set size= 130852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1940980
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= 366
involuntary context switches= 8103
# summary of solver processes directly reported to runsolver:
# pid: 175560,175565
# total CPU time (s): 3600.09
# total CPU user time (s): 3594.57
# total CPU system time (s): 5.52174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13971 second user time and 15.7829 second system time
The end