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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518248-1751540413/watcher-4518248-1751540413 -o /tmp/evaluation-result-4518248-1751540413/solver-4518248-1751540413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751534823-78352 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4518248-1751540413.opb -total-t=3600 -no-par -v0 

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


[startup+0.100106 s]*
/proc/loadavg: 4.05 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126878072/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=25736 memory=7424 CPUtime=0.1 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 1209 0 0 0 10 0 0 0 20 0 1 0 69719999 26353664 1856 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 6434 1856 768 2416 0 3536 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25736 KiB
Current children cumulated memory: 7424 KiB

[startup+0.213444 s]*
/proc/loadavg: 4.05 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126878072/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=25736 memory=7424 CPUtime=0.21 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 1209 0 0 0 21 0 0 0 20 0 1 0 69719999 26353664 1856 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 6434 1856 768 2416 0 3536 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25736 KiB
Current children cumulated memory: 7424 KiB

[startup+0.313365 s]*
/proc/loadavg: 4.05 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126878072/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=25736 memory=7424 CPUtime=0.31 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 1209 0 0 0 31 0 0 0 20 0 1 0 69719999 26353664 1856 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 6434 1856 768 2416 0 3536 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25736 KiB
Current children cumulated memory: 7424 KiB

[startup+0.700321 s]
/proc/loadavg: 4.05 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126878072/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=25736 memory=7424 CPUtime=0.68 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 1209 0 0 0 68 0 0 0 20 0 1 0 69719999 26353664 1856 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 6434 1856 768 2416 0 3536 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25736 KiB
Current children cumulated memory: 7424 KiB

[startup+1.50032 s]
/proc/loadavg: 4.05 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126878072/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=121264 memory=104608 CPUtime=1.48 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 16726 0 0 0 144 4 0 0 20 0 1 0 69719999 124174336 26152 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 30316 26152 768 2416 0 27418 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121264 KiB
Current children cumulated memory: 104608 KiB

[startup+3.11315 s]
/proc/loadavg: 4.05 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126536244/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=369560 memory=328408 CPUtime=3.1 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 39381 0 0 0 300 10 0 0 20 0 1 0 69719999 378429440 82102 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 92390 82102 768 2416 0 89492 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 369560 KiB
Current children cumulated memory: 328408 KiB

[startup+6.30031 s]
/proc/loadavg: 4.05 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126440112/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=363864 CPUtime=6.27 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47065 0 0 0 613 14 0 0 20 0 1 0 69719999 422993920 90966 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 90966 768 2416 0 100372 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 363864 KiB

[startup+12.7003 s]
/proc/loadavg: 4.04 4.14 4.14 5/250 78945
/proc/meminfo: memFree=126473440/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=363864 CPUtime=12.65 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47156 0 0 0 1251 14 0 0 20 0 1 0 69719999 422993920 90966 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 90966 768 2416 0 100372 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 363864 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.14 5/250 78945
/proc/meminfo: memFree=126474848/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=363864 CPUtime=25.42 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47220 0 0 0 2527 15 0 0 20 0 1 0 69719999 422993920 90966 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 90966 768 2416 0 100372 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 363864 KiB

