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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520774-1751566364/watcher-4520774-1751566364 -o /tmp/evaluation-result-4520774-1751566364/solver-4520774-1751566364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751559131-90341 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1479981254 --ls=0 --inp-dombreaklim=0 HOME/instance-4520774-1751566364.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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=91766, runsolver pid=91763
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 91767
/proc/meminfo: memFree=125012936/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=38204 memory=16512 CPUtime=0.09 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 3130 0 0 0 9 0 0 0 20 0 1 0 72315133 39120896 4128 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 9551 4128 1248 1200 0 8031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38204 KiB
Current children cumulated memory: 16512 KiB

[startup+0.205488 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 91767
/proc/meminfo: memFree=125004872/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=41908 memory=24932 CPUtime=0.2 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 4185 0 0 0 19 1 0 0 20 0 1 0 72315133 42913792 6233 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 10477 6233 1248 1200 0 8957 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41908 KiB
Current children cumulated memory: 24932 KiB

[startup+0.304923 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 91767
/proc/meminfo: memFree=124996808/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=48180 memory=30436 CPUtime=0.3 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 5540 0 0 0 29 1 0 0 20 0 1 0 72315133 49336320 7609 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 12045 7609 1280 1200 0 10525 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48180 KiB
Current children cumulated memory: 30436 KiB

[startup+0.700108 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 91767
/proc/meminfo: memFree=124991956/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=55960 memory=42800 CPUtime=0.69 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 8064 0 0 0 67 2 0 0 20 0 1 0 72315133 57303040 10700 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 13990 10700 1280 1200 0 12470 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55960 KiB
Current children cumulated memory: 42800 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.09 4/259 91775
/proc/meminfo: memFree=126747904/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=71996 memory=59740 CPUtime=1.48 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 11267 0 0 0 145 3 0 0 20 0 1 0 72315133 73723904 14935 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 17999 14935 1280 1200 0 16479 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71996 KiB
Current children cumulated memory: 59740 KiB

[startup+3.10524 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 91812
/proc/meminfo: memFree=126568444/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=110720 memory=92876 CPUtime=3.08 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 17254 0 0 0 303 5 0 0 20 0 1 0 72315133 113377280 23219 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 27680 23219 1280 1200 0 26160 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110720 KiB
Current children cumulated memory: 92876 KiB

[startup+6.30012 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91812
/proc/meminfo: memFree=126260972/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=163400 memory=141544 CPUtime=6.27 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 23692 0 0 0 617 10 0 0 20 0 1 0 72315133 167321600 35386 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 40850 35386 1280 1200 0 39330 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163400 KiB
Current children cumulated memory: 141544 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 91813
/proc/meminfo: memFree=126267120/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=164236 memory=142696 CPUtime=12.66 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 23986 0 0 0 1251 15 0 0 20 0 1 0 72315133 168177664 35674 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 41059 35674 1280 1200 0 39539 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 164236 KiB
Current children cumulated memory: 142696 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 91813
/proc/meminfo: memFree=125943776/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=185544 memory=161128 CPUtime=25.42 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 28607 0 0 0 2517 25 0 0 20 0 1 0 72315133 189997056 40282 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 46386 40282 1280 1200 0 44866 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 185544 KiB
Current children cumulated memory: 161128 KiB

[startup+51.1053 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 91813
/proc/meminfo: memFree=125873552/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=274768 memory=208776 CPUtime=50.95 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 39458 0 0 0 5051 44 0 0 20 0 1 0 72315133 281362432 52194 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 68692 52194 1280 1200 0 67172 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 274768 KiB
Current children cumulated memory: 208776 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 91816
/proc/meminfo: memFree=125725000/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=281428 memory=229988 CPUtime=102 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 41708 0 0 0 10118 82 0 0 20 0 1 0 72315133 288182272 57497 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 70357 57497 1280 1200 0 68837 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 281428 KiB
Current children cumulated memory: 229988 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 91818
/proc/meminfo: memFree=125672872/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=296068 memory=241160 CPUtime=161.84 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 44673 0 0 0 16055 129 0 0 20 0 1 0 72315133 303173632 60290 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 74017 60290 1280 1200 0 72497 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 296068 KiB
Current children cumulated memory: 241160 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 91913
/proc/meminfo: memFree=127049096/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=309376 memory=254472 CPUtime=221.68 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 48024 0 0 0 21992 176 0 0 20 0 1 0 72315133 316801024 63618 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 77344 63618 1280 1200 0 75824 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 309376 KiB
Current children cumulated memory: 254472 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 91920
/proc/meminfo: memFree=127002292/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=323188 memory=266888 CPUtime=281.51 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 51156 0 0 0 27933 218 0 0 20 0 1 0 72315133 330944512 66722 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 80797 66722 1280 1200 0 79277 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 323188 KiB
Current children cumulated memory: 266888 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 91922
/proc/meminfo: memFree=126942016/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=333224 memory=277768 CPUtime=341.34 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 53869 0 0 0 33865 269 0 0 20 0 1 0 72315133 341221376 69442 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 83306 69442 1280 1200 0 81786 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 333224 KiB
Current children cumulated memory: 277768 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 91924
/proc/meminfo: memFree=126910828/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=343660 memory=287240 CPUtime=401.18 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 56294 0 0 0 39804 314 0 0 20 0 1 0 72315133 351907840 71810 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 85915 71810 1280 1200 0 84395 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 343660 KiB
Current children cumulated memory: 287240 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 91926
/proc/meminfo: memFree=126878980/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=347816 memory=291976 CPUtime=461.02 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 57475 0 0 0 45742 360 0 0 20 0 1 0 72315133 356163584 72994 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0

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

Current children cumulated memory: 467208 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 92100
/proc/meminfo: memFree=126336076/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=549420 memory=472456 CPUtime=2913.41 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 94847 0 0 0 289127 2214 0 0 20 0 1 0 72315133 562606080 118114 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 137355 118114 1312 1200 0 135835 0
Current children cumulated CPU time: 2913.41 s
Current children cumulated vsize: 549420 KiB
Current children cumulated memory: 472456 KiB

[startup+2982.3 s]
/proc/loadavg: 4.44 4.20 4.12 5/264 92102
/proc/meminfo: memFree=126315412/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=554028 memory=480776 CPUtime=2973.21 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 95575 0 0 0 295067 2254 0 0 20 0 1 0 72315133 567324672 120194 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 138507 120194 1312 1200 0 136987 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 554028 KiB
Current children cumulated memory: 480776 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/263 92104
/proc/meminfo: memFree=126267752/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=555212 memory=515720 CPUtime=3033.04 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 95953 0 0 0 301006 2298 0 0 20 0 1 0 72315133 568537088 128930 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 138803 128930 1312 1200 0 137283 0
Current children cumulated CPU time: 3033.04 s
Current children cumulated vsize: 555212 KiB
Current children cumulated memory: 515720 KiB

[startup+3102.3 s]
/proc/loadavg: 4.51 4.27 4.15 5/263 92106
/proc/meminfo: memFree=126246544/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=559156 memory=528136 CPUtime=3092.87 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 96789 0 0 0 306944 2343 0 0 20 0 1 0 72315133 572575744 132034 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 139789 132034 1312 1200 0 138269 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 559156 KiB
Current children cumulated memory: 528136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.23 4.15 5/263 92108
/proc/meminfo: memFree=126246248/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=563220 memory=530696 CPUtime=3152.69 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 97448 0 0 0 312879 2390 0 0 20 0 1 0 72315133 576737280 132674 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 140805 132674 1312 1200 0 139285 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 563220 KiB
Current children cumulated memory: 530696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.22 4.15 5/264 92113
/proc/meminfo: memFree=126234016/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=565328 memory=531976 CPUtime=3212.52 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 97779 0 0 0 318818 2434 0 0 20 0 1 0 72315133 578895872 132994 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 141332 132994 1312 1200 0 139812 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 565328 KiB
Current children cumulated memory: 531976 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/264 92119
/proc/meminfo: memFree=126229516/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=570992 memory=535688 CPUtime=3272.35 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 98897 0 0 0 324760 2475 0 0 20 0 1 0 72315133 584695808 133922 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 142748 133922 1312 1200 0 141228 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 570992 KiB
Current children cumulated memory: 535688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.25 4.16 5/264 92121
/proc/meminfo: memFree=126229676/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=575600 memory=538760 CPUtime=3332.18 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 99690 0 0 0 330699 2519 0 0 20 0 1 0 72315133 589414400 134690 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 143900 134690 1312 1200 0 142380 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 575600 KiB
Current children cumulated memory: 538760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.23 4.16 5/263 92123
/proc/meminfo: memFree=126221344/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=576612 memory=539528 CPUtime=3392 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 100030 0 0 0 336639 2561 0 0 20 0 1 0 72315133 590450688 134882 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 144153 134882 1312 1200 0 142633 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 576612 KiB
Current children cumulated memory: 539528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.16 5/263 92125
/proc/meminfo: memFree=126221464/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=578208 memory=540680 CPUtime=3451.83 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 100422 0 0 0 342577 2606 0 0 20 0 1 0 72315133 592084992 135170 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 144552 135170 1312 1200 0 143032 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 578208 KiB
Current children cumulated memory: 540680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.45 4.27 4.19 5/262 92127
/proc/meminfo: memFree=126205344/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=579700 memory=541832 CPUtime=3511.66 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 100693 0 0 0 348517 2649 0 0 20 0 1 0 72315133 593612800 135458 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 144925 135458 1312 1200 0 143405 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 579700 KiB
Current children cumulated memory: 541832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.24 4.18 5/263 92130
/proc/meminfo: memFree=126205152/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=586340 memory=546312 CPUtime=3571.5 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 102066 0 0 0 354452 2698 0 0 20 0 1 0 72315133 600412160 136578 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 146585 136578 1312 1200 0 145065 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 586340 KiB
Current children cumulated memory: 546312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.14 4.21 4.17 5/263 92130
/proc/meminfo: memFree=126205232/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=586340 memory=546312 CPUtime=3600.02 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 102067 0 0 0 357282 2720 0 0 20 0 1 0 72315133 600412160 136578 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 146585 136578 1312 1200 0 145065 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 586340 KiB
Current children cumulated memory: 546312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3572.83 s, system=27.2024 s

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

[startup+3610.9 s]
/proc/loadavg: 4.14 4.21 4.17 5/263 92130
/proc/meminfo: memFree=126205232/131249992 swapFree=33010160/33010684
[pid=91766] ppid=91763 vsize=586340 memory=546312 CPUtime=3600.02 cores=4,6
/proc/91766/stat : 91766 (Exact) R 91763 91766 90305 0 -1 4194304 102067 0 0 0 357282 2720 0 0 20 0 1 0 72315133 600412160 136578 18446744073709551615 4198400 9112445 140733916621712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 42074112 140733916625192 140733916625389 140733916625389 140733916630991 0
/proc/91766/statm: 146585 136578 1312 1200 0 145065 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 586340 KiB
Current children cumulated memory: 546312 KiB

Child status: 10

Real time (s): 3610.91
CPU time (s): 3600.03
CPU user time (s): 3572.83
CPU system time (s): 27.2024
CPU usage (%): 99.6988
Max. virtual memory (cumulated for all children) (KiB): 586340
Max. memory (cumulated for all children) (KiB): 546312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.83
system time used= 27.2024
maximum resident set size= 546312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102068
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= 99
involuntary context switches= 20982


# summary of solver processes directly reported to runsolver:
#   pid: 91766
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3572.83
#   total CPU system time (s): 27.2024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49738 second user time and 14.3062 second system time

The end