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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62405 MiB free)
  memory of node 1: 64507 MiB (63610 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488931-1751349476/watcher-4488931-1751349476 -o /tmp/evaluation-result-4488931-1751349476/solver-4488931-1751349476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751349476-48648 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4488931-1751349476.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100056 s]*
/proc/loadavg: 2.33 3.66 3.94 6/265 48707
/proc/meminfo: memFree=129024392/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=0.08 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 7 1 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+0.204621 s]*
/proc/loadavg: 2.33 3.66 3.94 6/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=0.19 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 16 3 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+0.304432 s]*
/proc/loadavg: 2.33 3.66 3.94 6/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=0.28 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 24 4 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+0.700095 s]
/proc/loadavg: 2.33 3.66 3.94 6/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=0.68 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 58 10 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+1.50009 s]
/proc/loadavg: 2.33 3.66 3.94 6/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=1.48 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 126 22 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+3.10431 s]
/proc/loadavg: 2.46 3.67 3.94 6/265 48707
/proc/meminfo: memFree=129025104/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=3.07 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 263 44 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+6.30009 s]
/proc/loadavg: 2.46 3.67 3.94 6/265 48707
/proc/meminfo: memFree=129025128/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=6.27 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 537 90 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+12.7001 s]
/proc/loadavg: 2.67 3.69 3.95 6/265 48707
/proc/meminfo: memFree=129025248/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=12.65 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 1086 179 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+25.5001 s]
/proc/loadavg: 2.96 3.71 3.95 6/265 48707
/proc/meminfo: memFree=129025208/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=25.43 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 2165 378 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+51.1043 s]
/proc/loadavg: 3.32 3.73 3.95 6/265 48709
/proc/meminfo: memFree=129025208/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=57088 memory=16620 CPUtime=50.99 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 2731 0 0 0 4341 758 0 0 20 0 1 0 50625363 58458112 4155 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 14272 4155 1888 2271 0 8910 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 16620 KiB

[startup+102.3 s]
/proc/loadavg: 3.82 3.81 3.97 6/266 48718
/proc/meminfo: memFree=128747668/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=164768 memory=122552 CPUtime=102.06 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 20264 0 0 0 9288 918 0 0 20 0 1 0 50625363 168722432 30638 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 41192 30638 1920 2271 0 35830 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 164768 KiB
Current children cumulated memory: 122552 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.86 3.98 6/267 48722
/proc/meminfo: memFree=128674140/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=182908 memory=146104 CPUtime=161.89 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 24754 0 0 0 15249 940 0 0 20 0 1 0 50625363 187297792 36526 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 45727 36526 1920 2271 0 40365 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 182908 KiB
Current children cumulated memory: 146104 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.90 3.99 6/267 48735
/proc/meminfo: memFree=128609372/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=191568 memory=162420 CPUtime=221.74 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 26762 0 0 0 21212 962 0 0 20 0 1 0 50625363 196165632 40605 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 47892 40605 1920 2271 0 42530 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 191568 KiB
Current children cumulated memory: 162420 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.94 4.00 6/267 48737
/proc/meminfo: memFree=128599636/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=197372 memory=168180 CPUtime=281.6 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 28217 0 0 0 27175 985 0 0 20 0 1 0 50625363 202108928 42045 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 49343 42045 1920 2271 0 43981 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 197372 KiB
Current children cumulated memory: 168180 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.97 4.00 6/267 48739
/proc/meminfo: memFree=128583676/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=203172 memory=173940 CPUtime=341.45 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 29692 0 0 0 33140 1005 0 0 20 0 1 0 50625363 208048128 43485 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 50793 43485 1920 2271 0 45431 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 203172 KiB
Current children cumulated memory: 173940 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.99 4.00 6/265 48740
/proc/meminfo: memFree=128575428/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=204196 memory=174964 CPUtime=401.3 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 29954 0 0 0 39099 1031 0 0 20 0 1 0 50625363 209096704 43741 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 51049 43741 1920 2271 0 45687 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 204196 KiB
Current children cumulated memory: 174964 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.00 4.00 6/265 48742
/proc/meminfo: memFree=128559312/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=207656 memory=178292 CPUtime=461.16 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 30800 0 0 0 45063 1053 0 0 20 0 1 0 50625363 212639744 44573 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 51914 44573 1920 2271 0 46552 0
Current children cumulated CPU time: 461.16 s

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

