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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519805-1751562181/watcher-4519805-1751562181 -o /tmp/evaluation-result-4519805-1751562181/solver-4519805-1751562181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751554029-80501 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4519805-1751562181.opb -mem-lim=31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=81528, runsolver pid=81525
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 81529
/proc/meminfo: memFree=128428944/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=7936 memory=7368 CPUtime=0.09 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 1581 0 0 0 9 0 0 0 20 0 1 0 71895628 8126464 1842 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 1984 1842 544 484 0 1395 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 7936 KiB
Current children cumulated memory: 7368 KiB

[startup+0.205655 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 81529
/proc/meminfo: memFree=128428188/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=8496 memory=7948 CPUtime=0.2 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 2054 0 0 0 20 0 0 0 20 0 1 0 71895628 8699904 1987 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 2124 1987 544 484 0 1535 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 8496 KiB
Current children cumulated memory: 7948 KiB

[startup+0.304741 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 81529
/proc/meminfo: memFree=128428188/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=8464 memory=7876 CPUtime=0.3 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 2195 0 0 0 30 0 0 0 20 0 1 0 71895628 8667136 1969 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 2116 1969 544 484 0 1527 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 8464 KiB
Current children cumulated memory: 7876 KiB

[startup+0.700122 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 81529
/proc/meminfo: memFree=128399012/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=8904 memory=8316 CPUtime=0.68 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 3540 0 0 0 68 0 0 0 20 0 1 0 71895628 9117696 2079 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 2226 2079 544 484 0 1637 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 8904 KiB
Current children cumulated memory: 8316 KiB

[startup+1.50014 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 81529
/proc/meminfo: memFree=128410608/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=10468 memory=9924 CPUtime=1.49 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 6150 0 0 0 148 1 0 0 20 0 1 0 71895628 10719232 2481 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 2617 2481 544 484 0 2028 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 10468 KiB
Current children cumulated memory: 9924 KiB

[startup+3.10548 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 81530
/proc/meminfo: memFree=128468360/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=12788 memory=12248 CPUtime=3.08 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 9824 0 0 0 307 1 0 0 20 0 1 0 71895628 13094912 3062 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 3197 3062 544 484 0 2608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 12788 KiB
Current children cumulated memory: 12248 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 81530
/proc/meminfo: memFree=128474316/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=19416 memory=18752 CPUtime=6.27 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 15095 0 0 0 625 2 0 0 20 0 1 0 71895628 19881984 4688 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 4854 4688 544 484 0 4265 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19416 KiB
Current children cumulated memory: 18752 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.09 5/265 81530
/proc/meminfo: memFree=128438240/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=23372 memory=22720 CPUtime=12.65 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 21194 0 0 0 1262 3 0 0 20 0 1 0 71895628 23932928 5680 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 5843 5680 544 484 0 5254 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23372 KiB
Current children cumulated memory: 22720 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 81531
/proc/meminfo: memFree=128452540/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=28764 memory=28044 CPUtime=25.43 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 27780 0 0 0 2537 6 0 0 20 0 1 0 71895628 29454336 7011 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 7191 7011 544 484 0 6602 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 28764 KiB
Current children cumulated memory: 28044 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 81531
/proc/meminfo: memFree=128374396/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=39936 memory=39272 CPUtime=50.97 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 35437 0 0 0 5088 9 0 0 20 0 1 0 71895628 40894464 9818 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 9984 9818 544 484 0 9395 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 39936 KiB
Current children cumulated memory: 39272 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 81533
/proc/meminfo: memFree=128330680/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=50536 memory=49804 CPUtime=102.03 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 42194 0 0 0 10192 11 0 0 20 0 1 0 71895628 51748864 12451 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 12634 12451 544 484 0 12045 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 50536 KiB
Current children cumulated memory: 49804 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 81535
/proc/meminfo: memFree=128223476/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=58172 memory=57484 CPUtime=161.88 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 49845 0 0 0 16174 14 0 0 20 0 1 0 71895628 59568128 14371 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 14543 14371 544 484 0 13954 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 58172 KiB
Current children cumulated memory: 57484 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 81538
/proc/meminfo: memFree=128363296/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=70424 memory=69772 CPUtime=221.73 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 50900 0 0 0 22158 15 0 0 20 0 1 0 71895628 72114176 17443 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 17606 17443 544 484 0 17017 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 70424 KiB
Current children cumulated memory: 69772 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 81540
/proc/meminfo: memFree=128282752/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=94964 memory=94220 CPUtime=281.58 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 55872 0 0 0 28140 18 0 0 20 0 1 0 71895628 97243136 23555 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 23741 23555 544 484 0 23152 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 94964 KiB
Current children cumulated memory: 94220 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 81542
/proc/meminfo: memFree=128336756/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=71008 memory=69116 CPUtime=341.44 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 57325 0 0 0 34125 19 0 0 20 0 1 0 71895628 72712192 17279 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 17752 17279 544 484 0 17163 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 71008 KiB
Current children cumulated memory: 69116 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 81544
/proc/meminfo: memFree=128395964/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=63756 memory=62988 CPUtime=401.3 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 58880 0 0 0 40109 21 0 0 20 0 1 0 71895628 65286144 15747 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 15939 15747 544 484 0 15350 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 63756 KiB
Current children cumulated memory: 62988 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 81550
/proc/meminfo: memFree=128316792/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=96292 memory=95628 CPUtime=461.12 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 66556 0 0 0 46087 25 0 0 20 0 1 0 71895628 98603008 23907 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 24073 23907 544 484 0 23484 0
Current children cumulated CPU time: 461.12 s

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

Current children cumulated memory: 169556 KiB

[startup+2862.3 s]
/proc/loadavg: 1.29 2.81 3.60 2/248 81760
/proc/meminfo: memFree=128929232/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=138080 memory=135308 CPUtime=2855.22 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 110684 0 0 0 285456 66 0 0 20 0 1 0 71895628 141393920 33827 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 34520 33827 544 484 0 33931 0
Current children cumulated CPU time: 2855.22 s
Current children cumulated vsize: 138080 KiB
Current children cumulated memory: 135308 KiB

[startup+2922.3 s]
/proc/loadavg: 1.15 2.49 3.44 2/249 81765
/proc/meminfo: memFree=128929652/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=138080 memory=135312 CPUtime=2915.08 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 111946 0 0 0 291440 68 0 0 20 0 1 0 71895628 141393920 33828 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 34520 33828 544 484 0 33931 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 138080 KiB
Current children cumulated memory: 135312 KiB

[startup+2982.3 s]
/proc/loadavg: 1.16 2.25 3.30 2/249 81767
/proc/meminfo: memFree=128917284/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=174568 memory=170856 CPUtime=2974.94 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 113970 0 0 0 297424 70 0 0 20 0 1 0 71895628 178757632 42714 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 43642 42714 544 484 0 43053 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 174568 KiB
Current children cumulated memory: 170856 KiB

[startup+3042.3 s]
/proc/loadavg: 1.12 2.03 3.15 2/248 81773
/proc/meminfo: memFree=128931832/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=134888 memory=132308 CPUtime=3034.81 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 117565 0 0 0 303407 74 0 0 20 0 1 0 71895628 138125312 33077 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 33722 33077 544 484 0 33133 0
Current children cumulated CPU time: 3034.81 s
Current children cumulated vsize: 134888 KiB
Current children cumulated memory: 132308 KiB

[startup+3102.3 s]
/proc/loadavg: 1.17 1.87 3.03 2/247 81775
/proc/meminfo: memFree=128920912/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=169724 memory=167300 CPUtime=3094.68 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 119481 0 0 0 309391 77 0 0 20 0 1 0 71895628 173797376 41825 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 42431 41825 544 484 0 41842 0
Current children cumulated CPU time: 3094.68 s
Current children cumulated vsize: 169724 KiB
Current children cumulated memory: 167300 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.73 2.90 2/247 81777
/proc/meminfo: memFree=128932848/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=132156 memory=131708 CPUtime=3154.55 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 121131 0 0 0 315376 79 0 0 20 0 1 0 71895628 135327744 32927 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 33039 32927 544 484 0 32450 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 132156 KiB
Current children cumulated memory: 131708 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.61 2.79 2/245 81779
/proc/meminfo: memFree=128917848/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=168340 memory=166976 CPUtime=3214.41 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 123672 0 0 0 321360 81 0 0 20 0 1 0 71895628 172380160 41744 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 42085 41744 544 484 0 41496 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 168340 KiB
Current children cumulated memory: 166976 KiB

[startup+3282.3 s]
/proc/loadavg: 1.21 1.54 2.69 2/245 81781
/proc/meminfo: memFree=128893380/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=194616 memory=193324 CPUtime=3274.28 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 124639 0 0 0 327346 82 0 0 20 0 1 0 71895628 199286784 48331 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 48654 48331 544 484 0 48065 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 194616 KiB
Current children cumulated memory: 193324 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.44 2.58 2/246 81784
/proc/meminfo: memFree=128891680/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=188840 memory=188248 CPUtime=3334.14 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 125953 0 0 0 333331 83 0 0 20 0 1 0 71895628 193372160 47062 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 47210 47062 544 484 0 46621 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 188840 KiB
Current children cumulated memory: 188248 KiB

[startup+3402.3 s]
/proc/loadavg: 1.07 1.37 2.48 2/245 81786
/proc/meminfo: memFree=128929156/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=124536 memory=123960 CPUtime=3394.01 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 127080 0 0 0 339316 85 0 0 20 0 1 0 71895628 127524864 30990 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 31134 30990 544 484 0 30545 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 124536 KiB
Current children cumulated memory: 123960 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.33 2.40 2/245 81788
/proc/meminfo: memFree=128885316/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=193232 memory=192588 CPUtime=3453.87 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 128413 0 0 0 345301 86 0 0 20 0 1 0 71895628 197869568 48147 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 48308 48147 544 484 0 47719 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 193232 KiB
Current children cumulated memory: 192588 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.29 2.31 2/247 81805
/proc/meminfo: memFree=128913436/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=159832 memory=159192 CPUtime=3513.74 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 128964 0 0 0 351287 87 0 0 20 0 1 0 71895628 163667968 39798 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 39958 39798 544 484 0 39369 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 159832 KiB
Current children cumulated memory: 159192 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.25 2.23 2/247 81806
/proc/meminfo: memFree=128929052/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=131152 memory=130704 CPUtime=3573.61 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 130230 0 0 0 357272 89 0 0 20 0 1 0 71895628 134299648 32676 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 32788 32676 544 484 0 32199 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 131152 KiB
Current children cumulated memory: 130704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 1.07 1.23 2.20 2/247 81812
/proc/meminfo: memFree=128933276/131249996 swapFree=33006296/33010684
[pid=81528] ppid=81525 vsize=129700 memory=129252 CPUtime=3600.05 cores=4,6
/proc/81528/stat : 81528 (uwrmaxsat) R 81525 81528 80490 0 -1 4194304 131497 0 0 0 359914 91 0 0 20 0 1 0 71895628 132812800 32313 18446744073709551615 4198400 6176925 140723271710656 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 38539264 140723271719274 140723271719401 140723271719401 140723271725003 0
/proc/81528/statm: 32425 32313 544 484 0 31836 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 129700 KiB
Current children cumulated memory: 129252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.15 s, system=0.914953 s

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

Child status: 10

Real time (s): 3608.8
CPU time (s): 3600.06
CPU user time (s): 3599.15
CPU system time (s): 0.914953
CPU usage (%): 99.7579
Max. virtual memory (cumulated for all children) (KiB): 222888
Max. memory (cumulated for all children) (KiB): 222208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 0.914953
maximum resident set size= 222208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131501
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= 34
involuntary context switches= 3052


# summary of solver processes directly reported to runsolver:
#   pid: 81528
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 0.914953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48177 second user time and 14.0826 second system time

The end