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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542131-1753214242/watcher-4542131-1753214242 -o /tmp/evaluation-result-4542131-1753214242/solver-4542131-1753214242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753210000-174951 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542131-1753214242.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=175628, runsolver pid=175625

[startup+0.100064 s]*
/proc/loadavg: 4.04 4.08 4.09 5/269 175633
/proc/meminfo: memFree=115406068/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1187380 memory=32424 CPUtime=0.06 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 3814 0 0 0 5 1 0 0 20 0 1 0 237104069 1215877120 8106 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 296845 8106 4915 1 0 268867 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191572 KiB
Current children cumulated memory: 35496 KiB

[startup+0.205741 s]*
/proc/loadavg: 4.04 4.08 4.09 5/269 175633
/proc/meminfo: memFree=115352192/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1246832 memory=98344 CPUtime=0.17 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 17821 0 0 0 14 3 0 0 20 0 1 0 237104069 1276755968 24586 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 311708 24586 7635 1 0 283066 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1251024 KiB
Current children cumulated memory: 101416 KiB

[startup+0.305773 s]*
/proc/loadavg: 4.04 4.08 4.09 5/269 175633
/proc/meminfo: memFree=115271552/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1329404 memory=178216 CPUtime=0.27 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 37565 0 0 0 21 6 0 0 20 0 1 0 237104069 1361309696 44554 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 332351 44554 7859 1 0 303709 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1333596 KiB
Current children cumulated memory: 181288 KiB

[startup+0.700217 s]
/proc/loadavg: 4.04 4.08 4.09 5/269 175633
/proc/meminfo: memFree=115239296/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1373084 memory=216872 CPUtime=0.65 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 47551 0 0 0 58 7 0 0 20 0 1 0 237104069 1406038016 54218 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 343271 54218 7955 1 0 314629 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1377276 KiB
Current children cumulated memory: 219944 KiB

[startup+1.50022 s]
/proc/loadavg: 4.04 4.08 4.09 5/269 175633
/proc/meminfo: memFree=115183100/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1585232 memory=343956 CPUtime=1.46 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 80248 0 0 0 133 13 0 0 20 0 1 0 237104069 1623277568 85989 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 396308 85989 8019 1 0 367666 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1589424 KiB
Current children cumulated memory: 347028 KiB

[startup+3.10554 s]
/proc/loadavg: 4.04 4.08 4.09 5/269 175633
/proc/meminfo: memFree=115050252/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1627940 memory=390316 CPUtime=3.06 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 90829 0 0 0 291 15 0 0 20 0 1 0 237104069 1667010560 97579 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 406985 97579 8019 1 0 378343 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1632132 KiB
Current children cumulated memory: 393388 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.09 4.10 5/269 175633
/proc/meminfo: memFree=115010688/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1671668 memory=434860 CPUtime=6.25 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 101948 0 0 0 609 16 0 0 20 0 1 0 237104069 1711788032 108715 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 417917 108715 8019 1 0 389275 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1675860 KiB
Current children cumulated memory: 437932 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 175633
/proc/meminfo: memFree=114954956/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1727596 memory=491308 CPUtime=12.64 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 116079 0 0 0 1245 19 0 0 20 0 1 0 237104069 1769058304 122827 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 431899 122827 8019 1 0 403257 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1731788 KiB
Current children cumulated memory: 494380 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 175634
/proc/meminfo: memFree=114917564/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1754036 memory=517164 CPUtime=25.41 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 122540 0 0 0 2521 20 0 0 20 0 1 0 237104069 1796132864 129291 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 438509 129291 8019 1 0 409867 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1758228 KiB
Current children cumulated memory: 520236 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 175634
/proc/meminfo: memFree=114927068/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1754036 memory=517164 CPUtime=50.96 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 122540 0 0 0 5076 20 0 0 20 0 1 0 237104069 1796132864 129291 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 438509 129291 8019 1 0 409867 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1758228 KiB
Current children cumulated memory: 520236 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 175641
/proc/meminfo: memFree=114893480/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1754036 memory=517164 CPUtime=102.04 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 122540 0 0 0 10184 20 0 0 20 0 1 0 237104069 1796132864 129291 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 438509 129291 8019 1 0 409867 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1758228 KiB
Current children cumulated memory: 520236 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 175643
/proc/meminfo: memFree=114906400/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1754036 memory=517164 CPUtime=161.89 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 122540 0 0 0 16169 20 0 0 20 0 1 0 237104069 1796132864 129291 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 438509 129291 8019 1 0 409867 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1758228 KiB
Current children cumulated memory: 520236 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 175656
/proc/meminfo: memFree=114876628/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1754036 memory=521388 CPUtime=221.74 cores=1,3
/proc/175633/stat : 175633 (python3) R 175628 175628 174935 0 -1 4194304 122540 0 0 0 22154 20 0 0 20 0 1 0 237104069 1796132864 130347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 438509 130347 8019 1 0 409867 0
Current children cumulated CPU time: 221.74 s

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

