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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=42363, runsolver pid=42359
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=0.1 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 10 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+0.20516 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=0.2 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 20 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+0.304533 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=0.3 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 30 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+0.700096 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=0.69 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 69 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+1.5001 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129910040/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=1.49 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 149 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+3.10435 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129910060/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=3.09 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 309 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+6.3001 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 42369
/proc/meminfo: memFree=129910252/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=6.28 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 628 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 42369
/proc/meminfo: memFree=129910268/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=12.66 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 1266 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 42369
/proc/meminfo: memFree=129910268/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=25.43 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 2543 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+51.1044 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 42370
/proc/meminfo: memFree=129910284/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=50.98 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1351 0 0 0 5098 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 42372
/proc/meminfo: memFree=129907308/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=102.05 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1353 0 0 0 10205 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 42375
/proc/meminfo: memFree=129821408/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=161.91 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1356 0 0 0 16191 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/265 42378
/proc/meminfo: memFree=129751316/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=221.76 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1358 0 0 0 22176 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/265 42380
/proc/meminfo: memFree=129722992/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=281.62 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1359 0 0 0 28162 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+342.3 s]
/proc/loadavg: 4.42 4.22 4.13 5/265 42382
/proc/meminfo: memFree=129694968/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=32064 memory=8780 CPUtime=341.47 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 1360 0 0 0 34147 0 0 0 20 0 1 0 47872986 32833536 2195 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+402.3 s]
/proc/loadavg: 4.27 4.21 4.13 5/264 42384
/proc/meminfo: memFree=129171864/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=187316 memory=165840 CPUtime=401.31 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 29719 0 0 0 40106 25 0 0 20 0 1 0 47872986 191811584 41460 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 46829 41460 1280 1200 0 45309 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 187316 KiB
Current children cumulated memory: 165840 KiB

[startup+462.3 s]
/proc/loadavg: 4.34 4.24 4.15 5/264 42386
/proc/meminfo: memFree=129054748/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=213992 memory=187728 CPUtime=461.16 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 35232 0 0 0 46066 50 0 0 20 0 1 0 47872986 219127808 46932 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 53498 46932 1280 1200 0 51978 0
Current children cumulated CPU time: 461.16 s

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

Current children cumulated memory: 356772 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 42517
/proc/meminfo: memFree=128426664/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=398600 memory=358820 CPUtime=2854.97 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 65918 0 0 0 284435 1062 0 0 20 0 1 0 47872986 408166400 89705 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 99650 89705 1280 1200 0 98130 0
Current children cumulated CPU time: 2854.97 s
Current children cumulated vsize: 398600 KiB
Current children cumulated memory: 358820 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42522
/proc/meminfo: memFree=128405864/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=400000 memory=359972 CPUtime=2914.81 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 66202 0 0 0 290397 1084 0 0 20 0 1 0 47872986 409600000 89993 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 100000 89993 1280 1200 0 98480 0
Current children cumulated CPU time: 2914.81 s
Current children cumulated vsize: 400000 KiB
Current children cumulated memory: 359972 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 42529
/proc/meminfo: memFree=128400236/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=402124 memory=362020 CPUtime=2974.66 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 66732 0 0 0 296357 1109 0 0 20 0 1 0 47872986 411774976 90505 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 100531 90505 1280 1200 0 99011 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 402124 KiB
Current children cumulated memory: 362020 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 42531
/proc/meminfo: memFree=128393324/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=405000 memory=364580 CPUtime=3034.5 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 67402 0 0 0 302317 1133 0 0 20 0 1 0 47872986 414720000 91145 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 101250 91145 1280 1200 0 99730 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 405000 KiB
Current children cumulated memory: 364580 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42533
/proc/meminfo: memFree=128395472/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=407336 memory=366500 CPUtime=3094.34 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 67885 0 0 0 308277 1157 0 0 20 0 1 0 47872986 417112064 91625 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 101834 91625 1280 1200 0 100314 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 407336 KiB
Current children cumulated memory: 366500 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 42535
/proc/meminfo: memFree=128388276/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=409224 memory=368420 CPUtime=3154.2 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 68376 0 0 0 314237 1183 0 0 20 0 1 0 47872986 419045376 92105 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 102306 92105 1280 1200 0 100786 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 409224 KiB
Current children cumulated memory: 368420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 42537
/proc/meminfo: memFree=128370064/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=410472 memory=369700 CPUtime=3214.04 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 68695 0 0 0 320195 1209 0 0 20 0 1 0 47872986 420323328 92425 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 102618 92425 1280 1200 0 101098 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 410472 KiB
Current children cumulated memory: 369700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 42539
/proc/meminfo: memFree=128335096/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=412296 memory=371364 CPUtime=3273.89 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 69134 0 0 0 326156 1233 0 0 20 0 1 0 47872986 422191104 92841 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 103074 92841 1280 1200 0 101554 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 412296 KiB
Current children cumulated memory: 371364 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 42541
/proc/meminfo: memFree=128344052/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=412296 memory=371364 CPUtime=3333.74 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 69154 0 0 0 332112 1262 0 0 20 0 1 0 47872986 422191104 92841 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 103074 92841 1280 1200 0 101554 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 412296 KiB
Current children cumulated memory: 371364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 42543
/proc/meminfo: memFree=128344924/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=413832 memory=372644 CPUtime=3393.59 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 69471 0 0 0 338070 1289 0 0 20 0 1 0 47872986 423763968 93161 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 103458 93161 1280 1200 0 101938 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 413832 KiB
Current children cumulated memory: 372644 KiB

