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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518287-1751541378/watcher-4518287-1751541378 -o /tmp/evaluation-result-4518287-1751541378/solver-4518287-1751541378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751537765-78319 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4518287-1751541378.opb -mem-lim=31000 

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
Current StackSize limit: 8192 KiB

solver pid=78725, runsolver pid=78721

[startup+0.100067 s]*
/proc/loadavg: 4.13 4.11 4.06 5/252 78736
/proc/meminfo: memFree=129778996/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=6752 memory=5888 CPUtime=0.09 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 1091 0 0 0 9 0 0 0 20 0 1 0 69817188 6914048 1472 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 1688 1472 480 484 0 1099 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 6752 KiB
Current children cumulated memory: 5888 KiB

[startup+0.212339 s]*
/proc/loadavg: 4.13 4.11 4.06 5/252 78736
/proc/meminfo: memFree=129778240/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=6752 memory=5888 CPUtime=0.2 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 1091 0 0 0 20 0 0 0 20 0 1 0 69817188 6914048 1472 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 1688 1472 480 484 0 1099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 6752 KiB
Current children cumulated memory: 5888 KiB

[startup+0.312215 s]*
/proc/loadavg: 4.13 4.11 4.06 5/252 78736
/proc/meminfo: memFree=129778416/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=6752 memory=5888 CPUtime=0.3 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 1091 0 0 0 30 0 0 0 20 0 1 0 69817188 6914048 1472 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 1688 1472 480 484 0 1099 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 6752 KiB
Current children cumulated memory: 5888 KiB

[startup+0.700248 s]
/proc/loadavg: 4.13 4.11 4.06 5/252 78736
/proc/meminfo: memFree=129778416/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=6752 memory=5888 CPUtime=0.67 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 1091 0 0 0 67 0 0 0 20 0 1 0 69817188 6914048 1472 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 1688 1472 480 484 0 1099 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 6752 KiB
Current children cumulated memory: 5888 KiB

[startup+1.50036 s]
/proc/loadavg: 4.13 4.11 4.06 5/252 78736
/proc/meminfo: memFree=129757688/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=73336 memory=70616 CPUtime=1.47 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 10549 0 0 0 144 3 0 0 20 0 1 0 69817188 75096064 17654 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 18334 17654 480 484 0 17745 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 73336 KiB
Current children cumulated memory: 70616 KiB

[startup+3.113 s]
/proc/loadavg: 4.12 4.11 4.06 5/252 78736
/proc/meminfo: memFree=129349456/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=291020 memory=281880 CPUtime=3.08 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 45412 0 0 0 294 14 0 0 20 0 1 0 69817188 298004480 70470 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 72755 70470 480 484 0 72166 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 291020 KiB
Current children cumulated memory: 281880 KiB

[startup+6.30035 s]
/proc/loadavg: 4.12 4.11 4.06 5/252 78737
/proc/meminfo: memFree=128963732/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=311264 memory=299092 CPUtime=6.26 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 47243 0 0 0 611 15 0 0 20 0 1 0 69817188 318734336 74773 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 77816 74773 544 484 0 77227 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 311264 KiB
Current children cumulated memory: 299092 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.06 5/252 78737
/proc/meminfo: memFree=127094856/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=389232 memory=368516 CPUtime=12.63 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 57734 0 0 0 1241 22 0 0 20 0 1 0 69817188 398573568 92129 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 97308 92129 544 484 0 96719 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 389232 KiB
Current children cumulated memory: 368516 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.12 4.06 5/251 78737
/proc/meminfo: memFree=125708992/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=419568 memory=383748 CPUtime=25.4 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 85120 0 0 0 2494 46 0 0 20 0 1 0 69817188 429637632 95937 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 104892 95937 544 484 0 104303 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 419568 KiB
Current children cumulated memory: 383748 KiB