[startup+51.1132 s]
/proc/loadavg: 4.07 4.14 4.14 5/250 78957
/proc/meminfo: memFree=126476628/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=363864 CPUtime=50.96 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47272 0 0 0 5081 15 0 0 20 0 1 0 69719999 422993920 90966 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 90966 768 2416 0 100372 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 363864 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/250 78958
/proc/meminfo: memFree=126481236/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=363864 CPUtime=102.01 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47335 0 0 0 10185 16 0 0 20 0 1 0 69719999 422993920 90966 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 90966 768 2416 0 100372 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 363864 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/251 78961
/proc/meminfo: memFree=126462292/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=363864 CPUtime=161.83 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47414 0 0 0 16166 17 0 0 20 0 1 0 69719999 422993920 90966 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 90966 768 2416 0 100372 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 363864 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/251 78963
/proc/meminfo: memFree=126456644/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=365016 CPUtime=221.67 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47776 0 0 0 22149 18 0 0 20 0 1 0 69719999 422993920 91254 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 91254 768 2416 0 100372 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 365016 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/251 78965
/proc/meminfo: memFree=126460672/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=365400 CPUtime=281.49 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 47977 0 0 0 28130 19 0 0 20 0 1 0 69719999 422993920 91350 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 91350 768 2416 0 100372 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 365400 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/250 78973
/proc/meminfo: memFree=126435268/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=371664 CPUtime=341.3 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 48041 0 0 0 34110 20 0 0 20 0 1 0 69719999 422993920 92916 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 92916 768 2416 0 100372 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 371664 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/250 78975
/proc/meminfo: memFree=126435300/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=413080 memory=377568 CPUtime=401.12 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 48052 0 0 0 40092 20 0 0 20 0 1 0 69719999 422993920 94392 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 103270 94392 800 2416 0 100372 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 413080 KiB
Current children cumulated memory: 377568 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/249 78977
/proc/meminfo: memFree=126407480/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=443900 memory=387556 CPUtime=460.93 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 48702 0 0 0 46072 21 0 0 20 0 1 0 69719999 454553600 96889 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 110975 96889 800 2416 0 108077 0
Current children cumulated CPU time: 460.93 s

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

Current children cumulated memory: 437060 KiB

[startup+2922.3 s]
/proc/loadavg: 1.10 1.21 1.98 2/232 79214
/proc/meminfo: memFree=129132956/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=820184 memory=740328 CPUtime=2913.53 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 104429 0 0 0 291222 131 0 0 20 0 1 0 69719999 839868416 185082 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 205046 185082 800 2416 0 202148 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 820184 KiB
Current children cumulated memory: 740328 KiB

[startup+2982.3 s]
/proc/loadavg: 1.08 1.19 1.92 2/232 79216
/proc/meminfo: memFree=129112652/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=820184 memory=756728 CPUtime=2973.32 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 104499 0 0 0 297201 131 0 0 20 0 1 0 69719999 839868416 189182 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 205046 189182 800 2416 0 202148 0
Current children cumulated CPU time: 2973.32 s
Current children cumulated vsize: 820184 KiB
Current children cumulated memory: 756728 KiB

[startup+3042.3 s]
/proc/loadavg: 1.06 1.16 1.87 2/232 79219
/proc/meminfo: memFree=129088900/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=1031800 memory=793472 CPUtime=3033.09 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 105155 0 0 0 303177 132 0 0 20 0 1 0 69719999 1056563200 198368 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 257950 198368 800 2416 0 255052 0
Current children cumulated CPU time: 3033.09 s
Current children cumulated vsize: 1031800 KiB
Current children cumulated memory: 793472 KiB

[startup+3102.3 s]
/proc/loadavg: 1.07 1.15 1.81 2/231 79221
/proc/meminfo: memFree=129101080/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=820184 memory=767132 CPUtime=3092.87 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 105287 0 0 0 309152 135 0 0 20 0 1 0 69719999 839868416 191783 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 205046 191783 800 2416 0 202148 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 820184 KiB
Current children cumulated memory: 767132 KiB

[startup+3162.3 s]
/proc/loadavg: 1.14 1.15 1.77 2/231 79223
/proc/meminfo: memFree=129072304/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=901756 memory=796852 CPUtime=3152.65 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 105775 0 0 0 315129 136 0 0 20 0 1 0 69719999 923398144 199213 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 225439 199213 800 2416 0 222541 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 901756 KiB
Current children cumulated memory: 796852 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.14 1.73 2/231 79225
/proc/meminfo: memFree=129080276/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=902500 memory=784336 CPUtime=3212.44 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 106520 0 0 0 321104 140 0 0 20 0 1 0 69719999 924160000 196084 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 225625 196084 800 2416 0 222727 0
Current children cumulated CPU time: 3212.44 s
Current children cumulated vsize: 902500 KiB
Current children cumulated memory: 784336 KiB

