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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490858-1751385139/watcher-4490858-1751385139 -o /tmp/evaluation-result-4490858-1751385139/solver-4490858-1751385139 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751385139-54166 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1993358316 --ls=0 --inp-dombreaklim=0 HOME/instance-4490858-1751385139.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
solver pid=54212, runsolver pid=54206
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 0.83 2.30 3.31 4/249 54225
/proc/meminfo: memFree=130041088/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=34768 memory=11904 CPUtime=0.11 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 2082 0 0 0 10 1 0 0 20 0 1 0 54193307 35602432 2976 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 8692 2976 1024 1200 0 7172 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 34768 KiB
Current children cumulated memory: 11904 KiB

[startup+0.213714 s]*
/proc/loadavg: 0.83 2.30 3.31 5/249 54229
/proc/meminfo: memFree=130032524/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=40308 memory=19680 CPUtime=0.21 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 3580 0 0 0 20 1 0 0 20 0 1 0 54193307 41275392 4920 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 10077 4920 1024 1200 0 8557 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 19680 KiB

[startup+0.313572 s]*
/proc/loadavg: 0.83 2.30 3.31 5/247 54233
/proc/meminfo: memFree=130028996/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=46688 memory=25584 CPUtime=0.31 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 5218 0 0 0 30 1 0 0 20 0 1 0 54193307 47808512 6396 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 11672 6396 1024 1200 0 10152 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46688 KiB
Current children cumulated memory: 25584 KiB

[startup+0.700324 s]
/proc/loadavg: 1.09 2.33 3.32 4/247 54233
/proc/meminfo: memFree=130007512/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=66352 memory=45296 CPUtime=0.69 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 12666 0 0 0 64 5 0 0 20 0 1 0 54193307 67944448 11324 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 16588 11324 1280 1200 0 15068 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66352 KiB
Current children cumulated memory: 45296 KiB

[startup+1.50034 s]
/proc/loadavg: 1.09 2.33 3.32 4/247 54233
/proc/meminfo: memFree=129991636/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=66352 memory=45296 CPUtime=1.48 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 12666 0 0 0 143 5 0 0 20 0 1 0 54193307 67944448 11324 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 16588 11324 1280 1200 0 15068 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66352 KiB
Current children cumulated memory: 45296 KiB

[startup+3.1126 s]
/proc/loadavg: 1.09 2.33 3.32 5/251 54271
/proc/meminfo: memFree=129889528/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=66352 memory=47440 CPUtime=3.09 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 12670 0 0 0 304 5 0 0 20 0 1 0 54193307 67944448 11860 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 16588 11860 1280 1200 0 15068 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66352 KiB
Current children cumulated memory: 47440 KiB

[startup+6.3003 s]
/proc/loadavg: 1.32 2.36 3.32 5/251 54271
/proc/meminfo: memFree=129787824/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=67116 memory=50104 CPUtime=6.26 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 12835 0 0 0 621 5 0 0 20 0 1 0 54193307 68726784 12526 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 16779 12526 1280 1200 0 15259 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67116 KiB
Current children cumulated memory: 50104 KiB

[startup+12.7003 s]
/proc/loadavg: 1.53 2.39 3.33 5/251 54271
/proc/meminfo: memFree=129695112/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=70348 memory=53136 CPUtime=12.64 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 13678 0 0 0 1258 6 0 0 20 0 1 0 54193307 72036352 13284 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 17587 13284 1280 1200 0 16067 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 70348 KiB
Current children cumulated memory: 53136 KiB

[startup+25.5003 s]
/proc/loadavg: 1.91 2.44 3.33 5/251 54271
/proc/meminfo: memFree=129668824/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=70348 memory=53264 CPUtime=25.39 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 13711 0 0 0 2533 6 0 0 20 0 1 0 54193307 72036352 13316 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 17587 13316 1280 1200 0 16067 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 70348 KiB
Current children cumulated memory: 53264 KiB

