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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484786-1751305811/watcher-4484786-1751305811 -o /tmp/evaluation-result-4484786-1751305811/solver-4484786-1751305811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751302193-44638 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=928587461 --ls=0 --inp-dombreaklim=0 HOME/instance-4484786-1751305811.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
Starting watchdog thread
solver pid=45238, runsolver pid=45235
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126554588/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=47408 memory=25172 CPUtime=0.09 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 5106 0 0 0 9 0 0 0 20 0 1 0 46258887 48545792 6293 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 11852 6293 1024 1200 0 10332 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47408 KiB
Current children cumulated memory: 25172 KiB

[startup+0.20567 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126526488/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=63948 memory=42752 CPUtime=0.2 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 8232 0 0 0 19 1 0 0 20 0 1 0 46258887 65482752 10688 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 15987 10688 1024 1200 0 14467 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63948 KiB
Current children cumulated memory: 42752 KiB

[startup+0.30554 s]*
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126396500/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=110116 memory=88956 CPUtime=0.3 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 15291 0 0 0 27 3 0 0 20 0 1 0 46258887 112758784 22239 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 27529 22239 1184 1200 0 26009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110116 KiB
Current children cumulated memory: 88956 KiB

[startup+0.700129 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126388436/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=110116 memory=89468 CPUtime=0.69 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 15432 0 0 0 66 3 0 0 20 0 1 0 46258887 112758784 22367 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 27529 22367 1184 1200 0 26009 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 110116 KiB
Current children cumulated memory: 89468 KiB

[startup+1.50014 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45239
/proc/meminfo: memFree=126340220/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=119316 memory=109300 CPUtime=1.48 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 17740 0 0 0 145 3 0 0 20 0 1 0 46258887 122179584 27325 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 29829 27325 1280 1200 0 28309 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119316 KiB
Current children cumulated memory: 109300 KiB

[startup+3.10473 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45240
/proc/meminfo: memFree=126263216/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=136872 memory=118956 CPUtime=3.08 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 18851 0 0 0 304 4 0 0 20 0 1 0 46258887 140156928 29739 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 34218 29739 1280 1200 0 32698 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 118956 KiB

[startup+6.30017 s]
/proc/loadavg: 4.01 4.07 4.08 5/263 45240
/proc/meminfo: memFree=126228688/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=161608 memory=136504 CPUtime=6.27 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 20099 0 0 0 622 5 0 0 20 0 1 0 46258887 165486592 34126 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 40402 34126 1280 1200 0 38882 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161608 KiB
Current children cumulated memory: 136504 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.06 4.08 5/263 45240
/proc/meminfo: memFree=126159064/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=214372 memory=178700 CPUtime=12.65 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 22393 0 0 0 1258 7 0 0 20 0 1 0 46258887 219516928 44675 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 53593 44675 1280 1200 0 52073 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 214372 KiB
Current children cumulated memory: 178700 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 4.06 4.08 5/263 45240
/proc/meminfo: memFree=126101504/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=232012 memory=195184 CPUtime=25.41 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 26042 0 0 0 2533 8 0 0 20 0 1 0 46258887 237580288 48796 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 58003 48796 1280 1200 0 56483 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232012 KiB
Current children cumulated memory: 195184 KiB

[startup+51.1053 s]
/proc/loadavg: 4.06 4.07 4.08 5/263 45241
/proc/meminfo: memFree=126008264/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=247892 memory=217116 CPUtime=50.95 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 30082 0 0 0 5085 10 0 0 20 0 1 0 46258887 253841408 54279 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 61973 54279 1280 1200 0 60453 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 247892 KiB
Current children cumulated memory: 217116 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/264 45244
/proc/meminfo: memFree=125925348/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=262244 memory=229404 CPUtime=102 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 33181 0 0 0 10187 13 0 0 20 0 1 0 46258887 268537856 57351 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 65561 57351 1280 1200 0 64041 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 262244 KiB
Current children cumulated memory: 229404 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/265 45249
/proc/meminfo: memFree=125912076/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=265048 memory=237296 CPUtime=161.82 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 34183 0 0 0 16165 17 0 0 20 0 1 0 46258887 271409152 59324 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 66262 59324 1280 1200 0 64742 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 265048 KiB
Current children cumulated memory: 237296 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/265 45255
/proc/meminfo: memFree=125896460/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=266340 memory=238832 CPUtime=221.65 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 34599 0 0 0 22145 20 0 0 20 0 1 0 46258887 272732160 59708 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 66585 59708 1280 1200 0 65065 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 266340 KiB
Current children cumulated memory: 238832 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 45257
/proc/meminfo: memFree=125888568/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=267832 memory=240368 CPUtime=281.48 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 35016 0 0 0 28125 23 0 0 20 0 1 0 46258887 274259968 60092 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 66958 60092 1280 1200 0 65438 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 267832 KiB
Current children cumulated memory: 240368 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 45259
/proc/meminfo: memFree=125869428/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=268932 memory=241904 CPUtime=341.31 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 35406 0 0 0 34105 26 0 0 20 0 1 0 46258887 275386368 60476 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 67233 60476 1280 1200 0 65713 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 268932 KiB
Current children cumulated memory: 241904 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 45261
/proc/meminfo: memFree=125841396/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=270376 memory=242928 CPUtime=401.14 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 35678 0 0 0 40085 29 0 0 20 0 1 0 46258887 276865024 60732 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 67594 60732 1280 1200 0 66074 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 270376 KiB
Current children cumulated memory: 242928 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 45263
/proc/meminfo: memFree=125815588/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=270376 memory=243056 CPUtime=460.96 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 35704 0 0 0 46066 30 0 0 20 0 1 0 46258887 276865024 60764 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 67594 60764 1280 1200 0 66074 0

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

Current children cumulated memory: 324280 KiB

[startup+2922.3 s]
/proc/loadavg: 4.40 4.18 4.12 5/264 45436
/proc/meminfo: memFree=125547900/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=389532 memory=325944 CPUtime=2913.93 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 49358 0 0 0 291274 119 0 0 20 0 1 0 46258887 398880768 81486 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 97383 81486 1280 1200 0 95863 0
Current children cumulated CPU time: 2913.93 s
Current children cumulated vsize: 389532 KiB
Current children cumulated memory: 325944 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 45438
/proc/meminfo: memFree=125551544/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=389532 memory=325944 CPUtime=2973.77 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 49444 0 0 0 297256 121 0 0 20 0 1 0 46258887 398880768 81486 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 97383 81486 1280 1200 0 95863 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 389532 KiB
Current children cumulated memory: 325944 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/264 45440
/proc/meminfo: memFree=125551168/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=389532 memory=325944 CPUtime=3033.6 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 49481 0 0 0 303238 122 0 0 20 0 1 0 46258887 398880768 81486 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 97383 81486 1280 1200 0 95863 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 389532 KiB
Current children cumulated memory: 325944 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 45443
/proc/meminfo: memFree=125535168/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=389532 memory=325944 CPUtime=3093.44 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 49484 0 0 0 309220 124 0 0 20 0 1 0 46258887 398880768 81486 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 97383 81486 1280 1200 0 95863 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 389532 KiB
Current children cumulated memory: 325944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 45447
/proc/meminfo: memFree=125536892/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=389532 memory=325944 CPUtime=3153.28 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 49608 0 0 0 315202 126 0 0 20 0 1 0 46258887 398880768 81486 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 97383 81486 1280 1200 0 95863 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 389532 KiB
Current children cumulated memory: 325944 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 45454
/proc/meminfo: memFree=125538448/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=392484 memory=328888 CPUtime=3213.12 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 50346 0 0 0 321184 128 0 0 20 0 1 0 46258887 401903616 82222 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98121 82222 1280 1200 0 96601 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 392484 KiB
Current children cumulated memory: 328888 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 45456
/proc/meminfo: memFree=125531772/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=392484 memory=328888 CPUtime=3272.96 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 50349 0 0 0 327166 130 0 0 20 0 1 0 46258887 401903616 82222 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98121 82222 1280 1200 0 96601 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 392484 KiB
Current children cumulated memory: 328888 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 45458
/proc/meminfo: memFree=125524700/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=394156 memory=330680 CPUtime=3332.8 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 50889 0 0 0 333148 132 0 0 20 0 1 0 46258887 403615744 82670 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98539 82670 1280 1200 0 97019 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 394156 KiB
Current children cumulated memory: 330680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 45461
/proc/meminfo: memFree=125526112/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=394552 memory=331064 CPUtime=3392.63 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 50990 0 0 0 339130 133 0 0 20 0 1 0 46258887 404021248 82766 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98638 82766 1280 1200 0 97118 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 394552 KiB
Current children cumulated memory: 331064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 45463
/proc/meminfo: memFree=125528020/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=394552 memory=331064 CPUtime=3452.47 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 51110 0 0 0 345112 135 0 0 20 0 1 0 46258887 404021248 82766 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98638 82766 1280 1200 0 97118 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 394552 KiB
Current children cumulated memory: 331064 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 45465
/proc/meminfo: memFree=125520876/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=395460 memory=331960 CPUtime=3512.31 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 51344 0 0 0 351094 137 0 0 20 0 1 0 46258887 404951040 82990 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98865 82990 1280 1200 0 97345 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 395460 KiB
Current children cumulated memory: 331960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 45467
/proc/meminfo: memFree=125485820/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=395648 memory=332088 CPUtime=3572.13 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 51391 0 0 0 357075 138 0 0 20 0 1 0 46258887 405143552 83022 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98912 83022 1280 1200 0 97392 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 395648 KiB
Current children cumulated memory: 332088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 45526
/proc/meminfo: memFree=126194444/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=395648 memory=332088 CPUtime=3600.06 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 51521 0 0 0 359866 140 0 0 20 0 1 0 46258887 405143552 83022 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98912 83022 1280 1200 0 97392 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 395648 KiB
Current children cumulated memory: 332088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.68 s, system=1.40502 s

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

[startup+3610.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 45526
/proc/meminfo: memFree=126194444/131249996 swapFree=33010684/33010684
[pid=45238] ppid=45235 vsize=395648 memory=332088 CPUtime=3600.06 cores=5,7
/proc/45238/stat : 45238 (Exact) R 45235 45238 44625 0 -1 4194304 51521 0 0 0 359866 140 0 0 20 0 1 0 46258887 405143552 83022 18446744073709551615 4198400 9112445 140732672749696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43843584 140732672756009 140732672756205 140732672756205 140732672761807 0
/proc/45238/statm: 98912 83022 1280 1200 0 97392 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 395648 KiB
Current children cumulated memory: 332088 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.08
CPU user time (s): 3598.68
CPU system time (s): 1.40502
CPU usage (%): 99.7167
Max. virtual memory (cumulated for all children) (KiB): 395648
Max. memory (cumulated for all children) (KiB): 332088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.40502
maximum resident set size= 385788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51531
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= 52
involuntary context switches= 19228


# summary of solver processes directly reported to runsolver:
#   pid: 45238
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.68
#   total CPU system time (s): 1.40502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.25191 second user time and 13.4111 second system time

The end