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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=44737, runsolver pid=44730

[startup+0.100069 s]*
/proc/loadavg: 0.60 1.00 1.35 4/248 44738
/proc/meminfo: memFree=130140152/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=37572 memory=14100 CPUtime=0.1 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 3119 0 0 0 9 1 0 0 20 0 1 0 48394354 38473728 3525 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 9393 3525 1024 1200 0 7873 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37572 KiB
Current children cumulated memory: 14100 KiB

[startup+0.212533 s]*
/proc/loadavg: 0.60 1.00 1.35 5/250 44746
/proc/meminfo: memFree=130139428/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=43588 memory=20340 CPUtime=0.21 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 4600 0 0 0 20 1 0 0 20 0 1 0 48394354 44634112 5085 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 10897 5085 1024 1200 0 9377 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43588 KiB
Current children cumulated memory: 20340 KiB

[startup+0.313308 s]*
/proc/loadavg: 0.60 1.00 1.35 4/247 44746
/proc/meminfo: memFree=130132080/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=48076 memory=27412 CPUtime=0.31 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 5857 0 0 0 29 2 0 0 20 0 1 0 48394354 49229824 6853 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 12019 6853 1024 1200 0 10499 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48076 KiB
Current children cumulated memory: 27412 KiB

[startup+0.700276 s]
/proc/loadavg: 0.60 1.00 1.35 4/247 44746
/proc/meminfo: memFree=130111856/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=66608 memory=46816 CPUtime=0.68 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 10065 0 0 0 64 4 0 0 20 0 1 0 48394354 68206592 11704 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 16652 11704 1024 1200 0 15132 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66608 KiB
Current children cumulated memory: 46816 KiB

[startup+1.50026 s]
/proc/loadavg: 0.60 1.00 1.35 4/247 44746
/proc/meminfo: memFree=130055844/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=101504 memory=81960 CPUtime=1.48 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 18098 0 0 0 140 8 0 0 20 0 1 0 48394354 103940096 20490 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 25376 20490 1184 1200 0 23856 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101504 KiB
Current children cumulated memory: 81960 KiB

[startup+3.11207 s]
/proc/loadavg: 0.60 1.00 1.35 5/251 44783
/proc/meminfo: memFree=130039576/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=105856 memory=92632 CPUtime=3.09 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 19182 0 0 0 301 8 0 0 20 0 1 0 48394354 108396544 23158 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 26464 23158 1248 1200 0 24944 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 105856 KiB
Current children cumulated memory: 92632 KiB

[startup+6.30028 s]
/proc/loadavg: 0.87 1.05 1.36 5/251 44783
/proc/meminfo: memFree=129999496/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=115372 memory=105372 CPUtime=6.27 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 21358 0 0 0 618 9 0 0 20 0 1 0 48394354 118140928 26343 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 28843 26343 1248 1200 0 27323 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115372 KiB
Current children cumulated memory: 105372 KiB

[startup+12.7003 s]
/proc/loadavg: 1.12 1.10 1.38 5/251 44783
/proc/meminfo: memFree=129918720/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=148024 memory=130584 CPUtime=12.64 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 26345 0 0 0 1254 10 0 0 20 0 1 0 48394354 151576576 32646 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 37006 32646 1248 1200 0 35486 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 148024 KiB
Current children cumulated memory: 130584 KiB

[startup+25.5003 s]
/proc/loadavg: 1.84 1.26 1.42 5/251 44783
/proc/meminfo: memFree=129898844/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=152952 memory=135280 CPUtime=25.41 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 28495 0 0 0 2530 11 0 0 20 0 1 0 48394354 156622848 33820 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 38238 33820 1248 1200 0 36718 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 152952 KiB
Current children cumulated memory: 135280 KiB