[startup+51.1137 s]
/proc/loadavg: 2.79 2.61 3.36 5/252 54272
/proc/meminfo: memFree=129678864/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=70692 memory=53776 CPUtime=50.91 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 13845 0 0 0 5084 7 0 0 20 0 1 0 54193307 72388608 13444 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 17673 13444 1280 1200 0 16153 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 70692 KiB
Current children cumulated memory: 53776 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.84 3.40 5/252 54274
/proc/meminfo: memFree=129620244/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=73356 memory=56336 CPUtime=101.92 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 14568 0 0 0 10182 10 0 0 20 0 1 0 54193307 75116544 14084 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 18339 14084 1280 1200 0 16819 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 73356 KiB
Current children cumulated memory: 56336 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 3.07 3.45 5/252 54410
/proc/meminfo: memFree=129698092/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=73356 memory=56336 CPUtime=161.72 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 14586 0 0 0 16159 13 0 0 20 0 1 0 54193307 75116544 14084 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 18339 14084 1280 1200 0 16819 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 73356 KiB
Current children cumulated memory: 56336 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.26 3.49 5/253 54413
/proc/meminfo: memFree=129654600/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=75032 memory=58000 CPUtime=221.51 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 15030 0 0 0 22135 16 0 0 20 0 1 0 54193307 76832768 14500 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 18758 14500 1280 1200 0 17238 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 75032 KiB
Current children cumulated memory: 58000 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.41 3.53 5/253 54415
/proc/meminfo: memFree=129688440/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=75732 memory=58768 CPUtime=281.31 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 15223 0 0 0 28111 20 0 0 20 0 1 0 54193307 77549568 14692 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 18933 14692 1280 1200 0 17413 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 75732 KiB
Current children cumulated memory: 58768 KiB

[startup+342.3 s]
/proc/loadavg: 4.73 3.72 3.63 5/253 54418
/proc/meminfo: memFree=129648996/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=77368 memory=62380 CPUtime=341.1 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 15610 0 0 0 34086 24 0 0 20 0 1 0 54193307 79224832 15595 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 19342 15595 1280 1200 0 17822 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 77368 KiB
Current children cumulated memory: 62380 KiB

[startup+402.3 s]
/proc/loadavg: 4.52 3.86 3.69 5/252 54420
/proc/meminfo: memFree=129631928/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=83968 memory=67244 CPUtime=400.89 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 16863 0 0 0 40062 27 0 0 20 0 1 0 54193307 85983232 16811 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 20992 16811 1280 1200 0 19472 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 83968 KiB
Current children cumulated memory: 67244 KiB

[startup+462.3 s]
/proc/loadavg: 4.31 3.92 3.72 5/252 54422
/proc/meminfo: memFree=129630952/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=83968 memory=67244 CPUtime=460.68 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 16875 0 0 0 46038 30 0 0 20 0 1 0 54193307 85983232 16811 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 20992 16811 1280 1200 0 19472 0

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

Current children cumulated memory: 74924 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/250 54548
/proc/meminfo: memFree=129550188/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=89964 memory=74924 CPUtime=2852.9 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18603 0 0 0 285142 148 0 0 20 0 1 0 54193307 92123136 18731 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22491 18731 1280 1200 0 20971 0
Current children cumulated CPU time: 2852.9 s
Current children cumulated vsize: 89964 KiB
Current children cumulated memory: 74924 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/250 54550
/proc/meminfo: memFree=129549872/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=89964 memory=74924 CPUtime=2912.73 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18603 0 0 0 291122 151 0 0 20 0 1 0 54193307 92123136 18731 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22491 18731 1280 1200 0 20971 0
Current children cumulated CPU time: 2912.73 s
Current children cumulated vsize: 89964 KiB
Current children cumulated memory: 74924 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/249 54552
/proc/meminfo: memFree=129546268/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=89964 memory=74924 CPUtime=2972.54 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18612 0 0 0 297101 153 0 0 20 0 1 0 54193307 92123136 18731 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22491 18731 1280 1200 0 20971 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 89964 KiB
Current children cumulated memory: 74924 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/251 54558
/proc/meminfo: memFree=129549888/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=89964 memory=74924 CPUtime=3032.33 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18612 0 0 0 303077 156 0 0 20 0 1 0 54193307 92123136 18731 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22491 18731 1280 1200 0 20971 0
Current children cumulated CPU time: 3032.33 s
Current children cumulated vsize: 89964 KiB
Current children cumulated memory: 74924 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/252 54565
/proc/meminfo: memFree=129549080/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=90236 memory=75180 CPUtime=3092.11 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18680 0 0 0 309053 158 0 0 20 0 1 0 54193307 92401664 18795 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22559 18795 1280 1200 0 21039 0
Current children cumulated CPU time: 3092.11 s
Current children cumulated vsize: 90236 KiB
Current children cumulated memory: 75180 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/252 54567
/proc/meminfo: memFree=129547548/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=90372 memory=75436 CPUtime=3151.91 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18739 0 0 0 315031 160 0 0 20 0 1 0 54193307 92540928 18859 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22593 18859 1280 1200 0 21073 0
Current children cumulated CPU time: 3151.91 s
Current children cumulated vsize: 90372 KiB
Current children cumulated memory: 75436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.59 4.22 4.12 5/252 54569
/proc/meminfo: memFree=129549408/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=90512 memory=75564 CPUtime=3211.7 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18759 0 0 0 321007 163 0 0 20 0 1 0 54193307 92684288 18891 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22628 18891 1280 1200 0 21108 0
Current children cumulated CPU time: 3211.7 s
Current children cumulated vsize: 90512 KiB
Current children cumulated memory: 75564 KiB

