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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486543-1751326134/watcher-4486543-1751326134 -o /tmp/evaluation-result-4486543-1751326134/solver-4486543-1751326134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751326134-42698 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4486543-1751326134.opb 3600 HOME 

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
solver pid=42754, runsolver pid=42740
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 2.32 3.39 3.81 6/268 42770
/proc/meminfo: memFree=129804032/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=31512 memory=13056 CPUtime=0.05 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 2596 0 0 0 5 0 0 0 20 0 1 0 48235998 32268288 3264 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 7878 3264 736 2416 0 4980 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 38496 KiB
Current children cumulated memory: 17408 KiB

[startup+0.205576 s]*
/proc/loadavg: 2.32 3.39 3.81 4/266 42778
/proc/meminfo: memFree=129791960/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=46608 memory=28160 CPUtime=0.15 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 6372 0 0 0 15 0 0 0 20 0 1 0 48235998 47726592 7040 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 11652 7040 736 2416 0 8754 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 53592 KiB
Current children cumulated memory: 32512 KiB

[startup+0.305556 s]*
/proc/loadavg: 2.32 3.39 3.81 4/266 42778
/proc/meminfo: memFree=129775832/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=58532 memory=39936 CPUtime=0.25 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 9331 0 0 0 24 1 0 0 20 0 1 0 48235998 59936768 9984 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 14633 9984 736 2416 0 11735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 65516 KiB
Current children cumulated memory: 44288 KiB

[startup+0.700229 s]
/proc/loadavg: 2.32 3.39 3.81 4/266 42778
/proc/meminfo: memFree=129751640/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=104968 memory=86600 CPUtime=0.64 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 20993 0 0 0 62 2 0 0 20 0 1 0 48235998 107487232 21650 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 26242 21650 768 2416 0 23344 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 111952 KiB
Current children cumulated memory: 90952 KiB

[startup+1.50023 s]
/proc/loadavg: 2.32 3.39 3.81 4/266 42778
/proc/meminfo: memFree=129697524/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=316536 memory=255660 CPUtime=1.44 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 36205 0 0 0 137 7 0 0 20 0 1 0 48235998 324132864 63915 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 79134 63915 768 2416 0 76236 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 323520 KiB
Current children cumulated memory: 260012 KiB

[startup+3.10556 s]
/proc/loadavg: 2.45 3.40 3.81 5/272 42818
/proc/meminfo: memFree=129525428/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=285572 memory=240308 CPUtime=3.04 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 37514 0 0 0 296 8 0 0 20 0 1 0 48235998 292425728 60077 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 71393 60077 800 2416 0 68495 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 292556 KiB
Current children cumulated memory: 244660 KiB

[startup+6.30024 s]
/proc/loadavg: 2.45 3.40 3.81 5/272 42818
/proc/meminfo: memFree=129495828/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=285572 memory=240308 CPUtime=6.23 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 37529 0 0 0 615 8 0 0 20 0 1 0 48235998 292425728 60077 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 71393 60077 800 2416 0 68495 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 292556 KiB
Current children cumulated memory: 244660 KiB

[startup+12.7002 s]
/proc/loadavg: 2.69 3.42 3.81 5/272 42968
/proc/meminfo: memFree=129463128/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=296580 memory=251420 CPUtime=12.61 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 37772 0 0 0 1253 8 0 0 20 0 1 0 48235998 303697920 62855 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 74145 62855 800 2416 0 71247 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 303564 KiB
Current children cumulated memory: 255772 KiB

[startup+25.5002 s]
/proc/loadavg: 2.89 3.44 3.82 5/272 43068
/proc/meminfo: memFree=129399880/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=296580 memory=251420 CPUtime=25.37 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 37788 0 0 0 2529 8 0 0 20 0 1 0 48235998 303697920 62855 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 74145 62855 800 2416 0 71247 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 303564 KiB
Current children cumulated memory: 255772 KiB

