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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488890-1751347736/watcher-4488890-1751347736 -o /tmp/evaluation-result-4488890-1751347736/solver-4488890-1751347736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751347736-48333 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4488890-1751347736.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=48379, runsolver pid=48373

[startup+0.100058 s]*
/proc/loadavg: 1.85 3.31 3.88 5/276 48404
/proc/meminfo: memFree=129832444/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=21196 memory=7424 CPUtime=0.04 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 1160 0 0 0 4 0 0 0 20 0 1 0 50452296 21704704 1856 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 5299 1856 768 2416 0 2401 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 28180 KiB
Current children cumulated memory: 11904 KiB

[startup+0.205887 s]*
/proc/loadavg: 1.85 3.31 3.88 6/276 48404
/proc/meminfo: memFree=129824556/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=21196 memory=7424 CPUtime=0.14 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 1160 0 0 0 14 0 0 0 20 0 1 0 50452296 21704704 1856 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 5299 1856 768 2416 0 2401 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 28180 KiB
Current children cumulated memory: 11904 KiB

[startup+0.305186 s]*
/proc/loadavg: 1.85 3.31 3.88 5/276 48404
/proc/meminfo: memFree=129824556/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=21424 memory=7552 CPUtime=0.24 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 1195 0 0 0 24 0 0 0 20 0 1 0 50452296 21938176 1888 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 5356 1888 768 2416 0 2458 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 28408 KiB
Current children cumulated memory: 12032 KiB

[startup+0.700165 s]
/proc/loadavg: 1.85 3.31 3.88 5/276 48404
/proc/meminfo: memFree=129784488/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=36048 memory=21632 CPUtime=0.63 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 4741 0 0 0 62 1 0 0 20 0 1 0 50452296 36913152 5408 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 9012 5408 768 2416 0 6114 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 43032 KiB
Current children cumulated memory: 26112 KiB

[startup+1.50023 s]
/proc/loadavg: 1.85 3.31 3.88 5/276 48404
/proc/meminfo: memFree=129756452/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=43316 memory=28608 CPUtime=1.42 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 5459 0 0 0 141 1 0 0 20 0 1 0 50452296 44355584 7152 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 10829 7152 768 2416 0 7931 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 50300 KiB
Current children cumulated memory: 33088 KiB

[startup+3.10569 s]
/proc/loadavg: 1.85 3.31 3.88 5/276 48404
/proc/meminfo: memFree=129728688/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=47668 memory=33472 CPUtime=3.03 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 6690 0 0 0 301 2 0 0 20 0 1 0 50452296 48812032 8368 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 11917 8368 768 2416 0 9019 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 54652 KiB
Current children cumulated memory: 37952 KiB

[startup+6.30019 s]
/proc/loadavg: 2.02 3.32 3.88 5/276 48404
/proc/meminfo: memFree=129700464/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=57652 memory=40928 CPUtime=6.21 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 8255 0 0 0 619 2 0 0 20 0 1 0 50452296 59035648 10232 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 14413 10232 768 2416 0 11515 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 64636 KiB
Current children cumulated memory: 45408 KiB

[startup+12.7002 s]
/proc/loadavg: 2.18 3.33 3.88 5/276 48404
/proc/meminfo: memFree=129700224/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=57652 memory=40928 CPUtime=12.59 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 8260 0 0 0 1257 2 0 0 20 0 1 0 50452296 59035648 10232 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 14413 10232 768 2416 0 11515 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 64636 KiB
Current children cumulated memory: 45408 KiB

[startup+25.5002 s]
/proc/loadavg: 2.58 3.36 3.88 5/276 48404
/proc/meminfo: memFree=129685328/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=64824 memory=50912 CPUtime=25.36 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 9751 0 0 0 2533 3 0 0 20 0 1 0 50452296 66379776 12728 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 16206 12728 768 2416 0 13308 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 71808 KiB
Current children cumulated memory: 55392 KiB

