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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523636-1751592347/watcher-4523636-1751592347 -o /tmp/evaluation-result-4523636-1751592347/solver-4523636-1751592347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751588478-84410 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4523636-1751592347.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=85092, runsolver pid=85089

[startup+0.100064 s]*
/proc/loadavg: 4.09 4.13 4.10 5/272 85096
/proc/meminfo: memFree=115748412/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=29356 memory=10752 CPUtime=0.07 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 2036 0 0 0 7 0 0 0 20 0 1 0 74912204 30060544 2688 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 7339 2688 736 2416 0 4441 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36340 KiB
Current children cumulated memory: 15104 KiB

[startup+0.205813 s]*
/proc/loadavg: 4.09 4.13 4.10 5/272 85096
/proc/meminfo: memFree=115740348/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=38132 memory=19328 CPUtime=0.18 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 4177 0 0 0 18 0 0 0 20 0 1 0 74912204 39047168 4832 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 9533 4832 736 2416 0 6635 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45116 KiB
Current children cumulated memory: 23680 KiB

[startup+0.305691 s]*
/proc/loadavg: 4.09 4.13 4.10 5/272 85096
/proc/meminfo: memFree=115732284/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=46364 memory=27392 CPUtime=0.27 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 6195 0 0 0 26 1 0 0 20 0 1 0 74912204 47476736 6848 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 11591 6848 736 2416 0 8693 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 53348 KiB
Current children cumulated memory: 31744 KiB

[startup+0.700245 s]
/proc/loadavg: 4.09 4.13 4.10 5/272 85096
/proc/meminfo: memFree=115716156/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=78408 memory=56448 CPUtime=0.67 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 13467 0 0 0 64 3 0 0 20 0 1 0 74912204 80289792 14112 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 19602 14112 736 2416 0 16704 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 85392 KiB
Current children cumulated memory: 60800 KiB

[startup+1.50025 s]
/proc/loadavg: 4.09 4.13 4.10 5/272 85096
/proc/meminfo: memFree=115643480/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=231028 memory=190116 CPUtime=1.46 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 30478 0 0 0 138 8 0 0 20 0 1 0 74912204 236572672 47529 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 57757 47529 768 2416 0 54859 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 238012 KiB
Current children cumulated memory: 194468 KiB

[startup+3.10559 s]
/proc/loadavg: 4.16 4.14 4.10 5/272 85096
/proc/meminfo: memFree=115450564/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=331660 memory=295588 CPUtime=3.06 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 38096 0 0 0 294 12 0 0 20 0 1 0 74912204 339619840 73897 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 82915 73897 992 2416 0 80017 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 338644 KiB
Current children cumulated memory: 299940 KiB

[startup+6.30023 s]
/proc/loadavg: 4.16 4.14 4.10 5/272 85096
/proc/meminfo: memFree=115145688/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=620796 memory=594240 CPUtime=6.25 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 61842 0 0 0 602 23 0 0 20 0 1 0 74912204 635695104 148560 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 155199 148560 992 2416 0 152301 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 627780 KiB
Current children cumulated memory: 598592 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.10 5/272 85096
/proc/meminfo: memFree=114597540/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=1167516 memory=1044012 CPUtime=12.63 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 92488 0 0 0 1224 39 0 0 20 0 1 0 74912204 1195536384 261003 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 291879 261003 992 2416 0 288981 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1174500 KiB
Current children cumulated memory: 1048364 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 85097
/proc/meminfo: memFree=111519544/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=4562168 memory=3908516 CPUtime=25.4 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 272428 0 0 0 2421 119 0 0 20 0 1 0 74912204 4671660032 977129 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 1140542 977129 992 2416 0 1137644 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4569152 KiB
Current children cumulated memory: 3912868 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.14 4.10 5/271 85097
/proc/meminfo: memFree=111507280/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85095/stat : 85095 (timeout) S 85092 85095 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74912203 2723840 320 18446744073709551615 94815517884416 94815517900929 140720446933968 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94815517915696 94815517917784 94815527657472 140720446937496 140720446937634 140720446937634 140720446943207 0
/proc/85095/statm: 665 320 320 5 0 90 0
[pid=85096] ppid=85095 vsize=4612428 memory=3955564 CPUtime=50.93 cores=0,2
/proc/85096/stat : 85096 (CASHWMaxSAT-Dis) R 85095 85095 84400 0 -1 4194304 281144 0 0 0 4972 121 0 0 20 0 1 0 74912204 4723126272 988891 18446744073709551615 4198400 14093885 140724726119296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51306496 140724726122909 140724726123035 140724726123035 140724726128608 0
/proc/85096/statm: 1153107 988891 992 2416 0 1150209 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4619412 KiB
Current children cumulated memory: 3959916 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/271 85101
/proc/meminfo: memFree=115135304/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85095] ppid=85092 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/85149/statm: 194416 187743 3520 2271 0 189054 0
Current children cumulated CPU time: 2614.39 s
Current children cumulated vsize: 784648 KiB
Current children cumulated memory: 755452 KiB