/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=243116 memory=217380 CPUtime=2714.88 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 597518 0 0 0 271110 378 0 0 20 0 1 0 237154105 248950784 54345 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 60779 54345 544 696 0 59940 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 2127880 KiB
Current children cumulated memory: 873840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 176047
/proc/meminfo: memFree=87948508/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=259500 memory=229644 CPUtime=2774.69 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 610292 0 0 0 277083 386 0 0 20 0 1 0 237154105 265728000 57411 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 64875 57411 544 696 0 64036 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 2144264 KiB
Current children cumulated memory: 886104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 176049
/proc/meminfo: memFree=87929752/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=259500 memory=241932 CPUtime=2834.5 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 618555 0 0 0 283057 393 0 0 20 0 1 0 237154105 265728000 60483 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 64875 60483 544 696 0 64036 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 2144264 KiB
Current children cumulated memory: 898392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 176051
/proc/meminfo: memFree=87907624/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=259500 memory=233396 CPUtime=2894.3 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 628946 0 0 0 289028 402 0 0 20 0 1 0 237154105 265728000 58349 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 64875 58349 544 696 0 64036 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 2144264 KiB
Current children cumulated memory: 889856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 176054
/proc/meminfo: memFree=87908716/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=259500 memory=252172 CPUtime=2954.12 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 631251 0 0 0 295007 405 0 0 20 0 1 0 237154105 265728000 63043 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 64875 63043 544 696 0 64036 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 2144264 KiB
Current children cumulated memory: 908632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/269 176057
/proc/meminfo: memFree=83188920/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=226732 memory=207364 CPUtime=3013.95 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 641322 0 0 0 300983 412 0 0 20 0 1 0 237154105 232173568 51841 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 56683 51841 544 696 0 55844 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 2111496 KiB
Current children cumulated memory: 863824 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 176062
/proc/meminfo: memFree=77427004/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=292268 memory=241952 CPUtime=3073.78 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 649467 0 0 0 306962 416 0 0 20 0 1 0 237154105 299282432 60488 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 73067 60488 544 696 0 72228 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 2177032 KiB
Current children cumulated memory: 898412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 176064
/proc/meminfo: memFree=74181444/131250000 swapFree=33010416/33010684
[pid=175628] ppid=175625 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175628/stat : 175628 (scip-naps-1.00a) S 175625 175628 174935 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 237104067 4292608 768 18446744073709551615 94353934278656 94353935173189 140722533974624 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94353935412240 94353935459984 94353937555456 140722533980571 140722533980670 140722533980670 140722533986274 0
/proc/175628/statm: 1048 768 704 219 0 110 0
[pid=175633] ppid=175628 vsize=1880572 memory=653388 CPUtime=499.23 cores=1,3
/proc/175633/stat : 175633 (python3) S 175628 175628 174935 0 -1 4194304 203113 0 0 0 49891 32 0 0 20 0 1 0 237104069 1925705728 163347 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 470143 163347 8179 1 0 441501 0
[pid=175670] ppid=175633 vsize=259500 memory=223520 CPUtime=3100.8 cores=1,3
/proc/175670/stat : 175670 (naps-1.03a6) R 175633 175670 175670 0 -1 4194304 653213 0 0 0 309660 420 0 0 20 0 1 0 237154105 265728000 55880 18446744073709551615 4198400 7047149 140722136694688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 41046016 140722136697231 140722136697329 140722136697329 140722136702921 0
/proc/175670/statm: 64875 55880 544 696 0 64036 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2144264 KiB
Current children cumulated memory: 879980 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.001255 s, system=0.004981 s

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

# cumulated CPU time of all completed processes:  user=3595.76 s, system=4.56652 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+3609.61 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 176064
/proc/meminfo: memFree=74469200/131250000 swapFree=33010416/33010684
[pid=175633] ppid=175625 vsize=1796880 memory=645508 CPUtime=3600.24 cores=1,3
/proc/175633/stat : 175633 (python3) R 175625 175628 174935 0 -1 4194304 218837 653214 0 0 49910 33 309661 420 20 0 1 0 237104069 1840005120 161377 18446744073709551615 94589585244160 94589585244537 140724295502080 0 0 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0 94589585255832 94589585256452 94589612703744 140724295506255 140724295506464 140724295506464 140724295512039 0
/proc/175633/statm: 449220 161377 8179 1 0 420578 0
Current cumulated CPU time of completed processes: 0.006236 s
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 1796880 KiB
Current children cumulated memory: 645508 KiB

Child status: 0

Real time (s): 3609.66
CPU time (s): 3600.33
CPU user time (s): 3595.76
CPU system time (s): 4.56652
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 2308104
Max. memory (cumulated for all children) (KiB): 968600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.76
system time used= 4.56652
maximum resident set size= 719456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 876692
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 389
involuntary context switches= 3957


# summary of solver processes directly reported to runsolver:
#   pid: 175628,175633
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.76
#   total CPU system time (s): 4.56652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18794 second user time and 17.9092 second system time

The end