[startup+3282.3 s]
/proc/loadavg: 4.94 4.39 4.19 5/253 54573
/proc/meminfo: memFree=129547020/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=90792 memory=75692 CPUtime=3271.5 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18841 0 0 0 326984 166 0 0 20 0 1 0 54193307 92971008 18923 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22698 18923 1280 1200 0 21178 0
Current children cumulated CPU time: 3271.5 s
Current children cumulated vsize: 90792 KiB
Current children cumulated memory: 75692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.66 4.44 4.22 5/252 54575
/proc/meminfo: memFree=129564992/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=91184 memory=76204 CPUtime=3331.33 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18942 0 0 0 332963 170 0 0 20 0 1 0 54193307 93372416 19051 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22796 19051 1280 1200 0 21276 0
Current children cumulated CPU time: 3331.33 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 76204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.38 4.21 5/252 54577
/proc/meminfo: memFree=129566628/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=91184 memory=76204 CPUtime=3391.16 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18943 0 0 0 338943 173 0 0 20 0 1 0 54193307 93372416 19051 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22796 19051 1280 1200 0 21276 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 76204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.31 4.19 5/252 54579
/proc/meminfo: memFree=129571464/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=91184 memory=76204 CPUtime=3450.99 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18946 0 0 0 344923 176 0 0 20 0 1 0 54193307 93372416 19051 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22796 19051 1280 1200 0 21276 0
Current children cumulated CPU time: 3450.99 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 76204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.28 4.19 5/252 54581
/proc/meminfo: memFree=129570996/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=91184 memory=76204 CPUtime=3510.82 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18954 0 0 0 350903 179 0 0 20 0 1 0 54193307 93372416 19051 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22796 19051 1280 1200 0 21276 0
Current children cumulated CPU time: 3510.82 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 76204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.25 4.18 5/250 54583
/proc/meminfo: memFree=129567440/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=91184 memory=76204 CPUtime=3570.65 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18965 0 0 0 356884 181 0 0 20 0 1 0 54193307 93372416 19051 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22796 19051 1280 1200 0 21276 0
Current children cumulated CPU time: 3570.65 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 76204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.15 4.24 4.18 5/251 54587
/proc/meminfo: memFree=129571200/131382120 swapFree=33010416/33010684
[pid=54212] ppid=54206 vsize=91184 memory=76204 CPUtime=3600.06 cores=0,2
/proc/54212/stat : 54212 (Exact) R 54206 54212 54152 0 -1 4194304 18965 0 0 0 359823 183 0 0 20 0 1 0 54193307 93372416 19051 18446744073709551615 4198400 9112445 140728496877152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40931328 140728496879912 140728496880109 140728496880109 140728496885711 0
/proc/54212/statm: 22796 19051 1280 1200 0 21276 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 76204 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.24 s, system=1.83906 s

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

Child status: 10

Real time (s): 3611.81
CPU time (s): 3600.08
CPU user time (s): 3598.24
CPU system time (s): 1.83906
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 91184
Max. memory (cumulated for all children) (KiB): 76204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.24
system time used= 1.83906
maximum resident set size= 76332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18969
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= 23
involuntary context switches= 9089


# summary of solver processes directly reported to runsolver:
#   pid: 54212
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.24
#   total CPU system time (s): 1.83906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2392 second user time and 34.827 second system time

The end