[startup+3282.3 s]
/proc/loadavg: 1.04 1.11 1.68 2/231 79227
/proc/meminfo: memFree=129093756/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=824372 memory=768712 CPUtime=3272.24 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 107417 0 0 0 327081 143 0 0 20 0 1 0 69719999 844156928 192178 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 206093 192178 800 2416 0 203195 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 824372 KiB
Current children cumulated memory: 768712 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.12 1.64 2/232 79236
/proc/meminfo: memFree=129085816/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=905760 memory=785840 CPUtime=3332.04 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 107633 0 0 0 333060 144 0 0 20 0 1 0 69719999 927498240 196460 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 226440 196460 800 2416 0 223542 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 905760 KiB
Current children cumulated memory: 785840 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.11 1.61 2/232 79238
/proc/meminfo: memFree=129065592/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=905760 memory=808500 CPUtime=3391.83 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 107880 0 0 0 339038 145 0 0 20 0 1 0 69719999 927498240 202125 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 226440 202125 800 2416 0 223542 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 905760 KiB
Current children cumulated memory: 808500 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.10 1.57 2/232 79240
/proc/meminfo: memFree=129049460/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=905760 memory=825328 CPUtime=3451.62 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 108058 0 0 0 345017 145 0 0 20 0 1 0 69719999 927498240 206332 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 226440 206332 800 2416 0 223542 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 905760 KiB
Current children cumulated memory: 825328 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.10 1.54 2/232 79242
/proc/meminfo: memFree=129082228/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=905760 memory=782764 CPUtime=3511.4 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 108926 0 0 0 350992 148 0 0 20 0 1 0 69719999 927498240 195691 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 226440 195691 800 2416 0 223542 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 905760 KiB
Current children cumulated memory: 782764 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.09 1.51 2/232 79244
/proc/meminfo: memFree=129102804/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=824568 memory=772384 CPUtime=3571.19 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 109622 0 0 0 356968 151 0 0 20 0 1 0 69719999 844357632 193096 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 206142 193096 800 2416 0 203244 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 824568 KiB
Current children cumulated memory: 772384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 1.10 1.10 1.50 2/232 79245
/proc/meminfo: memFree=129077472/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=905956 memory=795032 CPUtime=3600.09 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 109862 0 0 0 359857 152 0 0 20 0 1 0 69719999 927698944 198758 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 226489 198758 800 2416 0 223591 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 905956 KiB
Current children cumulated memory: 795032 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.3 s]
# the end of solver process 78944 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.57 s, system=1.52795 s

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

[startup+3611.3 s]
/proc/loadavg: 1.10 1.10 1.50 2/232 79245
/proc/meminfo: memFree=129077472/131382120 swapFree=33010416/33010684
[pid=78944] ppid=78941 vsize=905956 memory=795032 CPUtime=3600.09 cores=5,7
/proc/78944/stat : 78944 (CASHWMaxSAT-Dis) R 78941 78944 78339 0 -1 4194304 109862 0 0 0 359857 152 0 0 20 0 1 0 69719999 927698944 198758 18446744073709551615 4198400 14093885 140722789938208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46575616 140722789943658 140722789943773 140722789943773 140722789949375 0
/proc/78944/statm: 226489 198758 800 2416 0 223591 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 905956 KiB
Current children cumulated memory: 795032 KiB

Child status: 10

Real time (s): 3611.3
CPU time (s): 3600.1
CPU user time (s): 3598.57
CPU system time (s): 1.52795
CPU usage (%): 99.6898
Max. virtual memory (cumulated for all children) (KiB): 1035988
Max. memory (cumulated for all children) (KiB): 922708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.57
system time used= 1.52795
maximum resident set size= 957524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97
involuntary context switches= 2956


# summary of solver processes directly reported to runsolver:
#   pid: 78944
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.57
#   total CPU system time (s): 1.52795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8212 second user time and 34.9112 second system time

The end