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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=47913, runsolver pid=47910

[startup+0.100068 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 47914
/proc/meminfo: memFree=127735828/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=45104 memory=24892 CPUtime=0.09 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 5059 0 0 0 8 1 0 0 20 0 1 0 47825731 46186496 6223 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 11276 6223 1184 1200 0 9756 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45104 KiB
Current children cumulated memory: 24892 KiB

[startup+0.205483 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 47914
/proc/meminfo: memFree=127735828/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=54596 memory=34584 CPUtime=0.2 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 8210 0 0 0 18 2 0 0 20 0 1 0 47825731 55906304 8646 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 13649 8646 1184 1200 0 12129 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54596 KiB
Current children cumulated memory: 34584 KiB

[startup+0.305432 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 47914
/proc/meminfo: memFree=127735828/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=54596 memory=34584 CPUtime=0.3 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 8210 0 0 0 28 2 0 0 20 0 1 0 47825731 55906304 8646 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 13649 8646 1184 1200 0 12129 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54596 KiB
Current children cumulated memory: 34584 KiB

[startup+0.700182 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 47914
/proc/meminfo: memFree=127737772/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=54596 memory=34840 CPUtime=0.68 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 8215 0 0 0 66 2 0 0 20 0 1 0 47825731 55906304 8710 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 13649 8710 1248 1200 0 12129 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54596 KiB
Current children cumulated memory: 34840 KiB

[startup+1.50012 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 47930
/proc/meminfo: memFree=128023416/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=59668 memory=45596 CPUtime=1.49 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 9401 0 0 0 146 3 0 0 20 0 1 0 47825731 61100032 11399 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 14917 11399 1248 1200 0 13397 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 59668 KiB
Current children cumulated memory: 45596 KiB

[startup+3.10493 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 47961
/proc/meminfo: memFree=127972212/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=63248 memory=51024 CPUtime=3.08 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 10237 0 0 0 305 3 0 0 20 0 1 0 47825731 64765952 12756 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 15812 12756 1248 1200 0 14292 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63248 KiB
Current children cumulated memory: 51024 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48007
/proc/meminfo: memFree=128309944/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=66112 memory=55796 CPUtime=6.27 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 10916 0 0 0 624 3 0 0 20 0 1 0 47825731 67698688 13949 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 16528 13949 1248 1200 0 15008 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66112 KiB
Current children cumulated memory: 55796 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 48007
/proc/meminfo: memFree=128322972/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=74076 memory=65516 CPUtime=12.65 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 12840 0 0 0 1261 4 0 0 20 0 1 0 47825731 75853824 16379 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 18519 16379 1248 1200 0 16999 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74076 KiB
Current children cumulated memory: 65516 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 48007
/proc/meminfo: memFree=128315740/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=80180 memory=71020 CPUtime=25.4 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 14235 0 0 0 2534 6 0 0 20 0 1 0 47825731 82104320 17755 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 20045 17755 1248 1200 0 18525 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 80180 KiB
Current children cumulated memory: 71020 KiB

[startup+51.1047 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 48007
/proc/meminfo: memFree=128277872/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=89936 memory=81388 CPUtime=50.93 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 16851 0 0 0 5085 8 0 0 20 0 1 0 47825731 92094464 20347 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 22484 20347 1248 1200 0 20964 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 89936 KiB
Current children cumulated memory: 81388 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 48009
/proc/meminfo: memFree=128235556/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=113004 memory=92968 CPUtime=101.98 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 19460 0 0 0 10184 14 0 0 20 0 1 0 47825731 115716096 23242 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 28251 23242 1248 1200 0 26731 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 113004 KiB
Current children cumulated memory: 92968 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 48012
/proc/meminfo: memFree=128190628/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=117120 memory=101416 CPUtime=161.83 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 20513 0 0 0 16163 20 0 0 20 0 1 0 47825731 119930880 25354 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 29280 25354 1248 1200 0 27760 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 117120 KiB
Current children cumulated memory: 101416 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48014
/proc/meminfo: memFree=128146816/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=122120 memory=108360 CPUtime=221.68 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 21801 0 0 0 22144 24 0 0 20 0 1 0 47825731 125050880 27090 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 30530 27090 1248 1200 0 29010 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 122120 KiB
Current children cumulated memory: 108360 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 48018
/proc/meminfo: memFree=128129856/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=127808 memory=113736 CPUtime=281.54 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 23148 0 0 0 28121 33 0 0 20 0 1 0 47825731 130875392 28434 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 31952 28434 1248 1200 0 30432 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 127808 KiB
Current children cumulated memory: 113736 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 48025
/proc/meminfo: memFree=128101620/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=131092 memory=117064 CPUtime=341.4 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 23971 0 0 0 34102 38 0 0 20 0 1 0 47825731 134238208 29266 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 32773 29266 1248 1200 0 31253 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 117064 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 48027
/proc/meminfo: memFree=128117040/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=132356 memory=118344 CPUtime=401.25 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 24301 0 0 0 40082 43 0 0 20 0 1 0 47825731 135532544 29586 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 33089 29586 1248 1200 0 31569 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 132356 KiB
Current children cumulated memory: 118344 KiB

[startup+462.3 s]
/proc/loadavg: 4.35 4.16 4.11 5/265 48029
/proc/meminfo: memFree=128068560/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=134464 memory=120392 CPUtime=461.11 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 24828 0 0 0 46064 47 0 0 20 0 1 0 47825731 137691136 30098 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0

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

Current children cumulated memory: 159500 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 48150
/proc/meminfo: memFree=127846828/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=159500 CPUtime=2854.67 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33886 0 0 0 285187 280 0 0 20 0 1 0 47825731 173076480 39875 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 39875 1280 1200 0 40735 0
Current children cumulated CPU time: 2854.67 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 159500 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 48152
/proc/meminfo: memFree=127838916/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=159500 CPUtime=2914.53 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33897 0 0 0 291167 286 0 0 20 0 1 0 47825731 173076480 39875 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 39875 1280 1200 0 40735 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 159500 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 48169
/proc/meminfo: memFree=127834404/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=159500 CPUtime=2974.38 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33898 0 0 0 297147 291 0 0 20 0 1 0 47825731 173076480 39875 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 39875 1280 1200 0 40735 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 159500 KiB

[startup+3042.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/264 48171
/proc/meminfo: memFree=127839780/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=159500 CPUtime=3034.2 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33898 0 0 0 303124 296 0 0 20 0 1 0 47825731 173076480 39875 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 39875 1280 1200 0 40735 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 159500 KiB

[startup+3102.3 s]
/proc/loadavg: 4.64 4.30 4.16 5/264 48173
/proc/meminfo: memFree=127843300/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=159500 CPUtime=3094.02 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33898 0 0 0 309100 302 0 0 20 0 1 0 47825731 173076480 39875 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 39875 1280 1200 0 40735 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 159500 KiB

[startup+3162.3 s]
/proc/loadavg: 4.44 4.32 4.18 5/265 48177
/proc/meminfo: memFree=127843152/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=159500 CPUtime=3153.84 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33898 0 0 0 315076 308 0 0 20 0 1 0 47825731 173076480 39875 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 39875 1280 1200 0 40735 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 159500 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.27 4.17 5/265 48179
/proc/meminfo: memFree=127843252/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=159500 CPUtime=3213.66 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33898 0 0 0 321052 314 0 0 20 0 1 0 47825731 173076480 39875 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 39875 1280 1200 0 40735 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 159500 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.23 4.16 5/265 48183
/proc/meminfo: memFree=127841916/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=161600 CPUtime=3273.48 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33899 0 0 0 327028 320 0 0 20 0 1 0 47825731 173076480 40400 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 40400 1280 1200 0 40735 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 161600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/265 48190
/proc/meminfo: memFree=127841716/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=161600 CPUtime=3333.3 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33957 0 0 0 333005 325 0 0 20 0 1 0 47825731 173076480 40400 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 40400 1280 1200 0 40735 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 161600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/265 48192
/proc/meminfo: memFree=127834456/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169020 memory=161600 CPUtime=3393.13 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 33967 0 0 0 338982 331 0 0 20 0 1 0 47825731 173076480 40400 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42255 40400 1280 1200 0 40735 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 161600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.16 4.15 5/264 48195
/proc/meminfo: memFree=127830304/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=169564 memory=162112 CPUtime=3452.94 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 34105 0 0 0 344959 335 0 0 20 0 1 0 47825731 173633536 40528 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42391 40528 1280 1200 0 40871 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 169564 KiB
Current children cumulated memory: 162112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.14 4.14 5/264 48197
/proc/meminfo: memFree=127820196/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=170204 memory=162752 CPUtime=3512.77 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 34265 0 0 0 350936 341 0 0 20 0 1 0 47825731 174288896 40688 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42551 40688 1280 1200 0 41031 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 170204 KiB
Current children cumulated memory: 162752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/264 48199
/proc/meminfo: memFree=127820396/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=170204 memory=162880 CPUtime=3572.59 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 34297 0 0 0 356912 347 0 0 20 0 1 0 47825731 174288896 40720 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42551 40720 1280 1200 0 41031 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 170204 KiB
Current children cumulated memory: 162880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.08 4.13 4.14 4/259 48230
/proc/meminfo: memFree=127991376/131250000 swapFree=33010684/33010684
[pid=47913] ppid=47910 vsize=170912 memory=163392 CPUtime=3600.01 cores=5,7
/proc/47913/stat : 47913 (Exact) R 47910 47913 46803 0 -1 4194304 34444 0 0 0 359652 349 0 0 20 0 1 0 47825731 175013888 40848 18446744073709551615 4198400 9112445 140730298132816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45674496 140730298140968 140730298141165 140730298141165 140730298146767 0
/proc/47913/statm: 42728 40848 1280 1200 0 41208 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 170912 KiB
Current children cumulated memory: 163392 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.53 s, system=3.49605 s

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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.02
CPU user time (s): 3596.53
CPU system time (s): 3.49605
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 170912
Max. memory (cumulated for all children) (KiB): 163392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.53
system time used= 3.49605
maximum resident set size= 163392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34445
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= 53
involuntary context switches= 1533


# summary of solver processes directly reported to runsolver:
#   pid: 47913
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.53
#   total CPU system time (s): 3.49605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48044 second user time and 13.7164 second system time

The end