[startup+51.1127 s]
/proc/loadavg: 2.58 1.48 1.49 5/251 44784
/proc/meminfo: memFree=129883740/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=160096 memory=144584 CPUtime=50.95 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 30313 0 0 0 5082 13 0 0 20 0 1 0 48394354 163938304 36146 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 40024 36146 1248 1200 0 38504 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 160096 KiB
Current children cumulated memory: 144584 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.88 1.63 5/251 44785
/proc/meminfo: memFree=129853324/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=199268 memory=168744 CPUtime=101.99 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 35227 0 0 0 10183 16 0 0 20 0 1 0 48394354 204050432 42186 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 49817 42186 1248 1200 0 48297 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 199268 KiB
Current children cumulated memory: 168744 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.30 1.79 5/253 44789
/proc/meminfo: memFree=129821684/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=205720 memory=175400 CPUtime=161.79 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 36895 0 0 0 16161 18 0 0 20 0 1 0 48394354 210657280 43850 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 51430 43850 1248 1200 0 49910 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 205720 KiB
Current children cumulated memory: 175400 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.63 1.94 5/252 44791
/proc/meminfo: memFree=129790416/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=218480 memory=194828 CPUtime=221.59 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 39708 0 0 0 22138 21 0 0 20 0 1 0 48394354 223723520 48707 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 54620 48707 1248 1200 0 53100 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 218480 KiB
Current children cumulated memory: 194828 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.90 2.08 5/252 44793
/proc/meminfo: memFree=129785248/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=221260 memory=199564 CPUtime=281.43 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 40858 0 0 0 28119 24 0 0 20 0 1 0 48394354 226570240 49891 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 55315 49891 1248 1200 0 53795 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 221260 KiB
Current children cumulated memory: 199564 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.14 2.22 5/252 44795
/proc/meminfo: memFree=129781932/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=231128 memory=209292 CPUtime=341.26 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 43376 0 0 0 34099 27 0 0 20 0 1 0 48394354 236675072 52323 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 57782 52323 1248 1200 0 56262 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 231128 KiB
Current children cumulated memory: 209292 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.32 2.33 5/253 44798
/proc/meminfo: memFree=129761804/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=237992 memory=216204 CPUtime=401.09 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 45100 0 0 0 40079 30 0 0 20 0 1 0 48394354 243703808 54051 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 59498 54051 1248 1200 0 57978 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 237992 KiB
Current children cumulated memory: 216204 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.48 2.45 5/250 44800
/proc/meminfo: memFree=129747272/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=241612 memory=219276 CPUtime=460.92 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 45968 0 0 0 46057 35 0 0 20 0 1 0 48394354 247410688 54819 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 60403 54819 1248 1200 0 58883 0

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

Current children cumulated memory: 315196 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/251 45152
/proc/meminfo: memFree=129458184/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=357788 memory=315196 CPUtime=2853.89 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 64792 0 0 0 285255 134 0 0 20 0 1 0 48394354 366374912 78799 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 89447 78799 1248 1200 0 87927 0
Current children cumulated CPU time: 2853.89 s
Current children cumulated vsize: 357788 KiB
Current children cumulated memory: 315196 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/251 45156
/proc/meminfo: memFree=129460016/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=359000 memory=316348 CPUtime=2913.72 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 65064 0 0 0 291238 134 0 0 20 0 1 0 48394354 367616000 79087 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 89750 79087 1248 1200 0 88230 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 359000 KiB
Current children cumulated memory: 316348 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/251 45163
/proc/meminfo: memFree=129451504/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=359000 memory=316348 CPUtime=2973.54 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 65176 0 0 0 297220 134 0 0 20 0 1 0 48394354 367616000 79087 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 89750 79087 1248 1200 0 88230 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 359000 KiB
Current children cumulated memory: 316348 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/251 45165
/proc/meminfo: memFree=129447276/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=359668 memory=316988 CPUtime=3033.37 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 65359 0 0 0 303200 137 0 0 20 0 1 0 48394354 368300032 79247 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 89917 79247 1248 1200 0 88397 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 359668 KiB
Current children cumulated memory: 316988 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/250 45167
/proc/meminfo: memFree=129443000/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=359872 memory=317244 CPUtime=3093.2 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 65411 0 0 0 309181 139 0 0 20 0 1 0 48394354 368508928 79311 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 89968 79311 1248 1200 0 88448 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 359872 KiB
Current children cumulated memory: 317244 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/250 45169
/proc/meminfo: memFree=129440460/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=360144 memory=317500 CPUtime=3153.03 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 65593 0 0 0 315161 142 0 0 20 0 1 0 48394354 368787456 79375 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90036 79375 1248 1200 0 88516 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 360144 KiB
Current children cumulated memory: 317500 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/250 45171
/proc/meminfo: memFree=129439252/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=360684 memory=318012 CPUtime=3212.86 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 65737 0 0 0 321144 142 0 0 20 0 1 0 48394354 369340416 79503 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90171 79503 1248 1200 0 88651 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 360684 KiB
Current children cumulated memory: 318012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/250 45173
/proc/meminfo: memFree=129431260/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=362848 memory=318396 CPUtime=3272.68 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 65847 0 0 0 327122 146 0 0 20 0 1 0 48394354 371556352 79599 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90712 79599 1248 1200 0 89192 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 362848 KiB
Current children cumulated memory: 318396 KiB

