0.37/0.48 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4541695-1753210003.opb
0.37/0.48 c Solving mode: decision
0.37/0.48 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.37/0.48 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.37/0.48 c original problem has 3484 variables (3484 bin, 0 int, 0 impl, 0 cont) and 3485 constraints
0.37/0.48 c presolving:
0.37/0.48 c (round 1, fast) 156 del vars, 156 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1404 clqs
0.37/0.48 c (round 2, exhaustive) 156 del vars, 156 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2029 upgd conss, 0 impls, 1404 clqs
0.37/0.48 c (round 3, fast) 156 del vars, 156 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 102 chg coeffs, 2029 upgd conss, 0 impls, 1404 clqs
0.37/0.48 c (round 4, exhaustive) 156 del vars, 2184 del conss, 676 add conss, 0 chg bounds, 1 chg sides, 102 chg coeffs, 2029 upgd conss, 0 impls, 1405 clqs
0.37/0.48 c (0.1s) probing: 161/3328 (4.8%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.37/0.48 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.37/0.48 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.37/0.48 c (0.1s) no symmetry present (symcode time: 0.00)
0.37/0.48 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
0.37/0.48 c 156 deleted vars, 2184 deleted constraints, 676 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 102 changed coefficients
0.37/0.48 c 0 implications, 1419 cliques
0.37/0.48 c presolved problem has 3328 variables (3328 bin, 0 int, 0 impl, 0 cont) and 1977 constraints
0.37/0.48 c 1 constraints of type <knapsack>
0.37/0.48 c 676 constraints of type <and>
0.37/0.48 c 1300 constraints of type <linear>
0.37/0.48 c transformed objective value is always integral (scale: 1)
0.37/0.48 c Presolving Time: 0.05
0.37/0.48 c
0.37/0.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.37/0.48 c 0.1s| 1 | 0 | 27 | - | 31M | 0 |3328 |1997 |2653 | 0 | 0 | 19 | 0 | 0.000000e+00 | -- | Inf | unknown
0.37/0.48 c o 0.3s| 1 | 0 | 3117 | - |feaspump| 0 |3328 |1997 |2653 | 0 | 0 | 19 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.37/0.48 c 0.3s| 1 | 0 | 3117 | - | 31M | 0 |3328 |1997 |2653 | 0 | 0 | 19 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.37/0.48 c
0.37/0.48 c SCIP Status : problem is solved [optimal solution found]
0.37/0.48 c Solving Time (sec) : 0.32
0.37/0.48 c Solving Nodes : 1
0.37/0.48 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.37/0.48 c Dual Bound : +0.00000000000000e+00
0.37/0.48 c Gap : 0.00 %
0.37/0.48 c [VIOLATION] Line 14: +1 x3381 -1 x3433 +2 x3382 -2 x3434 +4 x3383 -4 x3435 +8 x3384 -8 x3436 +16 x3385 -16 x3437 +32 x3386 -32 x3438 +64 x3387 -64 x3439 +128 x3388 -128 x3440 +256 x3389 -256 x3441 +512 x3390 -512 x3442 +1024 x3391 -1024 x3443 +2048 x3392 -2048 x3444 +4096 x3393 -4096 x3445 +8192 x3394 -8192 x3446 +16384 x3395 -16384 x3447 +32768 x3396 -32768 x3448 +65536 x3397 -65536 x3449 +131072 x3398 -131072 x3450 +262144 x3399 -262144 x3451 +524288 x3400 -524288 x3452 +1048576 x3401 -1048576 x3453 +2097152 x3402 -2097152 x3454 +4194304 x3403 -4194304 x3455 +8388608 x3404 -8388608 x3456 +16777216 x3405 -16777216 x3457 +33554432 x3406 -33554432 x3458 +67108864 x3407 -67108864 x3459 +134217728 x3408 -134217728 x3460 +268435456 x3409 -268435456 x3461 +536870912 x3410 -536870912 x3462 +1073741824 x3411 -1073741824 x3463 +2147483648 x3412 -2147483648 x3464 +4294967296 x3413 -4294967296 x3465 +8589934592 x3414 -8589934592 x3466 +17179869184 x3415 -17179869184 x3467 +34359738368 x3416 -34359738368 x3468 +68719476736 x3417 -68719476736 x3469 +137438953472 x3418 -137438953472 x3470 +274877906944 x3419 -274877906944 x3471 +549755813888 x3420 -549755813888 x3472 +1099511627776 x3421 -1099511627776 x3473 +2199023255552 x3422 -2199023255552 x3474 +4398046511104 x3423 -4398046511104 x3475 +8796093022208 x3424 -8796093022208 x3476 +17592186044416 x3425 -17592186044416 x3477 +35184372088832 x3426 -35184372088832 x3478 +70368744177664 x3427 -70368744177664 x3479 +140737488355328 x3428 -140737488355328 x3480 +281474976710656 x3429 -281474976710656 x3481 +562949953421312 x3430 -562949953421312 x3482 +1125899906842624 x3431 -1125899906842624 x3483 +2251799813685248 x3432 -2251799813685248 x3484 >= 1 ;
0.37/0.48 c Computed activity: 0
0.37/0.48 c Required: activity >= 1
0.37/0.48 c Variable assignments: {x3381=0, x3433=0, x3382=0, x3434=0, x3383=0, x3435=0, x3384=0, x3436=0, x3385=0, x3437=0, x3386=0, x3438=0, x3387=0, x3439=0, x3388=0, x3440=0, x3389=0, x3441=0, x3390=0, x3442=0, x3391=0, x3443=0, x3392=0, x3444=0, x3393=0, x3445=0, x3394=0, x3446=0, x3395=0, x3447=0, x3396=0, x3448=0, x3397=0, x3449=0, x3398=0, x3450=0, x3399=0, x3451=0, x3400=0, x3452=0, x3401=0, x3453=0, x3402=0, x3454=0, x3403=0, x3455=0, x3404=0, x3456=0, x3405=0, x3457=0, x3406=0, x3458=0, x3407=0, x3459=0, x3408=0, x3460=0, x3409=0, x3461=0, x3410=0, x3462=0, x3411=0, x3463=0, x3412=0, x3464=0, x3413=0, x3465=0, x3414=0, x3466=0, x3415=0, x3467=0, x3416=0, x3468=0, x3417=0, x3469=0, x3418=0, x3470=0, x3419=0, x3471=0, x3420=0, x3472=0, x3421=0, x3473=0, x3422=0, x3474=0, x3423=0, x3475=0, x3424=0, x3476=0, x3425=0, x3477=0, x3426=0, x3478=0, x3427=0, x3479=0, x3428=0, x3480=0, x3429=0, x3481=0, x3430=0, x3482=0, x3431=0, x3483=0, x3432=0, x3484=0}}
0.37/0.48 c SCIP found a solution, but it is not feasible according to the original problem.
0.37/0.48 c ----------------------------------------------------------------------
0.37/0.48 c executing external solver (fallback): HOME/naps-1.03a6
0.37/0.48 c ----------------------------------------------------------------------
0.37/0.48 c command: HOME/naps-1.03a6 HOME/instance-4541695-1753210003.opb
0.37/0.48 c NaPS 1.03a6.
0.37/0.48 c Input file name: HOME/instance-4541695-1753210003.opb
3.43/3.57 c _____________________________________________________________________________
3.43/3.57 c std/band forms : 1,1300
3.43/3.57 c 2cl/3cl ITE-codings : 51,6344
3.43/3.57 c BDD/srt/adr Max costs : 154,0,0
3.43/3.57 c BDDraw/bin/mul/srt/adr: 1301,0,0,0,0
3.43/3.57 c BDD nodes : 15547
3.43/3.57 c Es1/CC detections : 0,0
3.43/3.57 c CC sort : 0
3.43/3.57 c SAT/UNSAT calls : 0,1
3.43/3.57 c regenrated variables : 0
3.43/3.57 c eliminated fixed lits : 0
3.43/3.57 c goal lit flips : 0
3.43/3.57 c goal stages : 0
3.43/3.57 c goal shrink : 0
3.43/3.57 c goal coeff separations: 0
3.43/3.57 c restarts : 1759
3.43/3.57 c conflicts : 30292 (9914 /sec)
3.43/3.57 c decisions : 161671 (52911 /sec)
3.43/3.57 c propagations : 20317134 (6649267 /sec)
3.43/3.57 c inspects : 0 (0 /sec)
3.43/3.57 c CPU time (solving tm) : 3.056 s (2.955 s, SAT 0 s, UNSAT 2.955 s)
3.43/3.57 c Time for Opt-base : 0 s
3.43/3.57 c Steps for Opt-base : 0
3.43/3.57 c Time for BDD coding : 0.05643 s
3.43/3.57 c Time for srt coding : 0 s
3.43/3.57 c _____________________________________________________________________________
3.43/3.57 s UNSATISFIABLE
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 (62349 MiB free)
memory of node 1: 64507 MiB (63539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541695-1753210003/watcher-4541695-1753210003 -o /tmp/evaluation-result-4541695-1753210003/solver-4541695-1753210003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753209881-162573 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4541695-1753210003.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=162700, runsolver pid=162697
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 3.76 3.65 3.90 5/274 162705
/proc/meminfo: memFree=128897768/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1187972 memory=32932 CPUtime=0.07 cores=4,6
/proc/162705/stat : 162705 (python3) R 162700 162700 162562 0 -1 4194304 3967 0 0 0 6 1 0 0 20 0 1 0 236678118 1216483328 8233 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 296993 8233 4910 1 0 268984 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192164 KiB
Current children cumulated memory: 36004 KiB
[startup+0.20572 s]*
/proc/loadavg: 3.76 3.65 3.90 5/274 162705
/proc/meminfo: memFree=128873576/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1221992 memory=69540 CPUtime=0.18 cores=4,6
/proc/162705/stat : 162705 (python3) R 162700 162700 162562 0 -1 4194304 10340 0 0 0 16 2 0 0 20 0 1 0 236678118 1251319808 17385 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 305498 17385 7950 1 0 276856 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1226184 KiB
Current children cumulated memory: 72612 KiB
[startup+0.305685 s]*
/proc/loadavg: 3.76 3.65 3.90 5/274 162705
/proc/meminfo: memFree=128857448/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1233028 memory=80292 CPUtime=0.27 cores=4,6
/proc/162705/stat : 162705 (python3) R 162700 162700 162562 0 -1 4194304 12880 0 0 0 25 2 0 0 20 0 1 0 236678118 1262620672 20073 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 308257 20073 8110 1 0 279615 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1237220 KiB
Current children cumulated memory: 83364 KiB
[startup+0.700199 s]
/proc/loadavg: 3.76 3.65 3.90 5/275 162706
/proc/meminfo: memFree=128848884/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1237624 memory=85924 CPUtime=0.44 cores=4,6
/proc/162705/stat : 162705 (python3) S 162700 162700 162562 0 -1 4194304 14319 0 0 0 42 2 0 0 20 0 1 0 236678118 1267326976 21481 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 309406 21481 8270 1 0 280764 0
[pid=162706] ppid=162705 vsize=15500 memory=12916 CPUtime=0.21 cores=4,6
/proc/162706/stat : 162706 (naps-1.03a6) R 162705 162706 162706 0 -1 4194304 4074 0 0 0 20 1 0 0 20 0 1 0 236678164 15872000 3229 18446744073709551615 4198400 7047149 140730371320656 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 36847616 140730371324287 140730371324401 140730371324401 140730371329993 0
/proc/162706/statm: 3875 3229 544 696 0 3036 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1257316 KiB
Current children cumulated memory: 101912 KiB
[startup+1.50019 s]
/proc/loadavg: 3.76 3.65 3.90 5/275 162706
/proc/meminfo: memFree=128848640/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1237624 memory=85924 CPUtime=0.44 cores=4,6
/proc/162705/stat : 162705 (python3) S 162700 162700 162562 0 -1 4194304 14319 0 0 0 42 2 0 0 20 0 1 0 236678118 1267326976 21481 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 309406 21481 8270 1 0 280764 0
[pid=162706] ppid=162705 vsize=17752 memory=14664 CPUtime=1 cores=4,6
/proc/162706/stat : 162706 (naps-1.03a6) R 162705 162706 162706 0 -1 4194304 5125 0 0 0 99 1 0 0 20 0 1 0 236678164 18178048 3666 18446744073709551615 4198400 7047149 140730371320656 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 36847616 140730371324287 140730371324401 140730371324401 140730371329993 0
/proc/162706/statm: 4438 3666 544 696 0 3599 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1259568 KiB
Current children cumulated memory: 103660 KiB
[startup+3.10519 s]
/proc/loadavg: 3.78 3.66 3.90 5/275 162706
/proc/meminfo: memFree=128844568/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1237624 memory=85924 CPUtime=0.44 cores=4,6
/proc/162705/stat : 162705 (python3) S 162700 162700 162562 0 -1 4194304 14319 0 0 0 42 2 0 0 20 0 1 0 236678118 1267326976 21481 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 309406 21481 8270 1 0 280764 0
[pid=162706] ppid=162705 vsize=17616 memory=15176 CPUtime=2.59 cores=4,6
/proc/162706/stat : 162706 (naps-1.03a6) R 162705 162706 162706 0 -1 4194304 5263 0 0 0 258 1 0 0 20 0 1 0 236678164 18038784 3794 18446744073709551615 4198400 7047149 140730371320656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36847616 140730371324287 140730371324401 140730371324401 140730371329993 0
/proc/162706/statm: 4404 3794 544 696 0 3565 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1259432 KiB
Current children cumulated memory: 104172 KiB
[startup+3.61097 s]
# the end of solver process 162700 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3.51604 s, system=0.051031 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20019 s]
/proc/loadavg: 3.78 3.66 3.90 5/275 162706
/proc/meminfo: memFree=128844568/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1237624 memory=85924 CPUtime=0.44 cores=4,6
/proc/162705/stat : 162705 (python3) S 162700 162700 162562 0 -1 4194304 14319 0 0 0 42 2 0 0 20 0 1 0 236678118 1267326976 21481 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 309406 21481 8270 1 0 280764 0
[pid=162706] ppid=162705 vsize=17616 memory=15176 CPUtime=2.69 cores=4,6
/proc/162706/stat : 162706 (naps-1.03a6) R 162705 162706 162706 0 -1 4194304 5263 0 0 0 268 1 0 0 20 0 1 0 236678164 18038784 3794 18446744073709551615 4198400 7047149 140730371320656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36847616 140730371324287 140730371324401 140730371324401 140730371329993 0
/proc/162706/statm: 4404 3794 544 696 0 3565 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 1259432 KiB
Current children cumulated memory: 104172 KiB
[startup+3.60016 s]
/proc/loadavg: 3.78 3.66 3.90 5/275 162706
/proc/meminfo: memFree=128844568/131250000 swapFree=33010416/33010684
[pid=162700] ppid=162697 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/162700/stat : 162700 (scip-naps-1.00.) S 162697 162700 162562 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 236678116 4292608 768 18446744073709551615 94584770351104 94584771245637 140736846084304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94584771484688 94584771532432 94584792915968 140736846088607 140736846088704 140736846088704 140736846094308 0
/proc/162700/statm: 1048 768 704 219 0 110 0
[pid=162705] ppid=162700 vsize=1230876 memory=84504 CPUtime=3.54 cores=4,6
/proc/162705/stat : 162705 (python3) R 162700 162700 162562 0 -1 4194304 23523 5265 0 0 45 3 305 1 20 0 1 0 236678118 1260417024 21126 18446744073709551615 94272336539648 94272336540025 140731789066368 0 0 0 0 16781312 0 0 0 0 17 6 0 0 0 0 0 94272336551320 94272336551940 94272343625728 140731789068630 140731789068832 140731789068832 140731789074407 0
/proc/162705/statm: 307719 21126 8302 1 0 279077 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 1235068 KiB
Current children cumulated memory: 87576 KiB
Child status: 0
Real time (s): 3.61102
CPU time (s): 3.56707
CPU user time (s): 3.51604
CPU system time (s): 0.051031
CPU usage (%): 98.7829
Max. virtual memory (cumulated for all children) (KiB): 1259568
Max. memory (cumulated for all children) (KiB): 104172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.51604
system time used= 0.051031
maximum resident set size= 86052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30126
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= 355
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 162700
# total CPU time (s): 3.56707
# total CPU user time (s): 3.51604
# total CPU system time (s): 0.051031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017873 second user time and 0.042416 second system time
The end