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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502388-1751479977/watcher-4502388-1751479977 -o /tmp/evaluation-result-4502388-1751479977/solver-4502388-1751479977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751479977-68699 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2026843540 --ls=0 --inp-dombreaklim=0 HOME/instance-4502388-1751479977.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=68755, runsolver pid=68740

[startup+0.100061 s]*
/proc/loadavg: 2.30 3.64 3.94 6/264 68756
/proc/meminfo: memFree=129424492/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=38056 memory=15112 CPUtime=0.09 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 3393 0 0 0 9 0 0 0 20 0 1 0 63675516 38969344 3778 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 9514 3778 1184 1200 0 7994 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38056 KiB
Current children cumulated memory: 15112 KiB

[startup+0.20459 s]*
/proc/loadavg: 2.30 3.64 3.94 8/264 68756
/proc/meminfo: memFree=129335908/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=38684 memory=15624 CPUtime=0.19 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 3533 0 0 0 19 0 0 0 20 0 1 0 63675516 39612416 3906 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 9671 3906 1184 1200 0 8151 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38684 KiB
Current children cumulated memory: 15624 KiB

[startup+0.304937 s]*
/proc/loadavg: 2.30 3.64 3.94 8/264 68756
/proc/meminfo: memFree=129265972/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=39084 memory=16776 CPUtime=0.29 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 3754 0 0 0 29 0 0 0 20 0 1 0 63675516 40022016 4194 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 9771 4194 1248 1200 0 8251 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39084 KiB
Current children cumulated memory: 16776 KiB

[startup+0.70012 s]
/proc/loadavg: 2.30 3.64 3.94 8/264 68756
/proc/meminfo: memFree=129265568/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=40576 memory=21244 CPUtime=0.69 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 4372 0 0 0 68 1 0 0 20 0 1 0 63675516 41549824 5311 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 10144 5311 1248 1200 0 8624 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 21244 KiB

[startup+1.50011 s]
/proc/loadavg: 2.30 3.64 3.94 6/264 68756
/proc/meminfo: memFree=129264812/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=42640 memory=27228 CPUtime=1.48 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 4859 0 0 0 147 1 0 0 20 0 1 0 63675516 43663360 6807 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 10660 6807 1248 1200 0 9140 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 27228 KiB

[startup+3.10459 s]
/proc/loadavg: 2.44 3.65 3.94 6/264 68756
/proc/meminfo: memFree=129257544/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=44044 memory=28768 CPUtime=3.09 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 5335 0 0 0 307 2 0 0 20 0 1 0 63675516 45101056 7192 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 11011 7192 1248 1200 0 9491 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 44044 KiB
Current children cumulated memory: 28768 KiB

[startup+6.3001 s]
/proc/loadavg: 2.44 3.65 3.94 5/260 68764
/proc/meminfo: memFree=129317248/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=46656 memory=31200 CPUtime=6.27 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 5954 0 0 0 623 4 0 0 20 0 1 0 63675516 47775744 7800 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 11664 7800 1248 1200 0 10144 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 31200 KiB

[startup+12.7001 s]
/proc/loadavg: 2.56 3.65 3.94 6/264 68846
/proc/meminfo: memFree=129284028/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=50388 memory=37080 CPUtime=12.66 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 7746 0 0 0 1260 6 0 0 20 0 1 0 63675516 51597312 9270 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 12597 9270 1248 1200 0 11077 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50388 KiB
Current children cumulated memory: 37080 KiB

[startup+25.5001 s]
/proc/loadavg: 2.95 3.69 3.94 6/264 68891
/proc/meminfo: memFree=128607820/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=53308 memory=46204 CPUtime=25.42 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 8744 0 0 0 2532 10 0 0 20 0 1 0 63675516 54587392 11551 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 13327 11551 1248 1200 0 11807 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 53308 KiB
Current children cumulated memory: 46204 KiB

