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: 63837 MiB (62564 MiB free)
  memory of node 1: 64465 MiB (61838 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530445-1752259403/watcher-4530445-1752259403 -o /tmp/evaluation-result-4530445-1752259403/solver-4530445-1752259403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752258608-128093 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530445-1752259403.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=128395, runsolver pid=128392
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.09 3.91 2.93 5/256 128400
/proc/meminfo: memFree=127384148/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=18844 memory=13440 CPUtime=0.07 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 1820 0 0 0 6 1 0 0 20 0 1 0 141619448 19296256 3360 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 4711 3360 1856 1 0 1484 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23036 KiB
Current children cumulated memory: 16512 KiB

[startup+0.213383 s]*
/proc/loadavg: 4.09 3.91 2.93 6/256 128400
/proc/meminfo: memFree=127379108/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=1186548 memory=31128 CPUtime=0.17 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 3616 0 0 0 14 3 0 0 20 0 1 0 141619448 1215025152 7782 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 296637 7782 4838 1 0 268659 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1190740 KiB
Current children cumulated memory: 34200 KiB

[startup+0.31331 s]*
/proc/loadavg: 4.09 3.91 2.93 5/256 128400
/proc/meminfo: memFree=127375076/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=1190932 memory=35736 CPUtime=0.27 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 4563 0 0 0 23 4 0 0 20 0 1 0 141619448 1219514368 8934 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 297733 8934 5062 1 0 269624 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1195124 KiB
Current children cumulated memory: 38808 KiB

[startup+0.700396 s]
/proc/loadavg: 4.09 3.91 2.93 5/256 128400
/proc/meminfo: memFree=127324180/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=1311176 memory=160536 CPUtime=0.64 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 33188 0 0 0 52 12 0 0 20 0 1 0 141619448 1342644224 40134 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 327794 40134 7846 1 0 299152 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1315368 KiB
Current children cumulated memory: 163608 KiB

[startup+1.5004 s]
/proc/loadavg: 4.09 3.91 2.93 5/256 128400
/proc/meminfo: memFree=127243540/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=1452852 memory=291820 CPUtime=1.44 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 58163 0 0 0 127 17 0 0 20 0 1 0 141619448 1487720448 72955 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 363213 72955 7942 1 0 334571 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1457044 KiB
Current children cumulated memory: 294892 KiB

[startup+3.11307 s]
/proc/loadavg: 4.09 3.91 2.93 5/256 128400
/proc/meminfo: memFree=127029072/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=1620120 memory=387384 CPUtime=3.05 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 74017 0 0 0 284 21 0 0 20 0 1 0 141619448 1659002880 96846 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 405030 96846 8006 1 0 376388 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1624312 KiB
Current children cumulated memory: 390456 KiB

[startup+6.30037 s]
/proc/loadavg: 4.08 3.91 2.94 5/256 128400
/proc/meminfo: memFree=126992776/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=1654880 memory=424528 CPUtime=6.23 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 82797 0 0 0 601 22 0 0 20 0 1 0 141619448 1694597120 106132 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 413720 106132 8006 1 0 385078 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1659072 KiB
Current children cumulated memory: 427600 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 3.93 2.95 5/256 128401
/proc/meminfo: memFree=126952708/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=1693208 memory=464080 CPUtime=12.61 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 92675 0 0 0 1238 23 0 0 20 0 1 0 141619448 1733844992 116020 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 423302 116020 8006 1 0 394660 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1697400 KiB
Current children cumulated memory: 467152 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 3.95 2.97 5/256 128401
/proc/meminfo: memFree=126333164/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2224056 memory=985216 CPUtime=25.37 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 224584 0 0 0 2495 42 0 0 20 0 1 0 141619448 2277433344 246304 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 556014 246304 8166 1 0 527372 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2228248 KiB
Current children cumulated memory: 988288 KiB

[startup+51.1131 s]
/proc/loadavg: 4.12 3.95 3.00 5/256 128401
/proc/meminfo: memFree=126145632/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2349608 memory=1110548 CPUtime=50.91 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 293573 0 0 0 5038 53 0 0 20 0 1 0 141619448 2405998592 277637 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 587402 277637 8166 1 0 558760 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2353800 KiB
Current children cumulated memory: 1113620 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.98 3.06 5/255 128404
/proc/meminfo: memFree=126142208/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2349608 memory=1111316 CPUtime=101.94 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 293773 0 0 0 10141 53 0 0 20 0 1 0 141619448 2405998592 277829 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 587402 277829 8166 1 0 558760 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2353800 KiB
Current children cumulated memory: 1114388 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.00 3.13 5/254 128406
/proc/meminfo: memFree=125814704/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2349608 memory=1111572 CPUtime=161.78 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 293839 0 0 0 16125 53 0 0 20 0 1 0 141619448 2405998592 277893 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 587402 277893 8166 1 0 558760 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2353800 KiB
Current children cumulated memory: 1114644 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.01 3.19 5/254 128408
/proc/meminfo: memFree=125788984/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2349608 memory=1111956 CPUtime=221.63 cores=5,7
/proc/128400/stat : 128400 (python3) R 128395 128395 128080 0 -1 4194304 293952 0 0 0 22108 55 0 0 20 0 1 0 141619448 2405998592 277989 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 587402 277989 8166 1 0 558760 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2353800 KiB

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

/proc/128837/stat : 128837 (naps-1.03a6) R 128400 128837 128837 0 -1 4194304 1581180 0 0 0 224867 2523 0 0 20 0 1 0 141719515 13180387328 3099781 18446744073709551615 4198400 7047149 140729303009984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 20180992 140729303013733 140729303013873 140729303013873 140729303019465 0
/proc/128837/statm: 3217868 3099781 640 696 0 3217029 0
Current children cumulated CPU time: 3271.63 s
Current children cumulated vsize: 15408416 KiB
Current children cumulated memory: 13696680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/257 130920
/proc/meminfo: memFree=111237520/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2532752 memory=1294484 CPUtime=997.73 cores=5,7
/proc/128400/stat : 128400 (python3) S 128395 128395 128080 0 -1 4194304 339718 0 0 0 99696 77 0 0 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
[pid=128837] ppid=128400 vsize=13300860 memory=12614508 CPUtime=2333.73 cores=5,7
/proc/128837/stat : 128837 (naps-1.03a6) R 128400 128837 128837 0 -1 4194304 1585184 0 0 0 230813 2560 0 0 20 0 1 0 141719515 13620080640 3153627 18446744073709551615 4198400 7047149 140729303009984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 20180992 140729303013733 140729303013873 140729303013873 140729303019465 0
/proc/128837/statm: 3325215 3153627 640 696 0 3324376 0
Current children cumulated CPU time: 3331.46 s
Current children cumulated vsize: 15837804 KiB
Current children cumulated memory: 13912064 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.13 5/258 130923
/proc/meminfo: memFree=111099048/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2532752 memory=1294484 CPUtime=997.73 cores=5,7
/proc/128400/stat : 128400 (python3) S 128395 128395 128080 0 -1 4194304 339718 0 0 0 99696 77 0 0 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
[pid=128837] ppid=128400 vsize=13300860 memory=12614508 CPUtime=2393.55 cores=5,7
/proc/128837/stat : 128837 (naps-1.03a6) R 128400 128837 128837 0 -1 4194304 1586393 0 0 0 236794 2561 0 0 20 0 1 0 141719515 13620080640 3153627 18446744073709551615 4198400 7047149 140729303009984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 20180992 140729303013733 140729303013873 140729303013873 140729303019465 0
/proc/128837/statm: 3325215 3153627 640 696 0 3324376 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 15837804 KiB
Current children cumulated memory: 13912064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/258 130925
/proc/meminfo: memFree=110528200/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2532752 memory=1294484 CPUtime=997.73 cores=5,7
/proc/128400/stat : 128400 (python3) S 128395 128395 128080 0 -1 4194304 339718 0 0 0 99696 77 0 0 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
[pid=128837] ppid=128400 vsize=13874712 memory=13188356 CPUtime=2453.37 cores=5,7
/proc/128837/stat : 128837 (naps-1.03a6) R 128400 128837 128837 0 -1 4194304 1588260 0 0 0 242763 2574 0 0 20 0 1 0 141719515 14207705088 3297089 18446744073709551615 4198400 7047149 140729303009984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 20180992 140729303013733 140729303013873 140729303013873 140729303019465 0
/proc/128837/statm: 3468678 3297089 640 696 0 3467839 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 16411656 KiB
Current children cumulated memory: 14485912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/257 130930
/proc/meminfo: memFree=111570452/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2532752 memory=1294484 CPUtime=997.73 cores=5,7
/proc/128400/stat : 128400 (python3) S 128395 128395 128080 0 -1 4194304 339718 0 0 0 99696 77 0 0 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
[pid=128837] ppid=128400 vsize=12727008 memory=12042704 CPUtime=2513.17 cores=5,7
/proc/128837/stat : 128837 (naps-1.03a6) R 128400 128837 128837 0 -1 4194304 1592218 0 0 0 248711 2606 0 0 20 0 1 0 141719515 13032456192 3010676 18446744073709551615 4198400 7047149 140729303009984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 20180992 140729303013733 140729303013873 140729303013873 140729303019465 0
/proc/128837/statm: 3181752 3010676 640 696 0 3180913 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 15263952 KiB
Current children cumulated memory: 13340260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/258 130933
/proc/meminfo: memFree=110426516/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2532752 memory=1294484 CPUtime=997.73 cores=5,7
/proc/128400/stat : 128400 (python3) S 128395 128395 128080 0 -1 4194304 339718 0 0 0 99696 77 0 0 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
[pid=128837] ppid=128400 vsize=12727008 memory=12046800 CPUtime=2573 cores=5,7
/proc/128837/stat : 128837 (naps-1.03a6) R 128400 128837 128837 0 -1 4194304 1600513 0 0 0 254628 2672 0 0 20 0 1 0 141719515 13032456192 3011700 18446744073709551615 4198400 7047149 140729303009984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 20180992 140729303013733 140729303013873 140729303013873 140729303019465 0
/proc/128837/statm: 3181752 3011700 640 696 0 3180913 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 15263952 KiB
Current children cumulated memory: 13344356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.05 4.09 4.11 5/258 130933
/proc/meminfo: memFree=109955816/131382116 swapFree=33009904/33010684
[pid=128395] ppid=128392 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/128395/stat : 128395 (scip-naps-1.00a) S 128392 128395 128080 0 -1 4194304 262 341 0 0 0 0 0 0 20 0 1 0 141619445 4292608 768 18446744073709551615 94298493620224 94298494514757 140735121631504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94298494753808 94298494801552 94298504253440 140735121639835 140735121639934 140735121639934 140735121645538 0
/proc/128395/statm: 1048 768 704 219 0 110 0
[pid=128400] ppid=128395 vsize=2532752 memory=1294484 CPUtime=997.73 cores=5,7
/proc/128400/stat : 128400 (python3) S 128395 128395 128080 0 -1 4194304 339718 0 0 0 99696 77 0 0 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
[pid=128837] ppid=128400 vsize=14097744 memory=13629488 CPUtime=2602.3 cores=5,7
/proc/128837/stat : 128837 (naps-1.03a6) R 128400 128837 128837 0 -1 4194304 1604561 0 0 0 257520 2710 0 0 20 0 1 0 141719515 14436089856 3407372 18446744073709551615 4198400 7047149 140729303009984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 20180992 140729303013733 140729303013873 140729303013873 140729303019465 0
/proc/128837/statm: 3524436 3407372 640 696 0 3523597 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 16634688 KiB
Current children cumulated memory: 14927044 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3572.78 s, system=28.2735 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+3612 s]*
/proc/loadavg: 4.05 4.09 4.11 5/256 130933
/proc/meminfo: memFree=123546616/131382116 swapFree=33009904/33010684
[pid=128400] ppid=128392 vsize=2532752 memory=1294484 CPUtime=3600.34 cores=5,7
/proc/128400/stat : 128400 (python3) R 128392 128395 128080 0 -1 4194304 374564 1604562 0 0 99708 81 257521 2724 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
Current cumulated CPU time of completed processes: 0.014878 s
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 2532752 KiB
Current children cumulated memory: 1294484 KiB

