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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521093-1751572354/watcher-4521093-1751572354 -o /tmp/evaluation-result-4521093-1751572354/solver-4521093-1751572354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751565131-76800 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4521093-1751572354.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78328, runsolver pid=78324
Current StackSize limit: 8192 KiB


[startup+0.100046 s]*
/proc/loadavg: 4.10 4.14 4.11 5/262 78336
/proc/meminfo: memFree=127291980/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=21040 memory=19968 CPUtime=0.09 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 4635 0 0 0 8 1 0 0 20 0 1 0 72912878 21544960 4992 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 5260 4992 448 484 0 4671 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21040 KiB
Current children cumulated memory: 19968 KiB

[startup+0.205648 s]*
/proc/loadavg: 4.10 4.14 4.11 4/262 78336
/proc/meminfo: memFree=127267788/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=39372 memory=38144 CPUtime=0.2 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 9216 0 0 0 18 2 0 0 20 0 1 0 72912878 40316928 9536 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 9843 9536 448 484 0 9254 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39372 KiB
Current children cumulated memory: 38144 KiB

[startup+0.305699 s]*
/proc/loadavg: 4.10 4.14 4.11 4/262 78336
/proc/meminfo: memFree=127251912/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=57212 memory=55936 CPUtime=0.29 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 13662 0 0 0 26 3 0 0 20 0 1 0 72912878 58585088 13984 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 14303 13984 448 484 0 13714 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 55936 KiB

[startup+0.700175 s]
/proc/loadavg: 4.10 4.14 4.11 5/262 78336
/proc/meminfo: memFree=127219656/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=125236 memory=123776 CPUtime=0.68 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 30623 0 0 0 62 6 0 0 20 0 1 0 72912878 128241664 30944 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 31309 30944 448 484 0 30720 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 125236 KiB
Current children cumulated memory: 123776 KiB

[startup+1.50016 s]
/proc/loadavg: 4.10 4.14 4.11 4/262 78361
/proc/meminfo: memFree=127132552/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=262756 memory=260608 CPUtime=1.48 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 64820 0 0 0 137 11 0 0 20 0 1 0 72912878 269062144 65152 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 65689 65152 448 484 0 65100 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 262756 KiB
Current children cumulated memory: 260608 KiB

[startup+3.10577 s]
/proc/loadavg: 4.09 4.14 4.11 5/266 78373
/proc/meminfo: memFree=126722144/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=386048 memory=384120 CPUtime=3.08 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 97321 0 0 0 291 17 0 0 20 0 1 0 72912878 395313152 96030 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 96512 96030 512 484 0 95923 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 386048 KiB
Current children cumulated memory: 384120 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.14 4.11 5/266 78374
/proc/meminfo: memFree=126718504/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=385852 memory=383972 CPUtime=6.27 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 97327 0 0 0 610 17 0 0 20 0 1 0 72912878 395112448 95993 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 96463 95993 512 484 0 95874 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 385852 KiB
Current children cumulated memory: 383972 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 78374
/proc/meminfo: memFree=126698648/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=408324 memory=405020 CPUtime=12.64 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 100341 0 0 0 1246 18 0 0 20 0 1 0 72912878 418123776 101255 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 102081 101255 512 484 0 101492 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 408324 KiB
Current children cumulated memory: 405020 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.15 4.11 5/266 78374
/proc/meminfo: memFree=126684536/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=414216 memory=409700 CPUtime=25.41 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 105583 0 0 0 2519 22 0 0 20 0 1 0 72912878 424157184 102425 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 103554 102425 512 484 0 102965 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 414216 KiB
Current children cumulated memory: 409700 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.14 4.11 5/266 78374
/proc/meminfo: memFree=126660068/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=417340 memory=416232 CPUtime=50.94 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 114212 0 0 0 5068 26 0 0 20 0 1 0 72912878 427356160 104058 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 104335 104058 512 484 0 103746 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 417340 KiB
Current children cumulated memory: 416232 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/267 78467
/proc/meminfo: memFree=126478304/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=453240 memory=452012 CPUtime=101.95 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 119144 0 0 0 10160 35 0 0 20 0 1 0 72912878 464117760 113003 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 113310 113003 512 484 0 112721 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 453240 KiB
Current children cumulated memory: 452012 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/266 78469
/proc/meminfo: memFree=126445368/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=454472 memory=453492 CPUtime=161.78 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 122649 0 0 0 16140 38 0 0 20 0 1 0 72912878 465379328 113373 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 113618 113373 512 484 0 113029 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 454472 KiB
Current children cumulated memory: 453492 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/266 78471
/proc/meminfo: memFree=126432352/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=479120 memory=477996 CPUtime=221.61 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 126279 0 0 0 22120 41 0 0 20 0 1 0 72912878 490618880 119499 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 119780 119499 512 484 0 119191 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 479120 KiB
Current children cumulated memory: 477996 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/266 78473
/proc/meminfo: memFree=126468388/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=434408 memory=433300 CPUtime=281.44 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 127991 0 0 0 28101 43 0 0 20 0 1 0 72912878 444833792 108325 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 108602 108325 512 484 0 108013 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 434408 KiB
Current children cumulated memory: 433300 KiB