[startup+51.1046 s]
/proc/loadavg: 3.31 3.71 3.95 6/264 68937
/proc/meminfo: memFree=126224528/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=71452 memory=54108 CPUtime=50.97 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 10567 0 0 0 5079 18 0 0 20 0 1 0 63675516 73166848 13527 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 17863 13527 1248 1200 0 16343 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 71452 KiB
Current children cumulated memory: 54108 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 3.79 3.96 5/263 68983
/proc/meminfo: memFree=116960128/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=78368 memory=61508 CPUtime=102.01 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 12374 0 0 0 10167 34 0 0 20 0 1 0 63675516 80248832 15377 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 19592 15377 1248 1200 0 18072 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 78368 KiB
Current children cumulated memory: 61508 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.84 3.97 5/263 68985
/proc/meminfo: memFree=114771992/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=84340 memory=67396 CPUtime=161.86 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 13882 0 0 0 16138 48 0 0 20 0 1 0 63675516 86364160 16849 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 21085 16849 1248 1200 0 19565 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 84340 KiB
Current children cumulated memory: 67396 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.89 3.99 5/263 68987
/proc/meminfo: memFree=112985224/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=86052 memory=69060 CPUtime=221.72 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 14315 0 0 0 22105 67 0 0 20 0 1 0 63675516 88117248 17265 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 21513 17265 1248 1200 0 19993 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 86052 KiB
Current children cumulated memory: 69060 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.94 4.00 5/263 68989
/proc/meminfo: memFree=111727216/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=87504 memory=70596 CPUtime=281.57 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 14710 0 0 0 28072 85 0 0 20 0 1 0 63675516 89604096 17649 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 21876 17649 1248 1200 0 20356 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 87504 KiB
Current children cumulated memory: 70596 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.97 4.00 5/263 68991
/proc/meminfo: memFree=111144924/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=89472 memory=72516 CPUtime=341.42 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 15202 0 0 0 34044 98 0 0 20 0 1 0 63675516 91619328 18129 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 22368 18129 1248 1200 0 20848 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 89472 KiB
Current children cumulated memory: 72516 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.99 4.01 5/263 68993
/proc/meminfo: memFree=110322704/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=93048 memory=78140 CPUtime=401.26 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 16125 0 0 0 40014 112 0 0 20 0 1 0 63675516 95281152 19535 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 23262 19535 1248 1200 0 21742 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 93048 KiB
Current children cumulated memory: 78140 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.01 4.01 5/263 69002
/proc/meminfo: memFree=109941232/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=94640 memory=79804 CPUtime=461.11 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 16536 0 0 0 45982 129 0 0 20 0 1 0 63675516 96911360 19951 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0

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

