runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63115 MiB free)
  memory of node 1: 64507 MiB (63885 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512195-1751273688/watcher-4512195-1751273688 -o /tmp/evaluation-result-4512195-1751273688/solver-4512195-1751273688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751270072-39303 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1256158424 --ls=0 --inp-dombreaklim=0 HOME/instance-4512195-1751273688.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=39905, runsolver pid=39902

[startup+0.100079 s]*
/proc/loadavg: 4.15 4.12 4.20 5/252 39906
/proc/meminfo: memFree=129998072/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=56880 memory=26816 CPUtime=0.09 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 6270 0 0 0 7 2 0 0 20 0 1 0 43048506 58245120 6704 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 14220 6704 1024 1200 0 12700 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56880 KiB
Current children cumulated memory: 26816 KiB

[startup+0.213754 s]*
/proc/loadavg: 4.15 4.12 4.20 6/252 39906
/proc/meminfo: memFree=129974132/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=75196 memory=44708 CPUtime=0.19 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 10234 0 0 0 15 4 0 0 20 0 1 0 43048506 77000704 11177 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 18799 11177 1024 1200 0 17279 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75196 KiB
Current children cumulated memory: 44708 KiB

[startup+0.310614 s]*
/proc/loadavg: 4.15 4.12 4.20 5/252 39906
/proc/meminfo: memFree=129934060/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=92584 memory=65488 CPUtime=0.27 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 13369 0 0 0 23 4 0 0 20 0 1 0 43048506 94806016 16372 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 23146 16372 1024 1200 0 21626 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 92584 KiB
Current children cumulated memory: 65488 KiB

[startup+0.70025 s]
/proc/loadavg: 4.15 4.12 4.20 5/252 39906
/proc/meminfo: memFree=129890524/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=164252 memory=137256 CPUtime=0.63 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 23645 0 0 0 55 8 0 0 20 0 1 0 43048506 168194048 34314 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 41063 34314 1024 1200 0 39543 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 164252 KiB
Current children cumulated memory: 137256 KiB

[startup+1.5002 s]
/proc/loadavg: 4.15 4.12 4.20 5/252 39906
/proc/meminfo: memFree=129764824/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=334036 memory=293516 CPUtime=1.41 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 49662 0 0 0 125 16 0 0 20 0 1 0 43048506 342052864 73379 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 83509 73379 1024 1200 0 81989 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 334036 KiB
Current children cumulated memory: 293516 KiB

[startup+3.113 s]
/proc/loadavg: 4.14 4.12 4.20 6/252 39951
/proc/meminfo: memFree=129405888/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=550436 memory=512436 CPUtime=3.01 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 66776 0 0 0 274 27 0 0 20 0 1 0 43048506 563646464 128109 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 137609 128109 1184 1200 0 136089 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 550436 KiB
Current children cumulated memory: 512436 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 4.12 4.20 6/252 39951
/proc/meminfo: memFree=129150324/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=651400 memory=607744 CPUtime=6.18 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 72059 0 0 0 588 30 0 0 20 0 1 0 43048506 667033600 151936 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 162850 151936 1216 1200 0 161330 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 651400 KiB
Current children cumulated memory: 607744 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.20 6/252 39951
/proc/meminfo: memFree=128999124/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=760384 memory=663000 CPUtime=12.56 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 72701 0 0 0 1222 34 0 0 20 0 1 0 43048506 778633216 165750 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 190096 165750 1216 1200 0 188576 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 760384 KiB
Current children cumulated memory: 663000 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.19 6/252 39951
/proc/meminfo: memFree=128715180/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=881752 memory=761876 CPUtime=25.32 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 73616 0 0 0 2493 39 0 0 20 0 1 0 43048506 902914048 190469 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 220438 190469 1216 1200 0 218918 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 881752 KiB
Current children cumulated memory: 761876 KiB

[startup+51.1129 s]
/proc/loadavg: 4.13 4.12 4.19 6/252 39951
/proc/meminfo: memFree=128010004/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=1094144 memory=931832 CPUtime=50.85 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 74819 0 0 0 5037 48 0 0 20 0 1 0 43048506 1120403456 232958 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 273536 232958 1216 1200 0 272016 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 1094144 KiB
Current children cumulated memory: 931832 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.18 6/252 39953
/proc/meminfo: memFree=127242740/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=1540160 memory=1259320 CPUtime=101.86 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 78501 0 0 0 10121 65 0 0 20 0 1 0 43048506 1577123840 314830 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 385040 314830 1248 1200 0 383520 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1540160 KiB
Current children cumulated memory: 1259320 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.17 6/251 39955
/proc/meminfo: memFree=127012672/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=1540160 memory=1415120 CPUtime=161.65 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 79177 0 0 0 16097 68 0 0 20 0 1 0 43048506 1577123840 353780 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 385040 353780 1248 1200 0 383520 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 1540160 KiB
Current children cumulated memory: 1415120 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.17 6/251 39957
/proc/meminfo: memFree=126845452/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=2190616 memory=1536236 CPUtime=221.44 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 80863 0 0 0 22056 88 0 0 20 0 1 0 43048506 2243190784 384059 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 547654 384059 1248 1200 0 546134 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 2190616 KiB
Current children cumulated memory: 1536236 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.16 6/252 39960
/proc/meminfo: memFree=125916372/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=3059104 memory=2458348 CPUtime=281.25 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 282792 0 0 0 27995 130 0 0 20 0 1 0 43048506 3132522496 614587 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 764776 614587 1248 1200 0 763256 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 3059104 KiB
Current children cumulated memory: 2458348 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.16 6/250 39962
/proc/meminfo: memFree=125523364/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=3465244 memory=2812140 CPUtime=341.01 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 371801 0 0 0 33947 154 0 0 20 0 1 0 43048506 3548409856 703035 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 866311 703035 1248 1200 0 864791 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 3465244 KiB
Current children cumulated memory: 2812140 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.16 6/250 39975
/proc/meminfo: memFree=123840144/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=4795408 memory=4454584 CPUtime=400.79 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 411504 0 0 0 39854 225 0 0 20 0 1 0 43048506 4910497792 1113646 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 1198852 1113646 1248 1200 0 1197332 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 4795408 KiB
Current children cumulated memory: 4454584 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.15 6/251 39978
/proc/meminfo: memFree=121878636/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=7263824 memory=6400652 CPUtime=460.58 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 511729 0 0 0 45726 332 0 0 20 0 1 0 43048506 7438155776 1600163 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0

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

/proc/39905/statm: 5561609 5322748 1248 1200 0 5560089 0
Current children cumulated CPU time: 2853.11 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21290992 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 40107
/proc/meminfo: memFree=106731556/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21291504 CPUtime=2912.95 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2011496 0 0 0 290023 1272 0 0 20 0 1 0 43048506 22780350464 5322876 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5322876 1248 1200 0 5560089 0
Current children cumulated CPU time: 2912.95 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21291504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/250 40110
/proc/meminfo: memFree=106739512/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21291504 CPUtime=2972.79 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2014718 0 0 0 296000 1279 0 0 20 0 1 0 43048506 22780350464 5322876 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5322876 1248 1200 0 5560089 0
Current children cumulated CPU time: 2972.79 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21291504 KiB

[startup+3042.3 s]
/proc/loadavg: 4.21 4.14 4.10 6/251 40119
/proc/meminfo: memFree=106741836/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21291632 CPUtime=3032.63 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2018200 0 0 0 301978 1285 0 0 20 0 1 0 43048506 22780350464 5322908 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5322908 1248 1200 0 5560089 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21291632 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/251 40121
/proc/meminfo: memFree=106744008/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21294064 CPUtime=3092.46 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2022357 0 0 0 307954 1292 0 0 20 0 1 0 43048506 22780350464 5323516 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5323516 1248 1200 0 5560089 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21294064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/251 40123
/proc/meminfo: memFree=106729108/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21303024 CPUtime=3152.31 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2026644 0 0 0 313932 1299 0 0 20 0 1 0 43048506 22780350464 5325756 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5325756 1248 1200 0 5560089 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21303024 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 40125
/proc/meminfo: memFree=106689360/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21316080 CPUtime=3212.14 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2030445 0 0 0 319909 1305 0 0 20 0 1 0 43048506 22780350464 5329020 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5329020 1248 1200 0 5560089 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21316080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/250 40127
/proc/meminfo: memFree=106684356/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21331440 CPUtime=3271.97 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2034693 0 0 0 325887 1310 0 0 20 0 1 0 43048506 22780350464 5332860 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5332860 1248 1200 0 5560089 0
Current children cumulated CPU time: 3271.97 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21331440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/249 40129
/proc/meminfo: memFree=106648172/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21348848 CPUtime=3331.81 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2038554 0 0 0 331865 1316 0 0 20 0 1 0 43048506 22780350464 5337212 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5337212 1248 1200 0 5560089 0
Current children cumulated CPU time: 3331.81 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21348848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/249 40132
/proc/meminfo: memFree=106626624/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21367152 CPUtime=3391.65 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2043474 0 0 0 337843 1322 0 0 20 0 1 0 43048506 22780350464 5341788 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5341788 1248 1200 0 5560089 0
Current children cumulated CPU time: 3391.65 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21367152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/249 40134
/proc/meminfo: memFree=106632588/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21380080 CPUtime=3451.48 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2048122 0 0 0 343822 1326 0 0 20 0 1 0 43048506 22780350464 5345020 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5345020 1248 1200 0 5560089 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21380080 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/250 40137
/proc/meminfo: memFree=106616744/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21385328 CPUtime=3511.33 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2052825 0 0 0 349800 1333 0 0 20 0 1 0 43048506 22780350464 5346332 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5346332 1248 1200 0 5560089 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21385328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.43 4.18 4.12 6/250 40139
/proc/meminfo: memFree=106612548/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21386992 CPUtime=3571.16 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2057079 0 0 0 355779 1337 0 0 20 0 1 0 43048506 22780350464 5346748 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5346748 1248 1200 0 5560089 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21386992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.71 4.27 4.15 5/244 40172
/proc/meminfo: memFree=108407456/131382116 swapFree=33010684/33010684
[pid=39905] ppid=39902 vsize=22246436 memory=21387504 CPUtime=3600.08 cores=5,7
/proc/39905/stat : 39905 (Exact) R 39902 39905 38814 0 -1 4194304 2059845 0 0 0 358667 1341 0 0 20 0 1 0 43048506 22780350464 5346876 18446744073709551615 4198400 9112445 140734910067072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15323136 140734910073128 140734910073325 140734910073325 140734910078927 0
/proc/39905/statm: 5561609 5346876 1248 1200 0 5560089 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 22246436 KiB
Current children cumulated memory: 21387504 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.81 s, system=13.629 s

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

[startup+3611.6 s]*
/proc/loadavg: 4.71 4.27 4.15 4/243 40198
/proc/meminfo: memFree=128393192/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3611.66
CPU time (s): 3600.44
CPU user time (s): 3586.81
CPU system time (s): 13.629
CPU usage (%): 99.6894
Max. virtual memory (cumulated for all children) (KiB): 27004324
Max. memory (cumulated for all children) (KiB): 21387504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.81
system time used= 13.629
maximum resident set size= 21387632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2060741
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= 116
involuntary context switches= 21538


# summary of solver processes directly reported to runsolver:
#   pid: 39905
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3586.81
#   total CPU system time (s): 13.629

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1799 second user time and 33.4948 second system time

The end