[startup+342.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/265 78476
/proc/meminfo: memFree=126436420/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=434872 memory=433764 CPUtime=341.26 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 130348 0 0 0 34081 45 0 0 20 0 1 0 72912878 445308928 108441 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 108718 108441 512 484 0 108129 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 434872 KiB
Current children cumulated memory: 433764 KiB

[startup+402.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/264 78482
/proc/meminfo: memFree=126427244/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=483952 memory=482800 CPUtime=401.1 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 131922 0 0 0 40063 47 0 0 20 0 1 0 72912878 495566848 120700 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 120988 120700 512 484 0 120399 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 483952 KiB
Current children cumulated memory: 482800 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/264 78484
/proc/meminfo: memFree=126385328/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=459220 memory=458152 CPUtime=460.9 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 132797 0 0 0 46043 47 0 0 20 0 1 0 72912878 470241280 114538 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 114805 114538 512 484 0 114216 0

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

Current children cumulated memory: 499384 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 78663
/proc/meminfo: memFree=126474640/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=543800 memory=542640 CPUtime=2914.28 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 174030 0 0 0 291325 103 0 0 20 0 1 0 72912878 556851200 135660 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 135950 135660 512 484 0 135361 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 543800 KiB
Current children cumulated memory: 542640 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 78666
/proc/meminfo: memFree=126473076/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=586304 memory=579804 CPUtime=2974.13 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 176646 0 0 0 297307 106 0 0 20 0 1 0 72912878 600375296 144951 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 146576 144951 512 484 0 145987 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 586304 KiB
Current children cumulated memory: 579804 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 78671
/proc/meminfo: memFree=126395296/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=579472 memory=575100 CPUtime=3033.96 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 179017 0 0 0 303286 110 0 0 20 0 1 0 72912878 593379328 143775 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 144868 143775 512 484 0 144279 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 579472 KiB
Current children cumulated memory: 575100 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 78673
/proc/meminfo: memFree=126368744/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=598212 memory=593840 CPUtime=3093.81 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 179623 0 0 0 309269 112 0 0 20 0 1 0 72912878 612569088 148460 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 149553 148460 512 484 0 148964 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 598212 KiB
Current children cumulated memory: 593840 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 78675
/proc/meminfo: memFree=126320836/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=686228 memory=681856 CPUtime=3153.66 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 180382 0 0 0 315250 116 0 0 20 0 1 0 72912878 702697472 170464 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 171557 170464 512 484 0 170968 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 686228 KiB
Current children cumulated memory: 681856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 78677
/proc/meminfo: memFree=126319164/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=686228 memory=684928 CPUtime=3213.5 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 180803 0 0 0 321234 116 0 0 20 0 1 0 72912878 702697472 171232 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 171557 171232 512 484 0 170968 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 686228 KiB
Current children cumulated memory: 684928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 78680
/proc/meminfo: memFree=126399436/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=600224 memory=599004 CPUtime=3273.34 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 181415 0 0 0 327217 117 0 0 20 0 1 0 72912878 614629376 149751 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 150056 149751 512 484 0 149467 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 600224 KiB
Current children cumulated memory: 599004 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 78682
/proc/meminfo: memFree=126374284/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=626448 memory=625228 CPUtime=3333.19 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 182554 0 0 0 333199 120 0 0 20 0 1 0 72912878 641482752 156307 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 156612 156307 512 484 0 156023 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 626448 KiB
Current children cumulated memory: 625228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 78684
/proc/meminfo: memFree=126348172/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=626448 memory=625228 CPUtime=3393.03 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 182600 0 0 0 339183 120 0 0 20 0 1 0 72912878 641482752 156307 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 156612 156307 512 484 0 156023 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 626448 KiB
Current children cumulated memory: 625228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 78691
/proc/meminfo: memFree=126344380/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=581872 memory=580652 CPUtime=3452.87 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 184158 0 0 0 345165 122 0 0 20 0 1 0 72912878 595836928 145163 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 145468 145163 512 484 0 144879 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 581872 KiB
Current children cumulated memory: 580652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 78693
/proc/meminfo: memFree=126260344/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=660684 memory=659464 CPUtime=3512.72 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 184681 0 0 0 351147 125 0 0 20 0 1 0 72912878 676540416 164866 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 165171 164866 512 484 0 164582 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 660684 KiB
Current children cumulated memory: 659464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 78695
/proc/meminfo: memFree=126289916/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=660684 memory=659464 CPUtime=3572.56 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 184745 0 0 0 357131 125 0 0 20 0 1 0 72912878 676540416 164866 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 165171 164866 512 484 0 164582 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 660684 KiB
Current children cumulated memory: 659464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 78699
/proc/meminfo: memFree=126293876/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=660684 memory=659464 CPUtime=3600.08 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 184873 0 0 0 359883 125 0 0 20 0 1 0 72912878 676540416 164866 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 165171 164866 512 484 0 164582 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 660684 KiB
Current children cumulated memory: 659464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.84 s, system=1.26015 s

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

[startup+3609.9 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 78699
/proc/meminfo: memFree=126293876/131250000 swapFree=33007332/33010684
[pid=78328] ppid=78324 vsize=660684 memory=659464 CPUtime=3600.08 cores=4,6
/proc/78328/stat : 78328 (uwrmaxsat) R 78324 78328 76789 0 -1 4194304 184873 0 0 0 359883 125 0 0 20 0 1 0 72912878 676540416 164866 18446744073709551615 4198400 6176925 140723700244016 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 12283904 140723700250986 140723700251113 140723700251113 140723700256715 0
/proc/78328/statm: 165171 164866 512 484 0 164582 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 660684 KiB
Current children cumulated memory: 659464 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.1
CPU user time (s): 3598.84
CPU system time (s): 1.26015
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 757772
Max. memory (cumulated for all children) (KiB): 756468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.84
system time used= 1.26015
maximum resident set size= 756468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184879
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= 154
involuntary context switches= 1333


# summary of solver processes directly reported to runsolver:
#   pid: 78328
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.84
#   total CPU system time (s): 1.26015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81449 second user time and 16.9728 second system time

The end