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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484794-1751286890/watcher-4484794-1751286890 -o /tmp/evaluation-result-4484794-1751286890/solver-4484794-1751286890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38111 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484794-1751286890.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=39711, runsolver pid=39708

[startup+0.100065 s]*
/proc/loadavg: 4.09 4.09 4.09 5/271 39715
/proc/meminfo: memFree=127236300/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=34520 memory=19968 CPUtime=0.07 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 4234 0 0 0 7 0 0 0 20 0 1 0 44366838 35348480 4992 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 8630 4992 864 2593 0 5523 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41504 KiB
Current children cumulated memory: 24448 KiB

[startup+0.205778 s]*
/proc/loadavg: 4.09 4.09 4.09 5/271 39715
/proc/meminfo: memFree=127236300/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=53868 memory=39424 CPUtime=0.18 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 9074 0 0 0 17 1 0 0 20 0 1 0 44366838 55160832 9856 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 13467 9856 864 2593 0 10360 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60852 KiB
Current children cumulated memory: 43904 KiB

[startup+0.305684 s]*
/proc/loadavg: 4.09 4.09 4.09 5/271 39715
/proc/meminfo: memFree=127236300/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=72180 memory=57728 CPUtime=0.28 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 13664 0 0 0 26 2 0 0 20 0 1 0 44366838 73912320 14432 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 18045 14432 864 2593 0 14938 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79164 KiB
Current children cumulated memory: 62208 KiB