[startup+51.1129 s]
/proc/loadavg: 4.17 4.12 4.06 5/251 78737
/proc/meminfo: memFree=125643520/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=461440 memory=428236 CPUtime=50.92 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 109239 0 0 0 5018 74 0 0 20 0 1 0 69817188 472514560 107059 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 115360 107059 544 484 0 114771 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 461440 KiB
Current children cumulated memory: 428236 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/252 78740
/proc/meminfo: memFree=125541684/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=454224 memory=449664 CPUtime=101.92 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 138597 0 0 0 10087 105 0 0 20 0 1 0 69817188 465125376 112416 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 113556 112416 544 484 0 112967 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 454224 KiB
Current children cumulated memory: 449664 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/252 78742
/proc/meminfo: memFree=125569496/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=478212 memory=451080 CPUtime=161.71 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 172103 0 0 0 16031 140 0 0 20 0 1 0 69817188 489689088 112770 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 119553 112770 544 484 0 118964 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 478212 KiB
Current children cumulated memory: 451080 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/252 78744
/proc/meminfo: memFree=125547468/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=462544 memory=437528 CPUtime=221.54 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 200603 0 0 0 21982 172 0 0 20 0 1 0 69817188 473645056 109382 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 115636 109382 544 484 0 115047 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 462544 KiB
Current children cumulated memory: 437528 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/252 78748
/proc/meminfo: memFree=125513008/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=524832 memory=503220 CPUtime=281.37 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 225313 0 0 0 27937 200 0 0 20 0 1 0 69817188 537427968 125805 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 131208 125805 544 484 0 130619 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 524832 KiB
Current children cumulated memory: 503220 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.06 5/252 78752
/proc/meminfo: memFree=125497556/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=483572 memory=456456 CPUtime=341.21 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 243087 0 0 0 33899 222 0 0 20 0 1 0 69817188 495177728 114114 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 120893 114114 544 484 0 120304 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 483572 KiB
Current children cumulated memory: 456456 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/251 78754
/proc/meminfo: memFree=125438144/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=457884 memory=454812 CPUtime=401.04 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 258509 0 0 0 39863 241 0 0 20 0 1 0 69817188 468873216 113703 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 114471 113703 544 484 0 113882 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 457884 KiB
Current children cumulated memory: 454812 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/251 78756
/proc/meminfo: memFree=125476152/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=489596 memory=462424 CPUtime=460.88 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 281016 0 0 0 45819 269 0 0 20 0 1 0 69817188 501346304 115606 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 122399 115606 544 484 0 121810 0
Current children cumulated CPU time: 460.88 s

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

