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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542124-1753214120/watcher-4542124-1753214120 -o /tmp/evaluation-result-4542124-1753214120/solver-4542124-1753214120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753209881-162575 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4542124-1753214120.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
solver pid=163268, runsolver pid=163265
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.15 4.15 4.11 5/273 163273
/proc/meminfo: memFree=128761020/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1186916 memory=31928 CPUtime=0.06 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 3707 0 0 0 5 1 0 0 20 0 1 0 237089900 1215401984 7982 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 296729 7982 4910 1 0 268751 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191108 KiB
Current children cumulated memory: 35000 KiB

[startup+0.2058 s]*
/proc/loadavg: 4.13 4.14 4.11 5/273 163273
/proc/meminfo: memFree=128708100/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1239612 memory=91064 CPUtime=0.16 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 16002 0 0 0 13 3 0 0 20 0 1 0 237089900 1269362688 22766 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 309903 22766 7630 1 0 281261 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1243804 KiB
Current children cumulated memory: 94136 KiB

[startup+0.305748 s]*
/proc/loadavg: 4.13 4.14 4.11 6/273 163273
/proc/meminfo: memFree=128627712/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1318920 memory=170680 CPUtime=0.27 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 35749 0 0 0 21 6 0 0 20 0 1 0 237089900 1350574080 42670 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 329730 42670 7790 1 0 301088 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1323112 KiB
Current children cumulated memory: 173752 KiB

[startup+0.700215 s]
/proc/loadavg: 4.13 4.14 4.11 5/273 163273
/proc/meminfo: memFree=128587392/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1372944 memory=216632 CPUtime=0.65 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 47535 0 0 0 57 8 0 0 20 0 1 0 237089900 1405894656 54158 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 343236 54158 7918 1 0 314594 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1377136 KiB
Current children cumulated memory: 219704 KiB

[startup+1.50015 s]
/proc/loadavg: 4.13 4.14 4.11 5/273 163273
/proc/meminfo: memFree=128499228/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1586200 memory=346408 CPUtime=1.45 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 80889 0 0 0 132 13 0 0 20 0 1 0 237089900 1624268800 86602 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 396550 86602 7982 1 0 367908 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1590392 KiB
Current children cumulated memory: 349480 KiB

[startup+3.10554 s]
/proc/loadavg: 4.13 4.14 4.11 5/273 163273
/proc/meminfo: memFree=128410860/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1627892 memory=392260 CPUtime=3.05 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 91353 0 0 0 290 15 0 0 20 0 1 0 237089900 1666961408 98065 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 406973 98065 7982 1 0 378331 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1632084 KiB
Current children cumulated memory: 395332 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.14 4.11 5/273 163273
/proc/meminfo: memFree=128370984/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1671620 memory=436932 CPUtime=6.24 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 102513 0 0 0 608 16 0 0 20 0 1 0 237089900 1711738880 109233 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 417905 109233 7982 1 0 389263 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1675812 KiB
Current children cumulated memory: 440004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.11 5/273 163273
/proc/meminfo: memFree=128310456/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1727548 memory=492996 CPUtime=12.63 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 116545 0 0 0 1245 18 0 0 20 0 1 0 237089900 1769009152 123249 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 431887 123249 7982 1 0 403245 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1731740 KiB
Current children cumulated memory: 496068 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.10 5/273 163274
/proc/meminfo: memFree=128272700/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1753988 memory=518852 CPUtime=25.4 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 123005 0 0 0 2521 19 0 0 20 0 1 0 237089900 1796083712 129713 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 438497 129713 7982 1 0 409855 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1758180 KiB
Current children cumulated memory: 521924 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.14 4.10 5/273 163274
/proc/meminfo: memFree=128267736/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1753988 memory=518852 CPUtime=50.95 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 123005 0 0 0 5076 19 0 0 20 0 1 0 237089900 1796083712 129713 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 438497 129713 7982 1 0 409855 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1758180 KiB
Current children cumulated memory: 521924 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/273 163280
/proc/meminfo: memFree=128259280/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1753988 memory=518852 CPUtime=102.04 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 123005 0 0 0 10185 19 0 0 20 0 1 0 237089900 1796083712 129713 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 438497 129713 7982 1 0 409855 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1758180 KiB
Current children cumulated memory: 521924 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/271 163282
/proc/meminfo: memFree=128273584/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1753988 memory=520388 CPUtime=161.92 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 123005 0 0 0 16173 19 0 0 20 0 1 0 237089900 1796083712 130097 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 438497 130097 7982 1 0 409855 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 1758180 KiB
Current children cumulated memory: 523460 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 163285
/proc/meminfo: memFree=128235620/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1753988 memory=522948 CPUtime=221.79 cores=5,7
/proc/163273/stat : 163273 (python3) R 163268 163268 162562 0 -1 4194304 123006 0 0 0 22160 19 0 0 20 0 1 0 237089900 1796083712 130737 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 438497 130737 7982 1 0 409855 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 1758180 KiB
Current children cumulated memory: 526020 KiB

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

