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: 63708 MiB (61713 MiB free)
  memory of node 1: 64465 MiB (63641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484795-1751287522/watcher-4484795-1751287522 -o /tmp/evaluation-result-4484795-1751287522/solver-4484795-1751287522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44983 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484795-1751287522.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=46623, runsolver pid=46620

[startup+0.100064 s]*
/proc/loadavg: 4.07 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128363500/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=35104 memory=16512 CPUtime=0.06 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 3476 0 0 0 6 0 0 0 20 0 1 0 44429737 35946496 4128 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 8776 4128 736 2416 0 5878 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 42088 KiB
Current children cumulated memory: 20736 KiB

[startup+0.205656 s]*
/proc/loadavg: 4.07 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128355688/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=53576 memory=35072 CPUtime=0.16 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 8134 0 0 0 16 0 0 0 20 0 1 0 44429737 54861824 8768 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 13394 8768 736 2416 0 10496 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 60560 KiB
Current children cumulated memory: 39296 KiB

[startup+0.30556 s]*
/proc/loadavg: 4.07 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128351592/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=72224 memory=53632 CPUtime=0.26 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 12765 0 0 0 25 1 0 0 20 0 1 0 44429737 73957376 13408 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 18056 13408 736 2416 0 15158 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 79208 KiB
Current children cumulated memory: 57856 KiB

[startup+0.700184 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128351340/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=84652 memory=69912 CPUtime=0.64 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 17184 0 0 0 63 1 0 0 20 0 1 0 44429737 86683648 17478 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 21163 17478 768 2416 0 18265 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 74136 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128351388/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=87360 memory=71704 CPUtime=1.45 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 17649 0 0 0 143 2 0 0 20 0 1 0 44429737 89456640 17926 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 21840 17926 768 2416 0 18942 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 94344 KiB
Current children cumulated memory: 75928 KiB

[startup+3.10548 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128351388/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=90296 memory=74520 CPUtime=3.05 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 18338 0 0 0 303 2 0 0 20 0 1 0 44429737 92463104 18630 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 22574 18630 768 2416 0 19676 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 97280 KiB
Current children cumulated memory: 78744 KiB

[startup+6.30022 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128351140/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=90432 memory=75336 CPUtime=6.23 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 19337 0 0 0 621 2 0 0 20 0 1 0 44429737 92602368 18834 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 22608 18834 768 2416 0 19710 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 97416 KiB
Current children cumulated memory: 79560 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128356204/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=102392 memory=84788 CPUtime=12.62 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 19656 0 0 0 1259 3 0 0 20 0 1 0 44429737 104849408 21197 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 25598 21197 768 2416 0 22700 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 89012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 46627
/proc/meminfo: memFree=128400764/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=109548 memory=93988 CPUtime=25.38 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 19914 0 0 0 2535 3 0 0 20 0 1 0 44429737 112177152 23497 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 27387 23497 768 2416 0 24489 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 116532 KiB
Current children cumulated memory: 98212 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.08 4.09 5/273 46628
/proc/meminfo: memFree=128349620/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46626/stat : 46626 (timeout) S 46623 46626 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44429736 2723840 352 18446744073709551615 94022480527360 94022480543873 140728123226256 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94022480558640 94022480560728 94022485049344 140728123230614 140728123230754 140728123230754 140728123236327 0
/proc/46626/statm: 665 352 352 5 0 90 0
[pid=46627] ppid=46626 vsize=113968 memory=98620 CPUtime=50.91 cores=4,6
/proc/46627/stat : 46627 (CASHWMaxSAT-Dis) R 46626 46626 44972 0 -1 4194304 20086 0 0 0 5088 3 0 0 20 0 1 0 44429737 116703232 24655 18446744073709551615 4198400 14093885 140731789307888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32595968 140731789310364 140731789310491 140731789310491 140731789316064 0
/proc/46627/statm: 28492 24655 768 2416 0 25594 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 120952 KiB
Current children cumulated memory: 102844 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/273 46629
/proc/meminfo: memFree=128315808/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46626] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2257.83 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275464 0 0 0 225606 177 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3522.3 s]
/proc/loadavg: 2.04 2.33 3.06 3/259 46987
/proc/meminfo: memFree=126621564/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2317.67 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275595 0 0 0 231588 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3582.3 s]
/proc/loadavg: 2.11 2.30 3.00 3/256 46990
/proc/meminfo: memFree=126622768/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2377.5 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275597 0 0 0 237571 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

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

# cumulated CPU time of all completed processes:  user=3583.49 s, system=2.0607 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 2.10 2.29 3.00 3/256 46990
/proc/meminfo: memFree=126622768/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2379.2 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275597 0 0 0 237741 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3590.4 s]
/proc/loadavg: 2.09 2.29 2.99 3/256 46991
/proc/meminfo: memFree=126622744/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2385.58 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275597 0 0 0 238379 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3579.86 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3593.6 s]
/proc/loadavg: 2.09 2.28 2.99 3/256 46991
/proc/meminfo: memFree=126622220/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2388.77 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275597 0 0 0 238698 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3583.05 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3595.2 s]
/proc/loadavg: 2.09 2.28 2.99 3/256 46991
/proc/meminfo: memFree=126622220/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2390.37 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275597 0 0 0 238858 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3584.65 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3595.6 s]
/proc/loadavg: 2.09 2.28 2.99 3/256 46991
/proc/meminfo: memFree=126622220/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2390.77 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275597 0 0 0 238898 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3585.05 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3596 s]*
/proc/loadavg: 2.09 2.28 2.99 3/256 46991
/proc/meminfo: memFree=126622220/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2816 CPUtime=1194.28 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 283 36333 0 0 0 0 119405 23 20 0 1 0 44429734 4427776 704 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 704 672 219 0 143 0
[pid=46760] ppid=46623 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/46760/stat : 46760 (timeout) S 46623 46760 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44549537 2723840 352 18446744073709551615 93975503917056 93975503933569 140727267623968 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93975503948336 93975503950424 93975526662144 140727267625350 140727267625506 140727267625506 140727267631079 0
/proc/46760/statm: 665 352 352 5 0 90 0
[pid=46761] ppid=46760 vsize=1342640 memory=1222884 CPUtime=2391.17 cores=4,6
/proc/46761/stat : 46761 (ExactPR-S) R 46760 46760 44972 0 -1 4194304 275597 0 0 0 238938 179 0 0 20 0 1 0 44549538 1374863360 305721 18446744073709551615 94671664189440 94671673489477 140730812732320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94671675275584 94671675314664 94671694385152 140730812733854 140730812733991 140730812733991 140730812739564 0
/proc/46761/statm: 335660 305721 3488 2271 0 330298 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 1349624 KiB
Current children cumulated memory: 1227108 KiB