[startup+51.1058 s]
/proc/loadavg: 3.12 3.43 3.89 5/276 48405
/proc/meminfo: memFree=129641892/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48397/stat : 48397 (timeout) S 48379 48397 48323 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50452293 2723840 352 18446744073709551615 94172171239424 94172171255937 140721084106256 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94172171270704 94172171272792 94172173803520 140721084111256 140721084111394 140721084111394 140721084116967 0
/proc/48397/statm: 665 352 352 5 0 90 0
[pid=48402] ppid=48397 vsize=64872 memory=50952 CPUtime=50.9 cores=0,2
/proc/48402/stat : 48402 (CASHWMaxSAT-Dis) R 48397 48397 48323 0 -1 4194304 11017 0 0 0 5086 4 0 0 20 0 1 0 50452296 66428928 12738 18446744073709551615 4198400 14093885 140727566906464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 24190976 140727566911901 140727566912027 140727566912027 140727566917600 0
/proc/48402/statm: 16218 12738 768 2416 0 13320 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 71856 KiB
Current children cumulated memory: 55432 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.54 3.91 5/276 48406
/proc/meminfo: memFree=129636908/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48397] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2496.08 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115492 0 0 0 243848 5760 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/273 48595
/proc/meminfo: memFree=128334988/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2555.89 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 249808 5781 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/273 48597
/proc/meminfo: memFree=128336580/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2615.71 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 255770 5801 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 48599
/proc/meminfo: memFree=128337076/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2675.53 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 261729 5824 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

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

# cumulated CPU time of all completed processes:  user=3527.62 s, system=58.405 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/272 48599
/proc/meminfo: memFree=128337084/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2677.23 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 261898 5825 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3573.92 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 48599
/proc/meminfo: memFree=128337100/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2683.6 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 262533 5827 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3580.29 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 48599
/proc/meminfo: memFree=128337100/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2686.79 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 262851 5828 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3583.48 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 48599
/proc/meminfo: memFree=128337100/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2688.4 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 263011 5829 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.12 4.09 5/272 48599
/proc/meminfo: memFree=128337108/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=896.69 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 284 15701 0 1 0 0 89663 6 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
[pid=48449] ppid=48379 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48449/stat : 48449 (timeout) S 48379 48449 48323 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50542196 2723840 352 18446744073709551615 94622716157952 94622716174465 140729787164768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94622716189232 94622716191320 94622745423872 140729787169157 140729787169314 140729787169314 140729787174887 0
/proc/48449/statm: 665 352 352 5 0 90 0
[pid=48453] ppid=48449 vsize=456472 memory=404220 CPUtime=2689.2 cores=0,2
/proc/48453/stat : 48453 (ExactPR-S9) R 48449 48449 48323 0 -1 4194304 115497 0 0 0 263091 5829 0 0 20 0 1 0 50542197 467427328 101055 18446744073709551615 94723568340992 94723577641093 140725252316144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94723579427136 94723579466216 94723597299712 140725252323740 140725252323878 140725252323878 140725252329451 0
/proc/48453/statm: 114118 101055 3392 2271 0 108756 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 463456 KiB
Current children cumulated memory: 408700 KiB

[startup+3596.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 48599
/proc/meminfo: memFree=128337108/131249996 swapFree=33010684/33010684
[pid=48379] ppid=48373 vsize=4324 memory=3072 CPUtime=3585.99 cores=0,2
/proc/48379/stat : 48379 (Hybrid-CASHWMax) S 48373 48379 48323 0 -1 4194304 406 133045 0 6 0 0 352761 5838 20 0 1 0 50452290 4427776 768 18446744073709551615 94098268078080 94098268972613 140722952394480 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94098269211664 94098269259408 94098282954752 140722952403285 140722952403440 140722952403440 140722952409042 0
/proc/48379/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.25
CPU time (s): 3586.02
CPU user time (s): 3527.62
CPU system time (s): 58.405
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 469040
Max. memory (cumulated for all children) (KiB): 427684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3527.62
system time used= 58.405
maximum resident set size= 423204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134756
page faults= 6
swaps= 0
block input operations= 840
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3567
involuntary context switches= 7978


# summary of solver processes directly reported to runsolver:
#   pid: 48379
#   total CPU time (s): 3586.02
#   total CPU user time (s): 3527.62
#   total CPU system time (s): 58.405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71866 second user time and 16.9063 second system time

The end