[startup+2682.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 85354
/proc/meminfo: memFree=126117368/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=777664 memory=750972 CPUtime=1778.19 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 272938 0 0 0 177708 111 0 0 20 0 1 0 75002110 796327936 187743 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 194416 187743 3520 2271 0 189054 0
Current children cumulated CPU time: 2674.23 s
Current children cumulated vsize: 784648 KiB
Current children cumulated memory: 755452 KiB

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

# cumulated CPU time of all completed processes:  user=2714.53 s, system=3.11105 s

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

[startup+2688 s]*
/proc/loadavg: 4.12 4.10 4.09 5/272 85354
/proc/meminfo: memFree=126068216/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=777664 memory=750972 CPUtime=1783.87 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 272938 0 0 0 178276 111 0 0 20 0 1 0 75002110 796327936 187743 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 194416 187743 3520 2271 0 189054 0
Current children cumulated CPU time: 2679.91 s
Current children cumulated vsize: 784648 KiB
Current children cumulated memory: 755452 KiB

[startup+2700.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 85356
/proc/meminfo: memFree=126007896/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=777664 memory=750972 CPUtime=1796.63 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 272938 0 0 0 179551 112 0 0 20 0 1 0 75002110 796327936 187743 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 194416 187743 3520 2271 0 189054 0
Current children cumulated CPU time: 2692.67 s
Current children cumulated vsize: 784648 KiB
Current children cumulated memory: 755452 KiB

[startup+2713.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 85356
/proc/meminfo: memFree=126094008/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=771424 memory=744732 CPUtime=1809.4 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 273050 0 0 0 180828 112 0 0 20 0 1 0 75002110 789938176 186183 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 192856 186183 3520 2271 0 187494 0
Current children cumulated CPU time: 2705.44 s
Current children cumulated vsize: 778408 KiB
Current children cumulated memory: 749212 KiB

[startup+2720 s]*
/proc/loadavg: 4.15 4.10 4.09 5/272 85356
/proc/meminfo: memFree=125973776/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=771424 memory=744732 CPUtime=1815.78 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 273050 0 0 0 181466 112 0 0 20 0 1 0 75002110 789938176 186183 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 192856 186183 3520 2271 0 187494 0
Current children cumulated CPU time: 2711.82 s
Current children cumulated vsize: 778408 KiB
Current children cumulated memory: 749212 KiB

[startup+2723.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/272 85356
/proc/meminfo: memFree=125996312/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=771424 memory=744732 CPUtime=1818.98 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 273050 0 0 0 181785 113 0 0 20 0 1 0 75002110 789938176 186183 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 192856 186183 3520 2271 0 187494 0
Current children cumulated CPU time: 2715.02 s
Current children cumulated vsize: 778408 KiB
Current children cumulated memory: 749212 KiB

[startup+2724.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 85356
/proc/meminfo: memFree=125996312/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=771424 memory=744732 CPUtime=1820.57 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 273050 0 0 0 181944 113 0 0 20 0 1 0 75002110 789938176 186183 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 192856 186183 3520 2271 0 187494 0
Current children cumulated CPU time: 2716.61 s
Current children cumulated vsize: 778408 KiB
Current children cumulated memory: 749212 KiB

[startup+2725.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 85357
/proc/meminfo: memFree=125996564/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=771424 memory=744732 CPUtime=1821.37 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 273050 0 0 0 182024 113 0 0 20 0 1 0 75002110 789938176 186183 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 192856 186183 3520 2271 0 187494 0
Current children cumulated CPU time: 2717.41 s
Current children cumulated vsize: 778408 KiB
Current children cumulated memory: 749212 KiB

[startup+2725.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 85357
/proc/meminfo: memFree=125996564/131249996 swapFree=33006296/33010684
[pid=85092] ppid=85089 vsize=4324 memory=3072 CPUtime=896.04 cores=0,2
/proc/85092/stat : 85092 (Hybrid-CASHWMax) S 85089 85092 84400 0 -1 4194304 282 361316 0 0 0 0 89408 196 20 0 1 0 74912201 4427776 768 18446744073709551615 93974611148800 93974612043333 140726832015360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93974612282384 93974612330128 93974615818240 140726832019797 140726832019952 140726832019952 140726832025554 0
/proc/85092/statm: 1081 768 704 219 0 143 0
[pid=85148] ppid=85092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85148/stat : 85148 (timeout) S 85092 85148 84400 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75002110 2723840 352 18446744073709551615 93920664424448 93920664440961 140732324642448 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93920664455728 93920664457816 93920676704256 140732324649349 140732324649506 140732324649506 140732324655079 0
/proc/85148/statm: 665 352 352 5 0 90 0
[pid=85149] ppid=85148 vsize=753524 memory=739060 CPUtime=1821.57 cores=0,2
/proc/85149/stat : 85149 (ExactPR-S9) R 85148 85148 84400 0 -1 4194304 273052 0 0 0 182044 113 0 0 20 0 1 0 75002110 771608576 184765 18446744073709551615 94512075288576 94512084588677 140728955090192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94512086374720 94512086413800 94512098349056 140728955095452 140728955095590 140728955095590 140728955101163 0
/proc/85149/statm: 188381 184765 3552 2271 0 183019 0
Current children cumulated CPU time: 2717.61 s
Current children cumulated vsize: 760508 KiB
Current children cumulated memory: 743540 KiB

Child status: 0

Real time (s): 2725.84
CPU time (s): 2717.64
CPU user time (s): 2714.53
CPU system time (s): 3.11105
CPU usage (%): 99.6994
Max. virtual memory (cumulated for all children) (KiB): 6566428
Max. memory (cumulated for all children) (KiB): 5557244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2714.53
system time used= 3.11105
maximum resident set size= 5552892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 824
involuntary context switches= 3575


# summary of solver processes directly reported to runsolver:
#   pid: 85092
#   total CPU time (s): 2717.64
#   total CPU user time (s): 2714.53
#   total CPU system time (s): 3.11105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73047 second user time and 13.3947 second system time

The end