[startup+3462.3 s]
/proc/loadavg: 3.54 3.94 4.03 4/257 42575
/proc/meminfo: memFree=128742620/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=415752 memory=374564 CPUtime=3453.44 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 69956 0 0 0 344033 1311 0 0 20 0 1 0 47872986 425730048 93641 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 103938 93641 1280 1200 0 102418 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 415752 KiB
Current children cumulated memory: 374564 KiB

[startup+3522.3 s]
/proc/loadavg: 3.20 3.77 3.97 4/256 42577
/proc/meminfo: memFree=128714504/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=416520 memory=375332 CPUtime=3513.31 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 70171 0 0 0 349994 1337 0 0 20 0 1 0 47872986 426516480 93833 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 104130 93833 1280 1200 0 102610 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 416520 KiB
Current children cumulated memory: 375332 KiB

[startup+3582.3 s]
/proc/loadavg: 3.19 3.66 3.91 4/257 42582
/proc/meminfo: memFree=128701148/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=416712 memory=375588 CPUtime=3573.17 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 70219 0 0 0 355957 1360 0 0 20 0 1 0 47872986 426713088 93897 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 104178 93897 1280 1200 0 102658 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 416712 KiB
Current children cumulated memory: 375588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 3.12 3.60 3.89 4/257 42587
/proc/meminfo: memFree=128702204/131250000 swapFree=33010684/33010684
[pid=42363] ppid=42359 vsize=417672 memory=376484 CPUtime=3600.01 cores=1,3
/proc/42363/stat : 42363 (Exact) R 42359 42363 40846 0 -1 4194304 70459 0 0 0 358632 1369 0 0 20 0 1 0 47872986 427696128 94121 18446744073709551615 4198400 9112445 140732383764112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26300416 140732383770939 140732383771117 140732383771117 140732383776719 0
/proc/42363/statm: 104418 94121 1280 1200 0 102898 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 417672 KiB
Current children cumulated memory: 376484 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.32 s, system=13.6996 s

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

Child status: 10

Real time (s): 3609.21
CPU time (s): 3600.02
CPU user time (s): 3586.32
CPU system time (s): 13.6996
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 417672
Max. memory (cumulated for all children) (KiB): 376484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.32
system time used= 13.6996
maximum resident set size= 376484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70461
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= 110
involuntary context switches= 5522


# summary of solver processes directly reported to runsolver:
#   pid: 42363
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3586.32
#   total CPU system time (s): 13.6996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57512 second user time and 14.7814 second system time

The end