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: 63665 MiB (62693 MiB free)
  memory of node 1: 64507 MiB (60909 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484740-1751305811/watcher-4484740-1751305811 -o /tmp/evaluation-result-4484740-1751305811/solver-4484740-1751305811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751302193-44637 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=210035041 --ls=0 --inp-dombreaklim=0 HOME/instance-4484740-1751305811.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=45233, runsolver pid=45227

[startup+0.100069 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126570276/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=47328 memory=25572 CPUtime=0.09 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 5227 0 0 0 8 1 0 0 20 0 1 0 46258884 48463872 6393 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 11832 6393 1024 1200 0 10312 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47328 KiB
Current children cumulated memory: 25572 KiB

[startup+0.205714 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126526488/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=65056 memory=44320 CPUtime=0.2 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 8641 0 0 0 18 2 0 0 20 0 1 0 46258884 66617344 11080 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 16264 11080 1024 1200 0 14744 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65056 KiB
Current children cumulated memory: 44320 KiB

[startup+0.305563 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126434868/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=126076 memory=104044 CPUtime=0.3 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 13365 0 0 0 26 4 0 0 20 0 1 0 46258884 129101824 26011 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 31519 26011 1184 1200 0 29999 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 126076 KiB
Current children cumulated memory: 104044 KiB

[startup+0.700132 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126388436/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=146916 memory=126748 CPUtime=0.68 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 18549 0 0 0 63 5 0 0 20 0 1 0 46258884 150441984 31687 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 36729 31687 1184 1200 0 35209 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 146916 KiB
Current children cumulated memory: 126748 KiB

[startup+1.50018 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126340220/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=146916 memory=135404 CPUtime=1.49 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 18559 0 0 0 143 6 0 0 20 0 1 0 46258884 150441984 33851 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 36729 33851 1280 1200 0 35209 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 146916 KiB
Current children cumulated memory: 135404 KiB

[startup+3.10545 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45240
/proc/meminfo: memFree=126263720/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=162504 memory=143584 CPUtime=3.08 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 19821 0 0 0 302 6 0 0 20 0 1 0 46258884 166404096 35896 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 40626 35896 1280 1200 0 39106 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 162504 KiB
Current children cumulated memory: 143584 KiB

[startup+6.30018 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45240
/proc/meminfo: memFree=126228688/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=187752 memory=165872 CPUtime=6.26 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 20696 0 0 0 619 7 0 0 20 0 1 0 46258884 192258048 41468 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 46938 41468 1280 1200 0 45418 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 187752 KiB
Current children cumulated memory: 165872 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.06 4.08 5/263 45240
/proc/meminfo: memFree=126159064/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=238264 memory=201228 CPUtime=12.65 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 22844 0 0 0 1256 9 0 0 20 0 1 0 46258884 243982336 50307 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 59566 50307 1280 1200 0 58046 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 238264 KiB
Current children cumulated memory: 201228 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 4.06 4.08 5/263 45240
/proc/meminfo: memFree=126101504/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=248672 memory=216368 CPUtime=25.41 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 25126 0 0 0 2531 10 0 0 20 0 1 0 46258884 254640128 54092 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 62168 54092 1280 1200 0 60648 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 248672 KiB
Current children cumulated memory: 216368 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.07 4.08 5/263 45241
/proc/meminfo: memFree=126008264/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=265440 memory=240624 CPUtime=50.96 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 28664 0 0 0 5084 12 0 0 20 0 1 0 46258884 271810560 60156 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 66360 60156 1280 1200 0 64840 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 265440 KiB
Current children cumulated memory: 240624 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/264 45244
/proc/meminfo: memFree=125925348/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=291636 memory=263280 CPUtime=102.02 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 34390 0 0 0 10187 15 0 0 20 0 1 0 46258884 298635264 65820 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 72909 65820 1280 1200 0 71389 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 291636 KiB
Current children cumulated memory: 263280 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/265 45249
/proc/meminfo: memFree=125912076/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=296532 memory=270708 CPUtime=161.85 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 35818 0 0 0 16169 16 0 0 20 0 1 0 46258884 303648768 67677 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 74133 67677 1280 1200 0 72613 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 296532 KiB
Current children cumulated memory: 270708 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/265 45255
/proc/meminfo: memFree=125896460/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=298760 memory=273268 CPUtime=221.69 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 36460 0 0 0 22151 18 0 0 20 0 1 0 46258884 305930240 68317 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 74690 68317 1280 1200 0 73170 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 298760 KiB
Current children cumulated memory: 273268 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 45257
/proc/meminfo: memFree=125888568/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=301924 memory=276596 CPUtime=281.54 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 37337 0 0 0 28133 21 0 0 20 0 1 0 46258884 309170176 69149 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 75481 69149 1280 1200 0 73961 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 301924 KiB
Current children cumulated memory: 276596 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 45259
/proc/meminfo: memFree=125869428/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=304784 memory=279796 CPUtime=341.38 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 38155 0 0 0 34115 23 0 0 20 0 1 0 46258884 312098816 69949 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 76196 69949 1280 1200 0 74676 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 304784 KiB
Current children cumulated memory: 279796 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 45261
/proc/meminfo: memFree=125841396/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=308072 memory=283636 CPUtime=401.22 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 39037 0 0 0 40097 25 0 0 20 0 1 0 46258884 315465728 70909 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 77018 70909 1280 1200 0 75498 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 308072 KiB
Current children cumulated memory: 283636 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 45263
/proc/meminfo: memFree=125815588/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=309592 memory=289652 CPUtime=461.06 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 39461 0 0 0 46079 27 0 0 20 0 1 0 46258884 317022208 72413 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 77398 72413 1280 1200 0 75878 0

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

Current children cumulated memory: 359568 KiB

[startup+2922.3 s]
/proc/loadavg: 4.40 4.18 4.12 5/264 45436
/proc/meminfo: memFree=125547900/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=414348 memory=359824 CPUtime=2914.86 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 49968 0 0 0 291381 105 0 0 20 0 1 0 46258884 424292352 89956 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 103587 89956 1280 1200 0 102067 0
Current children cumulated CPU time: 2914.86 s
Current children cumulated vsize: 414348 KiB
Current children cumulated memory: 359824 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 45438
/proc/meminfo: memFree=125551544/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=414776 memory=360336 CPUtime=2974.68 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 50195 0 0 0 297361 107 0 0 20 0 1 0 46258884 424730624 90084 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 103694 90084 1280 1200 0 102174 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 414776 KiB
Current children cumulated memory: 360336 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/264 45440
/proc/meminfo: memFree=125551168/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=414776 memory=360336 CPUtime=3034.5 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 50204 0 0 0 303342 108 0 0 20 0 1 0 46258884 424730624 90084 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 103694 90084 1280 1200 0 102174 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 414776 KiB
Current children cumulated memory: 360336 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 45443
/proc/meminfo: memFree=125535168/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=415320 memory=360848 CPUtime=3094.32 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 50344 0 0 0 309322 110 0 0 20 0 1 0 46258884 425287680 90212 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 103830 90212 1280 1200 0 102310 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 415320 KiB
Current children cumulated memory: 360848 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 45447
/proc/meminfo: memFree=125536892/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=415636 memory=361104 CPUtime=3154.13 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 50537 0 0 0 315302 111 0 0 20 0 1 0 46258884 425611264 90276 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 103909 90276 1280 1200 0 102389 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 415636 KiB
Current children cumulated memory: 361104 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 45454
/proc/meminfo: memFree=125538448/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=416060 memory=361616 CPUtime=3213.95 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 50664 0 0 0 321282 113 0 0 20 0 1 0 46258884 426045440 90404 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104015 90404 1280 1200 0 102495 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 416060 KiB
Current children cumulated memory: 361616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 45456
/proc/meminfo: memFree=125531772/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=416932 memory=362384 CPUtime=3273.76 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 50883 0 0 0 327262 114 0 0 20 0 1 0 46258884 426938368 90596 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104233 90596 1280 1200 0 102713 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 416932 KiB
Current children cumulated memory: 362384 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 45458
/proc/meminfo: memFree=125524700/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=417364 memory=362896 CPUtime=3333.6 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 51104 0 0 0 333243 117 0 0 20 0 1 0 46258884 427380736 90724 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104341 90724 1280 1200 0 102821 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 417364 KiB
Current children cumulated memory: 362896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 45461
/proc/meminfo: memFree=125526112/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=418180 memory=363664 CPUtime=3393.44 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 51332 0 0 0 339226 118 0 0 20 0 1 0 46258884 428216320 90916 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104545 90916 1280 1200 0 103025 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 418180 KiB
Current children cumulated memory: 363664 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 45463
/proc/meminfo: memFree=125528020/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=418180 memory=363664 CPUtime=3453.29 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 51343 0 0 0 345210 119 0 0 20 0 1 0 46258884 428216320 90916 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104545 90916 1280 1200 0 103025 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 418180 KiB
Current children cumulated memory: 363664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 45465
/proc/meminfo: memFree=125520876/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=419192 memory=364688 CPUtime=3513.14 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 51701 0 0 0 351193 121 0 0 20 0 1 0 46258884 429252608 91172 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104798 91172 1280 1200 0 103278 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 419192 KiB
Current children cumulated memory: 364688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 45467
/proc/meminfo: memFree=125485820/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=419512 memory=365072 CPUtime=3573 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 51802 0 0 0 357177 123 0 0 20 0 1 0 46258884 429580288 91268 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104878 91268 1280 1200 0 103358 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 419512 KiB
Current children cumulated memory: 365072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 45512
/proc/meminfo: memFree=125850948/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=419512 memory=365072 CPUtime=3600.03 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 51802 0 0 0 359880 123 0 0 20 0 1 0 46258884 429580288 91268 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104878 91268 1280 1200 0 103358 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 419512 KiB
Current children cumulated memory: 365072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.02 s, system=1.23687 s

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

[startup+3609.6 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 45512
/proc/meminfo: memFree=125850948/131249996 swapFree=33010684/33010684
[pid=45233] ppid=45227 vsize=419984 memory=365456 CPUtime=3600.23 cores=1,3
/proc/45233/stat : 45233 (Exact) R 45227 45233 44625 0 -1 4194304 51920 0 0 0 359900 123 0 0 20 0 1 0 46258884 430063616 91364 18446744073709551615 4198400 9112445 140732055787872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27402240 140732055791913 140732055792109 140732055792109 140732055797711 0
/proc/45233/statm: 104996 91364 1280 1200 0 103476 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 419984 KiB
Current children cumulated memory: 365456 KiB

Child status: 10

Real time (s): 3609.62
CPU time (s): 3600.26
CPU user time (s): 3599.02
CPU system time (s): 1.23687
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 419984
Max. memory (cumulated for all children) (KiB): 365456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.23687
maximum resident set size= 406132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51929
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= 37
involuntary context switches= 5150


# summary of solver processes directly reported to runsolver:
#   pid: 45233
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3599.02
#   total CPU system time (s): 1.23687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71268 second user time and 15.2494 second system time

The end