[startup+3342.3 s]
/proc/loadavg: 4.64 4.24 4.08 5/249 45175
/proc/meminfo: memFree=129423740/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=362848 memory=319804 CPUtime=3332.51 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 66087 0 0 0 333102 149 0 0 20 0 1 0 48394354 371556352 79951 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90712 79951 1248 1200 0 89192 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 362848 KiB
Current children cumulated memory: 319804 KiB

[startup+3402.3 s]
/proc/loadavg: 5.41 4.53 4.19 5/249 45177
/proc/meminfo: memFree=129423584/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=362848 memory=319804 CPUtime=3392.34 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 66106 0 0 0 339081 153 0 0 20 0 1 0 48394354 371556352 79951 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90712 79951 1248 1200 0 89192 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 362848 KiB
Current children cumulated memory: 319804 KiB

[startup+3462.3 s]
/proc/loadavg: 4.97 4.58 4.23 5/249 45179
/proc/meminfo: memFree=129422456/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=363020 memory=320316 CPUtime=3452.17 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 66235 0 0 0 345060 157 0 0 20 0 1 0 48394354 371732480 80079 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90755 80079 1248 1200 0 89235 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 363020 KiB
Current children cumulated memory: 320316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.80 4.59 4.25 5/250 45184
/proc/meminfo: memFree=129410288/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=363292 memory=320572 CPUtime=3512 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 66416 0 0 0 351043 157 0 0 20 0 1 0 48394354 372011008 80143 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90823 80143 1248 1200 0 89303 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 363292 KiB
Current children cumulated memory: 320572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.70 4.61 4.28 5/250 45190
/proc/meminfo: memFree=129410288/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=363428 memory=320700 CPUtime=3571.83 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 66459 0 0 0 357026 157 0 0 20 0 1 0 48394354 372150272 80175 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90857 80175 1248 1200 0 89337 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 363428 KiB
Current children cumulated memory: 320700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.49 4.57 4.28 4/248 45191
/proc/meminfo: memFree=129511552/131382112 swapFree=33010160/33010684
[pid=44737] ppid=44730 vsize=363596 memory=320956 CPUtime=3600.05 cores=0,2
/proc/44737/stat : 44737 (Exact) R 44730 44737 44669 0 -1 4194304 66509 0 0 0 359847 158 0 0 20 0 1 0 48394354 372322304 80239 18446744073709551615 4198400 9112445 140721215420528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28524544 140721215428905 140721215429101 140721215429101 140721215434703 0
/proc/44737/statm: 90899 80239 1248 1200 0 89379 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 363596 KiB
Current children cumulated memory: 320956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.48 s, system=1.58336 s

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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.06
CPU user time (s): 3598.48
CPU system time (s): 1.58336
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 363596
Max. memory (cumulated for all children) (KiB): 320956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.48
system time used= 1.58336
maximum resident set size= 321084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66516
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= 62
involuntary context switches= 7954


# summary of solver processes directly reported to runsolver:
#   pid: 44737
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.48
#   total CPU system time (s): 1.58336

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2031 second user time and 33.7616 second system time

The end