Current children cumulated memory: 240268 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/264 48864
/proc/meminfo: memFree=128350040/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=263728 memory=241292 CPUtime=2854.95 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 44099 0 0 0 283541 1954 0 0 20 0 1 0 50625363 270057472 60323 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 65932 60323 1920 2271 0 60570 0
Current children cumulated CPU time: 2854.95 s
Current children cumulated vsize: 263728 KiB
Current children cumulated memory: 241292 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/265 48868
/proc/meminfo: memFree=128341888/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=264560 memory=242188 CPUtime=2914.8 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 44331 0 0 0 289503 1977 0 0 20 0 1 0 50625363 270909440 60547 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 66140 60547 1920 2271 0 60778 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 264560 KiB
Current children cumulated memory: 242188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/265 48869
/proc/meminfo: memFree=128338056/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=264560 memory=242188 CPUtime=2974.65 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 44333 0 0 0 295465 2000 0 0 20 0 1 0 50625363 270909440 60547 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 66140 60547 1920 2271 0 60778 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 264560 KiB
Current children cumulated memory: 242188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/266 48872
/proc/meminfo: memFree=128329876/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=265332 memory=243084 CPUtime=3034.51 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 44537 0 0 0 301427 2024 0 0 20 0 1 0 50625363 271699968 60771 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 66333 60771 1920 2271 0 60971 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 265332 KiB
Current children cumulated memory: 243084 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/265 48880
/proc/meminfo: memFree=128339448/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=307968 memory=247696 CPUtime=3094.36 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 45639 0 0 0 307389 2047 0 0 20 0 1 0 50625363 315359232 61924 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 76992 61924 1920 2271 0 71630 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 307968 KiB
Current children cumulated memory: 247696 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.14 4.10 6/265 48882
/proc/meminfo: memFree=128335608/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=308352 memory=247952 CPUtime=3154.22 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 45703 0 0 0 313353 2069 0 0 20 0 1 0 50625363 315752448 61988 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 77088 61988 1920 2271 0 71726 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 308352 KiB
Current children cumulated memory: 247952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/265 48885
/proc/meminfo: memFree=128335668/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=308672 memory=248336 CPUtime=3214.07 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 45771 0 0 0 319315 2092 0 0 20 0 1 0 50625363 316080128 62084 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 77168 62084 1920 2271 0 71806 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 308672 KiB
Current children cumulated memory: 248336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/265 48887
/proc/meminfo: memFree=128333528/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=309824 memory=249360 CPUtime=3273.92 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 46050 0 0 0 325275 2117 0 0 20 0 1 0 50625363 317259776 62340 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 77456 62340 1920 2271 0 72094 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 309824 KiB
Current children cumulated memory: 249360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/264 48889
/proc/meminfo: memFree=128325248/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=310464 memory=250000 CPUtime=3333.78 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 46209 0 0 0 331238 2140 0 0 20 0 1 0 50625363 317915136 62500 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 77616 62500 1920 2271 0 72254 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 310464 KiB
Current children cumulated memory: 250000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/264 48891
/proc/meminfo: memFree=128321280/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=310720 memory=250384 CPUtime=3393.64 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 46309 0 0 0 337201 2163 0 0 20 0 1 0 50625363 318177280 62596 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 77680 62596 1920 2271 0 72318 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 310720 KiB
Current children cumulated memory: 250384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/264 48893
/proc/meminfo: memFree=128317584/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=311360 memory=250896 CPUtime=3453.49 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 46435 0 0 0 343163 2186 0 0 20 0 1 0 50625363 318832640 62724 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 77840 62724 1920 2271 0 72478 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 311360 KiB
Current children cumulated memory: 250896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 6/264 48895
/proc/meminfo: memFree=128317244/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=312384 memory=252048 CPUtime=3513.34 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 46714 0 0 0 349127 2207 0 0 20 0 1 0 50625363 319881216 63012 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 78096 63012 1920 2271 0 72734 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 312384 KiB
Current children cumulated memory: 252048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/263 48898
/proc/meminfo: memFree=128317300/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=313408 memory=253712 CPUtime=3573.2 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 46940 0 0 0 355088 2232 0 0 20 0 1 0 50625363 320929792 63428 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 78352 63428 1920 2271 0 72990 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 313408 KiB
Current children cumulated memory: 253712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.09 4.10 4.09 6/263 48900
/proc/meminfo: memFree=128309004/131249996 swapFree=33010684/33010684
[pid=48698] ppid=48689 vsize=313408 memory=253712 CPUtime=3600.03 cores=4,6
/proc/48698/stat : 48698 (ExactPR) R 48689 48698 48637 0 -1 4194304 46940 0 0 0 357762 2241 0 0 20 0 1 0 50625363 320929792 63428 18446744073709551615 94824255053824 94824264353669 140724617702016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94824266139968 94824266179048 94824294838272 140724617705861 140724617705996 140724617705996 140724617711598 0
/proc/48698/statm: 78352 63428 1920 2271 0 72990 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 313408 KiB
Current children cumulated memory: 253712 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.63 s, system=22.4142 s

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

Child status: 10

Real time (s): 3609.2
CPU time (s): 3600.04
CPU user time (s): 3577.63
CPU system time (s): 22.4142
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 313408
Max. memory (cumulated for all children) (KiB): 253712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.63
system time used= 22.4142
maximum resident set size= 299384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46956
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= 227
involuntary context switches= 2008


# summary of solver processes directly reported to runsolver:
#   pid: 48698
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3577.63
#   total CPU system time (s): 22.4142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66876 second user time and 12.4753 second system time

The end