[startup+0.700238 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 39715
/proc/meminfo: memFree=127236288/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=93576 memory=78436 CPUtime=0.67 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 19362 0 0 0 63 4 0 0 20 0 1 0 44366838 95821824 19609 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 23394 19609 960 2593 0 20287 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 100560 KiB
Current children cumulated memory: 82916 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 39715
/proc/meminfo: memFree=127236288/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=93984 memory=79552 CPUtime=1.46 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 23174 0 0 0 141 5 0 0 20 0 1 0 44366838 96239616 19888 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 23496 19888 992 2593 0 20389 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 100968 KiB
Current children cumulated memory: 84032 KiB

[startup+3.10554 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 39715
/proc/meminfo: memFree=127236556/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=99308 memory=85040 CPUtime=3.07 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 26125 0 0 0 301 6 0 0 20 0 1 0 44366838 101691392 21260 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 24827 21260 992 2593 0 21720 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 106292 KiB
Current children cumulated memory: 89520 KiB

[startup+6.30023 s]
/proc/loadavg: 4.16 4.10 4.09 5/271 39715
/proc/meminfo: memFree=127226568/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=100156 memory=85876 CPUtime=6.25 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 30316 0 0 0 618 7 0 0 20 0 1 0 44366838 102559744 21469 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 25039 21469 992 2593 0 21932 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 107140 KiB
Current children cumulated memory: 90356 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 39716
/proc/meminfo: memFree=127228832/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=96848 memory=82800 CPUtime=12.63 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 32775 0 0 0 1255 8 0 0 20 0 1 0 44366838 99172352 20700 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 24212 20700 992 2593 0 21105 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 103832 KiB
Current children cumulated memory: 87280 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 39716
/proc/meminfo: memFree=127223988/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=102764 memory=88552 CPUtime=25.4 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 41025 0 0 0 2530 10 0 0 20 0 1 0 44366838 105230336 22138 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 25691 22138 992 2593 0 22584 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 109748 KiB
Current children cumulated memory: 93032 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 39716
/proc/meminfo: memFree=127196800/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39714] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39714/stat : 39714 (timeout) S 39711 39714 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44366838 2723840 352 18446744073709551615 94202443345920 94202443362433 140728805466800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94202443377200 94202443379288 94202472615936 140728805472662 140728805472802 140728805472802 140728805478375 0
/proc/39714/statm: 665 352 352 5 0 90 0
[pid=39715] ppid=39714 vsize=114928 memory=100748 CPUtime=50.93 cores=1,3
/proc/39715/stat : 39715 (CASHWMaxSAT-Dis) R 39714 39714 38099 0 -1 4194304 44931 0 0 0 5082 11 0 0 20 0 1 0 44366838 117686272 25187 18446744073709551615 4198400 14817773 140734857491904 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 52015104 140734857501084 140734857501211 140734857501211 140734857506784 0
/proc/39715/statm: 28732 25187 992 2593 0 25625 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 121912 KiB
Current children cumulated memory: 105228 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 39719
/proc/meminfo: memFree=127150068/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0

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

/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200172 CPUtime=2258.02 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271262 0 0 0 225622 180 0 0 20 0 1 0 44486639 1347358720 300043 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300043 3520 2271 0 323583 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204652 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.70 3.44 3/255 40060
/proc/meminfo: memFree=125436268/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2317.88 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271428 0 0 0 231607 181 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

[startup+3582.3 s]
/proc/loadavg: 2.15 2.60 3.36 3/255 40067
/proc/meminfo: memFree=125419280/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2377.71 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271442 0 0 0 237589 182 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

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

# cumulated CPU time of all completed processes:  user=3583.54 s, system=2.21317 s

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

[startup+3584 s]*
/proc/loadavg: 2.15 2.60 3.36 3/255 40067
/proc/meminfo: memFree=125419280/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2379.41 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271442 0 0 0 237759 182 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

[startup+3590.4 s]
/proc/loadavg: 2.14 2.59 3.35 3/255 40067
/proc/meminfo: memFree=125421600/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2385.78 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271442 0 0 0 238396 182 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

[startup+3593.6 s]
/proc/loadavg: 2.13 2.58 3.34 3/255 40067
/proc/meminfo: memFree=125421600/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2388.97 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271442 0 0 0 238715 182 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

[startup+3595.2 s]
/proc/loadavg: 2.13 2.58 3.34 3/255 40067
/proc/meminfo: memFree=125421600/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2390.57 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271442 0 0 0 238875 182 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3584.85 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

[startup+3595.6 s]
/proc/loadavg: 2.13 2.58 3.34 3/255 40067
/proc/meminfo: memFree=125421600/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2390.97 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271442 0 0 0 238915 182 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3585.25 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

[startup+3596 s]*
/proc/loadavg: 2.13 2.58 3.34 3/255 40067
/proc/meminfo: memFree=125421772/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=1194.28 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 283 101242 0 0 0 0 119394 34 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
[pid=39834] ppid=39711 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39834/stat : 39834 (timeout) S 39711 39834 38099 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44486639 2723840 352 18446744073709551615 94664987209728 94664987226241 140722177575632 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94664987241008 94664987243096 94665012195328 140722177579398 140722177579554 140722177579554 140722177585127 0
/proc/39834/statm: 665 352 352 5 0 90 0
[pid=39835] ppid=39834 vsize=1315780 memory=1200300 CPUtime=2391.37 cores=1,3
/proc/39835/stat : 39835 (ExactPR-S) R 39834 39834 38099 0 -1 4194304 271442 0 0 0 238955 182 0 0 20 0 1 0 44486639 1347358720 300075 18446744073709551615 94783834619904 94783843919941 140723130686336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94783845706048 94783845745128 94783887347712 140723130694046 140723130694183 140723130694183 140723130699756 0
/proc/39835/statm: 328945 300075 3520 2271 0 323583 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 1322764 KiB
Current children cumulated memory: 1204780 KiB

[startup+3596.11 s]
/proc/loadavg: 2.13 2.58 3.34 3/255 40067
/proc/meminfo: memFree=125421772/131249996 swapFree=33010684/33010684
[pid=39711] ppid=39708 vsize=4324 memory=3072 CPUtime=3585.73 cores=1,3
/proc/39711/stat : 39711 (Hybrid-CASHWMax) S 39708 39711 38099 0 -1 4194304 477 375412 0 0 0 0 358353 220 20 0 1 0 44366837 4427776 768 18446744073709551615 94173028347904 94173029242437 140727010944128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173029481488 94173029529232 94173037932544 140727010949463 140727010949617 140727010949617 140727010955219 0
/proc/39711/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3585.75
CPU user time (s): 3583.54
CPU system time (s): 2.21317
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 1651728
Max. memory (cumulated for all children) (KiB): 1285224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.54
system time used= 2.21317
maximum resident set size= 1280744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2058
involuntary context switches= 4697


# summary of solver processes directly reported to runsolver:
#   pid: 39711
#   total CPU time (s): 3585.75
#   total CPU user time (s): 3583.54
#   total CPU system time (s): 2.21317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07402 second user time and 17.4471 second system time

The end