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: 63708 MiB (62913 MiB free)
  memory of node 1: 64465 MiB (63945 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498377-1751271861/watcher-4498377-1751271861 -o /tmp/evaluation-result-4498377-1751271861/solver-4498377-1751271861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751268232-35171 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=497536264 --ls=0 --inp-dombreaklim=0 HOME/instance-4498377-1751271861.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=35818, runsolver pid=35812

[startup+0.100061 s]*
/proc/loadavg: 4.24 4.16 4.05 5/256 35837
/proc/meminfo: memFree=129867712/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=69644 memory=47428 CPUtime=0.09 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 12017 0 0 0 8 1 0 0 20 0 1 0 42808657 71315456 11857 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 17411 11857 1024 1200 0 15891 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69644 KiB
Current children cumulated memory: 47428 KiB

[startup+0.205401 s]*
/proc/loadavg: 4.24 4.16 4.05 3/259 35852
/proc/meminfo: memFree=129851492/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=109360 memory=85356 CPUtime=0.19 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 19203 0 0 0 17 2 0 0 20 0 1 0 42808657 111984640 21339 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 27340 21339 1024 1200 0 25820 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109360 KiB
Current children cumulated memory: 85356 KiB

[startup+0.305503 s]*
/proc/loadavg: 4.24 4.16 4.05 4/262 35861
/proc/meminfo: memFree=129806664/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=144416 memory=122668 CPUtime=0.3 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 23947 0 0 0 26 4 0 0 20 0 1 0 42808657 147881984 30667 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 36104 30667 1024 1200 0 34584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 144416 KiB
Current children cumulated memory: 122668 KiB

[startup+0.70017 s]
/proc/loadavg: 4.24 4.16 4.05 4/263 35875
/proc/meminfo: memFree=129730304/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=262780 memory=238612 CPUtime=0.68 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 40154 0 0 0 59 9 0 0 20 0 1 0 42808657 269086720 59653 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 65695 59653 1024 1200 0 64175 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 262780 KiB
Current children cumulated memory: 238612 KiB

[startup+1.50018 s]
/proc/loadavg: 4.24 4.16 4.05 5/265 35906
/proc/meminfo: memFree=129418292/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=465520 memory=445568 CPUtime=1.48 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 57904 0 0 0 132 16 0 0 20 0 1 0 42808657 476692480 111392 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 116380 111392 1184 1200 0 114860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 465520 KiB
Current children cumulated memory: 445568 KiB

[startup+3.1054 s]
/proc/loadavg: 4.24 4.16 4.05 5/265 35906
/proc/meminfo: memFree=129146740/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=490148 memory=468196 CPUtime=3.08 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 61230 0 0 0 291 17 0 0 20 0 1 0 42808657 501911552 117049 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 122537 117049 1216 1200 0 121017 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 490148 KiB
Current children cumulated memory: 468196 KiB

[startup+6.30016 s]
/proc/loadavg: 4.30 4.18 4.05 5/265 35906
/proc/meminfo: memFree=129036868/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=554076 memory=526860 CPUtime=6.27 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 64238 0 0 0 609 18 0 0 20 0 1 0 42808657 567373824 131715 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 138519 131715 1216 1200 0 136999 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 554076 KiB
Current children cumulated memory: 526860 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.17 4.05 5/265 35906
/proc/meminfo: memFree=128884932/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=621244 memory=568532 CPUtime=12.65 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 71099 0 0 0 1245 20 0 0 20 0 1 0 42808657 636153856 142133 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 155311 142133 1216 1200 0 153791 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 621244 KiB
Current children cumulated memory: 568532 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.16 4.05 5/265 35907
/proc/meminfo: memFree=128652400/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=775200 memory=684876 CPUtime=25.4 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 89208 0 0 0 2513 27 0 0 20 0 1 0 42808657 793804800 171219 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 193800 171219 1216 1200 0 192280 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 775200 KiB
Current children cumulated memory: 684876 KiB

[startup+51.1054 s]
/proc/loadavg: 4.29 4.18 4.06 5/265 35907
/proc/meminfo: memFree=128289268/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=913316 memory=861180 CPUtime=50.92 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 113030 0 0 0 5058 34 0 0 20 0 1 0 42808657 935235584 215295 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 228329 215295 1248 1200 0 226809 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 913316 KiB
Current children cumulated memory: 861180 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.06 5/265 35909
/proc/meminfo: memFree=128091112/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=992076 memory=927892 CPUtime=101.94 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 129461 0 0 0 10153 41 0 0 20 0 1 0 42808657 1015885824 231973 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 248019 231973 1248 1200 0 246499 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 992076 KiB
Current children cumulated memory: 927892 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.06 5/265 35911
/proc/meminfo: memFree=127864976/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=1149364 memory=1033740 CPUtime=161.76 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 139458 0 0 0 16127 49 0 0 20 0 1 0 42808657 1176948736 258435 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 287341 258435 1248 1200 0 285821 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1149364 KiB
Current children cumulated memory: 1033740 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/265 35913
/proc/meminfo: memFree=127715400/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=1196896 memory=1083452 CPUtime=221.61 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 148933 0 0 0 22109 52 0 0 20 0 1 0 42808657 1225621504 270863 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 299224 270863 1248 1200 0 297704 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1196896 KiB
Current children cumulated memory: 1083452 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/265 35915
/proc/meminfo: memFree=127545616/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=1317632 memory=1192276 CPUtime=281.44 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 174618 0 0 0 28082 62 0 0 20 0 1 0 42808657 1349255168 298069 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 329408 298069 1248 1200 0 327888 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 1317632 KiB
Current children cumulated memory: 1192276 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 4.10 4.06 5/262 35917
/proc/meminfo: memFree=127517820/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=1323776 memory=1202644 CPUtime=341.28 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 177285 0 0 0 34064 64 0 0 20 0 1 0 42808657 1355546624 300661 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 330944 300661 1248 1200 0 329424 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1323776 KiB
Current children cumulated memory: 1202644 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/262 35920
/proc/meminfo: memFree=127342824/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=1431476 memory=1313204 CPUtime=401.12 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 199930 0 0 0 40044 68 0 0 20 0 1 0 42808657 1465831424 328301 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 357869 328301 1248 1200 0 356349 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1431476 KiB
Current children cumulated memory: 1313204 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/262 35922
/proc/meminfo: memFree=127201492/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=1449420 memory=1343460 CPUtime=460.97 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 203886 0 0 0 46028 69 0 0 20 0 1 0 42808657 1484206080 335865 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0

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

Current children cumulated memory: 2176264 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 36048
/proc/meminfo: memFree=125405956/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2361536 memory=2267408 CPUtime=2914.33 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 386184 0 0 0 291264 169 0 0 20 0 1 0 42808657 2418212864 566852 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 590384 566852 1248 1200 0 588864 0
Current children cumulated CPU time: 2914.33 s
Current children cumulated vsize: 2361536 KiB
Current children cumulated memory: 2267408 KiB

[startup+2982.3 s]
/proc/loadavg: 4.47 4.20 4.12 5/262 36050
/proc/meminfo: memFree=125322080/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2430672 memory=2328252 CPUtime=2974.14 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 400426 0 0 0 297242 172 0 0 20 0 1 0 42808657 2489008128 582063 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 607668 582063 1248 1200 0 606148 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 2430672 KiB
Current children cumulated memory: 2328252 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/263 36059
/proc/meminfo: memFree=125269740/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2469720 memory=2363784 CPUtime=3033.94 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 407757 0 0 0 303221 173 0 0 20 0 1 0 42808657 2528993280 590946 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 617430 590946 1248 1200 0 615910 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 2469720 KiB
Current children cumulated memory: 2363784 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 36062
/proc/meminfo: memFree=125204492/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2530520 memory=2411292 CPUtime=3093.75 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 419929 0 0 0 309199 176 0 0 20 0 1 0 42808657 2591252480 602823 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 632630 602823 1248 1200 0 631110 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 2530520 KiB
Current children cumulated memory: 2411292 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 36064
/proc/meminfo: memFree=125180196/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2534648 memory=2415388 CPUtime=3153.56 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 421810 0 0 0 315180 176 0 0 20 0 1 0 42808657 2595479552 603847 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 633662 603847 1248 1200 0 632142 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 2534648 KiB
Current children cumulated memory: 2415388 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/264 36066
/proc/meminfo: memFree=125033900/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2664268 memory=2532088 CPUtime=3213.36 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 450465 0 0 0 321154 182 0 0 20 0 1 0 42808657 2728210432 633022 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 666067 633022 1248 1200 0 664547 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 2664268 KiB
Current children cumulated memory: 2532088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 36068
/proc/meminfo: memFree=124985280/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2716596 memory=2578372 CPUtime=3273.16 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 460643 0 0 0 327132 184 0 0 20 0 1 0 42808657 2781794304 644593 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 679149 644593 1248 1200 0 677629 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 2716596 KiB
Current children cumulated memory: 2578372 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 36070
/proc/meminfo: memFree=124904520/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2772348 memory=2623684 CPUtime=3332.97 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 472765 0 0 0 333110 187 0 0 20 0 1 0 42808657 2838884352 655921 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 693087 655921 1248 1200 0 691567 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 2772348 KiB
Current children cumulated memory: 2623684 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 36072
/proc/meminfo: memFree=124852844/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2820340 memory=2659992 CPUtime=3392.77 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 481564 0 0 0 339089 188 0 0 20 0 1 0 42808657 2888028160 664998 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 705085 664998 1248 1200 0 703565 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 2820340 KiB
Current children cumulated memory: 2659992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 36074
/proc/meminfo: memFree=124789808/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2835532 memory=2681240 CPUtime=3452.58 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 484435 0 0 0 345069 189 0 0 20 0 1 0 42808657 2903584768 670310 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 708883 670310 1248 1200 0 707363 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 2835532 KiB
Current children cumulated memory: 2681240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 36076
/proc/meminfo: memFree=124699192/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2912132 memory=2762544 CPUtime=3512.38 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 499616 0 0 0 351045 193 0 0 20 0 1 0 42808657 2982023168 690636 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 728033 690636 1248 1200 0 726513 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 2912132 KiB
Current children cumulated memory: 2762544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 36078
/proc/meminfo: memFree=124652468/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2920284 memory=2786336 CPUtime=3572.22 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 501677 0 0 0 357029 193 0 0 20 0 1 0 42808657 2990370816 696584 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 730071 696584 1248 1200 0 728551 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 2920284 KiB
Current children cumulated memory: 2786336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 36133
/proc/meminfo: memFree=124956600/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2944292 memory=2807584 CPUtime=3600.05 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 506595 0 0 0 359811 194 0 0 20 0 1 0 42808657 3014955008 701896 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 736073 701896 1248 1200 0 734553 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2944292 KiB
Current children cumulated memory: 2807584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.23 s, system=1.96228 s

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

[startup+3610.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 36133
/proc/meminfo: memFree=124956600/131250000 swapFree=33010684/33010684
[pid=35818] ppid=35812 vsize=2570596 memory=2491384 CPUtime=3600.15 cores=1,3
/proc/35818/stat : 35818 (Exact) R 35812 35818 35152 0 -1 4194304 506699 0 0 0 359821 194 0 0 20 0 1 0 42808657 2632290304 622846 18446744073709551615 4198400 9112445 140729533382800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 39247872 140729533389097 140729533389293 140729533389293 140729533394895 0
/proc/35818/statm: 642649 622846 1280 1200 0 641129 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 2570596 KiB
Current children cumulated memory: 2491384 KiB

Child status: 10

Real time (s): 3610.33
CPU time (s): 3600.19
CPU user time (s): 3598.23
CPU system time (s): 1.96228
CPU usage (%): 99.7191
Max. virtual memory (cumulated for all children) (KiB): 2944292
Max. memory (cumulated for all children) (KiB): 2807584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.23
system time used= 1.96228
maximum resident set size= 2807840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506707
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= 104
involuntary context switches= 5693


# summary of solver processes directly reported to runsolver:
#   pid: 35818
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.23
#   total CPU system time (s): 1.96228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30795 second user time and 14.8615 second system time

The end