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 (58448 MiB free)
  memory of node 1: 64507 MiB (55047 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509345-1751508541/watcher-4509345-1751508541 -o /tmp/evaluation-result-4509345-1751508541/solver-4509345-1751508541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751500140-76143 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4509345-1751508541.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=78409, runsolver pid=78406

[startup+0.10007 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 78414
/proc/meminfo: memFree=116220848/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1187172 memory=32204 CPUtime=0.07 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 3747 0 0 0 6 1 0 0 20 0 1 0 66531992 1215664128 8051 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 296793 8051 4947 1 0 268815 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191364 KiB
Current children cumulated memory: 35276 KiB

[startup+0.205855 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 78414
/proc/meminfo: memFree=116169452/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1244996 memory=96204 CPUtime=0.17 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 17280 0 0 0 15 2 0 0 20 0 1 0 66531992 1274875904 24051 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 311249 24051 7635 1 0 282607 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1249188 KiB
Current children cumulated memory: 99276 KiB

[startup+0.305742 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 78414
/proc/meminfo: memFree=116113004/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1303844 memory=155340 CPUtime=0.27 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 31871 0 0 0 23 4 0 0 20 0 1 0 66531992 1335136256 38835 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 325961 38835 7827 1 0 297319 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1308036 KiB
Current children cumulated memory: 158412 KiB

[startup+0.70023 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 78414
/proc/meminfo: memFree=116096876/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1380180 memory=227660 CPUtime=0.65 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 49890 0 0 0 59 6 0 0 20 0 1 0 66531992 1413304320 56915 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 345045 56915 7955 1 0 316403 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1384372 KiB
Current children cumulated memory: 230732 KiB

[startup+1.5002 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 78414
/proc/meminfo: memFree=115972304/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1590040 memory=350344 CPUtime=1.46 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 66265 0 0 0 135 11 0 0 20 0 1 0 66531992 1628200960 87586 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 397510 87586 8019 1 0 368868 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1594232 KiB
Current children cumulated memory: 353416 KiB

[startup+3.10558 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 78414
/proc/meminfo: memFree=115880596/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1631648 memory=396140 CPUtime=3.06 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 77185 0 0 0 293 13 0 0 20 0 1 0 66531992 1670807552 99035 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 407912 99035 8019 1 0 379270 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1635840 KiB
Current children cumulated memory: 399212 KiB

[startup+6.30013 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 78414
/proc/meminfo: memFree=115862856/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1660172 memory=426824 CPUtime=6.25 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 84362 0 0 0 610 15 0 0 20 0 1 0 66531992 1700016128 106706 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 415043 106706 8019 1 0 386401 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1664364 KiB
Current children cumulated memory: 429896 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 78414
/proc/meminfo: memFree=115847496/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=1694936 memory=463048 CPUtime=12.63 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 93395 0 0 0 1247 16 0 0 20 0 1 0 66531992 1735614464 115762 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 423734 115762 8019 1 0 395092 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1699128 KiB
Current children cumulated memory: 466120 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 78414
/proc/meminfo: memFree=115329568/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2234724 memory=991264 CPUtime=25.39 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 226586 0 0 0 2504 35 0 0 20 0 1 0 66531992 2288357376 247816 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 558681 247816 8147 1 0 530039 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2238916 KiB
Current children cumulated memory: 994336 KiB

[startup+51.1056 s]
/proc/loadavg: 4.48 4.18 4.12 5/270 78415
/proc/meminfo: memFree=115122184/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2349552 memory=1107100 CPUtime=50.93 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 293209 0 0 0 5048 45 0 0 20 0 1 0 66531992 2405941248 276775 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 587388 276775 8147 1 0 558746 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2353744 KiB
Current children cumulated memory: 1110172 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/270 78421
/proc/meminfo: memFree=114288420/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2349552 memory=1107868 CPUtime=101.98 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 293411 0 0 0 10153 45 0 0 20 0 1 0 66531992 2405941248 276967 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 587388 276967 8147 1 0 558746 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2353744 KiB
Current children cumulated memory: 1110940 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/270 78423
/proc/meminfo: memFree=114231968/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2349552 memory=1108124 CPUtime=161.84 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 293969 0 0 0 16135 49 0 0 20 0 1 0 66531992 2405941248 277031 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 587388 277031 8147 1 0 558746 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2353744 KiB
Current children cumulated memory: 1111196 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/269 78426
/proc/meminfo: memFree=113917504/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2349552 memory=1108508 CPUtime=221.68 cores=5,7
/proc/78414/stat : 78414 (python3) R 78409 78409 76130 0 -1 4194304 294107 0 0 0 22118 50 0 0 20 0 1 0 66531992 2405941248 277127 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 587388 277127 8147 1 0 558746 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2353744 KiB

################
# More data... #
################


[startup+3282.3 s]
/proc/loadavg: 2.11 2.09 2.40 3/256 78752
/proc/meminfo: memFree=95269504/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2532704 memory=1288732 CPUtime=997.74 cores=5,7
/proc/78414/stat : 78414 (python3) S 78409 78409 76130 0 -1 4194304 339461 0 0 0 99709 65 0 0 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
[pid=78464] ppid=78414 vsize=13300860 memory=12614856 CPUtime=2275.04 cores=5,7
/proc/78464/stat : 78464 (naps-1.03a6) R 78414 78464 78464 0 -1 4194304 1578569 0 0 0 225090 2414 0 0 20 0 1 0 66632026 13620080640 3153714 18446744073709551615 4198400 7047149 140730238690064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23588864 140730238691687 140730238691827 140730238691827 140730238697417 0
/proc/78464/statm: 3325215 3153714 640 696 0 3324376 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 15837756 KiB
Current children cumulated memory: 13906660 KiB

[startup+3342.3 s]
/proc/loadavg: 2.09 2.09 2.38 3/256 78754
/proc/meminfo: memFree=96617192/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2532704 memory=1288732 CPUtime=997.74 cores=5,7
/proc/78414/stat : 78414 (python3) S 78409 78409 76130 0 -1 4194304 339461 0 0 0 99709 65 0 0 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
[pid=78464] ppid=78414 vsize=13300860 memory=12614856 CPUtime=2334.85 cores=5,7
/proc/78464/stat : 78464 (naps-1.03a6) R 78414 78464 78464 0 -1 4194304 1579493 0 0 0 231071 2414 0 0 20 0 1 0 66632026 13620080640 3153714 18446744073709551615 4198400 7047149 140730238690064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23588864 140730238691687 140730238691827 140730238691827 140730238697417 0
/proc/78464/statm: 3325215 3153714 640 696 0 3324376 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 15837756 KiB
Current children cumulated memory: 13906660 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.36 3/256 78756
/proc/meminfo: memFree=95920848/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2532704 memory=1288732 CPUtime=997.74 cores=5,7
/proc/78414/stat : 78414 (python3) S 78409 78409 76130 0 -1 4194304 339461 0 0 0 99709 65 0 0 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
[pid=78464] ppid=78414 vsize=13683428 memory=12999356 CPUtime=2394.65 cores=5,7
/proc/78464/stat : 78464 (naps-1.03a6) R 78414 78464 78464 0 -1 4194304 1584596 0 0 0 237011 2454 0 0 20 0 1 0 66632026 14011830272 3249839 18446744073709551615 4198400 7047149 140730238690064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23588864 140730238691687 140730238691827 140730238691827 140730238697417 0
/proc/78464/statm: 3420857 3249839 640 696 0 3420018 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 16220324 KiB
Current children cumulated memory: 14291160 KiB

[startup+3462.3 s]
/proc/loadavg: 2.06 2.08 2.34 3/256 78758
/proc/meminfo: memFree=96903288/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2532704 memory=1288732 CPUtime=997.74 cores=5,7
/proc/78414/stat : 78414 (python3) S 78409 78409 76130 0 -1 4194304 339461 0 0 0 99709 65 0 0 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
[pid=78464] ppid=78414 vsize=12846800 memory=12162844 CPUtime=2454.46 cores=5,7
/proc/78464/stat : 78464 (naps-1.03a6) R 78414 78464 78464 0 -1 4194304 1589729 0 0 0 242962 2484 0 0 20 0 1 0 66632026 13155123200 3040711 18446744073709551615 4198400 7047149 140730238690064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23588864 140730238691687 140730238691827 140730238691827 140730238697417 0
/proc/78464/statm: 3211700 3040711 640 696 0 3210861 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 15383696 KiB
Current children cumulated memory: 13454648 KiB

[startup+3522.3 s]
/proc/loadavg: 2.07 2.08 2.32 3/256 78761
/proc/meminfo: memFree=96644292/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2532704 memory=1288732 CPUtime=997.74 cores=5,7
/proc/78414/stat : 78414 (python3) S 78409 78409 76130 0 -1 4194304 339461 0 0 0 99709 65 0 0 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
[pid=78464] ppid=78414 vsize=12871276 memory=12403228 CPUtime=2514.27 cores=5,7
/proc/78464/stat : 78464 (naps-1.03a6) R 78414 78464 78464 0 -1 4194304 1596578 0 0 0 248893 2534 0 0 20 0 1 0 66632026 13180186624 3100807 18446744073709551615 4198400 7047149 140730238690064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23588864 140730238691687 140730238691827 140730238691827 140730238697417 0
/proc/78464/statm: 3217819 3100807 640 696 0 3216980 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 15408172 KiB
Current children cumulated memory: 13695032 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.10 2.31 3/257 78766
/proc/meminfo: memFree=96311140/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2532704 memory=1288732 CPUtime=997.74 cores=5,7
/proc/78414/stat : 78414 (python3) S 78409 78409 76130 0 -1 4194304 339461 0 0 0 99709 65 0 0 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
[pid=78464] ppid=78414 vsize=13300640 memory=12618732 CPUtime=2574.08 cores=5,7
/proc/78464/stat : 78464 (naps-1.03a6) R 78414 78464 78464 0 -1 4194304 1601890 0 0 0 254837 2571 0 0 20 0 1 0 66632026 13619855360 3154683 18446744073709551615 4198400 7047149 140730238690064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23588864 140730238691687 140730238691827 140730238691827 140730238697417 0
/proc/78464/statm: 3325160 3154683 640 696 0 3324321 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 15837536 KiB
Current children cumulated memory: 13910536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 2.15 2.10 2.31 3/257 78767
/proc/meminfo: memFree=96283604/131249996 swapFree=33010684/33010684
[pid=78409] ppid=78406 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/78409/stat : 78409 (scip-naps-1.00.) S 78406 78409 76130 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 66531990 4292608 768 18446744073709551615 94357494972416 94357495866949 140721377150400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94357496106000 94357496153744 94357514182656 140721377155489 140721377155586 140721377155586 140721377161188 0
/proc/78409/statm: 1048 768 704 219 0 110 0
[pid=78414] ppid=78409 vsize=2532704 memory=1288732 CPUtime=997.74 cores=5,7
/proc/78414/stat : 78414 (python3) S 78409 78409 76130 0 -1 4194304 339461 0 0 0 99709 65 0 0 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
[pid=78464] ppid=78414 vsize=13300640 memory=12618732 CPUtime=2602.29 cores=5,7
/proc/78464/stat : 78464 (naps-1.03a6) R 78414 78464 78464 0 -1 4194304 1602821 0 0 0 257658 2571 0 0 20 0 1 0 66632026 13619855360 3154683 18446744073709551615 4198400 7047149 140730238690064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23588864 140730238691687 140730238691827 140730238691827 140730238697417 0
/proc/78464/statm: 3325160 3154683 640 696 0 3324321 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 15837536 KiB
Current children cumulated memory: 13910536 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.61 s]
# the end of solver process 78409 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001903 s, system=0.004387 s
Sleeping 2 seconds

[startup+3611.28 s]
# the end of solver process 78414 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3574.06 s, system=26.671 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

[startup+3610.81 s]
/proc/loadavg: 2.15 2.10 2.31 3/256 78767
/proc/meminfo: memFree=101224600/131249996 swapFree=33010684/33010684
[pid=78414] ppid=78406 vsize=2532704 memory=1288732 CPUtime=3600.24 cores=5,7
/proc/78414/stat : 78414 (python3) R 78406 78409 76130 0 -1 4194304 361544 1602822 0 0 99713 66 257658 2587 20 0 1 0 66531992 2593488896 322183 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 633176 322183 8179 1 0 604534 0
Current cumulated CPU time of completed processes: 0.00629 s
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 2532704 KiB
Current children cumulated memory: 1288732 KiB

[startup+3611.2 s]
/proc/loadavg: 2.15 2.10 2.31 3/255 78767
/proc/meminfo: memFree=108923740/131249996 swapFree=33010684/33010684
[pid=78414] ppid=78406 vsize=2358784 memory=1194216 CPUtime=3600.63 cores=5,7
/proc/78414/stat : 78414 (python3) R 78406 78409 76130 0 -1 4194304 468174 1602822 0 0 99745 73 257658 2587 20 0 1 0 66531992 2415394816 298554 18446744073709551615 94657373925376 94657373925753 140724161540816 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94657373937048 94657373937668 94657390084096 140724161542503 140724161542690 140724161542690 140724161548263 0
/proc/78414/statm: 589696 298554 8179 1 0 561054 0
Current cumulated CPU time of completed processes: 0.00629 s
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 2358784 KiB
Current children cumulated memory: 1194216 KiB

Child status: 0

Real time (s): 3611.28
CPU time (s): 3600.73
CPU user time (s): 3574.06
CPU system time (s): 26.671
CPU usage (%): 99.7079
Max. virtual memory (cumulated for all children) (KiB): 22208200
Max. memory (cumulated for all children) (KiB): 19944688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.06
system time used= 26.671
maximum resident set size= 18653268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2075287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 493
involuntary context switches= 2410


# summary of solver processes directly reported to runsolver:
#   pid: 78409,78414
#   total CPU time (s): 3600.73
#   total CPU user time (s): 3574.06
#   total CPU system time (s): 26.671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43645 second user time and 17.0412 second system time

The end