[startup+3612.4 s]
/proc/loadavg: 4.05 4.09 4.11 5/256 130933
/proc/meminfo: memFree=123546616/131382116 swapFree=33009904/33010684
[pid=128400] ppid=128392 vsize=2532752 memory=1294484 CPUtime=3600.73 cores=5,7
/proc/128400/stat : 128400 (python3) R 128392 128395 128080 0 -1 4194304 436669 1604562 0 0 99738 90 257521 2724 20 0 1 0 141619448 2593538048 323621 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 633188 323621 8166 1 0 604546 0
Current cumulated CPU time of completed processes: 0.014878 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 2532752 KiB
Current children cumulated memory: 1294484 KiB

[startup+3612.6 s]
/proc/loadavg: 4.05 4.09 4.11 5/256 130933
/proc/meminfo: memFree=123546616/131382116 swapFree=33009904/33010684
[pid=128400] ppid=128392 vsize=2334000 memory=1171216 CPUtime=3600.93 cores=5,7
/proc/128400/stat : 128400 (python3) R 128392 128395 128080 0 -1 4194304 471463 1604562 0 0 99755 93 257521 2724 20 0 1 0 141619448 2390016000 292804 18446744073709551615 94654164656128 94654164656505 140732710818112 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94654164667800 94654164668420 94654185058304 140732710820190 140732710820384 140732710820384 140732710825959 0
/proc/128400/statm: 583500 292804 8198 1 0 554858 0
Current cumulated CPU time of completed processes: 0.014878 s
Current children cumulated CPU time: 3600.93 s
Current children cumulated vsize: 2334000 KiB
Current children cumulated memory: 1171216 KiB

Child status: 0

Real time (s): 3612.69
CPU time (s): 3601.05
CPU user time (s): 3572.78
CPU system time (s): 28.2735
CPU usage (%): 99.6778
Max. virtual memory (cumulated for all children) (KiB): 22208248
Max. memory (cumulated for all children) (KiB): 19948988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.78
system time used= 28.2735
maximum resident set size= 18652328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2077325
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= 569
involuntary context switches= 3386


# summary of solver processes directly reported to runsolver:
#   pid: 128395,128400
#   total CPU time (s): 3601.05
#   total CPU user time (s): 3572.78
#   total CPU system time (s): 28.2735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2992 second user time and 37.5602 second system time

The end