[startup+3596.1 s]
/proc/loadavg: 2.09 2.28 2.99 3/256 46991
/proc/meminfo: memFree=126622220/131250000 swapFree=33010684/33010684
[pid=46623] ppid=46620 vsize=4324 memory=2944 CPUtime=3585.53 cores=4,6
/proc/46623/stat : 46623 (Hybrid-CASHWMax) S 46620 46623 44972 0 -1 4194304 434 314347 0 0 0 0 358348 205 20 0 1 0 44429734 4427776 736 18446744073709551615 94185005756416 94185006650949 140733204805616 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94185006890000 94185006937744 94185017708544 140733204814167 140733204814321 140733204814321 140733204819923 0
/proc/46623/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.53 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3585.55
CPU user time (s): 3583.49
CPU system time (s): 2.0607
CPU usage (%): 99.7061
Max. virtual memory (cumulated for all children) (KiB): 1678588
Max. memory (cumulated for all children) (KiB): 1308292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.49
system time used= 2.0607
maximum resident set size= 1304068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2005
involuntary context switches= 2568


# summary of solver processes directly reported to runsolver:
#   pid: 46623
#   total CPU time (s): 3585.55
#   total CPU user time (s): 3583.49
#   total CPU system time (s): 2.0607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11016 second user time and 16.5781 second system time

The end