Current children cumulated memory: 1203448 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/250 78876
/proc/meminfo: memFree=123624512/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1330348 memory=1233472 CPUtime=2854.15 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 527208 0 0 0 284893 522 0 0 20 0 1 0 69817188 1362276352 308368 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 332587 308368 544 484 0 331998 0
Current children cumulated CPU time: 2854.15 s
Current children cumulated vsize: 1330348 KiB
Current children cumulated memory: 1233472 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/250 78878
/proc/meminfo: memFree=123274756/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1330348 memory=1233472 CPUtime=2913.99 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 527313 0 0 0 290877 522 0 0 20 0 1 0 69817188 1362276352 308368 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 332587 308368 544 484 0 331998 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 1330348 KiB
Current children cumulated memory: 1233472 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 78884
/proc/meminfo: memFree=123242272/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1400488 memory=1303896 CPUtime=2973.83 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 527933 0 0 0 296858 525 0 0 20 0 1 0 69817188 1434099712 325974 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 350122 325974 544 484 0 349533 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 1400488 KiB
Current children cumulated memory: 1303896 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/250 78886
/proc/meminfo: memFree=123238704/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1400488 memory=1305364 CPUtime=3033.67 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 529202 0 0 0 302841 526 0 0 20 0 1 0 69817188 1434099712 326341 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 350122 326341 544 484 0 349533 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 1400488 KiB
Current children cumulated memory: 1305364 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/249 78888
/proc/meminfo: memFree=123040288/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1400488 memory=1305364 CPUtime=3093.51 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 529468 0 0 0 308825 526 0 0 20 0 1 0 69817188 1434099712 326341 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 350122 326341 544 484 0 349533 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 1400488 KiB
Current children cumulated memory: 1305364 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/249 78890
/proc/meminfo: memFree=123089288/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1555448 memory=1417284 CPUtime=3153.35 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 544184 0 0 0 314779 556 0 0 20 0 1 0 69817188 1592778752 354321 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 388862 354321 544 484 0 388273 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 1417284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/249 78892
/proc/meminfo: memFree=123055416/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1555448 memory=1417284 CPUtime=3213.19 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 544357 0 0 0 320763 556 0 0 20 0 1 0 69817188 1592778752 354321 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 388862 354321 544 484 0 388273 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 1417284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/250 78898
/proc/meminfo: memFree=123081472/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1555448 memory=1417284 CPUtime=3273.04 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 544495 0 0 0 326747 557 0 0 20 0 1 0 69817188 1592778752 354321 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 388862 354321 544 484 0 388273 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 1417284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/250 78900
/proc/meminfo: memFree=122671524/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1555448 memory=1417284 CPUtime=3332.87 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 544647 0 0 0 332730 557 0 0 20 0 1 0 69817188 1592778752 354321 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 388862 354321 544 484 0 388273 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 1417284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.11 5/250 78902
/proc/meminfo: memFree=123019780/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1555448 memory=1417284 CPUtime=3392.7 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 544934 0 0 0 338713 557 0 0 20 0 1 0 69817188 1592778752 354321 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 388862 354321 544 484 0 388273 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 1417284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 78904
/proc/meminfo: memFree=123096088/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1555448 memory=1418948 CPUtime=3452.54 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 545097 0 0 0 344696 558 0 0 20 0 1 0 69817188 1592778752 354737 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 388862 354737 544 484 0 388273 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 1418948 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/250 78906
/proc/meminfo: memFree=123112588/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1555448 memory=1418948 CPUtime=3512.37 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 545271 0 0 0 350679 558 0 0 20 0 1 0 69817188 1592778752 354737 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 388862 354737 544 484 0 388273 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 1418948 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/250 78912
/proc/meminfo: memFree=123185740/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1419884 memory=1328964 CPUtime=3572.19 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 546342 0 0 0 356655 564 0 0 20 0 1 0 69817188 1453961216 332241 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 354971 332241 544 484 0 354382 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 1419884 KiB
Current children cumulated memory: 1328964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 78913
/proc/meminfo: memFree=123076780/131382112 swapFree=33010416/33010684
[pid=78725] ppid=78721 vsize=1419884 memory=1328964 CPUtime=3600.02 cores=5,7
/proc/78725/stat : 78725 (uwrmaxsat) R 78721 78725 78306 0 -1 4194304 546345 0 0 0 359438 564 0 0 20 0 1 0 69817188 1453961216 332241 18446744073709551615 4198400 6176925 140728053984320 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 8060928 140728053991786 140728053991913 140728053991913 140728053997515 0
/proc/78725/statm: 354971 332241 544 484 0 354382 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1419884 KiB
Current children cumulated memory: 1328964 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.38 s, system=5.65414 s

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

Child status: 10

Real time (s): 3610.21
CPU time (s): 3600.04
CPU user time (s): 3594.38
CPU system time (s): 5.65414
CPU usage (%): 99.7182
Max. virtual memory (cumulated for all children) (KiB): 1823832
Max. memory (cumulated for all children) (KiB): 1687208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.38
system time used= 5.65414
maximum resident set size= 1687208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546350
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= 95
involuntary context switches= 2487


# summary of solver processes directly reported to runsolver:
#   pid: 78725
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3594.38
#   total CPU system time (s): 5.65414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9645 second user time and 34.2621 second system time

The end