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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488796-1751334728/watcher-4488796-1751334728 -o /tmp/evaluation-result-4488796-1751334728/solver-4488796-1751334728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751326195-45921 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488796-1751334728.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=48942, runsolver pid=48939

[startup+0.100101 s]*
/proc/loadavg: 4.71 4.27 4.15 5/257 48946
/proc/meminfo: memFree=122729252/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=22180 memory=8192 CPUtime=0.07 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 1177 0 0 0 7 0 0 0 20 0 1 0 49152585 22712320 2048 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.214131 s]*
/proc/loadavg: 4.71 4.27 4.15 6/257 48946
/proc/meminfo: memFree=122729252/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=22180 memory=8192 CPUtime=0.18 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 1177 0 0 0 18 0 0 0 20 0 1 0 49152585 22712320 2048 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.313868 s]*
/proc/loadavg: 4.71 4.27 4.15 5/257 48946
/proc/meminfo: memFree=122729252/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=22180 memory=8192 CPUtime=0.29 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 1177 0 0 0 28 1 0 0 20 0 1 0 49152585 22712320 2048 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.700394 s]
/proc/loadavg: 4.71 4.27 4.15 5/257 48946
/proc/meminfo: memFree=122729252/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=22180 memory=8192 CPUtime=0.65 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 1177 0 0 0 64 1 0 0 20 0 1 0 49152585 22712320 2048 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+1.50044 s]
/proc/loadavg: 4.71 4.27 4.15 5/257 48946
/proc/meminfo: memFree=122725220/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=34632 memory=20656 CPUtime=1.46 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 4507 0 0 0 143 3 0 0 20 0 1 0 49152585 35463168 5164 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 8658 5164 992 2593 0 5551 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 41616 KiB
Current children cumulated memory: 24880 KiB

[startup+3.11349 s]
/proc/loadavg: 4.73 4.29 4.15 5/257 48946
/proc/meminfo: memFree=122697052/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=37384 memory=23484 CPUtime=3.06 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 7908 0 0 0 303 3 0 0 20 0 1 0 49152585 38281216 5871 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 9346 5871 992 2593 0 6239 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 44368 KiB
Current children cumulated memory: 27708 KiB

[startup+6.30048 s]
/proc/loadavg: 4.73 4.29 4.15 5/257 48946
/proc/meminfo: memFree=122694280/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=43176 memory=29296 CPUtime=6.24 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 12801 0 0 0 619 5 0 0 20 0 1 0 49152585 44212224 7324 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 10794 7324 992 2593 0 7687 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 50160 KiB
Current children cumulated memory: 33520 KiB

[startup+12.7005 s]
/proc/loadavg: 4.75 4.30 4.16 5/257 48946
/proc/meminfo: memFree=122659492/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=52056 memory=38124 CPUtime=12.63 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 15882 0 0 0 1257 6 0 0 20 0 1 0 49152585 53305344 9531 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 13014 9531 992 2593 0 9907 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59040 KiB
Current children cumulated memory: 42348 KiB

[startup+25.5005 s]
/proc/loadavg: 4.73 4.32 4.17 5/257 48946
/proc/meminfo: memFree=122661688/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=61160 memory=47192 CPUtime=25.38 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 19795 0 0 0 2531 7 0 0 20 0 1 0 49152585 62627840 11798 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 15290 11798 992 2593 0 12183 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 68144 KiB
Current children cumulated memory: 51416 KiB

[startup+51.1139 s]
/proc/loadavg: 4.54 4.31 4.17 5/257 48947
/proc/meminfo: memFree=122642028/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/48945/stat : 48945 (timeout) S 48942 48945 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49152584 2723840 320 18446744073709551615 94544789647360 94544789663873 140735758965776 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94544789678640 94544789680728 94544793546752 140735758973334 140735758973474 140735758973474 140735758979047 0
/proc/48945/statm: 665 320 320 5 0 90 0
[pid=48946] ppid=48945 vsize=63260 memory=49264 CPUtime=50.92 cores=5,7
/proc/48946/stat : 48946 (CASHWMaxSAT-Dis) R 48945 48945 45908 0 -1 4194304 26083 0 0 0 5082 10 0 0 20 0 1 0 49152585 64778240 12316 18446744073709551615 4198400 14817773 140727634381088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37220352 140727634389404 140727634389531 140727634389531 140727634395104 0
/proc/48946/statm: 15815 12316 992 2593 0 12708 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 70244 KiB
Current children cumulated memory: 53488 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.27 4.16 5/257 48949
/proc/meminfo: memFree=122595712/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=48945] ppid=48942 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2257.77 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89779 0 0 0 224218 1559 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3522.3 s]
/proc/loadavg: 1.86 2.22 2.79 2/234 49287
/proc/meminfo: memFree=122894080/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2317.57 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89780 0 0 0 230175 1582 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3582.3 s]
/proc/loadavg: 1.38 2.01 2.68 2/234 49289
/proc/meminfo: memFree=122894808/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2377.37 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89782 0 0 0 236131 1606 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

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