Current children cumulated memory: 135452 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/264 69170
/proc/meminfo: memFree=121363436/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=163532 memory=135964 CPUtime=2914.91 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 27487 0 0 0 290743 748 0 0 20 0 1 0 63675516 167456768 33991 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 40883 33991 1248 1200 0 39363 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 163532 KiB
Current children cumulated memory: 135964 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/265 69173
/proc/meminfo: memFree=121256548/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=163940 memory=136348 CPUtime=2974.76 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 27606 0 0 0 296713 763 0 0 20 0 1 0 63675516 167874560 34087 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 40985 34087 1248 1200 0 39465 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 163940 KiB
Current children cumulated memory: 136348 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.08 5/265 69175
/proc/meminfo: memFree=121223556/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=164688 memory=137116 CPUtime=3034.62 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 27825 0 0 0 302683 779 0 0 20 0 1 0 63675516 168640512 34279 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41172 34279 1248 1200 0 39652 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 137116 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/265 69176
/proc/meminfo: memFree=121184040/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=164688 memory=137116 CPUtime=3094.46 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 27837 0 0 0 308653 793 0 0 20 0 1 0 63675516 168640512 34279 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41172 34279 1248 1200 0 39652 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 137116 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/265 69178
/proc/meminfo: memFree=121188320/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=164944 memory=137372 CPUtime=3154.31 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 27876 0 0 0 314622 809 0 0 20 0 1 0 63675516 168902656 34343 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41236 34343 1248 1200 0 39716 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 164944 KiB
Current children cumulated memory: 137372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/265 69180
/proc/meminfo: memFree=121164128/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=164944 memory=137372 CPUtime=3214.17 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 27902 0 0 0 320593 824 0 0 20 0 1 0 63675516 168902656 34343 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41236 34343 1248 1200 0 39716 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 164944 KiB
Current children cumulated memory: 137372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/264 69182
/proc/meminfo: memFree=121163020/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=165472 memory=137884 CPUtime=3274.01 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28008 0 0 0 326561 840 0 0 20 0 1 0 63675516 169443328 34471 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41368 34471 1248 1200 0 39848 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 165472 KiB
Current children cumulated memory: 137884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 69184
/proc/meminfo: memFree=121097628/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=165472 memory=137884 CPUtime=3333.87 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28008 0 0 0 332529 858 0 0 20 0 1 0 63675516 169443328 34471 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41368 34471 1248 1200 0 39848 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 165472 KiB
Current children cumulated memory: 137884 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 69186
/proc/meminfo: memFree=121073340/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=165676 memory=138140 CPUtime=3393.72 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28092 0 0 0 338501 871 0 0 20 0 1 0 63675516 169652224 34535 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41419 34535 1248 1200 0 39899 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 165676 KiB
Current children cumulated memory: 138140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 69195
/proc/meminfo: memFree=121073544/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=165876 memory=138268 CPUtime=3453.57 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28118 0 0 0 344467 890 0 0 20 0 1 0 63675516 169857024 34567 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41469 34567 1248 1200 0 39949 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 165876 KiB
Current children cumulated memory: 138268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 69197
/proc/meminfo: memFree=121073680/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=166156 memory=138524 CPUtime=3513.42 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28193 0 0 0 350441 901 0 0 20 0 1 0 63675516 170143744 34631 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41539 34631 1248 1200 0 40019 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 166156 KiB
Current children cumulated memory: 138524 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 69199
/proc/meminfo: memFree=121001000/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=166420 memory=138780 CPUtime=3573.27 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28268 0 0 0 356411 916 0 0 20 0 1 0 63675516 170414080 34695 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41605 34695 1248 1200 0 40085 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 166420 KiB
Current children cumulated memory: 138780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.26 4.12 4.10 5/263 69201
/proc/meminfo: memFree=121000796/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=166420 memory=138908 CPUtime=3600.01 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28283 0 0 0 359075 926 0 0 20 0 1 0 63675516 170414080 34727 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41605 34727 1248 1200 0 40085 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 166420 KiB
Current children cumulated memory: 138908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.76 s, system=9.26959 s

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

[startup+3609.11 s]
/proc/loadavg: 4.26 4.12 4.10 5/263 69201
/proc/meminfo: memFree=121000796/131249996 swapFree=33010416/33010684
[pid=68755] ppid=68740 vsize=166420 memory=138908 CPUtime=3600.01 cores=1,3
/proc/68755/stat : 68755 (Exact) R 68740 68755 68687 0 -1 4194304 28283 0 0 0 359075 926 0 0 20 0 1 0 63675516 170414080 34727 18446744073709551615 4198400 9112445 140734259492208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33734656 140734259501352 140734259501549 140734259501549 140734259507151 0
/proc/68755/statm: 41605 34727 1248 1200 0 40085 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 166420 KiB
Current children cumulated memory: 138908 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.03
CPU user time (s): 3590.76
CPU system time (s): 9.26959
CPU usage (%): 99.7483
Max. virtual memory (cumulated for all children) (KiB): 166420
Max. memory (cumulated for all children) (KiB): 138908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.76
system time used= 9.26959
maximum resident set size= 149852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28285
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= 16
involuntary context switches= 2113


# summary of solver processes directly reported to runsolver:
#   pid: 68755
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3590.76
#   total CPU system time (s): 9.26959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89648 second user time and 16.3928 second system time

The end