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: 63968 MiB (61930 MiB free)
  memory of node 1: 64473 MiB (63217 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433105-1721056567/watcher-4433105-1721056567 -o /tmp/evaluation-result-4433105-1721056567/solver-4433105-1721056567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721052894-823732 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1019273516 HOME/instance-4433105-1721056567.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=826095, runsolver pid=826092

[startup+0.100912 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 826096
/proc/meminfo: memFree=128138008/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=33188 memory=14912 CPUtime=0.09 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 2046 0 0 0 9 0 0 0 20 0 1 0 157819165 33984512 3728 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 8297 3728 868 1005 0 7060 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33188 KiB
Current children cumulated memory: 14912 KiB

[startup+0.205443 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 826096
/proc/meminfo: memFree=128089748/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=87168 memory=68508 CPUtime=0.2 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 10399 0 0 0 18 2 0 0 20 0 1 0 157819165 89260032 17127 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 21792 17127 1028 1005 0 20555 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87168 KiB
Current children cumulated memory: 68508 KiB

[startup+0.305571 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 826096
/proc/meminfo: memFree=128088216/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=82284 memory=64312 CPUtime=0.29 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 12282 0 0 0 27 2 0 0 20 0 1 0 157819165 84258816 16078 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 20571 16078 1028 1005 0 19334 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82284 KiB
Current children cumulated memory: 64312 KiB

[startup+0.700229 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 826096
/proc/meminfo: memFree=128085636/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=83760 memory=67828 CPUtime=0.68 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 12558 0 0 0 66 2 0 0 20 0 1 0 157819165 85770240 16957 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 20940 16957 1140 1005 0 19703 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83760 KiB
Current children cumulated memory: 67828 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 826096
/proc/meminfo: memFree=128074236/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=90840 memory=83396 CPUtime=1.48 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 14399 0 0 0 145 3 0 0 20 0 1 0 157819165 93020160 20849 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 22710 20849 1140 1005 0 21473 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 83396 KiB

[startup+3.10539 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 826096
/proc/meminfo: memFree=128042676/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=93080 memory=87808 CPUtime=3.08 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 14965 0 0 0 305 3 0 0 20 0 1 0 157819165 95313920 21952 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 23270 21952 1140 1005 0 22033 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93080 KiB
Current children cumulated memory: 87808 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 826096
/proc/meminfo: memFree=128000024/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=128668 memory=104564 CPUtime=6.27 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 15699 0 0 0 622 5 0 0 20 0 1 0 157819165 131756032 26141 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 32167 26141 1140 1005 0 30930 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 128668 KiB
Current children cumulated memory: 104564 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 826098
/proc/meminfo: memFree=127885564/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=134696 memory=129236 CPUtime=12.65 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 16345 0 0 0 1259 6 0 0 20 0 1 0 157819165 137928704 32309 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 33674 32309 1140 1005 0 32437 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 134696 KiB
Current children cumulated memory: 129236 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 826099
/proc/meminfo: memFree=127608128/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=180728 memory=147640 CPUtime=25.42 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 18370 0 0 0 2534 8 0 0 20 0 1 0 157819165 185065472 36910 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 45182 36910 1140 1005 0 43945 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 180728 KiB
Current children cumulated memory: 147640 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 826104
/proc/meminfo: memFree=127128860/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=184960 memory=151288 CPUtime=50.96 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 19340 0 0 0 5087 9 0 0 20 0 1 0 157819165 189399040 37822 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 46240 37822 1140 1005 0 45003 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 184960 KiB
Current children cumulated memory: 151288 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 826113
/proc/meminfo: memFree=126713464/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=199464 memory=166696 CPUtime=102.03 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 22792 0 0 0 10191 12 0 0 20 0 1 0 157819165 204251136 41674 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 49866 41674 1140 1005 0 48629 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 199464 KiB
Current children cumulated memory: 166696 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 826169
/proc/meminfo: memFree=126458060/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=201140 memory=168548 CPUtime=161.88 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 23305 0 0 0 16173 15 0 0 20 0 1 0 157819165 205967360 42137 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 50285 42137 1140 1005 0 49048 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 201140 KiB
Current children cumulated memory: 168548 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 826180
/proc/meminfo: memFree=126342556/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=204108 memory=171012 CPUtime=221.72 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 23962 0 0 0 22155 17 0 0 20 0 1 0 157819165 209006592 42753 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 51027 42753 1140 1005 0 49790 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 204108 KiB
Current children cumulated memory: 171012 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 826196
/proc/meminfo: memFree=126330076/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=205524 memory=172460 CPUtime=281.57 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 24363 0 0 0 28136 21 0 0 20 0 1 0 157819165 210456576 43115 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 51381 43115 1140 1005 0 50144 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 205524 KiB
Current children cumulated memory: 172460 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 826206
/proc/meminfo: memFree=126222844/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=208632 memory=188564 CPUtime=341.41 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 25342 0 0 0 34118 23 0 0 20 0 1 0 157819165 213639168 47141 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 52158 47141 1140 1005 0 50921 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 208632 KiB
Current children cumulated memory: 188564 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 826216
/proc/meminfo: memFree=126168504/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=210896 memory=194792 CPUtime=401.27 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 25948 0 0 0 40101 26 0 0 20 0 1 0 157819165 215957504 48698 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 52724 48698 1140 1005 0 51487 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 210896 KiB
Current children cumulated memory: 194792 KiB

[startup+462.3 s]
/proc/loadavg: 4.33 4.19 4.12 5/257 826227
/proc/meminfo: memFree=126125624/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=213712 memory=197280 CPUtime=461.12 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 26596 0 0 0 46083 29 0 0 20 0 1 0 157819165 218841088 49320 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 53428 49320 1140 1005 0 52191 0

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

Current children cumulated memory: 326296 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/256 827848
/proc/meminfo: memFree=125427884/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=371456 memory=326296 CPUtime=2914.83 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 51443 0 0 0 291347 136 0 0 20 0 1 0 157819165 380370944 81574 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 92864 81574 1140 1005 0 91627 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 371456 KiB
Current children cumulated memory: 326296 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/254 827858
/proc/meminfo: memFree=125421264/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=373020 memory=327640 CPUtime=2974.68 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 51948 0 0 0 297329 139 0 0 20 0 1 0 157819165 381972480 81910 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 93255 81910 1140 1005 0 92018 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 327640 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/254 827868
/proc/meminfo: memFree=125419708/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=373020 memory=327860 CPUtime=3034.54 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 52098 0 0 0 303312 142 0 0 20 0 1 0 157819165 381972480 81965 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 93255 81965 1140 1005 0 92018 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 327860 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/257 827884
/proc/meminfo: memFree=125413768/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=374184 memory=328928 CPUtime=3094.4 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 52511 0 0 0 309295 145 0 0 20 0 1 0 157819165 383164416 82232 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 93546 82232 1140 1005 0 92309 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 374184 KiB
Current children cumulated memory: 328928 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/257 827894
/proc/meminfo: memFree=125398936/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=374860 memory=329672 CPUtime=3154.25 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 52824 0 0 0 315278 147 0 0 20 0 1 0 157819165 383856640 82418 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 93715 82418 1140 1005 0 92478 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 374860 KiB
Current children cumulated memory: 329672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.14 4.12 5/257 827904
/proc/meminfo: memFree=125390968/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=378152 memory=333004 CPUtime=3214.11 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 53762 0 0 0 321260 151 0 0 20 0 1 0 157819165 387227648 83251 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 94538 83251 1140 1005 0 93301 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 378152 KiB
Current children cumulated memory: 333004 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/257 827917
/proc/meminfo: memFree=125379416/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=378484 memory=333336 CPUtime=3273.97 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 53987 0 0 0 327243 154 0 0 20 0 1 0 157819165 387567616 83334 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 94621 83334 1140 1005 0 93384 0
Current children cumulated CPU time: 3273.97 s
Current children cumulated vsize: 378484 KiB
Current children cumulated memory: 333336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/258 827929
/proc/meminfo: memFree=125374796/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=378852 memory=333704 CPUtime=3333.83 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 54210 0 0 0 333226 157 0 0 20 0 1 0 157819165 387944448 83426 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 94713 83426 1140 1005 0 93476 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 378852 KiB
Current children cumulated memory: 333704 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/255 827939
/proc/meminfo: memFree=125370544/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=379880 memory=334732 CPUtime=3393.69 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 54610 0 0 0 339209 160 0 0 20 0 1 0 157819165 388997120 83683 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 94970 83683 1140 1005 0 93733 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 379880 KiB
Current children cumulated memory: 334732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/255 827950
/proc/meminfo: memFree=125357720/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=381968 memory=336788 CPUtime=3453.55 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 55268 0 0 0 345192 163 0 0 20 0 1 0 157819165 391135232 84197 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 95492 84197 1140 1005 0 94255 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 381968 KiB
Current children cumulated memory: 336788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/255 827961
/proc/meminfo: memFree=125354024/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=381968 memory=336824 CPUtime=3513.41 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 55404 0 0 0 351175 166 0 0 20 0 1 0 157819165 391135232 84206 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 95492 84206 1140 1005 0 94255 0
Current children cumulated CPU time: 3513.41 s
Current children cumulated vsize: 381968 KiB
Current children cumulated memory: 336824 KiB

[startup+3582.3 s]
/proc/loadavg: 3.53 3.95 4.04 4/248 828001
/proc/meminfo: memFree=127157988/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=381968 memory=336824 CPUtime=3573.27 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 55530 0 0 0 357158 169 0 0 20 0 1 0 157819165 391135232 84206 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 95492 84206 1140 1005 0 94255 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 381968 KiB
Current children cumulated memory: 336824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 3.13 3.83 4.00 3/241 828036
/proc/meminfo: memFree=129016200/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=383076 memory=337836 CPUtime=3600.01 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 55811 0 0 0 359830 171 0 0 20 0 1 0 157819165 392269824 84459 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 95769 84459 1140 1005 0 94532 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 383076 KiB
Current children cumulated memory: 337836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.31 s, system=1.71572 s

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

[startup+3609.11 s]
/proc/loadavg: 3.13 3.83 4.00 3/241 828036
/proc/meminfo: memFree=129016200/131524600 swapFree=131071996/131071996
[pid=826095] ppid=826092 vsize=383076 memory=337836 CPUtime=3600.01 cores=1,3
/proc/826095/stat : 826095 (Exact) R 826092 826095 821215 0 -1 4194304 55811 0 0 0 359830 171 0 0 20 0 1 0 157819165 392269824 84459 134679101440 4194304 8309489 140724110954848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 43065344 140724110959550 140724110959720 140724110959720 140724110966735 0
/proc/826095/statm: 95769 84459 1140 1005 0 94532 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 383076 KiB
Current children cumulated memory: 337836 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.03
CPU user time (s): 3598.31
CPU system time (s): 1.71572
CPU usage (%): 99.7483
Max. virtual memory (cumulated for all children) (KiB): 383076
Max. memory (cumulated for all children) (KiB): 337836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.31
system time used= 1.71572
maximum resident set size= 337836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55813
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= 3496


# summary of solver processes directly reported to runsolver:
#   pid: 826095
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.31
#   total CPU system time (s): 1.71572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87031 second user time and 15.9254 second system time

The end