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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481821-1751318691/watcher-4481821-1751318691 -o /tmp/evaluation-result-4481821-1751318691/solver-4481821-1751318691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751313834-40859 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2117945915 --ls=360 HOME/instance-4481821-1751318691.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=41648, runsolver pid=41645
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.13 4.12 4.09 5/267 41649
/proc/meminfo: memFree=129381528/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=0.09 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3911 0 0 0 9 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+0.205631 s]*
/proc/loadavg: 4.13 4.12 4.09 5/267 41649
/proc/meminfo: memFree=129381528/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=0.2 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 20 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+0.305503 s]*
/proc/loadavg: 4.13 4.12 4.09 5/267 41649
/proc/meminfo: memFree=129381528/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=0.3 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 30 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+0.700148 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 41649
/proc/meminfo: memFree=129381528/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=0.69 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 69 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+1.50015 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 41649
/proc/meminfo: memFree=129382224/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=1.48 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 148 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+3.10541 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 41649
/proc/meminfo: memFree=129382224/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=3.08 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 308 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+6.30014 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 41650
/proc/meminfo: memFree=129382776/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=6.27 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 627 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 41650
/proc/meminfo: memFree=129391204/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=12.66 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 1266 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 41650
/proc/meminfo: memFree=129400516/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=25.42 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 2542 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 41650
/proc/meminfo: memFree=129401524/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=50.96 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 5096 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 41656
/proc/meminfo: memFree=129404500/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=102.03 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 10203 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 41658
/proc/meminfo: memFree=129391012/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=161.87 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 16187 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 41660
/proc/meminfo: memFree=129333808/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=221.72 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 22172 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+282.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/263 41662
/proc/meminfo: memFree=129282292/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=281.57 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 28157 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/268 41677
/proc/meminfo: memFree=129237384/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=40348 memory=19620 CPUtime=341.42 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 3912 0 0 0 34142 0 0 0 20 0 1 0 47491608 41316352 4905 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 10087 4905 1024 1200 0 8567 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19620 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/266 41681
/proc/meminfo: memFree=129181680/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=79964 memory=70664 CPUtime=401.27 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 14115 0 0 0 40121 6 0 0 20 0 1 0 47491608 81883136 17666 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 19991 17666 1280 1200 0 18471 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 79964 KiB
Current children cumulated memory: 70664 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/266 41683
/proc/meminfo: memFree=129158884/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=96760 memory=88200 CPUtime=461.12 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 18501 0 0 0 46100 12 0 0 20 0 1 0 47491608 99082240 22050 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 24190 22050 1280 1200 0 22670 0

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