/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=357804 memory=269444 CPUtime=2714.83 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 668610 0 0 0 271106 377 0 0 20 0 1 0 237139936 366391296 67361 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 89451 67361 544 696 0 88612 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 2240712 KiB
Current children cumulated memory: 925252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 163696
/proc/meminfo: memFree=101286684/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=259500 memory=224368 CPUtime=2774.64 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 684246 0 0 0 277077 387 0 0 20 0 1 0 237139936 265728000 56092 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 64875 56092 544 696 0 64036 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 2142408 KiB
Current children cumulated memory: 880176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/272 163699
/proc/meminfo: memFree=101260828/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=292268 memory=253040 CPUtime=2834.44 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 695724 0 0 0 283049 395 0 0 20 0 1 0 237139936 299282432 63260 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 73067 63260 544 696 0 72228 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 2175176 KiB
Current children cumulated memory: 908848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 163701
/proc/meminfo: memFree=101258536/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=259500 memory=236656 CPUtime=2894.26 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 707239 0 0 0 289021 405 0 0 20 0 1 0 237139936 265728000 59164 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 64875 59164 544 696 0 64036 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 2142408 KiB
Current children cumulated memory: 892464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 163703
/proc/meminfo: memFree=101250128/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=259500 memory=244848 CPUtime=2954.08 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 711506 0 0 0 294999 409 0 0 20 0 1 0 237139936 265728000 61212 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 64875 61212 544 696 0 64036 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 2142408 KiB
Current children cumulated memory: 900656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 163710
/proc/meminfo: memFree=97335624/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=292268 memory=265328 CPUtime=3013.9 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 718269 0 0 0 300975 415 0 0 20 0 1 0 237139936 299282432 66332 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 73067 66332 544 696 0 72228 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 2175176 KiB
Current children cumulated memory: 921136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 163712
/proc/meminfo: memFree=91218980/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=259500 memory=222340 CPUtime=3073.73 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 731249 0 0 0 306951 422 0 0 20 0 1 0 237139936 265728000 55585 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 64875 55585 544 696 0 64036 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 2142408 KiB
Current children cumulated memory: 878148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 163713
/proc/meminfo: memFree=90174116/131250000 swapFree=33010416/33010684
[pid=163268] ppid=163265 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/163268/stat : 163268 (scip-naps-1.00.) S 163265 163268 162562 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237089898 4292608 768 18446744073709551615 94707344400384 94707345294917 140732384995728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94707345533968 94707345581712 94707362942976 140732385003935 140732385004032 140732385004032 140732385009636 0
/proc/163268/statm: 1048 768 704 219 0 110 0
[pid=163273] ppid=163268 vsize=1878716 memory=652736 CPUtime=499.27 cores=5,7
/proc/163273/stat : 163273 (python3) S 163268 163268 162562 0 -1 4194304 184509 0 0 0 49896 31 0 0 20 0 1 0 237089900 1923805184 163184 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 469679 163184 8174 1 0 441037 0
[pid=163309] ppid=163273 vsize=292268 memory=251012 CPUtime=3100.77 cores=5,7
/proc/163309/stat : 163309 (naps-1.03a6) R 163273 163309 163309 0 -1 4194304 731774 0 0 0 309654 423 0 0 20 0 1 0 237139936 299282432 62753 18446744073709551615 4198400 7047149 140726537537728 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 19193856 140726537546127 140726537546225 140726537546225 140726537551817 0
/proc/163309/statm: 73067 62753 544 696 0 72228 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2175176 KiB
Current children cumulated memory: 906820 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002086 s, system=0.004126 s

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

# cumulated CPU time of all completed processes:  user=3595.74 s, system=4.58424 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.06 4.08 4.09 5/268 163713
/proc/meminfo: memFree=90220984/131250000 swapFree=33010416/33010684
[pid=163273] ppid=163265 vsize=1794768 memory=642720 CPUtime=3600.25 cores=5,7
/proc/163273/stat : 163273 (python3) R 163265 163268 162562 0 -1 4194304 199818 731775 0 0 49915 33 309654 423 20 0 1 0 237089900 1837842432 160680 18446744073709551615 94398769999872 94398770000249 140728409773776 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94398770011544 94398770012164 94398788739072 140728409778518 140728409778720 140728409778720 140728409784295 0
/proc/163273/statm: 448692 160680 8174 1 0 420050 0
Current cumulated CPU time of completed processes: 0.006212 s
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 1794768 KiB
Current children cumulated memory: 642720 KiB

Child status: 0

Real time (s): 3609.66
CPU time (s): 3600.33
CPU user time (s): 3595.74
CPU system time (s): 4.58424
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 2306248
Max. memory (cumulated for all children) (KiB): 968360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.74
system time used= 4.58424
maximum resident set size= 722700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 936574
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= 394
involuntary context switches= 3968


# summary of solver processes directly reported to runsolver:
#   pid: 163268,163273
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.74
#   total CPU system time (s): 4.58424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24712 second user time and 16.4925 second system time

The end