# cumulated CPU time of all completed processes:  user=3568.94 s, system=16.5451 s

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

[startup+3584 s]*
/proc/loadavg: 1.35 2.00 2.67 2/234 49289
/proc/meminfo: memFree=122894808/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2379.08 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89782 0 0 0 236300 1608 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3590.4 s]
/proc/loadavg: 1.32 1.98 2.66 2/234 49289
/proc/meminfo: memFree=122894952/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2385.44 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89782 0 0 0 236935 1609 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3579.77 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3593.6 s]
/proc/loadavg: 1.32 1.98 2.66 2/234 49290
/proc/meminfo: memFree=122894952/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2388.63 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89782 0 0 0 237252 1611 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3582.96 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3595.2 s]
/proc/loadavg: 1.29 1.96 2.65 2/234 49290
/proc/meminfo: memFree=122894952/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2390.23 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89782 0 0 0 237411 1612 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3595.6 s]
/proc/loadavg: 1.29 1.96 2.65 2/234 49290
/proc/meminfo: memFree=122894952/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2390.63 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89782 0 0 0 237451 1612 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3596 s]*
/proc/loadavg: 1.29 1.96 2.65 2/234 49290
/proc/meminfo: memFree=122894952/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 281 54621 0 0 0 0 119397 36 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
[pid=49017] ppid=48942 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49017/stat : 49017 (timeout) S 48942 49017 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49272385 2723840 352 18446744073709551615 93881872642048 93881872658561 140724235475200 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93881872673328 93881872675416 93881881640960 140724235483526 140724235483682 140724235483682 140724235489255 0
/proc/49017/statm: 665 352 352 5 0 90 0
[pid=49018] ppid=49017 vsize=359540 memory=309544 CPUtime=2391.04 cores=5,7
/proc/49018/stat : 49018 (ExactPR-S) R 49017 49017 45908 0 -1 4194304 89782 0 0 0 237492 1612 0 0 20 0 1 0 49272386 368168960 77386 18446744073709551615 94776836530176 94776845830213 140722252015488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94776847616320 94776847655400 94776874409984 140722252024222 140722252024359 140722252024359 140722252029932 0
/proc/49018/statm: 89885 77386 3392 2271 0 84523 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 313896 KiB

[startup+3596.11 s]
/proc/loadavg: 1.29 1.96 2.65 2/234 49290
/proc/meminfo: memFree=122894952/131382112 swapFree=33010684/33010684
[pid=48942] ppid=48939 vsize=4324 memory=2944 CPUtime=3585.45 cores=5,7
/proc/48942/stat : 48942 (Hybrid-CASHWMax) S 48939 48942 45908 0 -1 4194304 402 146247 0 0 0 0 356893 1652 20 0 1 0 49152582 4427776 736 18446744073709551615 94638398894080 94638399788613 140729416419664 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94638400027664 94638400075408 94638412005376 140729416427863 140729416428017 140729416428017 140729416433619 0
/proc/48942/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3585.48
CPU user time (s): 3568.94
CPU system time (s): 16.5451
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 403032
Max. memory (cumulated for all children) (KiB): 364272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.94
system time used= 16.5451
maximum resident set size= 359920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1901
involuntary context switches= 1714


# summary of solver processes directly reported to runsolver:
#   pid: 48942
#   total CPU time (s): 3585.48
#   total CPU user time (s): 3568.94
#   total CPU system time (s): 16.5451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5592 second user time and 38.1867 second system time

The end