[startup+51.1056 s]
/proc/loadavg: 3.34 3.50 3.83 5/273 43069
/proc/meminfo: memFree=129399764/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=42765] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42765/stat : 42765 (timeout) S 42754 42765 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48235996 2723840 352 18446744073709551615 94385919475712 94385919492225 140732028085760 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94385919506992 94385919509080 94385928163328 140732028090774 140732028090914 140732028090914 140732028096487 0
/proc/42765/statm: 665 352 352 5 0 90 0
[pid=42768] ppid=42765 vsize=315432 memory=270116 CPUtime=50.9 cores=1,3
/proc/42768/stat : 42768 (CASHWMaxSAT-Dis) R 42765 42765 42686 0 -1 4194304 38610 0 0 0 5081 9 0 0 20 0 1 0 48235998 323002368 67529 18446744073709551615 4198400 14093885 140720436530832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35405824 140720436537756 140720436537883 140720436537883 140720436543456 0
/proc/42768/statm: 78858 67529 800 2416 0 75960 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 322416 KiB
Current children cumulated memory: 274468 KiB

[startup+102.3 s]
/proc/loadavg: 3.74 3.59 3.84 5/273 43071
/proc/meminfo: memFree=129366136/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 248 108 0 0 0 0 0 0 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0

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

/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2258.21 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105372 0 0 0 225502 319 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 43252
/proc/meminfo: memFree=128136264/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2318.06 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105372 0 0 0 231487 319 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 43256
/proc/meminfo: memFree=128136360/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2377.9 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105372 0 0 0 237469 321 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

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

# cumulated CPU time of all completed processes:  user=3578.98 s, system=7.09826 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 5/271 43256
/proc/meminfo: memFree=128136392/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2379.6 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105373 0 0 0 237639 321 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3573.99 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3590.4 s]
/proc/loadavg: 4.05 4.08 4.09 5/271 43256
/proc/meminfo: memFree=128136416/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2385.98 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105373 0 0 0 238277 321 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3580.37 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3593.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/271 43256
/proc/meminfo: memFree=128136440/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2389.17 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105373 0 0 0 238596 321 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3583.56 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3595.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 43256
/proc/meminfo: memFree=128136440/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2390.77 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105373 0 0 0 238756 321 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3585.16 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3595.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 43256
/proc/meminfo: memFree=128136440/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2391.16 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105373 0 0 0 238795 321 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3596 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 43256
/proc/meminfo: memFree=128136440/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 283 244758 0 0 0 0 119055 384 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
[pid=43123] ppid=42754 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43123/stat : 43123 (timeout) S 42754 43123 42686 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48355798 2723840 352 18446744073709551615 94787651997696 94787652014209 140726285880640 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94787652028976 94787652031064 94787676942336 140726285887878 140726285888034 140726285888034 140726285893607 0
/proc/43123/statm: 665 352 352 5 0 90 0
[pid=43125] ppid=43123 vsize=520612 memory=477616 CPUtime=2391.57 cores=1,3
/proc/43125/stat : 43125 (ExactPR-S) R 43123 43123 42686 0 -1 4194304 105373 0 0 0 238836 321 0 0 20 0 1 0 48355799 533106688 119404 18446744073709551615 93877852753920 93877862053957 140727874920080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93877863840064 93877863879144 93877883215872 140727874927006 140727874927143 140727874927143 140727874932716 0
/proc/43125/statm: 130153 119404 3392 2271 0 124791 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 481968 KiB

[startup+3596.11 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 43256
/proc/meminfo: memFree=128136440/131250000 swapFree=33010684/33010684
[pid=42754] ppid=42740 vsize=4324 memory=2944 CPUtime=3586.05 cores=1,3
/proc/42754/stat : 42754 (Hybrid-CASHWMax) S 42740 42754 42686 0 -1 4194304 373 351404 0 0 0 0 357897 708 20 0 1 0 48235994 4427776 736 18446744073709551615 94773373800448 94773374694981 140730336520960 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94773374934032 94773374981776 94773392375808 140730336528727 140730336528881 140730336528881 140730336534483 0
/proc/42754/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3586.08
CPU user time (s): 3578.98
CPU system time (s): 7.09826
CPU usage (%): 99.7193
Max. virtual memory (cumulated for all children) (KiB): 686640
Max. memory (cumulated for all children) (KiB): 585840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.98
system time used= 7.09826
maximum resident set size= 581488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2443
involuntary context switches= 5685


# summary of solver processes directly reported to runsolver:
#   pid: 42754
#   total CPU time (s): 3586.08
#   total CPU user time (s): 3578.98
#   total CPU system time (s): 7.09826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80714 second user time and 16.4072 second system time

The end