Current children cumulated memory: 171124 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 41915
/proc/meminfo: memFree=129288056/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=179584 memory=172148 CPUtime=2855.04 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 35703 0 0 0 285268 236 0 0 20 0 1 0 47491608 183894016 43037 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 44896 43037 1280 1200 0 43376 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 179584 KiB
Current children cumulated memory: 172148 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 41918
/proc/meminfo: memFree=129290952/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=180872 memory=173428 CPUtime=2914.89 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36025 0 0 0 291248 241 0 0 20 0 1 0 47491608 185212928 43357 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45218 43357 1280 1200 0 43698 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 180872 KiB
Current children cumulated memory: 173428 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 41920
/proc/meminfo: memFree=129282768/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=181656 memory=174196 CPUtime=2974.73 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36221 0 0 0 297228 245 0 0 20 0 1 0 47491608 186015744 43549 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45414 43549 1280 1200 0 43894 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 181656 KiB
Current children cumulated memory: 174196 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 41926
/proc/meminfo: memFree=129282916/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=181656 memory=174196 CPUtime=3034.58 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36221 0 0 0 303206 252 0 0 20 0 1 0 47491608 186015744 43549 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45414 43549 1280 1200 0 43894 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 181656 KiB
Current children cumulated memory: 174196 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 42021
/proc/meminfo: memFree=129591044/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=181656 memory=174196 CPUtime=3094.42 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36221 0 0 0 309184 258 0 0 20 0 1 0 47491608 186015744 43549 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45414 43549 1280 1200 0 43894 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 181656 KiB
Current children cumulated memory: 174196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 42023
/proc/meminfo: memFree=129591244/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182288 memory=174836 CPUtime=3154.22 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36393 0 0 0 315159 263 0 0 20 0 1 0 47491608 186662912 43709 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45572 43709 1280 1200 0 44052 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 182288 KiB
Current children cumulated memory: 174836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 42025
/proc/meminfo: memFree=129579836/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182288 memory=174836 CPUtime=3214.03 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36394 0 0 0 321136 267 0 0 20 0 1 0 47491608 186662912 43709 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45572 43709 1280 1200 0 44052 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 182288 KiB
Current children cumulated memory: 174836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 42028
/proc/meminfo: memFree=129589260/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182436 memory=174964 CPUtime=3273.84 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36431 0 0 0 327111 273 0 0 20 0 1 0 47491608 186814464 43741 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45609 43741 1280 1200 0 44089 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 182436 KiB
Current children cumulated memory: 174964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 42030
/proc/meminfo: memFree=129593644/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182436 memory=174964 CPUtime=3333.68 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36439 0 0 0 333090 278 0 0 20 0 1 0 47491608 186814464 43741 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45609 43741 1280 1200 0 44089 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 182436 KiB
Current children cumulated memory: 174964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 42032
/proc/meminfo: memFree=129594456/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182796 memory=175348 CPUtime=3393.56 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36522 0 0 0 339072 284 0 0 20 0 1 0 47491608 187183104 43837 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45699 43837 1280 1200 0 44179 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 182796 KiB
Current children cumulated memory: 175348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 42170
/proc/meminfo: memFree=129786744/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182796 memory=175348 CPUtime=3453.43 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36533 0 0 0 345053 290 0 0 20 0 1 0 47491608 187183104 43837 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45699 43837 1280 1200 0 44179 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 182796 KiB
Current children cumulated memory: 175348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42172
/proc/meminfo: memFree=129785440/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182796 memory=175348 CPUtime=3513.22 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36535 0 0 0 351028 294 0 0 20 0 1 0 47491608 187183104 43837 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45699 43837 1280 1200 0 44179 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 182796 KiB
Current children cumulated memory: 175348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 42174
/proc/meminfo: memFree=129785432/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=182796 memory=175348 CPUtime=3573.03 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36535 0 0 0 357003 300 0 0 20 0 1 0 47491608 187183104 43837 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45699 43837 1280 1200 0 44179 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 182796 KiB
Current children cumulated memory: 175348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 42174
/proc/meminfo: memFree=129785448/131250000 swapFree=33010684/33010684
[pid=41648] ppid=41645 vsize=183140 memory=175604 CPUtime=3600.05 cores=5,7
/proc/41648/stat : 41648 (Exact) R 41645 41648 40846 0 -1 4194304 36616 0 0 0 359702 303 0 0 20 0 1 0 47491608 187535360 43901 18446744073709551615 4198400 9112445 140727493337984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 26484736 140727493343546 140727493343725 140727493343725 140727493349327 0
/proc/41648/statm: 45785 43901 1280 1200 0 44265 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 183140 KiB
Current children cumulated memory: 175604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.03 s, system=3.0315 s

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

Child status: 10

Real time (s): 3609.41
CPU time (s): 3600.06
CPU user time (s): 3597.03
CPU system time (s): 3.0315
CPU usage (%): 99.7411
Max. virtual memory (cumulated for all children) (KiB): 183140
Max. memory (cumulated for all children) (KiB): 175604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.03
system time used= 3.0315
maximum resident set size= 175604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36618
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= 47
involuntary context switches= 1856


# summary of solver processes directly reported to runsolver:
#   pid: 41648
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3597.03
#   total CPU system time (s): 3.0315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45449 second user time and 14.8228 second system time

The end